DBLP: Rhishikesh Limaye

	2012
c8		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
c7		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: 1-2
c6		Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Guoqiang Wang, Guang Yang, Hugo A. Andrade: Analysis techniques for static dataflow models with access patterns. DASIP 2012: 1-8
c5		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
j1		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)
c4		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: 59-68
	2010
c3		Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta: Trace-Based Symbolic Analysis for Atomicity Violations. TACAS 2010: 328-342
	2009
c2		Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia: Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. CAV 2009: 668-674
i1		Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye: On the Computational Complexity of Satisfiability Solving for String Theories. CoRR abs/0903.2825 (2009)
	2004
c1		Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, Kavitha Subramanian: On Design and Implementation of an Embedded Automatic Speech Recognition System. VLSI Design 2004: 127-132

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: 656-663

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: 1-2

Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Guoqiang Wang, Guang Yang, Hugo A. Andrade: Analysis techniques for static dataflow models with access patterns. DASIP 2012: 1-8

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

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)

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: 59-68

2010

Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta: Trace-Based Symbolic Analysis for Atomicity Violations. TACAS 2010: 328-342

2009

Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia: Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. CAV 2009: 668-674

Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye: On the Computational Complexity of Satisfiability Solving for String Theories. CoRR abs/0903.2825 (2009)

2004

Sujay Phadke, Rhishikesh Limaye, Siddharth Verma, Kavitha Subramanian: On Design and Implementation of an Embedded Automatic Speech Recognition System. VLSI Design 2004: 127-132

1	Hugo A. Andrade	[c8] [c7] [c6] [c5] [c4]
2	Alejandro Asenjo	[c7]
3	Malay K. Ganai	[j1] [c3]
4	Arkadeb Ghosal	[c8] [c7] [c6] [c5] [c4]
5	Aarti Gupta	[j1] [c3]
6	Takao Inoue	[c7]
7	Susmit Jha	[c2] [i1]
8	Douglas Kim	[c7]
9	Jacob Kornerup	[c4]
10	Sudipta Kundu	[j1]
11	Sadia Malik	[c5]
12	Newton Petersen	[c5]
13	Sujay Phadke	[c1]
14	Ankita Prasad	[c8] [c7]
15	Kaushik Ravindran	[c8] [c7] [c6] [c5] [c4]
16	Sanjit A. Seshia	[c2] [i1]
17	Kavitha Subramanian	[c1]
18	Trung N. Tran	[c8] [c7] [c5]
19	Mike Trimborn	[c7]
20	Stavros Tripakis	[c8] [c4]
21	Siddharth Verma	[c1]
22	Chao Wang	[j1] [c3]
23	Guoqiang Wang	[c8] [c7] [c6] [c5] [c4]
24	Ian C. Wong	[c4]
25	Guang Yang	[c7] [c6] [c5] [c4]

Rhishikesh Limaye

Coauthor Index