Susmit Sarkar

I am a doctoral student in the School of Computer Science, Carnegie Mellon University. I am advised by Karl Crary.

Research Interests

I am interested in the theory of programming languages. Based on the formalization of type theory, I study expressive, provable safe languages that can be efficiently implemented. I work in certified code techniques, and my research has focussed on building a foundational certified code system. I am also interested in logical frameworks and automated deductions systems.

Publications

Refereed Publications:
  • Susmit Sarkar, Brigitte Pientka and Karl Crary, Small Proof Witnesses for LF, Twenty First International Conference on Logic Programming (ICLP '05) (ps, pdf).
  • Karl Crary and Susmit Sarkar, Foundational Certified Code in a Metalogical Framework, ACM Transactions on Computational Logic Accepted, 2005
  • Karl Crary and Susmit Sarkar, Foundational Certified Code in a Metalogical Framework, Nineteenth International Conference on Automated Deduction (CADE '03) (ps, pdf).
Non-refereed Publications:
  • Susmit Sarkar, LF/ML: A Language for Certified Computation, Technical Report, in preparation
  • Susmit Sarkar, The Metatheory of LF extended with Dependent Product and Unit Types, Technical Report, in preparation
  • Susmit Sarkar, A Cost-Effective Foundational Certified Code System, Thesis Proposal (ps, pdf).
  • Karl Crary and Susmit Sarkar, Foundational Certified Code in a Metalogical Framework, Technical Report CMU-CS-03-108 (extended version of CADE paper) (ps, pdf).
Presentations:

Resume

  • Available on request.

Contact

Graduate Student
School of Computer Science,
Carnegie Mellon University,
Pittsburgh, PA 15213-3891.
 
Email : susmit @ cs . cmu . edu
Office : WeH 8303
Phone : +1 412 268 2993
Fax : +1 412 268 5576

Misc

A couple of friends started Buxfer, a nice way to help people track their informal debts and personal expenses. Go check it out.