6 papers:
- ICALP-v2-2012-SalvatiMGB
- Loader and Urzyczyn Are Logically Related (SS, GM, MG, HB), pp. 364–376.
- ICSE-2011-BoddenSSOM #static analysis
- Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (EB, AS, JS, HO, MM), pp. 241–250.
- ECOOP-2005-DaynesC #representation #runtime
- Sharing the Runtime Representation of Classes Across Class Loaders (LD, GC), pp. 97–120.
- SAC-2004-FagorziZA #calculus #modelling #multi
- Modeling multiple class loaders by a calculus for dynamic linking (SF, EZ, DA), pp. 1281–1288.
- SAC-PL-J-2004-FagorziZ #case study #encoding #multi
- A Case-Study in Encoding Configuration Languages: Multiple Class Loaders (SF, EZ), pp. 31–54.
- TRI-Ada-1997-RileyDP #analysis #implementation #verification
- An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation (JDR, SD, WP), pp. 273–278.