|
| Presentations |
|
2010 |
 |
Beyond Technical Skills
- Grace Hopper Conference, Atlanta, Sep 2010.
|
| |
Dealing with Concurrency Problems
- Advanced Programming Languages and Translators Course, Columbia University, Sep 2010.
|
| |
D2C: Deterministic, Deadlock-free Concurrency
- ACM Student Research Competition, Programming Architectures and Compilation Techniques (PACT 2010), Vienna, Sep 2010.
|
| |
Simple and Fast Biased Locks
- Programming Architectures and Compilation Techniques (PACT 2010), Vienna, Sep 2010.
|
| |
Deterministic, Deadlock-free Concurrency
- IBM Research, Hawthorne, August 2010.
|
| |
Efficient, Deterministic and Deadlock-free Concurrency
- Intel Labs, Santa Clara, August 2010.
|
| |
Determinism Should Ensure Deadlock-Freedom (Poster)
- 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar 2010).
|
| |
Efficient, Deterministic and Deadlock-free Concurrency
- Thesis Proposal, Columbia University, May 2010.
|
| |
Ensuring Deterministic Concurrency through Compilation (Poster)
- IEEE International Parallel & Distributed Processing Symposium Workshops (IPDPS 2010), Atlanta, USA, April 2010.
|
|
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 [Article]
- 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.
|
|
|