The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jonathan S. Shapiro" ( http://dblp.L3S.de/Authors/Jonathan_S._Shapiro )

URL (Homepage):  http://www.cs.jhu.edu/~shap/  Author page on DBLP  Author page in RDF  Community of Jonathan S. Shapiro in ASPL-2

Publication years (Num. hits)
1992-2004 (18) 2005-2008 (4)
Publication types (Num. hits)
article(4) inproceedings(18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 13 keywords

Results
Found 23 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith 0001 Sound and Complete Type Inference for a Systems Programming Language. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Swaroop Sridhar, Jonathan S. Shapiro, Prashanth P. Bungale HDTrans: a low-overhead dynamic translator. Search on Bibsonomy SIGARCH Computer Architecture News The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Swaroop Sridhar, Jonathan S. Shapiro Type inference for unboxed types and first class mutability. Search on Bibsonomy PLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF BitC, polymorphism, type inference, mutability
1Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro Concurrency Among Strangers. Search on Bibsonomy TGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jonathan S. Shapiro Extracting the Lessons of Multics. Search on Bibsonomy ;login: The full citation details ... 2004 DBLP  BibTeX  RDF
1Hao Chen 0003, Jonathan S. Shapiro Using build-integrated static checking to preserve correctness invariants. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2004 DBLP  DOI  BibTeX  RDF EROS, MOPS, model hecking, security, verification, static analysis, assurance
1Jonathan S. Shapiro, John Vanderburgh, Eric Northup, David Chizmadia Design of the EROS Trusted Window System. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2004 DBLP  BibTeX  RDF
1Michael Hohmuth, Michael Peter, Hermann Härtig, Jonathan S. Shapiro Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Anshumal Sinha, Sandeep Sarat, Jonathan S. Shapiro Network Subsystems Reloaded: A High-Performance, Defensible Network Subsystem. Search on Bibsonomy USENIX Annual Technical Conference, General Track The full citation details ... 2004 DBLP  BibTeX  RDF
1Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro The Structure of Authority: Why Security Is Not a Separable Concern. Search on Bibsonomy MOZ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jonathan S. Shapiro Understanding the Windows EAL4 Evaluation. Search on Bibsonomy IEEE Computer The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mark S. Miller, Jonathan S. Shapiro Paradigm Regained: Abstraction Mechanisms for Access Control. Search on Bibsonomy ASIAN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Jonathan S. Shapiro, John Vanderburgh, Jack Lloyd OpenCM: Early Experiences and Lessions Learned. Search on Bibsonomy USENIX Annual Technical Conference, FREENIX Track The full citation details ... 2003 DBLP  BibTeX  RDF
1Jonathan S. Shapiro Vulnerabilities in Synchronous IPC Designs. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2003 DBLP  DOI  BibTeX  RDF capability systems, operating systems, vulnerability, interprocess communication
1Jonathan S. Shapiro, Norman Hardy EROS: A Principle-Driven Operating System from the Ground Up. Search on Bibsonomy IEEE Software The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jonathan S. Shapiro, John Vanderburgh Access and Integrity Control in a Public-Access, High-Assurance Configuration Management System. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2002 DBLP  BibTeX  RDF
1Jonathan S. Shapiro, Jonathan Adams Design Evolution of the EROS Single-Level Store. Search on Bibsonomy USENIX Annual Technical Conference, General Track The full citation details ... 2002 DBLP  BibTeX  RDF
1Jonathan S. Shapiro, John Vanderburgh CPCMS: A Configuration Management System Based on Cryptographic Names. Search on Bibsonomy USENIX Annual Technical Conference, FREENIX Track The full citation details ... 2002 DBLP  BibTeX  RDF
1Jonathan S. Shapiro, Sam Weber Verifying the EROS Confinement Mechanism. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2000 DBLP  DOI  BibTeX  RDF capability systems, verification, formal specification, operating systems, confinement, proof of correctness
1Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber EROS: a fast capability system. Search on Bibsonomy SOSP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith State Caching in the EROS Kernel. Search on Bibsonomy POS The full citation details ... 1996 DBLP  BibTeX  RDF
1Allen C. Bomberger, William S. Frantz, Ann C. Hardy, Norman Hardy, Charles R. Landau, Jonathan S. Shapiro The KeyKOS Nanokernel Architecture. Search on Bibsonomy USENIX Workshop on Microkernels and Other Kernel Architectures The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license