| Year | Project/Report | Remarks |
|---|---|---|
| 2011 | Verifying Concurrent Programs via Bounded Context-Switching and Induction [PRESENTATION] | This presentation was given at Google Madison. |
| 2011 | Network Localization
[GAMS SOURCE] [AIMMS PROJECT] |
This was our entry to the 2011 AIMMS MOPTA. The source files are for gams and aimms. |
| 2011 | Newton's method extended to w-continuous semirings [PDF] | This project was done as part of a course on Principles of Programming Languages. |
| 2010 | Summarizing Calling Contexts
Presentation [ODP] [PPT] Report [PS] [PDF] |
The project was done as part of a course on Analysis of Software Artefacts. |
| 2009-2010 | Equilibrium concepts in game graphs [PS] [PDF] | This report was submitted towards my final year project during my undergraduate study at Indian Institute of Technology, Bombay |
| 2008 | Verification of concurrent software [PDF] | This report was submitted at the end of my undergraduate seminar. |
| 2007 | Simulation Of Computer Hardware (SOCH) [DOWNLOAD] | An educational simplified computer simulator.
Needs Java. Last tested on Feb 5, 2012. |
| 2006 | Chinese Checkers [DEFUNCT DIST][SOURCE] | This is a Chinese Checkers game with a decent AI player. The source files are updated, and were tested on Linux-2.6.32 (Ubuntu distro) (Feb 2012) |
| 2006 | Hexxagon [DEFUNCT DIST] [SOURCE] | This is a Hexxagon game with a decent AI player. I have not tested the source recently. You will need MzScheme to compile the project. |
| 2008 | GutenTag [OLD and DECREPIT] | Here only for archival purposes. I don't even know how to get this to run any more. :( |