Jackson Kearl

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Operational Semantics

Dependency Graph

Business Process Models

Top Venues

Proc. ACM Program. Lang.

Publications

James Koppel, Jackson Kearl, Armando Solar-Lezama
Automatically deriving control-flow graph generators from operational semantics. Proc. ACM Program. Lang. 6 (ICFP) (2022)
James Koppel, Jackson Kearl, Armando Solar-Lezama
Automatically Deriving Control-Flow Graph Generators from Operational Semantics. CoRR (2020)