Clock design of 300MHz 128-bit 2-way superscalar microprocessor. - Fujio Ishihara; Christian Klinger; Ken-ichi Agawa (ASP-DAC, 2000)

Synthesizing transformations on hierarchically structured data. - Navid Yaghmazadeh; Christian Klinger; Isil Dillig; Swarat Chaudhuri (PLDI, 2016)

Differentially testing soundness and precision of program analyzers. - Christian Klinger; Maria Christakis; Valentin Wüstholz (ISSTA, 2019)