SWAN: A static analysis framework for swift
- Daniil Tiganov
- Jeff Cho
- et al.
- 2020
- ESEC/FSE 2020
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
Efficient handling of string-number conversion
- Parosh Aziz Abdulla
- Mohamed Faouzi Atig
- et al.
- 2020
- PLDI 2020
MagpieBridge: A general approach to integrating static analyses into IDEs and editors
- Linghui Luo
- Julian Dolby
- et al.
- 2019
- ECOOP 2019
Generating permission-based security policies
- Xin Li
- Hua Vy Le Thanh
- et al.
- 2018
- DSA 2018
QED: Out-of-the-box datasets for SPARQL query evaluation
- Veronika Thost
- Julian Dolby
- 2018
- ISWC-Posters-Demos-Industry 2018
Symbolic execution for Javascript
- José Fragoso Santos
- Petar Maksimović
- et al.
- 2018
- PPDP 2018
Ariadne: Analysis for machine learning programs
- Julian Dolby
- Avraham Shinnar
- et al.
- 2018
- MAPL/PLDI 2018
Towards extracting web API specifications from documentation
- Jinqiu Yang
- Erik Wittern
- et al.
- 2018
- MSR/ICSE 2018
SecureMR: Secure mapreduce computation using homomorphic encryption and program partitioning
- Yao Dong
- Ana Milanova
- et al.
- 2018
- HoTSoS 2018