BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Limaye:Rhishikesh

Contributed to:

DAC 20122012
TACAS 20102010
CAV 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.