 | 2012 |
|---|
| 8 |       | 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: 656-663 |
| 7 | | 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: 271 |
| 2011 |
|---|
| 6 | | Stavros Tripakis,
Hugo A. Andrade,
Arkadeb Ghosal,
Rhishikesh Limaye,
Kaushik Ravindran,
Guoqiang Wang,
Guang Yang,
Jacob Kornerup,
Ian Wong:
Correct and non-defensive glue design using abstract models.
CODES+ISSS 2011: 59-68 |
| 5 | | Chao Wang,
Sudipta Kundu,
Rhishikesh Limaye,
Malay K. Ganai,
Aarti Gupta:
Symbolic predictive analysis for concurrent programs.
Formal Asp. Comput. 23(6): 781-805 (2011) |
| 2010 |
|---|
| 4 | | Chao Wang,
Rhishikesh Limaye,
Malay K. Ganai,
Aarti Gupta:
Trace-Based Symbolic Analysis for Atomicity Violations.
TACAS 2010: 328-342 |
| 2009 |
|---|
| 3 | | Susmit Jha,
Rhishikesh Limaye,
Sanjit A. Seshia:
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.
CAV 2009: 668-674 |
| 2 | | Susmit Jha,
Sanjit A. Seshia,
Rhishikesh Limaye:
On the Computational Complexity of Satisfiability Solving for String Theories
CoRR abs/0903.2825: (2009) |
| 2004 |
|---|
| 1 | | Sujay Phadke,
Rhishikesh Limaye,
Siddharth Verma,
Kavitha Subramanian:
On Design and Implementation of an Embedded Automatic Speech Recognition System.
VLSI Design 2004: 127-132 |
Data released under the ODC-BY 1.0 license — See also our legal information page