Collaborated with:D.Wang Q.Carbonneaux T.W.Reps A.Das S.Weng V.C.Ngo Z.Shao Tristan Knoth N.Polikarpova E.Çiçek G.Barthe M.Gaboardi D.G.0001
Talks about:analysi (5) resourc (4) program (3) probabilist (2) bound (2) guid (2) framework (1) synthesi (1) generat (1) automat (1)
Person: Jan Hoffmann 0002
DBLP: 0002:Jan_Hoffmann
Contributed to:
2017
2017
201820192019Wrote 7 papers:
- CAV-2017-Carbonneaux0RS #analysis #automation #coq #proving
- Automated Resource Analysis with Coq Proof Objects (QC, JH0, TWR, ZS), pp. 64–85.
- POPL-2017-CicekBG0H #cost analysis #relational
- Relational cost analysis (EÇ, GB, MG, DG0, JH0), pp. 316–329.
- POPL-2017-HoffmannDW #analysis #automation #bound #ml #towards
- Towards automatic resource bound analysis for OCaml (JH0, AD, SCW), pp. 359–373.
- PLDI-2018-NgoC0 #analysis #bound #probability #source code
- Bounded expectations: resource analysis for probabilistic programs (VCN, QC, JH0), pp. 496–512.
- PLDI-2018-WangHR #algebra #framework #named #probability #source code #static analysis
- PMAF: an algebraic framework for static analysis of probabilistic programs (DW, JH0, TWR), pp. 513–528.
- PLDI-2019-KnothWP0 #synthesis
- Resource-guided program synthesis (TK, DW, NP, JH0), pp. 253–268.
- POPL-2019-WangH #generative #worst-case
- Type-guided worst-case input generation (DW, JH0), p. 30.