Publications

64 results for Julian Dolby

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
POSTER: SecureMR: Secure MapReduce using homomorphic encryption and program partitioning
- - Yao Dong
  - Ana Milanova
  - et al.
- 2018
- PPoPP 2018
Statically Checking Web API Requests in JavaScript
- - Erik Wittern
  - Annie T. T. Ying
  - et al.
- 2017
- ICSE 2017