Warning: Some of the links below may not work. I will update them as soon as they are available.
Here is the report on CFG-Regularization, done as part of the Natural Computing Course.
Here is the presentation on Liveness of Heap Data for Eager Functional Programs, done as part of the Program Analysis course.
Here is my BTech Thesis, and the presentation.
Year 3 Summer Holidays: I was an intern in the Geometrica Group at INRIA Sophia Antipolis.
Here is the report on the first robust construction of the 3-D flow complex. Accepted at the ACM Symposium on Computational Geometry ’08. Guide: Frederic Cazals and Sylvain Pion
Here is the report on visibility queries in a generalized polygon. Guide: Sylvain Pion
Year 3 Winter Holidays: I was an intern in the Rigorous Software Engineering Group at Microsoft Research Bangalore.
Here is a report on Using Formal Methods to Examine Access Control. The project involved building a tool to look at information flows and examine security of the Windows XP operating system. A report on the latest version of the tool, Netra, has been published in FMSE ’06.
Guide: Prasad Naldurg and Sriram Rajamani
Here is my project for the database design lab course involving a bibliography database.
It involved building an interface for a database containing details of various publications,
journals, conferences, and details between them. The goal to capture complicated queries like
Erdos number calculations were also met. It was written using JSP, Java Servlets and an Oracle
Database. Guide: N.L. Sarda
Year 2 Summer Holidays: Here are a set of links for my summer
project on SAT Solvers including my presentation
Guide: Supratik Chakraborty
Here is a zipped version of my Data Structures Lab Project on Lossless Compression in C
(I performed a comparison of Lempel Ziv Welch and Huffman Trees approaches). Guide: A. A. Diwan
Here is the source code for Anaconda, a game that we developed for Techfest ’05.
Here is the Hostel 5 website that I designed.
Here is an essay on DNA computing that I wrote that won the Tech GC Journalism contest.
Here is the code for a General Problem Solver in Scheme.
Here is the code for Kurukshetra, a game that we developed for Techfest ’04.