Travelled to:
1 × Austria
1 × Belgium
1 × Hungary
1 × Lithuania
1 × Romania
1 × Spain
1 × USA
Collaborated with:
J.Silva J.González A.Riesco C.Tomás
Talks about:
debug (5) algorithm (4) tree (3) execut (2) assess (2) java (2) up (2) architectur (1) unrestrain (1) workbench (1)
Person: David Insa
DBLP: Insa:David
Contributed to:
Wrote 7 papers:
- ITiCSE-2015-InsaS #assessment #automation #domain-specific language #java #library
- Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises (DI, JS), pp. 39–44.
- LOPSTR-2013-GonzalezIS #architecture #debugging #eclipse #hybrid
- A New Hybrid Debugging Architecture for Eclipse (JG, DI, JS), pp. 183–201.
- TAP-2013-InsaSR #algorithm #debugging #execution #using
- Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.
- LOPSTR-2012-InsaST #debugging #declarative
- Enhancing Declarative Debugging with Loop Expansion and Tree Compression (DI, JS, CT), pp. 71–88.
- ASE-2011-InsaS #algorithm #debugging
- An optimal strategy for algorithmic debugging (DI, JS), pp. 203–212.
- ICSM-2010-InsaS #algorithm #debugging #java
- An algorithmic debugger for Java (DI, JS), pp. 1–6.
- LOPSTR-2010-InsaS #algorithm #debugging #execution #scalability
- Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.