3400 N. Charles Street, NEB 217
Baltimore, MD 21218
Ph: +1 (410) 416-4650
I am Ph.D. candidate at the
Department of Computer Science
The Johns Hopkins University
I work in the
Systems Research Laboratory
, and my advisor is
Dr. Jonathan Shapiro
I come from the historic city of
in India, where I obtained my Bachelor of Engineering
(B.E.) degree from
The National Institute of Engineering
My primary research interests are:
: Compilers, Type theory, Program analysis and verification.
: Dynamic translation, Machine virtualization techniques, Applications of virtual machines.
: Foundations, Secure and reliable operating systems.
I have worked on the
safe systems programming language project and
instrumentation system. My CV can be obtained
I teach the
Operating Systems course every spring along with Michael Doerrie.
Swaroop Sridhar, Jonathan S. Shapiro, and Scott F. Smith ``
Sound and Complete Type Inference for a Systems
Proc. 6th Asian Symposium on Programming Languages and Systems
, Bangalore, 2008.
Swaroop Sridhar and Jonathan S. Shapiro, ``
Type Inference for Unboxed Types and First Class Mutability
Proc. 3rd ECOOP Workshop on Programming Languages and Operating Systems
, San Jose, CA. 2006.
Swaroop Sridhar, Jonathan S. Shapiro, Prashanth P. Bungale, and Eric Northup, ``
HDTrans: An Open Source,
Low-Level Dynamic Instrumentation System
Proc. Second ACM/USENIX International Conference on
Virtual Execution Environments
, Ottawa, Canada, June 2006.
Swaroop Sridhar, Jonathan S. Shapiro, and Prashanth P. Bungale, ``
HDTrans: A low-overhead dynamic translator
Proc. 2005 Workshop on Binary Instrumentation and Applications
, September 2005.
Jonathan Shapiro, Michael Scott Doerrie, Eric Northup, Swaroop Sridhar, Mark Miller, ``
Towards a Verified,
General-Purpose Operating System Kernel
Proc. Workshop on Operating Systems Verification
, October 2004.
Prashanth P. Bungale, Swaroop Sridhar, and Vinay Krishnamurthy, ``
An Approach to Heterogeneous Process
State Capture / Recovery, to Achieve Minimum Performance Overhead During Normal Execution
International Heterogeneous Computing Workshop
, April 2003.
Selected Technical Reports:
Prashanth P. Bungale, Swaroop Sridhar, and Jonathan S. Shapiro, ``
Supervisor-Mode Virtualization for x86 in VDebug
Technical Report SRL2004-01, Systems Research Laboratory
, The Johns Hopkins University, May 2004.
Prashanth P. Bungale, Swaroop Sridhar and Jonathan S. Shapiro, ``
Low-Complexity Dynamic Translation in VDebug
Technical Report SRL2004-02, Systems Research Laboratory
, The Johns Hopkins University, May 2004
Prashanth P. Bungale and Swaroop Sridhar ``
A framework for receipt issuing, contendable remote poll-site voting
Work-In-Progress Report, 12th USENIX Security Symposium
, August 2003.