Swaroop Sridhar
3400 N. Charles Street, NEB 217
Baltimore, MD 21218
Ph: +1 (410) 416-4650

ಕನ್ನಡ
தமிழ்
 
English


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 Mysoru in India, where I obtained my Bachelor of Engineering
(B.E.) degree from The National Institute of Engineering.


Research
My primary research interests are:

Programming Languages: Compilers, Type theory, Program analysis and verification.
Virtual Machines: Dynamic translation, Machine virtualization techniques, Applications of virtual machines.
Operating Systems: Foundations, Secure and reliable operating systems.

I have worked on the BitC safe systems programming language project and HDTrans dynamic
instrumentation system. My CV can be obtained here.

Teaching
I teach the EN 600.318/418 Operating Systems course every spring along with Michael Doerrie.

Selected Publications
Swaroop Sridhar, Jonathan S. Shapiro, and Scott F. Smith ``Sound and Complete Type Inference for a Systems
Programming Language
'' 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
'' Proc. 12th
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.