Travelled to:1 × USA
Collaborated with:J.H.0002 S.Weng S.K.Lahiri A.Lal Y.Li
Talks about:verif (2) unknown (1) resourc (1) automat (1) analysi (1) toward (1) precis (1) modulo (1) bound (1) angel (1)
Person: Ankush Das
DBLP: Das:Ankush
Contributed to:
2015
2017Wrote 2 papers:
- CAV-2015-DasLLL #precise #verification
- Angelic Verification: Precise Verification Modulo Unknowns (AD, SKL, AL, YL), pp. 324–342.
- POPL-2017-HoffmannDW #analysis #automation #bound #ml #towards
- Towards automatic resource bound analysis for OCaml (JH0, AD, SCW), pp. 359–373.