@PhDThesis{Zerny:PhD,
  author     = "Ian Zerny",
  title      = "The Interpretation and Inter-derivation
                of Small-step and Big-step Specifications",
  school     = "Department of Computer Science, Aarhus University",
  address    = "Aarhus, Denmark",
  year       = 2013,
}

 @Article{Zerny:HOSC,
  author     = "Ian Zerny",
  title      = "On Graph Rewriting, Reduction, and Evaluation
                in the Presence of Cycles",
  note       = "To appear",
}

 @Article{Danvy-Zerny:TOCL,
  author     = "Olivier Danvy and Ian Zerny",
  title      = "Three Syntactic Theories for Combinatory Graph Reduction",
  note       = "To appear",
}

 @InProceedings{Danvy-Zerny:PPDP13,
  author     = "Olivier Danvy and Ian Zerny",
  title      = "A Synthetic Operational Account of Call-by-Need Evaluation",
  booktitle  = "Proceedings of the 2013 ACM SIGPLAN Conference
                on Principles and Practice of Declarative Programming
                (PPDP 2013)",
  publisher  = "ACM Press",
  year       = 2013,
  note       = "To appear",
}

 @InProceedings{Simmons-Zerny:PPDP13,
  author     = "Robert J. Simmons and Ian Zerny",
  title      = "A Logical Correspondence
                between Natural Semantics and Abstract Machines",
  booktitle  = "Proceedings of the 2013 ACM SIGPLAN Conference
                on Principles and Practice of Declarative Programming
                (PPDP 2013)",
  publisher  = "ACM Press",
  year       = 2013,
  note       = "To appear",
}

 @Article{Danvy-al:TCS12,
  author     = "Olivier Danvy, Kevin Millikin, Johan Munk, and Ian Zerny",
  title      = "On Inter-deriving Small-step and Big-step Semantics:
                A Case Study for Storeless Call-by-need Evaluation",
  volume     = "435",
  year       = 2012,
  pages      = "21-42",
  doi        = "http://dx.doi.org/10.1016/j.tcs.2012.02.023",
}

 @InProceedings{Danvy-al:PEPM11,
  author     = "Olivier Danvy, Jacob Johannsen and Ian Zerny",
  title      = "A Walk in the Semantic Park",
  booktitle  = "Proceedings of the 2011 ACM SIGPLAN Workshop
                on Partial Evaluation and Semantics-Based Program Manipulation
                (PEPM 2011)",
  editor     = "Siau-Cheng Khoo and Jeremy Siek",
  publisher  = "ACM Press",
  year       = 2011,
  month      = jan,
  pages      = "1-12",
  doi        = "http://dx.doi.org/10.1145/1929501.1929503",
  note       = "Invited talk",
}

 @InProceedings{Danvy-Zerny:LOPSTR10,
  author     = "Olivier Danvy and Ian Zerny",
  title      = "Three Syntactic Theories for Combinatory Graph Reduction",
  booktitle  = "Logic Based Program Synthesis and Transformation,
                20th International Symposium, LOPSTR 2010,
                revised selected papers",
  editor     = "Mar{\'i}a Alpuente",
  publisher  = "Springer",
  series     = "LNCS",
  number     = "6564",
  year       = 2010,
  month      = jul,
  pages      = "1-20",
  doi        = "http://dx.doi.org/10.1007/978-3-642-20551-4\_1",
  note       = "Invited talk",
}

 @InProceedings{Danvy-al:FLOPS10,
  author     = "Olivier Danvy, Kevin Millikin, Johan Munk, and Ian Zerny",
  title      = "Defunctionalized Interpreters for Call-by-Need Evaluation",
  booktitle  = "Functional and Logic Programming,
                10th International Symposium, FLOPS 2010",
  editor     = "Matthias Blume, Naoki Kobayashi and Germ{\'a}n Vidal",
  publisher  = "Springer",
  series     = "LNCS",
  number     = "6009",
  year       = 2010,
  month      = apr,
  pages      = "240-256",
  doi        = "http://dx.doi.org/10.1007/978-3-642-12251-4\_18",
}

 @InProceedings{Zerny:TFP09,
  author     = "Ian Zerny",
  title      = "On Graph Rewriting, Reduction, and Evaluation",
  booktitle  = "Trends in Functional Programming Volume 10",
  editor     = "Zolt{\'a}n Horv{\'a}th, Vikt{\'o}ria Zs{\'o}k,
                Peter Achten, and Pieter Koopman",
  publisher  = "Intellect Books",
  year       = 2011,
  pages      = "81-112",
  note       = "Best student-paper award of TFP 2009",
}

 @InProceedings{Danvy-al:DSL09,
  author     = "Olivier Danvy, Chung-chieh Shan, and Ian Zerny",
  title      = "J is for JavaScript:
                A direct-style correspondence
                between Algol-like languages and JavaScript
                using first-class continuations",
  booktitle  = "Domain-Specific Languages,
                IFIP TC 2 Working Conference, DSL 2009",
  editor     = "Walid Taha",
  publisher  = "Springer",
  series     = "LNCS",
  number     = "5658",
  year       = 2009,
  month      = jul,
  pages      = "1-19",
  doi        = "http://dx.doi.org/10.1007/978-3-642-03034-5\_1",
}