Obfuscation Study
You can download the encrypted archive containing the obfuscated scripts here. In order to obtain the extraction key, please send us a short email describing how you plan to use the scripts.
News and Events
01/2021: Our work on WasmBench, a study and benchmark involving thousands of WebAssembly binaries, will be presented at The Web Conference (WWW) 2021.
12/2020: Organizing a Dagstuhl seminar on learning-based program analysis (together with Baishakhi, Eran, and Charles), to be held in January 2022.
12/2020: Our paper on IdBench, a benchmark for semantic representations of identifiers, will be presented at ICSE'21.
12/2020: Matteo Paltenghi is joining the group as as PhD student. Welcome!
11/2020: New review article that gives an overview of neural software analysis.
11/2020: Check out our work on an RWX permission model for Node.js packages.
10/2020: New paper on application-level caching to appear in IEEE Software.
10/2020: Aryaz Eghbali is joining the group as a PhD student. Welcome!
9/2020: Martin Torp is joining as a visiting PhD student from Aarhus University. Welcome!
7/2020: Our study of string-related software bugs will appear at ASE 2020.
6/2020: Our work on WebAssembly (in)security will be presented at USENIX Security 2020.
5/2020: Our paper on TypeWriter will appear at FSE'20.
4/2020: Our paper on bug localization on millions of files will appear at ISSTA'20.
4/2020: From PhD to faculty: Cristian has accepted a tenure-track faculty position at CISPA. Congrats!
3/2020: Cristian has successfully defended his PhD thesis on JavaScript security and privacy. Congrats!
3/2020: JetBrains ships IDE plugins that implement DeepBugs for JavaScript and Python. Great to see our ideas used in the wild!
12/2019: Our paper on extracting taint specifications for JavaScript has been accepted at ICSE 2020.
12/2019: Paper on TypeWriter, our neural type prediction approach in collaboration with Facebook.
11/2019: New paper on JSON subschema checking.
10/2019: Checkout our new benchmark for evaluating semantic representations of source code.
09/2019: Happy to receive an ERC Starting Grant on "Learning to find bugs" (1.5 million Euro).
09/2019: Our survey of compiler testing will appear in ACM CSUR.
09/2019: Two new PhD students: Welcome to Luca Di Grazia and Moiz Rauf.
07/2019: Our paper on Getafix has been accepted at OOPSLA'19.
06/2019: New study on neural bug finding.
05/2019: Our paper on security risks in the npm ecosystem will appear at USENIX Security'19.
05/2019: Check out Getafix, the first industrially-deployed automated bug-fixing. tool that learns fix patterns automatically.
05/2019: New ISSTA'19 paper on metamorphic testing of debuggers.
04/2019: Best Paper Award at ASPLOS'19 for Wasabi, our dynamic analysis framework for WebAssembly.
03/2019: Our article on automated program repair will appear in the Communications of the ACM (CACM).
03/2019: Interested in JavaScript security? Checkout our study of security threats in npm.
03/2019: Daniel and Andrew are heading out for internships at MSR and IBM Research. Congrats!