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

Correct and Compositional Hardware Generators., , , and . CoRR, (2024)Approximate Storage in Solid-State Memories., , , and . ACM Trans. Comput. Syst., 32 (3): 9:1-9:23 (2014)EnerJ: Approximate Data Types for Safe and General Low-Power Computation, , , and . Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation, page 164--174. (June 2011)Unifying Static and Dynamic Intermediate Languages for Accelerator Generators., , , , , and . CoRR, (2023)Probability type inference for flexible approximate programming., , , and . OOPSLA, page 470-487. ACM, (2015)On-line Distributed Traffic Grooming., , and . ICC, page 5239-5245. IEEE, (2008)LambdaLab: an interactive λ-calculus reducer for learning., and . SPLASH-E, page 10-19. ACM, (2018)Monitoring and Debugging the Quality of Results in Approximate Programs., , , , and . ASPLOS, page 399-411. ACM, (2015)Vectorization for digital signal processors via equality saturation., , , , and . ASPLOS, page 874-886. ACM, (2021)Automatic discovery of performance and energy pitfalls in HTML and CSS., , , , and . IISWC, page 82-83. IEEE Computer Society, (2012)