Where am I now?
09/28/07 to ? : Los Angeles, CA. UCLA
01/09/08 to 01/13/08 : San Francisco, CA. POPL 2008
06/04/07 to 09/28/07 : Los Angeles, CA. LARS, JPL
09/03/07 to 09/07/07 : Dubrovnik, Croatia. FSE 2007
| Ru-Gang Xu |
| UCLA Computer Science |
| 3436 Boelter Hall |
| Los Angeles, CA 90024 |
| rugang some gibberish gmail com |
I am a 6th year PhD student doing work in software verification under Rupak Majumdar. My current work focuses on combining static analysis with dynamic analysis. Prior work includes lightweight and sound verification of simple properties.
SOFTWARE
Splat : A constraint-based automatic test generator for C programs
Psi :Static assertion checker using structural invariants for C programs
PUBLICATIONS
Testing for Buffer Overflows with Length Abstractionswith Patrice Godefroid, Rupak Majumdar
ISSTA 2008: International Symposium on Software Testing and Analysis
Proving Non-Termination
with Ashutosh Gupta, Tom Henzinger, Rupak Majumdar, and Andrey Rybalchenko
POPL 2008: 35th Symposium on Principles of Programming Languages
Directed Test Generation with Symbolic Grammars
with Rupak Majumdar
ASE 2007: 22nd Conference on Automated Software Engineering
State of the Union: Type Inference Via Craig Interpolation
with Ranjit Jhala and Rupak Majumdar
TACAS 2007: 13th Conference on Tools and Algorithms for the Construction and Analysis of Systems
Structural Invariants
with Ranjit Jhala and Rupak Majumdar
SAS 2006: 13th International Static Analysis Symposium