Jonathan S. Shapiro

2008
20	EE	Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith: Sound and Complete Type Inference for a Systems Programming Language. APLAS 2008: 290-306
2006
19	EE	Swaroop Sridhar, Jonathan S. Shapiro: Type inference for unboxed types and first class mutability. PLOS 2006: 7
2005
18	EE	Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro: Concurrency Among Strangers. TGC 2005: 195-229
2004
17	EE	Hao Chen, Jonathan S. Shapiro: Using build-integrated static checking to preserve correctness invariants. ACM Conference on Computer and Communications Security 2004: 288-297
16	EE	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
15	EE	Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro: The Structure of Authority: Why Security Is Not a Separable Concern. MOZ 2004: 2-20
14	EE	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
13	EE	Jonathan S. Shapiro, John Vanderburgh, Eric Northup, David Chizmadia: Design of the EROS Trusted Window System. USENIX Security Symposium 2004: 165-178
2003
12	EE	Mark S. Miller, Jonathan S. Shapiro: Paradigm Regained: Abstraction Mechanisms for Access Control. ASIAN 2003: 224-242
11	EE	Jonathan S. Shapiro: Vulnerabilities in Synchronous IPC Designs. IEEE Symposium on Security and Privacy 2003: 251-262
10	EE	Jonathan S. Shapiro, John Vanderburgh, Jack Lloyd: OpenCM: Early Experiences and Lessions Learned. USENIX Annual Technical Conference, FREENIX Track 2003: 231-244
9	EE	Jonathan S. Shapiro: Understanding the Windows EAL4 Evaluation. IEEE Computer 36(2): 103-105 (2003)
2002
8	EE	Jonathan S. Shapiro, John Vanderburgh: CPCMS: A Configuration Management System Based on Cryptographic Names. USENIX Annual Technical Conference, FREENIX Track 2002: 207-220
7	EE	Jonathan S. Shapiro, Jonathan Adams: Design Evolution of the EROS Single-Level Store. USENIX Annual Technical Conference, General Track 2002: 59-72
6	EE	Jonathan S. Shapiro, John Vanderburgh: Access and Integrity Control in a Public-Access, High-Assurance Configuration Management System. USENIX Security Symposium 2002: 109-120
5	EE	Jonathan S. Shapiro, Norman Hardy: EROS: A Principle-Driven Operating System from the Ground Up. IEEE Software 19(1): 26-33 (2002)
2000
4	EE	Jonathan S. Shapiro, Sam Weber: Verifying the EROS Confinement Mechanism. IEEE Symposium on Security and Privacy 2000: 166-176
1999
3	EE	Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber: EROS: a fast capability system. SOSP 1999: 170-185
1996
2	EE	Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith: State Caching in the EROS Kernel. POS 1996: 88-100
1992
1		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

Coauthor Index

1	Jonathan Adams	[7]
2	Allen C. Bomberger	[1]
3	Hao Chen	[17]
4	David Chizmadia	[13]
5	David J. Farber	[2] [3]
6	William S. Frantz	[1]
7	Ann C. Hardy	[1]
8	Norman Hardy	[1] [5]
9	Hermann Härtig (Hermann Haertig)	[16]
10	Michael Hohmuth	[16]
11	Charles R. Landau	[1]
12	Jack Lloyd	[10]
13	Mark S. Miller	[12] [15] [18]
14	Eric Northup	[13]
15	Michael Peter	[16]
16	Sandeep Sarat	[14]
17	Anshumal Sinha	[14]
18	Jonathan M. Smith	[2] [3]
19	Scott F. Smith	[20]
20	Swaroop Sridhar	[19] [20]
21	Eric Dean Tribble	[18]
22	Bill Tulloh	[15]
23	John Vanderburgh	[6] [8] [10] [13]
24	Sam Weber	[4]

Colors in the list of coauthors