Travelled to:1 × Cyprus
1 × France
1 × USA
Collaborated with:S.Jha S.A.Seshia C.Wang M.K.Ganai A.Gupta A.Ghosal K.Ravindran S.Tripakis A.Prasad G.Wang T.N.Tran H.A.Andrade
Talks about:analysi (2) dataflow (1) arithmet (1) pattern (1) violat (1) vector (1) symbol (1) static (1) solver (1) semant (1)
Person: Rhishikesh Limaye
DBLP: Limaye:Rhishikesh
Contributed to:
2012
2010
2009Wrote 3 papers:
- DAC-2012-GhosalLRTPWTA #analysis #data access #data flow #semantics
- Static dataflow with access patterns: semantics and analysis (AG, RL, KR, ST, AP, GW, TNT, HAA), pp. 656–663.
- TACAS-2010-WangLGG #analysis
- Trace-Based Symbolic Analysis for Atomicity Violations (CW, RL, MKG, AG), pp. 328–342.
- CAV-2009-JhaLS #named #performance #smt
- Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic (SJ, RL, SAS), pp. 668–674.