BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: 0001:Michael_Hicks

Contributed to:

ESEC/FSE 20172017
ESOP 20182018
OOPSLA 20192019
PLDI 20172017
POPL 20192019
POPL 20202020
ASPLOS 20192019

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

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.