Ru-Gang Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2006–2009
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CAV | Reducing Test Inputs Using Information Partitions. | Rupak Majumdar, Ru-Gang Xu |
| 2008 | ISSTA | Testing for buffer overflows with length abstraction. | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
| 2008 | POPL | Proving non-termination. | Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu |
| 2007 | TACAS | State of the Union: Type Inference Via Craig Interpolation. | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
| 2006 | SAS | Structural Invariants. | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |