Jonathan S. Shapiro

Publication Activity (10 Years)

Years Active: 1992-2008
Publications (10 Years): 0

Publications

Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith
Sound and Complete Type Inference for a Systems Programming Language. APLAS (2008)
Swaroop Sridhar, Jonathan S. Shapiro, Prashanth P. Bungale
HDTrans: a low-overhead dynamic translator. SIGARCH Comput. Archit. News 35 (1) (2007)
Swaroop Sridhar, Jonathan S. Shapiro
Type inference for unboxed types and first class mutability. PLOS (2006)
Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro
Concurrency Among Strangers. TGC (2005)
Michael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S. Shapiro
Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors. ACM SIGOPS European Workshop (2004)
Jonathan S. Shapiro
Extracting the Lessons of Multics. login Usenix Mag. 29 (6) (2004)
Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro
The Structure of Authority: Why Security Is Not a Separable Concern. MOZ (2004)
Anshumal Sinha, Sandeep Sarat, Jonathan S. Shapiro
Network Subsystems Reloaded: A High-Performance, Defensible Network Subsystem. USENIX Annual Technical Conference, General Track (2004)
Hao Chen, Jonathan S. Shapiro
Using build-integrated static checking to preserve correctness invariants. CCS (2004)
Jonathan S. Shapiro, John Vanderburgh, Eric Northup, David Chizmadia
Design of the EROS Trusted Window System. USENIX Security Symposium (2004)
Jonathan S. Shapiro
Vulnerabilities in Synchronous IPC Designs. IEEE Symposium on Security and Privacy (2003)
Jonathan S. Shapiro
Understanding the Windows EAL4 Evaluation. Computer 36 (2) (2003)
Jonathan S. Shapiro, John Vanderburgh, Jack Lloyd
OpenCM: Early Experiences and Lessions Learned. USENIX Annual Technical Conference, FREENIX Track (2003)
Mark S. Miller, Jonathan S. Shapiro
Paradigm Regained: Abstraction Mechanisms for Access Control. ASIAN (2003)
Jonathan S. Shapiro, John Vanderburgh
CPCMS: A Configuration Management System Based on Cryptographic Names. USENIX Annual Technical Conference, FREENIX Track (2002)
Jonathan S. Shapiro, Norman Hardy
EROS: A Principle-Driven Operating System from the Ground Up. IEEE Softw. 19 (1) (2002)
Jonathan S. Shapiro, John Vanderburgh
Access and Integrity Control in a Public-Access, High-Assurance Configuration Management System. USENIX Security Symposium (2002)
Jonathan S. Shapiro, Jonathan Adams
Design Evolution of the EROS Single-Level Store. USENIX Annual Technical Conference, General Track (2002)
Jonathan S. Shapiro, Sam Weber
Verifying the EROS Confinement Mechanism. IEEE Symposium on Security and Privacy (2000)
Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber
EROS: a fast capability system. SOSP (1999)
Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith
State Caching in the EROS Kernel. POS (1996)
Allen C. Bomberger, William S. Frantz, Ann C. Hardy, Norman Hardy, Charles R. Landau, Jonathan S. Shapiro
The KeyKOS Nanokernel Architecture. USENIX Workshop on Microkernels and Other Kernel Architectures (1992)