Rhishikesh Limaye
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2004–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | MEMOCODE | Specification of precise timing in synchronous dataflow models. | Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye |
| 2012 | DAC | Static dataflow with access patterns: semantics and analysis. | Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade |
| 2012 | FPGA | Early timing estimation for system-level design using FPGAs (abstract only). | Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Sadia Malik, Newton Petersen, Kaushik Ravindran, Trung N. Tran, Guoqiang Wang, Guang Yang |
| 2010 | TACAS | Trace-Based Symbolic Analysis for Atomicity Violations. | Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta |
| 2009 | CAV | Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. | Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia |
| 2004 | VLSID | On Design and Implementation of an Embedded Automatic Speech Recognition System. | Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, Kavitha Subramanian |