|
| Publications |
|
2016 |
 |
FlexVec: A Co-designed HW/SW Approach for Flexible Length Vectors
Sara Bagsorkhi, Nalini Vasudevan, Youfeng Wu .
ACM SIGPLAN conference on Programming Languages Design And Implementation (PLDI 2016).
|
|
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 |
|
|