Nalini Vasudevan

According to our database1, Nalini Vasudevan authored at least 13 papers between 2007 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
FlexVec: auto-vectorization for irregular loops.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2010
Buffer Sharing in Rendezvous Programs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Ensuring deterministic concurrency through compilation.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Simple and fast biased locks.
Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

Compiling SHIM.
Proceedings of the Synthesis of Embedded Software, 2010

2009
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Buffer sharing in CSP-like programs.
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Compositional deadlock detection for rendezvous communication.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Compile-Time Analysis and Specialization of Clocks in Concurrent Programs.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Static Deadlock Detection for the SHIM Concurrent Language.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

A deterministic multi-way rendezvous library for haskell.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Comparative Analysis of Neural Network Techniques Vs Statistical Methods in Capacity Planning.
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007


  Loading...