Efficiently refactoring Java applications to use generic libraries
- Robert Fuhrer
- Frank Tip
- et al.
- 2005
- ECOOP 2005
Publications
Date
Featured collections
Popular topics
64 results for Julian Dolby
Validating structural properties of nested objects
- Darrell Reimer
- Edith Schonberg
- et al.
- 2004
- OOPSLA 2004
Experiences porting the jikes RVM to Linux/IA32
- Bowen Alpern
- María Butrico
- et al.
- 2002
- JAVA VM 2002
To dream the impossible dream: Toward security analysis for JavaScript
- Julian Dolby
- 2014
- PLAS 2014
Efficient reasoning on large SHIN Aboxes in relational databases
- Julian Dolby
- Achille Fokoue
- et al.
- 2009
- ISWC 2009
Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Yunhui Zheng
- Vijay Ganesh
- et al.
- 2016
- Formal Methods in System Design
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
- Ingkarat Rak-amnouykit
- Ana Milanova
- et al.
- 2023
- Software - Practice and Experience
Type-based call graph construction algorithms for scala
- Karim Ali
- Marianna Rapoport
- et al.
- 2015
- ACM TOSEM
A data-centric approach to synchronization
- Julian Dolby
- Christian Hammer
- et al.
- 2012
- ACM TOPLAS
Finding concurrency-related bugs using random isolation
- Nicholas Kidd
- Thomas Reps
- et al.
- 2011
- International Journal on Software Tools for Technology Transfer