Flavio M. de Paula
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2006–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DAC | Application level hardware tracing for scaling post-silicon debug. | Debjit Pal, Abhishek Sharma, Sandip Ray, Flavio M. de Paula, Shobha Vasudevan |
| 2012 | CAV | nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. | Flavio M. de Paula, Alan J. Hu, Amir Nahir |
| 2011 | DAC | TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. | Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu |
| 2008 | FMCAD | BackSpace: Formal Analysis for Post-Silicon Debug. | Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang |
| 2007 | DAC | An Effective Guidance Strategy for Abstraction-Guided Simulation. | Flavio M. de Paula, Alan J. Hu |
| 2006 | CAV | EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. | Flavio M. de Paula, Alan J. Hu |