Last Updated : February 28, 2002

Sanjeev Kumar
Address:
Department of Computer Science
Princeton University
35 Olden Street
Princeton, NJ, 08544 		Contact:
skumar@cs.princeton.edu
Office: (609) 258-4673
Home: (215) 604-0639
Fax: (609) 258-1771


RESEARCH INTERESTS
Computer systems and programming languages.

EDUCATION
Ph.D., Computer Science, Princeton University, Princeton, NJ
Thesis: ESP: A Language for Programmable Devices
Advisor: Professor Kai Li 		Jan, 2002
M.S., Computer Science, Indiana University, Bloomington, IN
 1995
B.Tech., Computer Science and Engineering, Indian Institute of Technology, Madras, India
 1993

PUBLICATIONS

Sanjeev Kumar, Kai Li. Using Model Checking to Debug Device Firmware. Submitted for publication.

Sanjeev Kumar, Kai Li. Dynamic Memory Management for Programmable Devices. International Symposium of Memory Management, 2002.

Sanjeev Kumar. ESP: A Language for Programmable Devices. Ph.D. Thesis, Department of Computer Science, Princeton University, Jan 2002. Available as Princeton University Technical Report TR-646-02.

Sanjeev Kumar, Kai Li. Performance Impact of Using ESP to Implement VMMC Firmware. Workshop on Novel Uses of System Area Networks (SAN-1), 2002.

Sanjeev Kumar, Yitzhak Mandelbaum, Xiang Yu, Kai Li. ESP: A language for programmable devices. Programming Language Design and Implementation, 2001.

Yuqun Chen, Stefanos N. Damianakis, Sanjeev Kumar, Xiang Yu, Kai Li. Porting a User-Level Communication Architecture to NT: Experiences and Performance. Usenix 1999 Windows NT Symposium.

Dongming Jiang, Brian O'Kelly, Xiang Yu, Sanjeev Kumar, Angelos Bilas, Jaswinder Pal Singh. Application Scaling under Shared Virtual Memory on a Clusters of SMPs. International Conference on Supercomputer, 1999.

Sanjeev Kumar, Dongming Jiang, Rohit Chandra, Jaswinder Pal Singh. Evaluating Synchronization on Shared Address Space Multiprocessors: Methodology and Performance. SIGMETRICS'99 Conference on the Measurement and Modeling of Computer Systems.

Sanjeev Kumar, Christopher Wilkerson. Exploiting Spatial Locality in Data Caches using Spatial Footprints. International Symposium on Computer Architecture, 1998.

Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig. Threads Yield Continuations. LISP and Symbolic Computation 10, 223-236, 1998.


RESEARCH EXPERIENCE
Research Associate, Princeton University. Since Feb 2002
Graduate Student, Princeton University. 1995-2002
ESP: A Language for Programmable Devices
Advisor: Professor Kai Li.
  • Designed a domain-specific language (ESP) for programmable devices.
  • Implemented a compiler for the ESP language that generates
    • SPIN specification that can be used to extensively test the system using the SPIN verifier.
    • C code that can be compiled into an executable.
  • Reimplemented VMMC firmware using ESP. The new implementation
    • requires an order of magnitude less of readable modular code.
    • is extensively tested using the SPIN model-checking verifier.
    • incurs only a small additional performance hit compared to the old implementation.
SHRIMP Project: VMMC Architecture for High-Performance Communication.
Advisor: Professor Kai Li.
  • Part of the team that maintained and ported the VMMC implementation from the Linux platform to the Windows NT platform.
Evaluating Synchronization on Shared Address Space Multiprocessor.
Supervisor: Professor Jaswinder Pal Singh.
  • Studied the impact of synchronization primitives and algorithms on a modern 64-processor, hardware-coherent, shared-address space multiprocessor: the SGI Origin 2000.
  • The study found that applications that spend significant time in synchronization benefit little from better synchronization hardware. They require application restructuring to eliminate synchronization overhead.
Summer Intern, Microcomputer Research Labs, Intel, OR Summer 1997
Spatial Locality in Data Caches.
Supervisor: Christopher Wilkerson and Dr. Wen-Hann Wang.
  • Designed mechanisms to better exploit spatial locality in data caches by observing the application behavior at run time.
  • Performed extensive simulations using traces from real-world applications like word processors and spread sheets.
  • Showed that our Spatial Footprint Predictor not only improved the hit ratio but also reduced the bandwidth requirements.
Summer Intern, NEC Research Institute, Princeton, NJ Summer, 1995
Garbage Collector for the Sting Operating System.
Supervisor: Dr. James F. Philbin.
  • Implemented a generational garbage collector for the Sting operating system. Sting is a multiprocessor OS that runs on top of the Scheme48 virtual machine.
  • Instrumented the mutator and collector extensively to study the viability of extending it to do parallel garbage collection.
Graduate Student, Indiana University,Bloomington, IN 1993-1995
Threads package for the Scheme programming language.
Advisor: Professor R. Kent Dybvig.
  • Designed a threads package for the Scheme programming language.
  • Implemented the package in Chez Scheme (a commercially available Scheme compiler) on the SGI Challenge multiprocessor.
  • Showed how threads can be used to implement a variety of continuation mechanisms.

TEACHING EXPERIENCE
Teaching Assistant, Princeton University, Princeton, NJ
Assisted in teaching and grading courses in Operating Systems (COS 318) and Introduction to Programming Systems (COS 217). 		1995-1997
Associate Instructor, Indiana University, Bloomington, IN
Assisted in teaching and grading courses in Compilers (C431), Automata and Formal Grammar (C455), Introduction to Computer Science (C211), and Introduction to Computing (A106).
1993-1995
Teaching Assistant, Indian Institute of Technology, Madras, India
Assisted in teaching and grading a courses in Pascal. 		1992-1993

HONORS AND ACHIEVEMENTS
  • Certificate of merit for Outstanding performance in IIT---Joint Entrance Examination, 1989.
  • Top 20, Andhra Pradesh State Entrance Examination, 1989.
  • Recipient of the State Merit Scholarship in High School.

    • REFERENCES
    Professor Kai Li
    Department of Computer Science,
    Princeton University,
    35 Olden Street,
    Princeton, NJ 08540.
    li@cs.princeton.edu
    (609) 258-4637

    		Professor Andrew Appel
    Department of Computer Science,
    Princeton University,
    35 Olden Street,
    Princeton, NJ 08540.
    appel@cs.princeton.edu
    (609) 258-4627

    Professor Jaswinder Pal Singh
    Department of Computer Science,
    Princeton University,
    35 Olden Street,
    Princeton, NJ 08540.
    jps@cs.princeton.edu
    (609) 258-5329


    http://www.cs.princeton.edu/~skumar/resume.html