- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| c18 |      | Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith: Sound and Complete Type Inference for a Systems Programming Language. APLAS 2008: 290-306 |
| 2007 | ||
| j3 | | Swaroop Sridhar, Jonathan S. Shapiro, Prashanth P. Bungale: HDTrans: a low-overhead dynamic translator. SIGARCH Computer Architecture News 35(1): 135-140 (2007) |
| 2006 | ||
| c17 | | Swaroop Sridhar, Jonathan S. Shapiro: Type inference for unboxed types and first class mutability. PLOS 2006: 7 |
| 2005 | ||
| c16 | | Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro: Concurrency Among Strangers. TGC 2005: 195-229 |
| 2004 | ||
| c15 | | Hao Chen, Jonathan S. Shapiro: Using build-integrated static checking to preserve correctness invariants. ACM Conference on Computer and Communications Security 2004: 288-297 |
| c14 | | Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro: The Structure of Authority: Why Security Is Not a Separable Concern. MOZ 2004: 2-20 |
| c13 | | 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: 22 |
| c12 | | Anshumal Sinha, Sandeep Sarat, Jonathan S. Shapiro: Network Subsystems Reloaded: A High-Performance, Defensible Network Subsystem. USENIX Annual Technical Conference, General Track 2004: 213-226 |
| c11 | | Jonathan S. Shapiro, John Vanderburgh, Eric Northup, David Chizmadia: Design of the EROS Trusted Window System. USENIX Security Symposium 2004: 165-178 |
| 2003 | ||
| j2 | | |
| c10 | | Mark S. Miller, Jonathan S. Shapiro: Paradigm Regained: Abstraction Mechanisms for Access Control. ASIAN 2003: 224-242 |
| c9 | | Jonathan S. Shapiro: Vulnerabilities in Synchronous IPC Designs. IEEE Symposium on Security and Privacy 2003: 251-262 |
| c8 | | Jonathan S. Shapiro, John Vanderburgh, Jack Lloyd: OpenCM: Early Experiences and Lessions Learned. USENIX Annual Technical Conference, FREENIX Track 2003: 231-244 |
| 2002 | ||
| j1 | | Jonathan S. Shapiro, Norman Hardy: EROS: A Principle-Driven Operating System from the Ground Up. IEEE Software 19(1): 26-33 (2002) |
| c7 | | Jonathan S. Shapiro, Jonathan Adams: Design Evolution of the EROS Single-Level Store. USENIX Annual Technical Conference, General Track 2002: 59-72 |
| c6 | | Jonathan S. Shapiro, John Vanderburgh: CPCMS: A Configuration Management System Based on Cryptographic Names. USENIX Annual Technical Conference, FREENIX Track 2002: 207-220 |
| c5 | | Jonathan S. Shapiro, John Vanderburgh: Access and Integrity Control in a Public-Access, High-Assurance Configuration Management System. USENIX Security Symposium 2002: 109-120 |
| 2000 | ||
| c4 | | Jonathan S. Shapiro, Sam Weber: Verifying the EROS Confinement Mechanism. IEEE Symposium on Security and Privacy 2000: 166-176 |
| 1999 | ||
| c3 | | Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber: EROS: a fast capability system. SOSP 1999: 170-185 |
| 1996 | ||
| c2 |  | Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith: State Caching in the EROS Kernel. POS 1996: 88-100 |
| 1992 | ||
| c1 | | 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: 95-112 |
Colors in the list of coauthors
Last update Fri May 24 21:38:38 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page