Automated techniques for provably safe mobile code | 6 | 0.52 | 2003 |
Sisl: Several Interfaces, Single Logic | 32 | 1.86 | 2000 |
A Proof-Carrying Code Architecture for Java | 9 | 0.89 | 2000 |
A certifying compiler for Java | 93 | 6.77 | 2000 |
Automatically closing open reactive programs | 35 | 2.32 | 1998 |
Object and concurrency in Triveni: a telecommunication case study in java | 6 | 0.60 | 1998 |
The Semantics of Triveni: A process-Algebraic API for Threads + Events | 3 | 0.56 | 1998 |
Design and implementation of Triveni: a process-algebraic API for threads + events | 9 | 0.94 | 1998 |
Trace-based program analysis | 13 | 0.74 | 1996 |
Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data | 4 | 0.56 | 1995 |
Analyzing the communication topology of concurrent programs | 24 | 1.77 | 1995 |
An Implementation of Parametrized Partial Evaluation | 3 | 0.85 | 1991 |