Jonathan S. Shapiro
Assistant Professor, The Johns Hopkins University
Professional Bio
Academic CV
The Coyotos/BitC page
The EROS page
The KeyKOS page
Hopkins Systems Research Lab
| Contact Info:
The Johns Hopkins University New Engineering Building, Room 212 3400 N. Charles St. Baltimore, MD 21218 |
|
| Home Page: | http://www.cs.jhu.edu/~shap |
| E-mail: | shap@cs.jhu.edu |
| Office phone: | +1 (410) 516-0434 |
| Fax: | +1 (410) 516-6134 |
| Home phone: | +1 (410) 902-7818 |
| ADVISEES: Please email me directly if you need an appointment. | |
My research focus is on operating system foundations for secure and reliable computing systems. Today's commodity operating systems aren't giving us what we need (check any newspaper) in either respect, and solving the problems that we face requires a basic shift in approach on operating system architecture and programming languages.
Currently active research areas include Coyotos (the successor to the EROS operating system), BitC (a programming and verification environment suitable for systems programs), and HDTrans (the world's fastest and most easily extended binary instrumentation system). Coyotos is a new capability-based operating system that re-opens the question of whether synchronous IPC was really the right primitive for microkernels after all. BitC is a Haskell-like programming language that provides first-class control over data structure representation and mutability. Its next major round will begin to add formal specification and verification features.
Formerly active research areas include EROS (The Extremely Reliable Operating System), OpenCM (a distributed configuration management), tools and methods for high assurance, and virtual machine technology. EROS is the first high-performance capability system that runs on commodity processors and hardware. OpenCM is the first configuration management system built on cryptographic naming and integrity checks.
While I am no longer actively affiliated, I was one of the founders of the JHUISI, the Johns Hopkins University Information Security Institute. These days, I'm on the oversight committee for the Technology Transfer department, and I sit on the Whiting School's Committee on Intellectual Property. Once in a while, I actually get to spend time with my son, Alexander, who currently thinks that chocolate ice cream is very cool stuff. Thankfully, my parents didn't have access to digital cameras. Film fades with time. Bits do not.
Further information on these projects, and general information about the Systems Research Laboratory and my students can be found on the Systems Research Lab) web page.
Students interested in operating systems and/or software development environments can drop me a note, or just feel free to drop by.
| 1999 | Ph.D. | University of Pennsylvania | Computer Science |
| 1989 | M.S. | Stanford University | Computer Science |
| 1986 | B.S. | Haverford College | Computer Science |