Rhishikesh Limaye

Publication Activity (10 Years)

Years Active: 2004-2016
Publications (10 Years): 2

Top Topics

Design Methodology

Access Patterns

Spatial Locality

Top Venues

Publications

Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye
Specification of precise timing in synchronous dataflow models. MEMOCODE (2016)
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. J. Signal Process. Syst. 85 (1) (2016)
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang
On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. ICSAMOS (2014)
Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Guoqiang Wang, Guang Yang, Hugo A. Andrade
Analysis techniques for static dataflow models with access patterns. DASIP (2012)
Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Hugo A. Andrade, Alejandro Asenjo, Takao Inoue, Douglas Kim, Ankita Prasad, Trung N. Tran, Mike Trimborn, Guoqiang Wang, Guang Yang
Tools for deploying dataflow models on FPGA targets. DASIP (2012)
Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade
Static dataflow with access patterns: semantics and analysis. DAC (2012)
Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Sadia Malik, Newton Petersen, Kaushik Ravindran, Trung N. Tran, Guoqiang Wang, Guang Yang
Early timing estimation for system-level design using FPGAs (abstract only). FPGA (2012)
Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong
Correct and non-defensive glue design using abstract models. CODES+ISSS (2011)
Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
Symbolic predictive analysis for concurrent programs. Formal Aspects Comput. 23 (6) (2011)
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
Trace-Based Symbolic Analysis for Atomicity Violations. TACAS (2010)
Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye
On the Computational Complexity of Satisfiability Solving for String Theories CoRR (2009)
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. CAV (2009)
Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, Kavitha Subramanian
On Design and Implementation of an Embedded Automatic Speech Recognition System. VLSI Design (2004)