Andrew Habib
E-mail: [firstname].a.[lastname]@gmail.com
Phone: +49-6151-1622391
Address:
TU Darmstadt
Hochschulstrasse 10
Robert-Piloty-Gebäude (S2|02), room D216
64289 Darmstadt
Germany
I defended my PhD in December 2020 and started a new position as a postdoctoral researcher at the TruX research group, University of Luxembourg. Please visit this page for up-to-date information.
About me
I am a research assistant and PhD student at the Software Lab (SOLA), TU Darmstadt, where I am advised by Michael Pradel. My chief interest is security and reliability of software systems. This includes static and dynamic program analysis and transformation, [automatic] debugging and testing, information flow control, programming languages, abstract interpretation, formal methods, analysis and verification of security protocols and related topics.
Currently, I focus on utilizing ideas and techniques from machine learning to improve software and its development process.
Education and Experience
Jan. 2021 – Feb. 2021
Postdocotral researcher at the Software Lab
TU Darmstadt, Darmstadt, Germany
Superviser: Michael Pradel
Oct. 2015 – Dec. 2020
Research assistant and PhD student at the Software Lab
TU Darmstadt, Darmstadt, Germany
Superviser: Michael Pradel
May – Aug. 2019
Graduate research intern at IBM Research
Thomas J. Watson Research Center, Yorktown Heights, NY, USA
Augmenting machine learning pipelines and hyperparameters search spaces with type checks.
Mentors: Martin Hirzel and Avi Shinnar
Aug. 2013 – July 2015
Master of Science (M.Sc.) in Engineering, Security, and Mobile Computing (NordSecMob)
Coursework on reliable software systems and information security.
The Technical University of Denmark (DTU), Copenhagen, Denmark
The Norwegian University of Science and Technology (NTNU), Trondheim, Norway
Jan. 2013 – June 2013
Business Intelligence Consultant at Teradata
EMEA Region, Cairo, Egypt
Summer 2008
Exchange student
Portland State University, Portland, OR, USA
Sept. 2006 – June 2011
Bachelor of Science (B.Sc.) in Computer Science and Mathematics
The American University in Cairo (AUC), Cairo, Egypt
Publications
| Peer-reviewed Conferences | ||
|---|---|---|
| ISSTA 2021 | Finding Data Compatibility Bugs with JSON Subschema Checking
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel |
|
| 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 | Type Safety with JSON Subschema
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel. Technical Report. [pdf] [tool] |
|
| 2019 | Neural Bug Finding: A Study of Opportunities and Challenges
Andrew Habib, Michael Pradel. Technical Report. [pdf] |
|
| OOPSLA 2016 | Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code
Andrew Habib. Student Research Competition. [pdf] [poster] |
|
| 2015 | A Typing System for AIF Set-Based Abstraction Andrew Habib. Master thesis, DTU. Supervised by Sebastian Mödersheim |
|
| 2014 | Adopting the Decentralized Label Model (DLM) to C Language Andrew Habib. Independent research, DTU. Supervised by Flemming Nielson and Hanne Riis Nielson |
|
| NordSec 2014 | More than 20 Years of Shellshock Alberto Rico Simal, Andrew Habib, Dheeraj Kumar Bansal. NordSecMob Student poster session. | |
Service
- IEEE TSE 2020: Reviewer
- FSE 2017: Student Volunteer
- OOPSLA 2016: Student Volunteer
