Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Flow-insensitive type qualifiers., , , and . ACM Trans. Program. Lang. Syst., 28 (6): 1035-1087 (2006)Alert Detection in System Logs., , and . ICDM, page 959-964. IEEE Computer Society, (2008)Saturn: A scalable framework for error detection using Boolean satisfiability., and . ACM Trans. Program. Lang. Syst., 29 (3): 16 (2007)Witnessing side effects., and . ACM Trans. Program. Lang. Syst., 30 (3): 15:1-15:42 (2008)Dependent partitioning., , , , and . OOPSLA, page 344-358. ACM, (2016)Community Epidemic Detection Using Time-Correlated Anomalies., , and . RAID, volume 6307 of Lecture Notes in Computer Science, page 360-381. Springer, (2010)Synthesizing program input grammars., , , and . PLDI, page 95-110. ACM, (2017)Semantic program alignment for equivalence checking., , , and . PLDI, page 1027-1040. ACM, (2019)Terra: a multi-stage language for high-performance computing., , , , and . PLDI, page 105-116. ACM, (2013)Verifying bit-manipulations of floating-point., , and . PLDI, page 70-84. ACM, (2016)