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.

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:

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:

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:

  • Here is the code for a General Problem Solver in Scheme. Guide:Amitabh Sanyal

  • Here is the code for Kurukshetra, a game that we developed for Techfest ’04.

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