Jonathan S. Shapiro

According to our database, Jonathan S. Shapiro authored at least 22 papers between 1992 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Sound and Complete Type Inference for a Systems Programming Language.

Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

HDTrans: a low-overhead dynamic translator.

Swaroop Sridhar, Jonathan S. Shapiro, Prashanth P. Bungale

SIGARCH Comput. Archit. News, 2007

2006

Type inference for unboxed types and first class mutability.

Swaroop Sridhar, Jonathan S. Shapiro

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005

Concurrency Among Strangers.

Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004

Extracting the Lessons of Multics.

Jonathan S. Shapiro

login Usenix Mag., 2004

Design of the EROS Trusted Window System.

Jonathan S. Shapiro, John Vanderburgh, Eric Northup, David Chizmadia

Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, 2004

Network Subsystems Reloaded: A High-Performance, Defensible Network Subsystem.

Anshumal Sinha, Sandeep Sarat, Jonathan S. Shapiro

Proceedings of the General Track: 2004 USENIX Annual Technical Conference, June 27, 2004

Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors.

Michael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S. Shapiro

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

The Structure of Authority: Why Security Is Not a Separable Concern.

Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Using build-integrated static checking to preserve correctness invariants.

Hao Chen, Jonathan S. Shapiro

Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

2003

Understanding the Windows EAL4 Evaluation.

Jonathan S. Shapiro

Computer, 2003

OpenCM: Early Experiences and Lessions Learned.

Jonathan S. Shapiro, John Vanderburgh, Jack Lloyd

Proceedings of the FREENIX Track: 2003 USENIX Annual Technical Conference, 2003

Vulnerabilities in Synchronous IPC Designs.

Jonathan S. Shapiro

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

Paradigm Regained: Abstraction Mechanisms for Access Control.

Mark S. Miller, Jonathan S. Shapiro

Proceedings of the Advances in Computing Science, 2003

2002

EROS: A Principle-Driven Operating System from the Ground Up.

Jonathan S. Shapiro, Norman Hardy

IEEE Softw., 2002

Access and Integrity Control in a Public-Access, High-Assurance Configuration Management System.

Jonathan S. Shapiro, John Vanderburgh

Proceedings of the 11th USENIX Security Symposium, 2002

CPCMS: A Configuration Management System Based on Cryptographic Names.

Jonathan S. Shapiro, John Vanderburgh

Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, 2002

Design Evolution of the EROS Single-Level Store.

Jonathan S. Shapiro, Jonathan Adams

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

2000

Verifying the EROS Confinement Mechanism.

Jonathan S. Shapiro, Sam Weber

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

1999

EROS: a fast capability system.

Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber

Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

1996

State Caching in the EROS Kernel.

Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith

Proceedings of the 7th Workshop on Persistent Object Systems, 1996

1992

The KeyKOS Nanokernel Architecture.

Allen C. Bomberger, William S. Frantz, Ann C. Hardy, Norman Hardy, Charles R. Landau, Jonathan S. Shapiro

Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992