A machine-checked model for a Java-like language, virtual machine, and compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
A static type system for JVM access control
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about safety properties in a JVM-like environment
Science of Computer Programming
Memory model sensitive bytecode verification
Formal Methods in System Design
A memory model sensitive checker for c#
FM'06 Proceedings of the 14th international conference on Formal Methods
Verifying a compiler for java threads
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
| Hi-index | 0.00 |