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

	
		OSZAR »