Undergraduate Work

Warning: Some of the links below may not work. I will update them as soon as they are available.

Semester 8:

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.

Semester 7:

Here is the project report and the presentation on Quantum Cryptography and Computing done as part of my Network Security course.

BTech Project: I worked on the problem of Termination of Programs and Invariant Generation with Prof. Chakraborty. For references, look at my Stage I report.
- Here is the report on the first stage of my BTech Project.
- Here are the presentation slides.

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

Semester 6:

Here is my Seminar Report on Abstract Interpretation. Guide:Supratik Chakraborty
Here is the Seminar Presentation that I gave on the same.
Here is the Report on Bird Meertens Formalism for my Functional Programming Course. Guide: Amitabh Sanyal
Here is a report on Porting GCC. Guide: Uday Khedker

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

Semester 5:

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

Semester 4:

Contemplate over this link. This is a preliminary draft of a paper in Geometric Optics which has been published in this form in Physics Education, Jan-Mar 2006 issue, Vol 22, No.4.
Here is the Software Systems Lab Project Report, and here is the tarred version of the same. Guide: G. Sivakumar
Here is the Electronic Design Lab Project Report. Guide: S. D. Gupta
Here is a two-page Report on Charged Coupled Devices. Guide: S.D. Gupta

Semester 3:

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.

Semester 2:

Semester 1:

Here is the source for my Point Charge Simulator, written in Fortran 90 (course project for CS101). It was able to plot equipotential lines and lines of force. Guide: P. Bhattacharya