Mark Moeller

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Symbolic Description

Conceptual Spaces

Connectionist Learning

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. CoRR (2024)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
Automata Learning with an Incomplete Teacher (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
Automata Learning with an Incomplete Teacher. ECOOP (2023)