Christian Klinger

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Differentially testing soundness and precision of program analyzers.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2016
Synthesizing transformations on hierarchically structured data.
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.
Proceedings of ASP-DAC 2000, 2000


  Loading...