Rhishikesh Limaye

14 papers A* 2A 2C 1Misc 2Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2016 C conf
Specification of precise timing in synchronous dataflow models.
MEMOCODE
Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye
2016 J jnl
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware.
J. Signal Process. Syst.
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal
2014 — ch.
Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets.
Embedded Systems Development, From Functional Models to Implementations
Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Douglas Kim, Hugo A. Andrade, Jeff Correll, Jacob Kornerup, Ian C. Wong, Gerald Wang, Guang Yang, Amal Ekbal, Mike Trimborn, Ankita Prasad, Trung N. Tran
2014 — conf
On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations.
ICSAMOS
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang
2012 — conf
Analysis techniques for static dataflow models with access patterns.
DASIP
Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Guoqiang Wang, Guang Yang, Hugo A. Andrade
2012 A conf
Early timing estimation for system-level design using FPGAs (abstract only).
FPGA
Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Sadia Malik, Newton Petersen, Kaushik Ravindran, Trung N. Tran, Guoqiang Wang, Guang Yang
2012 A* conf
Static dataflow with access patterns: semantics and analysis.
DAC
Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade
2012 — conf
Tools for deploying dataflow models on FPGA targets.
DASIP
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
2011 Misc conf
Correct and non-defensive glue design using abstract models.
CODES+ISSS
Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong
2011 J jnl
Symbolic predictive analysis for concurrent programs.
Formal Aspects Comput.
Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
2010 A conf
Trace-Based Symbolic Analysis for Atomicity Violations.
TACAS
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
2009 A* conf
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.
CAV
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia
2009 J jnl
On the Computational Complexity of Satisfiability Solving for String Theories
CoRR
Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye
2004 Misc conf
On Design and Implementation of an Embedded Automatic Speech Recognition System.
VLSI Design
Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, Kavitha Subramanian