|
| Presentations |
|
2009 |
 |
Buffer Sharing in CSP-like Programs
- 7th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), Cambridge, USA, July 2009.
|
| |
A Determinizing Compiler
- ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI 2009)- Fun
Ideas and Thoughts (FIT), Dublin, Ireland, June 2009.
|
| |
Deterministic Concurrency
- Candidacy Exam, Columbia University, May 2009.
|
| |
Compile-time Analysis and Specialization of Clocks in Concurrent Programs
- Compiler Construction (CC), ETAPS, York, UK, March 2009.
|
| |
Preventing Races and Deadlocks in Concurrent Programs: The SHIM Approach (Poster)
- Programming Languages, Operating Systems & Architecture Workshop, Washington D.C., March 2009.
- CRA-W Grad Cohort, San Mateo, March 2009.
|
|
2008 |
| |
Preventing Races and Deadlocks in Concurrent Programs: The SHIM Approach
- Computer Systems Seminar, Columbia University, Sept 2008.
|
| |
Clock Analysis of X10 Programs
- IBM T.J. Watson Research Center, New York, August 2008.
|
| |
Static Deadlock Detection of Concurent Programs
- 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008), Anaheim, USA, June 2008.
- IBM T.J. Watson Research Center, New York, May 2008.
|
| |
A Deterministic Multi-Way Rendezvous Library for Haskell
- 22nd IEEE International Parallel and Distributed Symposium (IPDPS 2008), Miami, Florida, April 2008.
|
|
2006 |
| |
Gambas almost means BASic
- At LINUX ASIA/2006, the premier Open Source conference and exposition in Asia. Feb 2006.
- At RV College of Engineering, India, Nov 2005.
- At LINUX-BANGALORE/2004, India's largest Free and Open Source symposium, Dec 2004.
|
|
2005 |
| |
Add more to Firefox
- At FOSS.IN/2005, India's largest Free and Open Source symposium, Dec 2005.
|
|
|