• Sign in
  • Sign up
conf.researchr.org / Mark Moeller
  • ECOOP and ISSTA 2023 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
Mark Moeller

Registered user since Tue 20 Jun 2023

Name:Mark Moeller
Country:United States
Affiliation:Cornell University
Personal website: https://www.cs.cornell.edu/~mdm367/

Contributions

2025

PLDI

  • Author of Active Learning of Symbolic NetKAT Automata within the PLDI Research Papers-track

2024

PLDI

  • Author of KATch: A Fast Symbolic Verifier for NetKAT within the PLDI Research Papers-track

2023

ECOOP

  • Author of Automata Learning with an Incomplete Teacher within the Research Papers-track
Share
xSat 14 Jun 22:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up