Susmit Sarkar
I am a doctoral student in the School of Computer Science,
Carnegie Mellon University. I am advised by Karl Crary.
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.
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:
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.
|