Christian Klinger

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 3

Top Topics

Concurrent Programs

Static Analysis

Top Venues

Publications

Christian Klinger, Maria Christakis, Valentin Wüstholz
Differentially testing soundness and precision of program analyzers. ISSTA (2019)
Christian Klinger, Maria Christakis, Valentin Wüstholz
Differentially Testing Soundness and Precision of Program Analyzers. CoRR (2018)
Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri
Synthesizing transformations on hierarchically structured data. PLDI (2016)
Fujio Ishihara, Christian Klinger, Ken-ichi Agawa
Clock design of 300MHz 128-bit 2-way superscalar microprocessor. ASP-DAC (2000)