Travelled to:
1 × Hungary
1 × Italy
1 × New Zealand
1 × Switzerland
1 × USA
Collaborated with:
G.Rosu P.O.Meredith F.Chen C.Lee D.Griffith V.Jagannath M.Gligoric Q.Luo D.Marinov
Talks about:
parametr (4) monitor (4) effici (3) properti (2) multithread (1) framework (1) independ (1) pattern (1) context (1) collect (1)
Person: Dongyun Jin
DBLP: Jin:Dongyun
Contributed to:
Wrote 5 papers:
- ICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance #runtime
- JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
- ESEC-FSE-2011-JagannathGJLRM #parallel #testing #thread
- Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.
- 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.