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

Provably correct peephole optimizations with alive., , , and . PLDI, page 22-32. ACM, (2015)On Properties of Forbidden Zones of Polygons and Polytopes., , , and . ISVD, page 56-65. IEEE Computer Society, (2012)Characteristics of Visualizations and Texts in Elementary School Biology Books., , , , , , and . CogSci, cognitivesciencesociety.org, (2020)Termination-checking for LLVM peephole optimizations., and . ICSE, page 191-202. ACM, (2016)Some Correct Strategies Are Better Than Others: Individual Differences in Strategy Evaluations Are Related to Strategy Adoption., , and . Cogn. Sci., (March 2023)Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM., and . PLDI, page 49-63. ACM, (2017)Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM., , and . SAS, volume 9837 of Lecture Notes in Computer Science, page 317-337. Springer, (2016)Perceptual Features in Visual Representations: A Content Analysis of Inheritance Diagrams., , , , , , , and . CogSci, cognitivesciencesociety.org, (2022)Practical verification of peephole optimizations with Alive., , , and . Commun. ACM, 61 (2): 84-91 (2018)Teacher Attitudes on Inheritance Diagram Features., , , , , , , and . CogSci, cognitivesciencesociety.org, (2023)