Christian Klinger

According to our database, Christian Klinger authored at least 3 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Differentially testing soundness and precision of program analyzers.

Christian Klinger, Maria Christakis, Valentin Wüstholz

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2016

Synthesizing transformations on hierarchically structured data.

Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2000

Clock design of 300MHz 128-bit 2-way superscalar microprocessor.

Fujio Ishihara, Christian Klinger, Ken-ichi Agawa

Proceedings of ASP-DAC 2000, 2000