Modular string-sensitive permission analysis with demand-driven precision
- Emmanuel Geay
- Marco Pistoia
- et al.
- 2009
- ICSE 2009
Publications
65 results for Julian Dolby
Efficient reasoning on large SHIN Aboxes in relational databases
- Julian Dolby
- Achille Fokoue
- et al.
- 2009
- ISWC 2009
Finding bugs in dynamic web applications
- Shay Artz
- Adam Kiezun
- et al.
- 2008
- ISSTA 2008
Dynamic detection of atomic-set-serializability violations
- Christian Hammer
- Julian Dolby
- et al.
- 2008
- ICSE 2008
Finding bugs efficiently with a SAT solver
- Julian Dolby
- Mandana Vaziri
- et al.
- 2007
- ESEC/FSE 2007
The first workshop on Programming Languages and Integrated Development Environments (PLIDE)
- Sean McDirmid
- Robert M. Fuhrer
- et al.
- 2007
- OOPSLA 2007
Scalable semantic retrieval through summarization and refinement
- Julian Dolby
- Achille Fokoue
- et al.
- 2007
- AAAI/IAAI 2007
SAFARI: A meta-tooling framework for generating language-specific IDE's
- Philippe Charles
- Julian Dolby
- et al.
- 2006
- OOPSLA 2006
Associating synchronization constraints with data in an object-oriented language
- Mandana Vaziri
- Frank Tip
- et al.
- 2006
- ACM SIGPLAN Notices
Associating synchronization constraints with data in an object-oriented language
- Mandana Vaziri
- Frank Tip
- et al.
- 2006
- POPL 2006