Travelled to:1 × Italy
1 × New Zealand
1 × Switzerland
1 × United Kingdom
2 × USA
Collaborated with:G.Rosu D.Jin F.Chen J.Huang C.Lee D.Griffith
Talks about:parametr (5) monitor (4) effici (4) properti (2) runtim (2) determinist (1) framework (1) independ (1) abstract (1) predict (1)
Person: Patrick O'Neil Meredith
DBLP: Meredith:Patrick_O=Neil
Contributed to:
2014
2013
2012201120092008Wrote 6 papers:
- PLDI-2014-HuangMR #abstraction #concurrent #control flow #detection #predict
- Maximal sound predictive race detection with control flow abstraction (JH, POM, GR), p. 36.
- ASE-2013-MeredithR #parametricity #performance #runtime #string #verification
- Efficient parametric runtime verification with deterministic string rewriting (POM, GR), pp. 70–80.
- ICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance #runtime
- JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
- PLDI-2011-JinMGR #garbage collection #monitoring #parametricity
- Garbage collection for monitoring parametric properties (DJ, POM, DG, GR), pp. 415–424.
- ASE-2009-ChenMJR #independence #monitoring #parametricity #performance
- Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.
- ASE-2008-MeredithJCR #monitoring #parametricity #performance
- Efficient Monitoring of Parametric Context-Free Patterns (POM, DJ, FC, GR), pp. 148–157.