Nalini Vasudevan
|    Home   |    Publications   |    Presentations   |    Teaching   |
Publications
2011
Efficient, Deterministic and Deadlock-free Concurrency
Nalini Vasudevan.
PhD Thesis, Columbia Unvierstiy Technical Report CUCS.013.11.
[CUCS Libraries]
2010
Simple and Fast Biased Locks
Nalini Vasudevan, Kedar Namjoshi, Stephen A. Edwards.
International Conference on Parallel Architectures and Compilation Techniques (PACT 2010).
[Slides] [ACM Link]
Buffer Sharing in Rendezvous Programs
Nalini Vasudevan, Stephen A. Edwards.
IEEE Transactions on Computer Aided Design (TCAD 2010), Issue 10, Oct 2010 - Invited Paper.
[IEEE Link]
Determinism Should Ensure Deadlock-Freedom
Nalini Vasudevan, Stephen A. Edwards.
2nd USENIX Workshop on Hot Topics in Parallelism (HotPar 2010).
[USENIX Link]
Compiling SHIM
Stephen A. Edwards, Nalini Vasudevan.
A chapter in Synthesis of Embedded software - Frameworks and Methodologies for Correctness by Construction Software Design, Springer, Vol 1, 2010 .
[Springer Link]
Ensuring Deterministic Concurrency through Compilation
Nalini Vasudevan, Stephen A. Edwards.
Proceedings of the IEEE International Parallel & Distributed Processing Symposium Workshops (IPDPS 2010).
[IEEE Link]
Deterministic, Deadlock-free Concurrency
Nalini Vasudevan.
High Performance Computing (HiPC 2010) - Student Research Symposium.
2009
A Determinizing Compiler
Nalini Vasudevan, Stephen A. Edwards.
ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI 2009)- Fun Ideas and Thoughts (FIT), Dublin, Ireland.
[Slides] [FITness Blog]
Buffer Sharing in CSP-like Programs
Nalini Vasudevan, Stephen A. Edwards.
7th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), Cambridge, USA.
[Slides] [IEEE Link]
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards.
International Conference on Compiler Construction (CC 2009), Lecture Notes in Computer Science, York, UK.
[Slides] [Springer Link] [ACM Link]
Celling SHIM: Compiling Deterministic Concurrency to a Heterogeneous Multicore
Nalini Vasudevan, Stephen A. Edwards.
24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawaii, USA.
[ACM Link]
Compositional Deadlock Detection for Rendezvous Communication
Baolin Shao, Nalini Vasudevan, Stephen A. Edwards.
International Conference on Embedded Systems (EMSOFT 2009), Grenoble, France.
[ACM Link]
2008
Static Deadlock Detection for the SHIM Concurrent Language
Nalini Vasudevan, Stephen A. Edwards.
6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008), Anaheim, USA.
[Slides], [IEEE Link]
A Deterministic Multi-Way Rendezvous Library for Haskell
Nalini Vasudevan, Satnam Singh, Stephen A. Edwards.
22nd IEEE International Parallel and Distributed Symposium (IPDPS 2008), Miami, Florida, USA.
[Slides], [IEEE Link]
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads
Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu.
Proceedings of Design Automation and Test in Europe (DATE 2008), Munich, Germany.
[ACM Link], [IEEE Link]
Static Deadlock Detection in SHIM with an Automata Type Checking System.
Dave Aaron Smith, Nalini Vasudevan, Stephen A. Edwards
Technical Report CUCS.053.08, Columbia University, Department of Computer Science, New York, USA, December 2008.
[CU Libraries]
Analysis of clocks in X10 programs (Extended)
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards
Technical Report CUCS.052.08, Columbia University, Department of Computer Science, New York, USA, December 2008.
[CU Libraries]
2007
Comparative Analysis of Neural Network Techniques Vs Statistical Methods in Capacity Planning
Nalini Vasudevan, Gowri Parthasarathy.
5th IEEE International Conference on Software Engineering Research, Management and Applications (SERA 2007), Busan, Korea.
[ACM Link], [IEEE Link]
2006
A JPEG Decoder in SHIM
Nalini Vasudevan, Stephen A. Edwards.
Technical Report CUCS.48.06, Columbia University, Department of Computer Science, New York, USA, December 2006.
[CU Libraries]
Iterative Image Based Video Summarization by Node Segmentation
Nalini Vasudevan, Arjun Jain, Himanshu Agrawal.
Information Technology and Sustainable Development, Saudi Computer Society (SCS), Riyadh, Saudi Arabia, March 2006.
[SCS Link]
Design and Implementation of a Process Migration System for the Linux Environment
Nalini Vasudevan, Prasanna Venkatesh.
Atlas conference abstracts, Atlanta, USA, March 2006.
[Atlas Link]
2005
LINUX Cluster Possibilities in 3-D PHOTO Quality Imaging and Animation
Arjun Jain, Himanshu Agrawal, Nalini Vasudevan.
Proceedings of World Academy of Science, Engineering and Technology (WASET), November 2005.
[WASET Link]
Node Localization in Wireless Ad-hoc Sensor Networks
Nalini Vasudevan.
Undergraduate Thesis, 1RV01CS059, RV College of Engineering, Bangalore, Apr 2005.
2004
A Connectionist Framework For Feature Based Speech Recognition Using Artificial Neural Networks
Nalini Vasudevan, Anushruthi Rai, Arjun Jain.
18th CSI Student Convention, Computer Society of India, Bangalore, November 2004.
DBLP
All Rights Reserved. 2010. www.cs.columbia.edu/~naliniv. Design by Nalini Vasudevan