David Hopkins : Publications

Click here to download all publications in a single bibtex file

@inproceedings{HMO12,
  title = "Hector: An Equivalence Checker for a Higher-Order Fragment of ML",
  author = "David Hopkins and Andrzej S. Murawski and C.-H Luke Ong",
  year = "2012",
  booktitle = "CAV",
}

@phdthesis{hopkins12,
  title = "Game Semantics Based Equivalence Checking of Higher-Order Programs",
  author = "David Hopkins",
  year = "2012",
}

@inproceedings{HMO11,
  title = "A Fragment of ML Decidable by Visibly Pushdown Automata",
  author = "David Hopkins and Andrzej S. Murawski and C.-H. Luke Ong",
  year = "2011",
  booktitle = "ICALP ",
  pages = "149-161",
}

@article{hopkins09,
  title = "Homer: A Higher-order Observational equivalence Model checkER",
  author = "David Hopkins and Luke Ong",
  year = "2009",
  journal = "CAV 09",
}