 | 2011 |
| 5 |  | Edward Aftandilian,
Samuel Z. Guyer,
Martin T. Vechev,
Eran Yahav:
Asynchronous assertions.
OOPSLA 2011: 275-288 |
| 2010 |
| 4 |  | Christoph Reichenbach,
Neil Immerman,
Yannis Smaragdakis,
Edward Aftandilian,
Samuel Z. Guyer:
What can the GC compute efficiently?: a language for heap assertions at GC time.
OOPSLA 2010: 256-269 |
| 3 |  | Edward Aftandilian,
Sean Kelley,
Connor Gramazio,
Nathan P. Ricci,
Sara L. Su,
Samuel Z. Guyer:
Heapviz: interactive heap visualization for program understanding and debugging.
SOFTVIS 2010: 53-62 |
| 2009 |
| 2 |  | Edward Aftandilian,
Samuel Z. Guyer:
GC assertions: using the garbage collector to check heap properties.
PLDI 2009: 235-244 |
| 2008 |
| 1 |  | Edward Aftandilian,
Samuel Z. Guyer:
GC assertions: using the garbage collector to check heap properties.
MSPC 2008: 36-40 |