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

Poster: Ziria: language for rapid prototyping of wireless PHY., , , , , and . MobiCom, page 359-362. ACM, (2014)An open and shut typecase., , and . TLDI, page 13-24. ACM, (2005)Measuring Neural Net Robustness with Constraints., , , , , and . NIPS, page 2613-2621. (2016)Automatic Discovery of Composite SPMD Partitioning Strategies in PartIR., , , , , , , , and . CoRR, (2022)A Theory of Featherweight Java in Isabelle/HOL., and . Arch. Formal Proofs, (2006)Formal proof development.Closed type families with overlapping equations., , , and . POPL, page 671-684. ACM, (2014)Ziria: language for rapid prototyping of wireless PHY., , , , , and . SIGCOMM, page 357-358. ACM, (2014)Boxy types: inference for higher-rank types and impredicativity., , and . ICFP, page 251-262. ACM, (2006)Consolidation of queries with user-defined functions., , , , and . PLDI, page 554-564. ACM, (2014)Efficient Differentiable Programming in a Functional Array-Processing Language., , , , and . CoRR, (2018)