Nalini Vasudevan, Ph.D.

2011 Columbia University, New York, NY 
Compilers, Embedded Systems, VLSI, Computer-aided Design, Digital Systems, Languages
"Nalini Vasudevan"


Sign in to add mentor
Stephen A. Edwards grad student 2011 Columbia
 (Efficient, Deterministic and Deadlock-free Concurrency.)
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Varadaraju HR, Vasudevan N, Ravi S. (2015) Implementation of a reconfigurable decimator using FPGA International Journal of Applied Engineering Research. 10: 857-864
Vasudevan N, Namjoshi KS, Edwards SA. (2010) Simple and fast biased locks Parallel Architectures and Compilation Techniques - Conference Proceedings, Pact. 65-73
Vasudevan N, Edwards SA. (2010) Buffer sharing in rendezvous programs Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 29: 1471-1480
Karthikeyan KV, Vasudevan N. (2010) Analysis of performance of sigma delta architecture in Software Defined Radio Proceedings of the International Conference On "Recent Advances in Space Technology Services and Climate Change - 2010", Rsts and Cc-2010. 164-166
Vasudevan N, Edwards SA. (2010) Ensuring deterministic concurrency through compilation Proceedings of the 2010 Ieee International Symposium On Parallel and Distributed Processing, Workshops and Phd Forum, Ipdpsw 2010
Edwards SA, Vasudevan N. (2010) Compiling SHIM Synthesis of Embedded Software: Frameworks and Methodologies For Correctness by Construction. 121-146
Shao B, Vasudevan N, Edwards SA. (2009) Compositional deadlock detection for rendezvous communication Embedded Systems Week 2009 - Proceedings of the 7th Acm International Conference On Embedded Software, Emsoft '09. 59-66
Vasudevan N, Edwards SA. (2009) Celling SHIM: Compiling deterministic concurrency to a heterogeneous multicore Proceedings of the Acm Symposium On Applied Computing. 1626-1631
Vasudevan N, Edwards SA. (2009) Buffer sharing in CSP-like programs 2009 7th Ieee-Acm International Conference On Formal Methods and Models For Co-Design, Memocode '09. 151-160
Vasudevan N, Tardieu O, Dolby J, et al. (2009) Compile-time analysis and specialization of clocks in concurrent programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5501: 48-62
See more...