Language Semantics for a Simple Differentiable Language Using Distribution Theory (Lightning Talk) August 9, 2020ACM SIGPLAN
Language Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset February 10, 2020ACM SIGPLAN
