Jonathan S. Shapiro

22 papers A* 4B 1C 1Journal 4Unranked 12

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