Recent Posts

Project Overview Debian package builds with Clang were performed from time to time through massive rebuilds of the Debian archive on AWS. The results of these builds are published on clang.debian.net. This summer project aimed to automate Debian archive clang rebuilds by substituting the current clang builds in clang.debian.net with Open Build System (OBS) builds. Our final product consists of a repository with salt states to deploy an OBS instance which triggers Clang builds of Debian Unstable packages as soon as they get uploaded by their maintainers.

Read More…


The production instance of our Open Build Service can be found here This is the seventh post of my Google Summer of Code 2018 series. Links for the previous posts can be found below: Post 1: My Google Summer of Code 2018 project Post 2: Setting up a local OBS development environment Post 3: Running OBS Workers and OBS staging instance Post 4: Notes on the OBS Documentation Post 5: Triggering Debian Builds on OBS Post 6: Towards Debian Unstable builds on Debian Stable OBS My GSoC contributions can be seen at the following links

Read More…


This is the sixth post of my Google Summer of Code 2018 series. Links for the previous posts can be found below: Post 1: My Google Summer of Code 2018 project Post 2: Setting up a local OBS development environment Post 3: Running OBS Workers and OBS staging instance Post 4: Notes on the OBS Documentation Post 5: Triggering Debian Builds on OBS My GSoC contributions can be seen at the following links

Read More…


This is my fifth post of my Google Summer of Code 2018 series. Links for the previous posts can be found below: Post 1: My Google Summer of Code 2018 project Post 2: Setting up a local OBS development environment Post 3: Running OBS Workers and OBS staging instance Post 4: Notes on the OBS Documentation My GSoC contributions can be seen at the following links https://github.

Read More…


This is my fourth post of my Google Summer of Code 2018 series. Links for the previous posts can be found below: Post 1: My Google Summer of Code 2018 project Post 2: Setting up a local OBS development environment Post 3: Running OBS Workers and OBS staging instance Open Build Service Manuals OBS provides several manuals on their web site, including an admin and a user guide.

Read More…


Recent Publications

  • “A study on low complexity models to predict flaws in the Linux source code” Lucas Kanashiro, Athos Ribeiro, David Carlos Silva, Paulo Meirelles, Antonio Terceiro Kanashiro, L., Ribeiro, A., Silva, D., Meirelles, P., & Terceiro, A. (2017, June). A study on low complexity models to predict flaws in the Linux source code. In Information Systems and Technologies (CISTI), 2017 12th Iberian Conference on (pp. 1-6). IEEE. Abstract  pdf  Proceedings
  • “SATE V Ockham Sound Analysis Criteria” Paul E. Black and Athos Ribeiro. March 2016, NIST Internal Report (IR) 8113. DOI 10.6028/NIST.IR.8113 or http://nvlpubs.nist.gov/nistpubs/ir/2016/NIST.IR.8113.pdf. The data and programs to reproduce these results are available at DOI 10.18434/T4WC7V or https://s3.amazonaws.com/nist-ockham-criteria-sate-v-data/ockhamCriteriaSATEVdata.tar.xz (9.3 Megabytes download, 390 Megabytes uncompressed). A README file is available at https://s3.amazonaws.com/nist-ockham-criteria-sate-v-data/README Abstract  pdf
  • “Password policy languages: usable translation from the informal to the formal.” Michelle Steves, Mary Theofanos, Celia Paulsen, Athos Ribeiro. In Human Aspects of Information Security, Privacy and Trust: 3rd International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, pp. 119-130. Springer International Publishing, 2015. Abstract  Proceedings

Recent Presentations


about

Athos Ribeiro, Software Engineer, Graduate Student in the Institute of Mathematics and Statistics at University of São Paulo and contributor at the Fedora Project

where

subscribe

To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader.

search