Travelled to:1 × Austria
1 × France
Collaborated with:A.Rybalchenko J.Esparza R.Majumdar P.Meyer F.Niksic
Talks about:analysi (2) reachabl (1) function (1) approach (1) program (1) higher (1) binari (1) order (1) cover (1) base (1)
Person: Ruslán Ledesma-Garza
DBLP: Ledesma-Garza:Rusl=aacute=n
Contributed to:
2014
2012Wrote 2 papers:
- CAV-2014-EsparzaLMMN #analysis #approach #smt
- An SMT-Based Approach to Coverability Analysis (JE, RLG, RM, PM, FN), pp. 603–619.
- SAS-2012-Ledesma-GarzaR #analysis #functional #higher-order #reachability #source code
- Binary Reachability Analysis of Higher Order Functional Programs (RLG, AR), pp. 388–404.