|
| Publications |
|
2010 |
 |
Compiling SHIM
Stephen A. Edwards, Nalini Vasudevan.
A chapter in Synthesis of Embedded software - Frameworks and Methodologies for Correctness by Construction Software Design, Springer [To Appear].
|
|
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.
|
|
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), Vol. 9, November 2005, ISSN 1307-6884.
[WASET Link]
|
| |
Node Localization in Wireless Ad-hoc Sensor Networks
Nalini Vasudevan.
Undergraduate Thesis, 1RV01CS059, RV College of Engineering, Bangalore, Apr 2005.
|
|
2004 |
| |
Article: Gambas - Gambas Almost Means BASic!
Nalini Vasudevan, Arjun Jain.
Linux-Bangalore Open Source Conference, India, December 2004.
[Slides] [LB Link] |
| |
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 |
|
|