Collaborated with:A.Ruef T.Antonopoulos S.Wei L.Lampropoulos B.C.Pierce James Parker N.Vazou T.Nguyen D.Darais Ian Sweet Chang Liu 0021 L.Pina Anastasios Andronidis C.Cadar P.Mardziel J.S.Foster P.Gazzillo E.Koskinen T.Terauchi Shih-Han Hung Kesha Hietala Shaopeng Zhu M.Ying X.Wu
Talks about:analysi (2) numer (2) multi (2) guid (2) web (2) counterexampl (1) probabilist (1) decomposit (1) tradeoff (1) properti (1)
Person: Michael Hicks 0001
DBLP: 0001:Michael_Hicks
Contributed to:
2017
2018
2019
2017
20192020
2019Wrote 8 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.
- OOPSLA-2019-Lampropoulos0P #testing
- Coverage guided, property based testing (LL, MH0, BCP), p. 29.
- PLDI-2017-AntonopoulosGHK #composition #proving #self
- Decomposition instead of self-composition for proving the absence of timing channels (TA, PG, MH0, EK, TT, SW), pp. 362–375.
- POPL-2019-HungHZYHW #analysis #quantum #robust #source code
- Quantitative robustness analysis of quantum programs (SHH, KH, SZ, MY, MH0, XW), p. 29.
- POPL-2019-ParkerVH #data flow #multi #named #security #web
- LWeb: information flow security for multi-tier web applications (JP, NV, MH0), p. 30.
- POPL-2020-DaraisSLH
- A language for probabilistically oblivious computation (DD, IS, CL0, MH0), p. 31.
- ASPLOS-2019-PinaA0C #execution #multi #named
- MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution (LP, AA, MH0, CC), pp. 573–585.