Travelled to:1 × Canada
1 × India
1 × Switzerland
Collaborated with:W.Weimer S.Forrest D.Kapur J.S.Foster M.B.Dwyer W.Visser T.C.Le Guolong Zheng C.L.Goues T.Antonopoulos A.Ruef M.H.0001 U.Koc J.Cheng A.A.Porter Benjamin Mariano J.Reese Siyuan Xu X.Qiu A.Solar-Lezama
Talks about:invari (5) use (5) program (4) infer (4) dynam (4) analysi (3) find (2) counterexampl (1) synthesi (1) polynomi (1)
Person: ThanhVu Nguyen
DBLP: Nguyen:ThanhVu
Contributed to:
201420122009
2016
2017
2017
2019
2019Wrote 8 papers:
- ICSE-2014-NguyenKWF #dynamic analysis #invariant #using
- Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
- ICSE-2012-NguyenKWF #array #dynamic analysis #invariant #polynomial #using
- Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
- ICSE-2009-WeimerNGF #automation #programming #search-based #using
- Automatically finding patches using genetic programming (WW, TN, CLG, SF), pp. 364–374.
- FSE-2016-NguyenKCFP #configuration management #interactive #named
- iGen: dynamic interaction inference for configurable software (TN, UK, JC, JSF, AAP), pp. 655–665.
- ASE-2017-NguyenDV #invariant #named #using
- SymInfer: inferring program invariants using symbolic states (TN, MBD, WV), pp. 804–814.
- ESEC-FSE-2017-NguyenARH #approach #invariant
- Counterexample-guided approach to finding numerical invariants (TN, TA, AR, MH0), pp. 605–615.
- OOPSLA-2019-MarianoRXNQFS #algebra #library #specification #synthesis
- Program synthesis with algebraic library specifications (BM, JR, SX, TN, XQ, JSF, ASL), p. 25.
- PLDI-2019-LeZN #dynamic analysis #invariant #logic #named #using
- SLING: using dynamic analysis to infer program invariants in separation logic (TCL, GZ, TN), pp. 788–801.