Publications

Peer-reviewed Conferences
ISSTA 2021 Finding Data Compatibility Bugs with JSON Subschema Checking
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
[ pdf ] [ slides ] [ tool ] [ artifact ] [ extended report ]
Artifacts Available / v1.1
Artifacts Evaluated & Reusable / v1.1
Distinguished Artifact Award
ASE 2018 How Many of All Bugs Do We Find? A Study of Static Bug Detectors
Andrew Habib, Michael Pradel
[ pdf ] [ slides ] [ implementation ]
ASE 2018 Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning
Andrew Habib, Michael Pradel
[ pdf ] [ slides ] [ implementation ]
Technical Reports, Posters, Theses, etc.
2020 Learning to Find Bugs in Programs and their Documentation. PhD Dissertation.
Andrew Habib
[ pdf ] [ slides ]
2020 Type Safety with JSON Subschema. Technical report.
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
[ pdf ] [ tool ]
2019 Neural Bug Finding: A Study of Opportunities and Challenges. Technical report.
Andrew Habib, Michael Pradel
[ pdf ]
OOPSLA 2016 Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code. Student Research Competition.
Andrew Habib
[ pdf ] [ poster ]
2015 A Typing System for AIF Set-Based Abstraction. Master thesis, DTU.
Andrew Habib
Supervised by Sebastian Mödersheim
[ pdf ] [ slides ]
2014 Adopting the Decentralized Label Model (DLM) to C Language. Independent research, DTU.
Andrew Habib
Supervised by Flemming Nielson and Hanne Riis Nielson
[ pdf ] [ slides ]
NordSec 2014 More than 20 Years of Shellshock. NordSecMob Student poster session.
Alberto Rico Simal, Andrew Habib, Dheeraj Kumar Bansal.
[ pdf ] [ poster ]

News

07/2021: Our JSON subschema paper wins a Distinguished Artifact Award at ISSTA'21.

03/2021: Our work on finding data compatibility bugs with JSON subschema in collaboration with IBM Research will appear at ISSTA'21.

12/2020: I am joining the TruX group @ SnT, University of Luxembourg as a post-doctoral researcher in March 2021.

12/2020: I defended my PhD thesis on Learning to Find Bugs in Programs and their Documentation @ TU Darmstadt, Germany.

Contact Information

Email: [firstname].a.[lastname]@gmail.com
Phone: (+352) 46 66 44 9162
Address:
Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi, E111
L-1359 Luxembourg