Rhishikesh Limaye

According to our database, Rhishikesh Limaye authored at least 14 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware.

Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal

J. Signal Process. Syst., 2016

Specification of precise timing in synchronous dataflow models.

Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2014

On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations.

Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang

Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets.

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

Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2012

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

Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, 2012

Analysis techniques for static dataflow models with access patterns.

Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Guoqiang Wang, Guang Yang, Hugo A. Andrade

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

Tools for deploying dataflow models on FPGA targets.

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

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

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

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

Symbolic predictive analysis for concurrent programs.

Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta

Formal Aspects Comput., 2011

Correct and non-defensive glue design using abstract models.

Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

Trace-Based Symbolic Analysis for Atomicity Violations.

Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009

On the Computational Complexity of Satisfiability Solving for String Theories

Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye

CoRR, 2009

Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.

Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2004

On Design and Implementation of an Embedded Automatic Speech Recognition System.

Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, Kavitha Subramanian

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004