Sunil Kothari
Palo Alto
Biography
Sunil Kothari is a post doc at the Printing and Content Delivery Lab.
Research interests
SLA Negotiation, SLA Management for Commercial Print
Awards
Commonwealth Scholarship, 2000-01.
Publications
Selected Recent Publications:
[1] Sunil Kothari, Jun Zeng, Eric Hoarau, Giordano Beretta, John Ludd Recker, I-Jong Lin. Toward a SLA-based Marketplace for Commercial Print Providers. Presented at the NIP27, Minneapolis, 2011.
Prior Publications and Technical Reports:
[2] S. Kothari. Type Inference and Unification: Formal and Informal Proofs In and Around Wand's Algorithm. PhD Dissertation, University of Wyoming, May 2011. Contains detailed versions of papers 3,4,5,6,7,8 and 9. Available here.
[3] S. Kothari and J. Caldwell. Towards a Formalized Completeness Proof of Wand's Type Inference Algorithm: Some Issues of Freshness. Technical Report, University of Wyoming, 2010.
[4] S. Kothari and J. Caldwell. A Machine Checked Model of Idempotent MGU Axioms For a List of Equational Constraints. Presented at the 24th International Workshop on Unification (UNIF'10), July 14, 2010, Edinburgh, United Kingdom. An updated version of 4 and 5 was published in EPTCS (Vol. 42).
[5] S. Kothari and J. Caldwell. Toward a machine-certified correctness proof of Wand's type reconstruction algorithm. Extended abstract. 4th Informal ACM SIGPLAN Workshop on Mechanizing Metatheory (WMM'09), Edinburgh, United Kingdom.
[6] S. Kothari, J. Caldwell. A Machine Checked Model of MGU Axioms: Applications of Finite Maps and Functional Induction. Presented at the 23rd International Workshop on Unification (UNIF'09), Montreal, Canada.
[7] S. Kothari and J. Caldwell. On Extending Wand's Type Reconstruction Algorithm to Handle Polymorphic Let. Presented at the Fourth Conference on Computability in Europe (CiE'08), Athens, Greece. June 15-20, 2008.
[8] S. Kothari and J. Caldwell. Wand's Algorithm extended for the Polymorphic ML-Let.Technical Report, University of Wyoming, 2007.
[9] S. Kothari. Type Reconstruction Algorithms - A Survey. Technical Report, University of Wyoming, 2007.
[10] S. Kothari and M. Sulzmann. C++ templates/traits versus haskell type classes. Technical Report TRB2/05, The National University of Singapore, 2005.
[11] S.Kothari. A declarative approach towards ensuring auto-completion and auto-update of HTML form fields. Unpublished paper.