SLE 2022 paper:
jGuard: Programming Misuse-Resilient APIs

Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini

DOI: 10.1145/3567512.3567526
T3F: API
- It is about designing safer APIs by embedding misuse specifications into the API implementation.
T4C: Vertical Transformation
- jGuard compiles the extended Java-with-specifications down to standard Java code.
T4D: Interpretation
- Misuse checks are enforced at runtime via generated exceptions and guards.
T5E: Empirical Evaluation
- The paper includes an empirical evaluation of expressiveness, accuracy, and overhead.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.