Manu Jose
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2011
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CAV | Bug-Assist: Assisting Fault Localization in ANSI-C Programs. | Manu Jose, Rupak Majumdar |
| 2011 | PLDI | Cause clue clauses: error localization using maximum satisfiability. | Manu Jose, Rupak Majumdar |
| 2010 | DAC | Rewiring for robustness. | Manu Jose, Yu Hu, Rupak Majumdar, Lei He |
| 2010 | ICCAD | On power and fault-tolerance optimization in FPGA physical synthesis. | Manu Jose, Yu Hu, Rupak Majumdar |