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