Steven Ramsay : Publications

Click here to download all publications in a single bibtex file

@inproceedings{DBLP:conf/lics/MurawskiRT15,
  title = "Bisimilarity in Fresh-Register Automata",
  author = "Andrzej S. Murawski and Steven J. Ramsay and Nikos Tzevelekos",
  year = "2015",
  booktitle = "30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015",
  pages = "156--167",
}

@inproceedings{DBLP:conf/atva/MurawskiRT15a,
  title = "Game Semantic Analysis of Equivalence in {IMJ}",
  author = "Andrzej S. Murawski and Steven J. Ramsay and Nikos Tzevelekos",
  year = "2015",
  booktitle = "Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings",
  pages = "411--428",
}

@inproceedings{DBLP:conf/atva/MurawskiRT15,
  title = "A Contextual Equivalence Checker for {IMJ} {\({_\ast}\)}",
  author = "Andrzej S. Murawski and Steven J. Ramsay and Nikos Tzevelekos",
  year = "2015",
  booktitle = "Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings",
  pages = "234--240",
}

@inproceedings{DBLP:conf/ppdp/Ramsay14,
  title = "Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes",
  author = "Steven J. Ramsay",
  year = "2014",
  booktitle = "Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014",
  pages = "175--186",
}

@inproceedings{DBLP:conf/popl/RamsayNO14,
  title = "A type-directed abstraction refinement approach to higher-order model checking",
  author = "Steven J. Ramsay and Robin P. Neatherway and C.{-}H. Luke Ong",
  year = "2014",
  booktitle = "The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014",
  pages = "61--72",
}

@inproceedings{DBLP:conf/mfcs/MurawskiRT14,
  title = "Reachability in Pushdown Register Automata",
  author = "Andrzej S. Murawski and Steven J. Ramsay and Nikos Tzevelekos",
  year = "2014",
  booktitle = "Mathematical Foundations of Computer Science 2014 - 39th International Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part {I}",
  pages = "464--473",
}

@inproceedings{DBLP:conf/icfp/NeatherwayRO12,
  title = "A traversal-based algorithm for higher-order model checking",
  author = "Robin P. Neatherway and Steven J. Ramsay and C.{-}H. Luke Ong",
  year = "2012",
  booktitle = "{ACM} {SIGPLAN} International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012",
  pages = "353--364",
}

@inproceedings{DBLP:conf/popl/OngR11,
  title = "Verifying higher-order functional programs with pattern-matching algebraic data types",
  author = "C.{-}H. Luke Ong and Steven J. Ramsay",
  year = "2011",
  booktitle = "Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28, 2011",
  pages = "587--598",
}

@techreport{lester-et-al-2010,
  title = "Model Checking Liveness Properties of Higher-Order Functional Programs",
  author = "Martin M. Lester and Robin P. Neatherway and C.-H. Luke Ong and Steven J. Ramsay",
  year = "2010",
}