Nalini Vasudevan
|    Home   |    Publications   |    Presentations   |    Teaching   |
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.
All Rights Reserved. 2010. www.cs.columbia.edu/~naliniv. Design by Nalini Vasudevan