sabel.bib

@techreport{Sabel:03:nondetIOinGHC,
  author = {David Sabel},
  title = {Realising nondeterministic {I}/{O} in the {G}lasgow {H}askell {C}ompiler},
  institution = {Institut f\"ur {I}nformatik, {J}.{W}. {G}oethe-{U}niversit\"at {F}rankfurt am {M}ain},
  year = 2003,
  type = {Frank report},
  number = 17,
  month = {December},
  ps = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/nondetIOinGHC.ps},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/nondetIOinGHC.pdf},
  psgz = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/nondetIOinGHC.ps.gz}
}
@techreport{schmidt-schauss-schuetz-sabel:04,
  author = {Manfred Schmidt-Schau{\ss} AND Marko Sch\"utz AND David Sabel},
  title = {On the Safety of {N}\"ocker's Strictness Analysis},
  institution = {Institut f\"ur Informatik, J.W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank Report},
  number = 19,
  month = {October},
  year = 2004,
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/unioncalc.pdf}
}
@techreport{schmidt-schauss-schuetz-sabel:05,
  author = {Manfred Schmidt-Schau{\ss} AND Marko Sch\"utz AND David Sabel},
  title = {A Complete Proof of the Safety of {N}\"ocker's Strictness Analysis},
  institution = {Institut  f\"ur Informatik. J.W.Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {20},
  year = 2005,
  month = {April},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frank20.pdf}
}
@techreport{schmidt-schauss-sabel-schuetz:05-sc,
  author = {Manfred Schmidt-Schau{\ss} AND David Sabel AND Marko Sch\"utz},
  title = {Deciding subset relationship of co-inductively defined set constants},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {23},
  year = 2006,
  month = {September},
  day = {28},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frank-23_v2.pdf},
  previousvers = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frank-23.pdf}
}
@techreport{sabel-schmidt-schauss:06-frank-amb,
  author = {David Sabel AND Manfred Schmidt-Schau{\ss}},
  title = {A Call-by-Need Lambda-Calculus with Locally Bottom-Avoiding Choice:
            Context Lemma and Correctness of Transformations},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {24},
  year = 2006,
  month = {July},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/frank-24-ambcalcV3.pdf},
  previousvers2 = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/frank-24-ambcalcV2.pdf},
  previousvers1 = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/frank-24-ambcalc.pdf}
}
@techreport{niehren-sabel-schmidt-schauss-schwinghammer:06,
  author = {Joachim Niehren AND David Sabel AND Manfred Schmidt-Schau{\ss} AND Jan Schwinghammer},
  title = {Program Equivalence for a Concurrent Lambda Calculus with Futures},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {26},
  year = 2006,
  month = {October},
  day = {14},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-26.pdf}
}
@techreport{schmidt-schauss-sabel:07,
  author = {Manfred Schmidt-Schau{\ss}  AND David Sabel },
  title = {On Generic Context Lemmas for Lambda Calculi with Sharing},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {27},
  year = 2007,
  month = {August},
  day = {10},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-27_v3.pdf},
  previousvers2 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-27_v2.pdf},
  previousvers1 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-27.pdf}
}
@techreport{schmidt-schauss-sabel-HFL-IB30:07,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Program Transformation for Functional Circuit Descriptions},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {30},
  month = {February},
  year = 2007,
  day = 15,
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-30.pdf}
}
@article{niehren-sabel-schmidt-schauss-schwinghammer:07:entcs,
  author = {Joachim Niehren and David Sabel and Manfred Schmidt-Schau{\ss} and Jan Schwinghammer},
  title = {Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures},
  booktitle = {Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII)},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2007},
  volume = {173},
  pages = {313-337},
  month = {April},
  publisher = {Elsevier},
  url = {https://www.sciencedirect.com/science/article/pii/S1571066107001132},
  doi = {doi:10.1016/j.entcs.2007.02.041},
  slidesmfps2007 = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/MFPS2007.pdf},
  copyright = {\copyright \href{http://www.elsevier.com/locate/entcs}{Elsevier B.V.}}
}
@article{schmidt-schauss-sabel-schuetz:07:sc,
  author = {Manfred Schmidt-Schau{\ss} AND David Sabel AND Marko Sch\"utz},
  title = {Deciding inclusion of set constants over infinite non-strict data structures},
  journal = {RAIRO-Theoretical Informatics and Applications},
  volume = {41},
  number = {2},
  year = {2007},
  month = {July},
  pages = {225-241},
  note = {The original publication is available at: \href{http://www.edpsciences.org/ita}{www.edpsciences.org/ita}},
  url = {http://dx.doi.org/10.1051/ita:2007010},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/sc_rairo_final.pdf},
  copyright = {\copyright EDP Sciences 2007}
}
@article{schmidt-schauss-schuetz-sabel:08,
  author = {Manfred Schmidt-Schau{\ss} AND   Marko Sch\"utz AND David Sabel},
  title = {Safety of {N}\"ocker's Strictness Analysis},
  journal = {Journal of Functional Programming},
  year = {2008},
  volume = {18},
  number = {04},
  pages = {503-551},
  doi = {10.1017/S0956796807006624},
  url = {http://dx.doi.org/10.1017/S0956796807006624},
  copyright = {\copyright \href{http://www.cambridge.org/jfp}{Cambridge University Press}},
  note = {The original publication is available \href{http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1899140&fulltextType=RA&fileId=S0956796807006624}{here}
  },
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/JFP_Schmidt-Schauss.pdf},
  appendix = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/jfp08_AppendixFinal.pdf}
}
@article{sabel-schmidt-schauss-MSCS:08,
  author = {David Sabel AND Manfred Schmidt-Schau{\ss}},
  title = {A Call-by-Need Lambda-Calculus with Locally Bottom-Avoiding Choice:
            Context Lemma and Correctness of Transformations},
  journal = {Mathematical Structures in Computer Science},
  year = {2008},
  volume = {18},
  number = {03},
  pages = {501--553},
  url = {http://dx.doi.org/10.1017/S0960129508006774}
}
@techreport{schmidt-schauss-niehren-schwinghammer-sabel-frank-33:08,
  author = {Manfred Schmidt-Schau{\ss} AND Joachim Niehren AND Jan Schwinghammer AND David Sabel},
  title = {Adequacy of Compositional Translations for Observational Semantics},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt
 am Main},
  type = {Frank report},
  number = {33},
  year = 2009,
  month = {February},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-33_v5.pdf},
  previousvers4 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-33_v4.pdf},
  previousvers3 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-33_v3.pdf},
  previousvers2 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-33_v2.pdf},
  previousvers1 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-33.pdf}
}
@inproceedings{schmidt-schauss-niehren-schwinghammer-sabel-ifip-tcs:08,
  author = {Manfred Schmidt-Schau{\ss} and
               Joachim Niehren and
               Jan Schwinghammer and
               David Sabel},
  title = {Adequacy of Compositional Translations for Observational Semantics},
  year = {2008},
  pages = {521-535},
  editor = {Giorgio Ausiello and
               Juhani Karhum{\"a}ki and
               Giancarlo Mauri and
               C.-H. Luke Ong},
  booktitle = {Fifth IFIP International Conference On Theoretical Computer
               Science - TCS 2008, IFIP 20th World Computer Congress, TC
               1, Foundations of Computer Science, September 7-10, 2008,
               Milano, Italy},
  publisher = {Springer},
  series = {IFIP},
  volume = {273},
  isbn = {978-0-387-09679-7},
  month = {September},
  copyright = {\copyright \href{http://www.springer.com/}{Springer Verlag}}
}
@techreport{schwinghammer-sabel-niehren-schmidt-schauss-frank-34:08,
  author = {Jan Schwinghammer AND David Sabel AND Joachim Niehren AND Manfred Schmidt-Schau{\ss}},
  title = {On Proving the Equivalence of Concurrency Primitives},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt
 am Main},
  type = {Frank report},
  number = {34},
  year = 2008,
  month = {October},
  day = 13,
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-34.pdf}
}
@phdthesis{sabel:08:diss,
  author = {David Sabel},
  title = {Semantics of a Call-by-Need Lambda Calculus with McCarthy's amb for Program Equivalence},
  school = {J. W. Goethe-Universit\"at Frankfurt},
  year = {2008},
  type = {Dissertation},
  address = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik},
  month = {November},
  publisher = {\href{http://www.dr.hut-verlag.de}{Verlag Dr. Hut}},
  copyright = {\copyright Published by \href{http://www.dr.hut-verlag.de}{Verlag Dr. Hut} with ISBN \href{http://www.dr.hut-verlag.de/978-3-89963-866-0.html}{978-3-89963-866-0}  },
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/dissertation-sabel.pdf}
}
@techreport{schmidt-schauss-sabel-frank-35:08,
  author = {Manfred Schmidt-Schau{\ss} AND David Sabel},
  title = {Closures of May and Must Convergence for Contextual Equivalence},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt
 am Main},
  type = {Frank report},
  number = {35},
  year = 2008,
  month = {December},
  day = 10,
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank35maymust.pdf}
}
@techreport{schmidt-schauss-sabel-harwath-frank-36:08,
  author = {Manfred Schmidt-Schau{\ss} AND David Sabel AND Frederik Harwath},
  title = {Contextual Equivalence in Lambda-Calculi extended with letrec and with a Parametric Polymorphic Type System},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt  am Main},
  type = {Frank report},
  number = {36},
  year = 2009,
  month = {January},
  day = 26,
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/poly-type-IB36.pdf}
}
@techreport{schwinghammer-sabel-niehren-schmidt-schauss:09,
  author = {Jan Schwinghammer AND David Sabel AND Joachim Niehren AND Manfred Schmidt-Schau{\ss}},
  title = {On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. Goethe-Universit\"at Frankfurt  am Main},
  type = {Frank report},
  number = {37},
  month = {May},
  year = 2009,
  previousvers = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-37.pdf},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-37_v2.pdf}
}
@techreport{schmidt-schauss-machkasova-sabel:frank-38:09,
  author = {Manfred Schmidt-Schau{\ss} and Elena Machkasova and David Sabel},
  title = {Counterexamples to Simulation in Non-Deterministic Call-by-Need Lambda-Calculi with letrec},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {38},
  year = 2009,
  month = {August},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/simcounter-IB38.pdf}
}
@inproceedings{schwinghammer-sabel-schmidt-schauss-niehren:09:ml,
  author = {Jan Schwinghammer and David Sabel and Manfred Schmidt-Schau{\ss} and Joachim Niehren},
  title = {Correctly translating concurrency primitives},
  booktitle = {ML '09: Proceedings of the 2009 ACM SIGPLAN workshop on ML},
  year = {2009},
  isbn = {978-1-60558-509-3},
  pages = {27--38},
  location = {Edinburgh, Scotland},
  url = {http://doi.acm.org/10.1145/1596627.1596633},
  publisher = {ACM},
  month = {August},
  day = {30},
  address = {New York, NY, USA},
  copyright = {\copyright \href{http://www.acm.org/}{ACM}},
  pdf = {http://dl.acm.org/authorize?139038}
}
@inproceedings{sabel-schmidt-schauss-harwath:09:ATPS,
  author = {David Sabel and Manfred Schmidt-Schau{\ss} and Frederik Harwath},
  title = {Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi},
  booktitle = {INFORMATIK 2009, Im Focus das Leben, Beitr{\"a}ge der 39. Jahrestagung der Gesellschaft
               f{\"u}r Informatik e.V. (GI), 28.9 - 2.10.2009 in L{\"u}beck},
  editor = {Stefan Fischer and Erik Maehle and R{\"u}diger Reischuk},
  series = {GI Edition - Lecture Notes in Informatics },
  volume = {154},
  year = 2009,
  month = {October},
  pages = {369; 2931-45},
  isbn = {978-3-88579-248-2},
  copyright = {\copyright Gesellschaft f\"ur Informatik e.V.},
  previousvers = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/polytype.pdf},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/polytypeSep2009.pdf},
  slidesatps2009 = {http://www.ki.informatik.uni-frankfurt.de/persons/sabel/slides-atps.pdf},
  note = {(4. Arbeitstagung Programmiersprachen (ATPS'09))}
}
@inproceedings{sabel:09:gi,
  author = {David Sabel},
  editor = {Dorothea Wagner et. al.},
  title = {{S}emantik eines verz\"ogert auswertenden {L}ambdakalk\"uls mit {M}c{C}arthy's amb f\"ur {P}rogramm\"aquivalenz},
  booktitle = {Ausgezeichnete {I}nformatikdissertationen 2008},
  publisher = {K\"ollen Druck+Verlag},
  year = {2009},
  pages = {221--230},
  volume = {D-9},
  series = {{G}{I}-{E}dition {L}ecture {N}otes in {I}nformatics (LNI) - {D}issertations},
  address = {Bonn, Germany},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/sabel-gi-diss.pdf},
  copyright = {\copyright Gesellschaft f\"ur Informatik e.V.}
}
@article{schmidt-schauss-sabel:10:TCS,
  title = {On generic context lemmas for higher-order calculi with sharing},
  journal = {Theoretical Computer Science},
  volume = {411},
  number = {11-13},
  pages = {1521 - 1541},
  year = {2010},
  issn = {0304-3975},
  doi = {10.1016/j.tcs.2009.12.001},
  url = {https://www.sciencedirect.com/science/article/pii/S0304397509008135},
  author = {Manfred Schmidt-Schau{\ss} and David Sabel}
}
@article{schmidt-schauss-sabel-ipl:10,
  title = {Closures of may-, should- and must-convergences for contextual equivalence},
  journal = {Information Processing Letters},
  volume = {110},
  number = {6},
  pages = {232 - 235},
  year = {2010},
  note = {},
  issn = {0020-0190},
  doi = {10.1016/j.ipl.2010.01.001},
  url = {https://www.sciencedirect.com/science/article/pii/S0020019010000128},
  author = {Manfred Schmidt-Schau{\ss} and David Sabel}
}
@techreport{sabel-schmidt-schauss:frank:39:11,
  author = {David Sabel and Manfred Schmidt-Schau{\ss}},
  title = {Reconstruction of a logic for inductive proofs of properties of functional programs},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {39},
  year = 2011,
  month = {January},
  previousvers1 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-39.pdf},
  previousvers2 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-39_v2.pdf},
  previousvers3 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-39_v2.pdf},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-39-v4.pdf}
}
@techreport{schmidt-schauss-sabel-machkasova:frank:40:10,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel and Elena Machkasova},
  title = {Simulation in the Call-by-Need Lambda-Calculus with letrec},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {40},
  year = 2010,
  month = {April},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-40.pdf}
}
@inproceedings{schmidt-schauss-sabel-machkasova:2010:rta,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel and Elena Machkasova},
  title = {Simulation in the Call-by-Need Lambda-Calculus with letrec},
  booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications},
  pages = {295--310},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-18-7},
  issn = {1868-8969},
  year = {2010},
  volume = {6},
  editor = {Christopher Lynch},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2010/2659},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2010.295},
  month = {July},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/detletrec.2010.rta.pdf}
}
@techreport{schmidt-schauss-sabel:42:10,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {A Termination Proof of Reduction in a Simply Typed Calculus with Constructors},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {42},
  year = 2010,
  month = {October},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frank-42.pdf}
}
@techreport{sabel-schmidt-schauss:44:11,
  author = {David Sabel and Manfred Schmidt-Schau{\ss}},
  title = {A Contextual Semantics for {C}oncurrent {H}askell with Futures},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {44},
  year = 2011,
  month = {March},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-44.pdf}
}
@article{schmidt-schauss-sabel-machkasova-ipl:11,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel and Elena Machkasova},
  title = {Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec},
  journal = {Information Processing Letters},
  volume = {111},
  number = {14},
  pages = {711--716},
  year = {2011},
  issn = {0020-0190},
  doi = {DOI: 10.1016/j.ipl.2011.04.011},
  url = {https://www.sciencedirect.com/science/article/pii/S0020019011001177},
  month = {July}
}
@inproceedings{sabel-schmidt-schauss-PPDP:2011,
  author = {David Sabel AND Manfred Schmidt-Schau{\ss}},
  title = {A contextual semantics for concurrent Haskell with futures},
  booktitle = {Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming},
  series = {PPDP '11},
  publisher = {ACM},
  address = {New York, NY, USA},
  pages = {101--112},
  numpages = {12},
  year = {2011},
  isbn = {978-1-4503-0776-5},
  url = {http://doi.acm.org/10.1145/2003476.2003492},
  doi = {http://doi.acm.org/10.1145/2003476.2003492},
  copyright = {\copyright ACM, 2011},
  pdf = {http://dl.acm.org/authorize?442114},
  month = {July}
}
@inproceedings{schmidt-schauss-sabel-anis:11,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel and Altug Anis},
  title = {Congruence Closure of Compressed Terms in Polynomial Time},
  booktitle = {Frontiers of Combining Systems},
  series = {Lecture Notes in Computer Science},
  editor = {Tinelli, Cesare and Sofronie-Stokkermans, Viorica},
  publisher = {Springer Berlin / Heidelberg},
  isbn = {978-3-642-24363-9},
  pages = {227-242},
  volume = {6989},
  url = {http://dx.doi.org/10.1007/978-3-642-24364-6_16},
  year = {2011},
  month = {October},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frocos-congclo2011.pdf},
  copyright = {{\copyright \href{http://www.springer.com/}{Springer Verlag}}, 
\href{http://www.springerlink.com/content/5465800618uh372u/}{The original publication is available at www.springerlink.com
}}
}
@techreport{sabel-schmidt-schauss:2011:frank-47,
  author = {David Sabel and Manfred Schmidt-Schau{\ss}},
  title = {On Conservativity of {C}oncurrent {H}askell},
  institution = {Institut  f\"ur Informatik, Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {47},
  year = 2012,
  month = {April},
  previousvers = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-47.pdf},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-47v2.pdf}
}
@techreport{sabel:2012:frank-48,
  author = {David Sabel},
  title = {An Abstract Machine for {C}oncurrent {H}askell with Futures},
  institution = {Institut  f\"ur Informatik, Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {48},
  year = 2012,
  month = {February},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-48.pdf}
}
@inproceedings{sabel:12:ATPS,
  author = {David Sabel},
  title = {An Abstract Machine for {C}oncurrent {H}askell with Futures},
  booktitle = {Software Engineering 2012 Workshopband, 
  Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. M\"arz 2012
in Berlin},
  editor = {Stefan J\"ahnichen AND Bernhard Rumpe AND Holger Schlingloff},
  series = {GI Edition - Lecture Notes in Informatics },
  volume = {199},
  year = 2012,
  month = {February},
  pages = {29--44},
  isbn = {978-3-88579-293-2},
  copyright = {\copyright Gesellschaft f\"ur Informatik e.V.},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/chf-absm-lni.pdf},
  slidesatps2012 = {http://www.ki.informatik.uni-frankfurt.de/persons/sabel/chf-atps-12.pdf},
  note = {(5. Arbeitstagung Programmiersprachen (ATPS'12))}
}
@inproceedings{rau-sabel-schmidt-schauss:12:WST,
  author = {Conrad Rau AND David Sabel AND Manfred Schmidt-Schau{\ss}},
  title = {Encoding Induction in Correctness Proofs of Program Transformations as a Termination Problem},
  booktitle = {12th International Workshop on Termination, WST 2012, February 19-23, 2012, Obergurgl, Austria},
  editor = {Georg Moser},
  series = {},
  volume = {},
  year = 2012,
  month = {February},
  pages = {74-78},
  onlineproceedings = {http://cl-informatik.uibk.ac.at/wst2012/wst2012.pdf},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/wst2012.pdf},
  note = {Published online and open access by G. Moser, Institute of Computer Science, University of Innsbruck, Austria}
}
@article{sabel-schmidt-schauss:2013:JAR,
  author = {David Sabel and Manfred Schmidt-Schau{\ss}},
  title = {A Two-Valued Logic for Properties of Strict Functional Programs allowing Partial Functions},
  issn = {0168-7433},
  journal = {Journal of Automated Reasoning},
  volume = {50},
  number = {4},
  doi = {10.1007/s10817-012-9253-6},
  year = {2013},
  copyright = {\copyright \href{http://www.springer.com/}{Springer Verlag}, \href{
http://www.springerlink.com/content/735j3392452t3601/
}{The original publication is available at www.springerlink.com}},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/logicJAR.pdf},
  url = {http://www.springerlink.com/content/735j3392452t3601/},
  publisher = {Springer Netherlands},
  pages = {383-421}
}
@inproceedings{sabel-schmidt-schauss:12:LICS,
  author = {David Sabel AND Manfred Schmidt-Schau{\ss}},
  title = {Conservative Concurrency in {H}askell},
  booktitle = {Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012), 25-28 June 2012, Dubrovnik, Croatia},
  editor = {Nachum Dershowitz},
  year = 2012,
  month = {June},
  pages = {561--570},
  copyright = {\copyright IEEE},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/chf-conservative-lics.pdf},
  slideslics2012 = {http://www.ki.informatik.uni-frankfurt.de/persons/sabel/chf-conservative.pdf}
}
@inproceedings{rau-sabel-schmidt-schauss:2012:ijcar,
  author = {Conrad Rau AND David Sabel AND Manfred Schmidt-Schau{\ss}},
  title = {Correctness of Program Transformations as a Termination Problem},
  booktitle = {Automated Reasoning -- Proceedings of the 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012},
  month = {June},
  series = {Lecture Notes in Computer Science},
  editor = {Gramlich, Bernhard and Miller, Dale and Sattler, Uli},
  publisher = {Springer Berlin / Heidelberg},
  isbn = {978-3-642-31364-6},
  keyword = {Computer Science},
  pages = {462-476},
  volume = {7364},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/rau/auto-induct.pdf},
  copyright = {\copyright \href{http://www.springer.com/}{Springer Verlag}, 
   \href{http://dx.doi.org/10.1007/978-3-642-31365-3_36}
   {The original publication is available at www.springerlink.com}},
  year = {2012}
}
@techreport{schmidt-schauss-sabel-machkasova:frank-49:13,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel and Elena Machkasova},
  title = {Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {49},
  year = 2013,
  month = {August},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frank-49v2.pdf},
  previousvers = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frank-49.pdf}
}
@techreport{schmidt-schauss-sabel:frank-50:12,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Correctness of an {STM} {H}askell Implementation},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {50},
  year = 2013,
  month = {March},
  previousvers1 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-50.pdf},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank50v2.pdf}
}
@inproceedings{berger-sabel:13:ATPS,
  author = {Till Berger and David Sabel},
  title = {Parallelizing {DPLL} in {H}askell},
  pages = {27-42},
  editor = {Stefan Wagner and
               Horst Lichter},
  booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium),
               Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar
               - 1. M{\"a}rz 2013 in Aachen},
  publisher = {GI},
  series = {LNI},
  volume = {215},
  month = {February},
  year = {2013},
  isbn = {978-3-88579-609-1},
  copyright = {\copyright Gesellschaft f\"ur Informatik e.V.},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/berger-sabel-13.pdf},
  note = {(6. Arbeitstagung Programmiersprachen (ATPS'13))}
}
@techreport{schmidt-schauss-machkasova-sabel:frank-51:13,
  author = {Manfred Schmidt-Schau{\ss} and Elena Machkasova and David Sabel},
  title = {Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {51},
  year = 2013,
  month = {August},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank51v2.pdf},
  previousvers = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank51.pdf}
}
@techreport{schmidt-schauss-sabel-niehren-schwinghammer:frank-52:13,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel and Joachim Niehren and Jan Schwinghammer},
  title = {Observational Program Calculi and the Correctness of Translations},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {52},
  year = 2013,
  month = {May},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-52.pdf}
}
@phdthesis{sabel:13:habil,
  author = {David Sabel},
  title = {Korrektheit von Programmen und Programmiersprachen -- 
Methoden, Analysen und Anwendungen},
  school = {J. W. Goethe-Universit\"at Frankfurt},
  year = {2013},
  type = {Kumulative {H}abilitationsschrift},
  address = {Fachbereich Informatik und Mathematik},
  month = {June},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/habil-sabel.pdf}
}
@inproceedings{schmidt-schauss-machkasova-sabel:rta:2013,
  author = {Manfred Schmidt-Schau{\ss} and Elena Machkasova and David Sabel},
  title = {{Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings}},
  booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)},
  pages = {239--254},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-53-8},
  issn = {1868-8969},
  year = {2013},
  volume = {21},
  editor = {Femke van Raamsdonk},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2013/4065},
  urn = {urn:nbn:de:0030-drops-40651},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2013239},
  annote = {Keywords: lazy lambda calculus, contextual semantics, conservativity},
  month = {June},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/rta13abramsky.pdf}
}
@inproceedings{schmidt-schauss-rau-sabel:rta:2013,
  author = {Manfred Schmidt-Schau{\ss} and Conrad Rau and David Sabel},
  title = {{Algorithms for Extended Alpha-Equivalence and Complexity}},
  booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)},
  pages = {255--270},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-53-8},
  issn = {1868-8969},
  year = {2013},
  volume = {21},
  editor = {Femke van Raamsdonk},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2013/4066},
  urn = {urn:nbn:de:0030-drops-40667},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2013255},
  annote = {Keywords: alpha-equivalence, higher-order calculi, deduction, pi-calculus},
  month = {June},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/rta13alpha.pdf},
  slidesrta13 = {http://www.ki.informatik.uni-frankfurt.de/persons/sabel/slides-rta13.pdf}
}
@inproceedings{schmidt-schauss-sabel:2013:icfp,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Correctness of an {STM} {H}askell implementation},
  booktitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Functional programming},
  editor = {Greg Morrisett and
               Tarmo Uustalu},
  series = {ICFP '13},
  year = {2013},
  month = {September},
  isbn = {978-1-4503-2326-0},
  location = {Boston, Massachusetts, USA},
  pages = {161--172},
  numpages = {12},
  url = {http://doi.acm.org/10.1145/2500365.2500585},
  doi = {10.1145/2500365.2500585},
  acmid = {2500585},
  publisher = {ACM},
  address = {New York, NY, USA},
  pdf = {http://dl.acm.org/authorize?6842086},
  slidesicfp13 = {http://www.ki.informatik.uni-frankfurt.de/persons/sabel/slides-icfp13.pdf}
}
@inproceedings{Sabel:2014:atps,
  author = {David Sabel},
  title = {A {H}askell-Implementation of {STM Haskell} with Early Conflict Detection},
  year = {2014},
  pages = {171-190},
  editor = {Klaus Schmid AND Wolfgang B\"ohm AND Andrea Herrmann AND Anne Hoffmann  AND Dieter Landes AND Thomas Ruhroth AND Oliver Sander AND Volker Stolz AND
               Baltasar Tranc\'{o}n Widemann AND R\"udiger Wei{\ss}bach},
  booktitle = {Software Engineering Workshops 2014},
  note = {7. Arbeitstagung Programmiersprachen (ATPS'14)},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {1129},
  month = {February},
  pdf = {http://ceur-ws.org/Vol-1129/paper48.pdf}
}
@techreport{sabel-schmidt-schauss:frank-53:14,
  author = {David Sabel and Manfred Schmidt-Schau{\ss}},
  title = {Contextual Equivalence for the Pi-Calculus that can Stop},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {53},
  year = 2014,
  month = {March},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/pi-stop-frank.pdf}
}
@techreport{schmidt-schauss-sabel:frank-54:14,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {54},
  year = 2014,
  month = {April},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-54.pdf}
}
@inproceedings{sabel:14:wpte,
  author = {David Sabel},
  title = {Structural Rewriting in the pi-Calculus},
  year = {2014},
  pages = {51-62},
  doi = {http://dx.doi.org/10.4230/OASIcs.WPTE.2014.51},
  editor = {Manfred Schmidt-Schau{\ss} and
               Masahiko Sakai and
               David Sabel and
               Yuki Chiba},
  booktitle = {First International Workshop on Rewriting Techniques for
               Program Transformations and Evaluation, WPTE 2014, July
               13, 2014, Vienna, Austria},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {OASICS},
  volume = {40},
  isbn = {978-3-939897-70-5},
  slideswpte14 = {http://www.ki.informatik.uni-frankfurt.de/persons/sabel/slides-wpte14.pdf},
  month = {July}
}
@inproceedings{schmidt-schauss-sabel:14:wpte,
  author = {Manfred Schmidt-Schau{\ss} and
               David Sabel},
  title = {Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)},
  year = {2014},
  pages = {63-74},
  doi = {http://dx.doi.org/10.4230/OASIcs.WPTE.2014.63},
  editor = {Manfred Schmidt-Schau{\ss} and
               Masahiko Sakai and
               David Sabel and
               Yuki Chiba},
  booktitle = {First International Workshop on Rewriting Techniques for
               Program Transformations and Evaluation, WPTE 2014, July
               13, 2014, Vienna, Austria},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {OASICS},
  volume = {40},
  isbn = {978-3-939897-70-5},
  month = {July}
}
@proceedings{schmidt-schauss-sakai-sabel-chiba-wpte-proc:2014,
  editor = {Manfred Schmidt-Schau{\ss} and
               Masahiko Sakai and
               David Sabel and
               Yuki Chiba},
  title = {First International Workshop on Rewriting Techniques for
               Program Transformations and Evaluation, WPTE 2014, July
               13, 2014, Vienna, Austria},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {OASICS},
  volume = {40},
  year = {2014},
  isbn = {978-3-939897-70-5},
  month = {July},
  url = {http://www.dagstuhl.de/dagpub/978-3-939897-70-5}
}
@inproceedings{schmidt-schauss-sabel:14-rtatlca,
  author = {Manfred Schmidt-Schau{\ss} and
               David Sabel},
  title = {Applicative May- and Should-Simulation in the Call-by-Value
               Lambda Calculus with AMB},
  editor = {Gilles Dowek},
  year = {2014},
  pages = {379-394},
  doi = {http://dx.doi.org/10.1007/978-3-319-08918-8_26},
  series = {Lecture Notes in Computer Science},
  booktitle = {Rewriting and Typed Lambda Calculi - Joint International
               Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer
               of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  volume = {8560},
  month = {July},
  publisher = {Springer},
  copyright = {\copyright \href{http://www.springer.com/}{Springer Verlag}, 
   \href{http://dx.doi.org/10.1007/978-3-319-08918-8_26}{The original publication is available at www.springerlink.com}},
  isbn = {978-3-319-08917-1},
  slidesrtatlca14 = {http://www.ki.informatik.uni-frankfurt.de/persons/sabel/slides-rtatlca14.pdf}
}
@article{schmidt-schauss-sabel-niehren-schwinghammer:2015,
  author = {Manfred Schmidt-Schau{\ss} and
               David Sabel and
               Joachim Niehren and
               Jan Schwinghammer},
  title = {Observational program calculi and the correctness of translations},
  journal = {Theoretical Computer Science},
  volume = {577},
  pages = {98--124},
  year = {2015},
  urlold = {http://dx.doi.org/10.1016/j.tcs.2015.02.027},
  url = {http://authors.elsevier.com/a/1QjVp15DaHm8xf},
  doi = {10.1016/j.tcs.2015.02.027},
  pdf = {http://www.ki.cs.uni-frankfurt.de/papers/schauss/adequate-pp.pdf},
  copyright = {\copyright \href{http://www.elsevier.com/locate/entcs}{Elsevier B.V.},}
}
@article{schmidt-schauss-sabel-machkasova:2015,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel and Elena Machkasova},
  title = {Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq.},
  journal = {Logical Methods in Computer Science},
  year = {2015},
  volume = {11},
  number = {1},
  url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=1094&layout=abstract},
  doi = {10.2168/LMCS-11(1:7)2015},
  pdf = {http://arxiv.org/pdf/1502.03216}
}
@inproceedings{sabel-zantema:15,
  author = {David Sabel and Hans Zantema},
  title = {{Transforming Cycle Rewriting into String Rewriting}},
  booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
  pages = {285--300},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-85-9},
  issn = {1868-8969},
  year = {2015},
  volume = {36},
  editor = {Maribel Fern{\'a}ndez},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2015/5203},
  urn = {urn:nbn:de:0030-drops-52032},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.285},
  month = {June},
  slidesrta15 = {http://www.ki.informatik.uni-frankfurt.de/persons/sabel/slides-rta15.pdf},
  longversion = {http://www.ki.informatik.uni-frankfurt.de/papers/sabel/SZ15.pdf}
}
@inproceedings{sabel-schmidt-schaus:wpte:2015,
  author = {David Sabel and Manfred Schmidt-Schau{\ss}},
  title = {{Observing Success in the Pi-Calculus}},
  booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)},
  pages = {31--46},
  series = {OpenAccess Series in Informatics (OASIcs)},
  isbn = {978-3-939897-94-1},
  issn = {2190-6807},
  year = {2015},
  volume = {46},
  editor = {Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schau{\ss}},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2015/5180},
  urn = {urn:nbn:de:0030-drops-51808},
  doi = {http://dx.doi.org/10.4230/OASIcs.WPTE.2015.31},
  month = {July},
  day = {2},
  slideswpte15 = {http://www.ki.informatik.uni-frankfurt.de/persons/sabel/slides-wpte15.pdf}
}
@proceedings{chiba-escobar-nishida-sabel-schmidt-schauss-wpte-proc:2015,
  editor = {Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schau{\ss}},
  title = {2nd International Workshop on Rewriting Techniques for
               Program Transformations and Evaluation, WPTE 2015, July
               2, 2015, Warsaw, Poland},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {OASIcs},
  volume = {46},
  year = {2015},
  url = {http://www.dagstuhl.de/dagpub/978-3-939897-94-1},
  isbn = {978-3-939897-94-1},
  month = {July},
  day = {2}
}
@inproceedings{schmidt-schauss-sabel-PPDP:2015,
  author = {Manfred Schmidt{-}Schau{\ss} and
               David Sabel},
  title = {Improvements in a functional core language with call-by-need operational
               semantics},
  booktitle = {PPDP '15: Proceedings of the 17th International Symposium on Principles and
               Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages = {220--231},
  year = {2015},
  url = {http://doi.acm.org/10.1145/2790449.2790512},
  pdf = {http://dl.acm.org/authorize?N17326},
  doi = {10.1145/2790449.2790512},
  editor = {Moreno Falaschi and
               Elvira Albert},
  publisher = {{ACM}},
  isbn = {978-1-4503-3516-4},
  copyright = {\copyright \href{http://www.acm.org/}{ACM}},
  month = {July}
}
@techreport{schmidt-schauss-sabel:frank-56:15,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Sharing Decorations for Improvements in a Functional Core Language with Call-By-Need Operational Semantics},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {56},
  year = 2015,
  month = {December},
  previousvers = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-56.pdf},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-56-v2.pdf}
}
@techreport{schmidt-schauss-sabel:frank-55:16,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Improvements in a Functional Core Language with Call-By-Need Operational Semantics},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {55},
  year = 2016,
  month = {August},
  previousvers2 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank55v2.pdf},
  previousvers1 = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-55.pdf},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank55v3.pdf}
}
@inproceedings{Sabel-Schmidt-Schauss:2016:atps,
  author = {David Sabel and Manfred Schmidt-Schau{\ss}},
  title = {A Call-by-Need Lambda Calculus with Scoped Work Decorations},
  year = {2016},
  pages = {70-90},
  editor = {Wolf Zimmermann AND Lukas Alperowitz AND Bernd Br\"ugge AND J\"orn Fahsel AND Andrea Herrmann AND Anne Hoffmann AND Andreas Krall AND Dieter Landes AND Horst Lichter AND Dirk Riehle AND Ina Schaefer AND Constantin Scheuermann  AND Alexander Schlaefer  AND Sibylle Schupp AND Andreas Seitz  AND Andreas Steffens AND Andr\'e Stollenwerk  AND  R\"udiger Wei{\ss}bach},
  booktitle = {Software Engineering Workshops 2016},
  note = {9. Arbeitstagung Programmiersprachen (ATPS'16)},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {1559},
  month = {February},
  pdf = {http://ceur-ws.org/Vol-1559/paper06.pdf}
}
@inproceedings{schmidt-schauss-sabel-16:ifl15,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Sharing-aware Improvements in a Call-by-need Functional Core Language},
  booktitle = {Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages},
  editor = {Ralf L\"ammel},
  series = {IFL '15},
  year = {2015},
  isbn = {978-1-4503-4273-5},
  location = {Koblenz, Germany},
  pages = {6:1--6:12},
  articleno = {6},
  numpages = {12},
  url = {http://doi.acm.org/10.1145/2897336.2897343},
  doi = {10.1145/2897336.2897343},
  month = {September},
  acmid = {2897343},
  publisher = {ACM},
  address = {New York, NY, USA},
  copyright = {\copyright \href{http://www.acm.org/}{ACM}},
  pdf = {http://dl.acm.org/authorize?N19717}
}
@inproceedings{schmidt-schauss-sabel-16:ppdp16,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Unification of Program Expressions with Recursive Bindings},
  booktitle = {PPDP '16: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming},
  year = {2016},
  month = {September},
  isbn = {978-1-4503-4148-6},
  location = {Edinburgh, United Kingdom},
  pages = {160--173},
  url = {http://doi.acm.org/10.1145/2967973.2968603},
  doi = {10.1145/2967973.2968603},
  acmid = {2968603},
  publisher = {ACM},
  address = {New York, NY, USA},
  copyright = {\copyright \href{http://www.acm.org/}{ACM}},
  editor = {James Cheney and Germ{\'{a}}n Vidal},
  pdf = {http://dl.acm.org/authorize?N12713},
  postconference = {./files/publ/unif-letrec-postconf.pdf},
  slidesppdp16 = {./slides/ppdp16.pdf}
}
@article{sabel-zantema:2016:lmcs,
  title = {Termination of Cycle Rewriting by Transformation and Matrix
  Interpretation},
  author = {Sabel, David and Zantema, Hans},
  url = {http://lmcs.episciences.org/3206},
  doi = {10.23638/LMCS-13(1:11)2017},
  journal = {{Logical Methods in Computer Science}},
  volume = {{Volume 13, Issue 1}},
  year = {2017},
  month = {March}
}
@article{schmit-schauss-sabel:17:scp,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations},
  journal = {Science of Computer Programming},
  volume = {147},
  number = {},
  pages = {3--26},
  year = {2017},
  month = {November},
  issn = {0167-6423},
  doi = {http://dx.doi.org/10.1016/j.scico.2017.01.001},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642317300199},
  pdf = {./files/publ/impr.pdf}
}
@techreport{sabel:2017-match,
  author = {David Sabel},
  title = {Rewriting of Higher-Order Meta-Expressions with Recursive Bindings},
  institution = {Goethe-University Frankfurt am Main},
  year = {2017},
  month = {June},
  day = {19},
  type = {Frankfurter Informatik-Berichte},
  number = {2017-1},
  alturl = {http://goethe.link/fib-2017-1},
  issn = {1868-8330},
  url = {http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hebis:30:3-443148}
}
@techreport{sabel:2017-alpha,
  author = {David Sabel},
  title = {Alpha-Renaming of Higher-Order Meta-Expressions},
  institution = {Goethe-University Frankfurt am Main},
  year = {2017},
  month = {June},
  day = {29},
  type = {Frankfurter Informatik-Berichte},
  number = {2017-2},
  alturl = {http://goethe.link/fib-2017-2},
  issn = {1868-8330},
  url = {http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hebis:30:3-443156}
}
@inproceedings{sabel-17:ppdp17,
  author = {Sabel, David},
  title = {Alpha-renaming of Higher-order Meta-expressions},
  booktitle = {Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming},
  series = {PPDP '17},
  year = {2017},
  isbn = {978-1-4503-5291-8},
  location = {Namur, Belgium},
  pages = {151--162},
  numpages = {12},
  url = {http://doi.acm.org/10.1145/3131851.3131866},
  doi = {10.1145/3131851.3131866},
  acmid = {3131866},
  publisher = {ACM},
  address = {New York, NY, USA},
  copyright = {\copyright \href{http://www.acm.org/}{ACM}},
  editor = {Brigitte Pientka and Wim Vanhoof},
  pdf = {https://dl.acm.org/authorize?N665085}
}
@article{schauss-sabel-kutz,
  author = {Manfred Schmidt{-}Schau{\ss} and
               David Sabel and
               Yunus D. K. Kutz},
  title = {Nominal unification with atom-variables},
  journal = {J. Symb. Comput.},
  volume = {90},
  pages = {42--64},
  year = {2019},
  url = {https://doi.org/10.1016/j.jsc.2018.04.003},
  doi = {10.1016/j.jsc.2018.04.003},
  pdf = {./files/publ/nominal-jsc-pp.pdf},
  copyright = {\copyright \href{http://www.elsevier.com}{Elsevier},
   \href{https://doi.org/10.1016/j.jsc.2018.04.003}{the original publication is available at via the doi:10.1016/j.jsc.2018.04.003}}
}
@techreport{schmidt-schauss-sabel-dallmeyer:frank-58:17,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel and Nils Dallmeyer},
  title = {Improvements for Concurrent Haskell with Futures},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {58},
  year = 2017,
  month = {December},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-58.pdf}
}
@techreport{schmidt-schauss-sabel:frank-59,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Nominal Unification with Atom and Context Variables},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {59},
  year = 2018,
  month = {January},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-59.pdf}
}
@proceedings{Cirstea-Sabel:2018,
  editor = {Horatiu Cirstea and David Sabel},
  title = {Proceedings Fourth International Workshop on Rewriting Techniques
               for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
               UK, 8th September 2017},
  series = {{EPTCS}},
  volume = {265},
  year = {2018},
  doi = {10.4204/EPTCS.265},
  url = {http://arxiv.org/abs/1802.05862}
}
@inproceedings{schmidt-schauss-sabel:18:fscd,
  author = {Manfred Schmidt{-}Schau{\ss} and
               David Sabel},
  title = {Nominal Unification with Atom and Context Variables},
  booktitle = {3rd International Conference on Formal Structures for Computation
               and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
  pages = {28:1--28:20},
  year = {2018},
  url = {http://dx.doi.org/10.4230/LIPIcs.FSCD.2018.28},
  doi = {10.4230/LIPIcs.FSCD.2018.28},
  editor = {H{\'{e}}l{\`{e}}ne Kirchner},
  series = {LIPIcs},
  volume = {108},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-077-4},
  month = {July}
}
@inproceedings{schmidt-schauss-sabel-dallmeyer:18:ppdp,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel and Nils Dallmeyer},
  title = {Sequential and Parallel Improvements in a Concurrent Functional Programming Language},
  booktitle = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming},
  series = {PPDP '18},
  year = {2018},
  isbn = {978-1-4503-6441-6},
  location = {Frankfurt am Main, Germany},
  pages = {20:1--20:13},
  articleno = {20},
  numpages = {13},
  url = {https://dl.acm.org/authorize?N664002},
  doi = {10.1145/3236950.3236952},
  acmid = {3236952},
  publisher = {ACM},
  address = {New York, NY, USA},
  editor = {David Sabel and Peter Thiemann},
  month = {September}
}
@proceedings{Sabel:2018:3236950,
  title = {PPDP '18: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming},
  year = {2018},
  isbn = {978-1-4503-6441-6},
  location = {Frankfurt am Main, Germany},
  publisher = {ACM},
  address = {New York, NY, USA},
  editor = {David Sabel and Peter Thiemann},
  url = {https://dl.acm.org/citation.cfm?id=3236950},
  month = {September}
}
@techreport{schmidt-schauss-sabel:frank-60:19,
  author = {Manfred Schmidt-Schau{\ss} and David Sabel},
  title = {Embedding the Pi-Calculus into a Concurrent Functional Programming Language},
  institution = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  type = {Frank report},
  number = {60},
  year = 2019,
  month = {February},
  pdf = {http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-60.pdf}
}
@inproceedings{Sabel:19:WPTE,
  author = {Sabel, David},
  year = {2019},
  title = {Automating the Diagram Method to Prove Correctness of Program Transformations},
  editor = {Niehren, Joachim and Sabel, David},
  booktitle = {Proceedings Fifth International Workshop on
               Rewriting Techniques for Program Transformations and Evaluation,
               Oxford, England, 8th July 2018},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {289},
  publisher = {Open Publishing Association},
  pages = {17-33},
  doi = {10.4204/EPTCS.289.2},
  month = {February},
  pdf = {http://eptcs.web.cse.unsw.edu.au/paper.cgi?WPTE2018.2.pdf}
}

This file was generated by bibtex2html 1.98.