Collaborated with:M.H.0001 T.Nguyen T.Antonopoulos S.Wei P.Mardziel J.S.Foster
Talks about:numer (2) counterexampl (1) tradeoff (1) approach (1) analysi (1) static (1) invari (1) design (1) evalu (1) java (1)
Person: Andrew Ruef
DBLP: Ruef:Andrew
Contributed to:
2017
2018Wrote 2 papers:
- ESEC-FSE-2017-NguyenARH #approach #invariant
- Counterexample-guided approach to finding numerical invariants (TN, TA, AR, MH0), pp. 605–615.
- ESOP-2018-WeiMRF0 #design #java #static analysis #trade-off
- Evaluating Design Tradeoffs in Numeric Static Analysis for Java (SW, PM, AR, JSF, MH0), pp. 653–682.