JNI Light: An Operational Model for the Core JNI
No abstract available.
Related papers
- Polymorphic Type Inference for the JNI ESOP 2006
- Java JNI Bridge: A Framework for Mixed Native ISA Execution CGO 2006
- Operational semantics for multi-language programs POPL 2007
- Jinn: synthesizing dynamic bug detectors for foreign language interfaces PLDI 2010
- MTE4JNI: A Memory Tagging Method to Protect Java Heap Memory from Illicit Native Code Access CGO 2025
- Checking type safety of foreign function calls TOPLAS 2008
- Jeannie: granting java native interface developers their wishes OOPSLA 2007
- JET: exception checking in the Java native interface OOPSLA 2011