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

Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming., , , , and . PLDI, page 497-510. ACM, (2021)A Branding Strategy for Business Types., and . A List of Successes That Can Change the World, volume 9600 of Lecture Notes in Computer Science, page 367-387. Springer, (2016)I Can Parse You: Grammars for Dialogs., , , , and . SNAPL, volume 71 of LIPIcs, page 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Generating chat bots from web API specifications., , , , and . Onward!, page 44-57. ACM, (2017)CertRL: formalizing convergence proofs for value and policy iteration in Coq., , , , and . CPP, page 18-31. ACM, (2021)META: Middleware for Events, Transactions, and Analytics., , , , , , , , , and 3 other author(s). IBM J. Res. Dev., (2016)Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler., , , , and . SIGMOD Conference, page 1555-1569. ACM, (2017)General Probability in Coq., and . DSN Workshops, page 70-71. IEEE, (2022)A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization., , and . ECOOP, volume 37 of LIPIcs, page 542-567. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Ynot: dependent types for imperative programs., , , , and . ICFP, page 229-240. ACM, (2008)