SWAN: A static analysis framework for swift
- Daniil Tiganov
- Jeff Cho
- et al.
- 2020
- ESEC/FSE 2020
Conference paper
Publications
66 results for Julian Dolby
A demonstration of codebreaker: A machine interpretable knowledge graph for code
- Ibrahim Abdelaziz
- Kavitha Srinivas
- et al.
- 2020
- ISWC-Posters 2020
Conference paperEfficient handling of string-number conversion
- Parosh Aziz Abdulla
- Mohamed Faouzi Atig
- et al.
- 2020
- PLDI 2020
Conference paperMagpieBridge: A general approach to integrating static analyses into IDEs and editors
- Linghui Luo
- Julian Dolby
- et al.
- 2019
- ECOOP 2019
Conference paperGenerating permission-based security policies
- Xin Li
- Hua Vy Le Thanh
- et al.
- 2018
- DSA 2018
Conference paperQED: Out-of-the-box datasets for SPARQL query evaluation
- Veronika Thost
- Julian Dolby
- 2018
- ISWC-Posters-Demos-Industry 2018
Conference paperSymbolic execution for Javascript
- José Fragoso Santos
- Petar Maksimović
- et al.
- 2018
- PPDP 2018
Conference paperAriadne: Analysis for machine learning programs
- Julian Dolby
- Avraham Shinnar
- et al.
- 2018
- MAPL/PLDI 2018
Conference paperTowards extracting web API specifications from documentation
- Jinqiu Yang
- Erik Wittern
- et al.
- 2018
- MSR/ICSE 2018
Conference paperSecureMR: Secure mapreduce computation using homomorphic encryption and program partitioning
- Yao Dong
- Ana Milanova
- et al.
- 2018
- HoTSoS 2018
Conference paper