Travelled to:1 × New Zealand
1 × USA
Collaborated with:K.Sen J.Burnim C.Stergiou
Talks about:lightweight (1) techniqu (1) simplif (1) program (1) infinit (1) concurr (1) runtim (1) looper (1) effect (1) detect (1)
Person: Nicholas Jalbert
DBLP: Jalbert:Nicholas
Contributed to:
2010
2009Wrote 2 papers:
- FSE-2010-JalbertS #concurrent #debugging #effectiveness #source code
- A trace simplification technique for effective debugging of concurrent programs (NJ, KS), pp. 57–66.
- ASE-2009-BurnimJSS #detection #infinity #lightweight #named #runtime
- Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.