David Sabel

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 22

Top Topics

Rewriting Systems

Lazy Evaluation

Functional Language

Lambda Calculus

Top Venues

Software Engineering (Workshops)

Publications

Manfred Schmidt-Schauß, David Sabel
Program equivalence in a typed probabilistic call-by-need functional language. J. Log. Algebraic Methods Program. 135 (2023)
David Sabel, Manfred Schmidt-Schauß, Luca Maio
A Probabilistic Call-by-Need Lambda-Calculus - Extended Version. CoRR (2022)
David Sabel, Manfred Schmidt-Schauß, Luca Maio
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. PPDP (2022)
Manfred Schmidt-Schauß, David Sabel
Minimal Translations from Synchronous Communication to Synchronizing Locks. EXPRESS/SOS (2021)
Michael Christian Fink Amores, David Sabel
Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version). CoRR (2021)
Manfred Schmidt-Schauß, David Sabel
Minimal Translations from Synchronous Communication to Synchronizing Locks (Extended Version). CoRR (2021)
Manfred Schmidt-Schauß, David Sabel
Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars. EXPRESS/SOS (2020)
Manfred Schmidt-Schauß, David Sabel, Yunus D. K. Kutz
Nominal unification with atom-variables. J. Symb. Comput. 90 (2019)
David Sabel
Automating the Diagram Method to Prove Correctness of Program Transformations. WPTE@FSCD (2018)
Manfred Schmidt-Schauß, David Sabel, Nils Dallmeyer
Sequential and Parallel Improvements in a Concurrent Functional Programming Language. PPDP (2018)
Manfred Schmidt-Schauß, David Sabel
Nominal Unification with Atom and Context Variables. FSCD (2018)
Manfred Schmidt-Schauß, David Sabel
Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations. Sci. Comput. Program. 147 (2017)
David Sabel, Hans Zantema
Termination of Cycle Rewriting by Transformation and Matrix Interpretation. Log. Methods Comput. Sci. 13 (1) (2017)
David Sabel
Alpha-renaming of higher-order meta-expressions. PPDP (2017)
Manfred Schmidt-Schauß, David Sabel
Unification of program expressions with recursive bindings. PPDP (2016)
David Sabel, Manfred Schmidt-Schauß
A Call-by-Need Lambda Calculus with Scoped Work Decorations. Software Engineering (Workshops) (2016)
Manfred Schmidt-Schauß, David Sabel
Improvements in a functional core language with call-by-need operational semantics. PPDP (2015)
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq. Log. Methods Comput. Sci. 11 (1) (2015)
David Sabel, Manfred Schmidt-Schauß
Observing Success in the Pi-Calculus. WPTE@RTA/TLCA (2015)
David Sabel, Hans Zantema
Transforming Cycle Rewriting into String Rewriting. RTA (2015)
Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
Observational program calculi and the correctness of translations. Theor. Comput. Sci. 577 (2015)
Manfred Schmidt-Schauß, David Sabel
Sharing-aware improvements in a call-by-need functional core language. IFL (2015)
Manfred Schmidt-Schauß, David Sabel
Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB. RTA-TLCA (2014)
David Sabel
A Haskell-Implementation of STM Haskell with Early Conflict Detection. Software Engineering (Workshops) (2014)
Manfred Schmidt-Schauß, David Sabel
Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report). WPTE@RTA/TLCA (2014)
David Sabel
Structural Rewriting in the pi-Calculus. WPTE@RTA/TLCA (2014)
David Sabel, Manfred Schmidt-Schauß
A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions. J. Autom. Reason. 50 (4) (2013)
Till Berger, David Sabel
Parallelizing DPLL in Haskell. Software Engineering (Workshops) (2013)
Manfred Schmidt-Schauß, Conrad Rau, David Sabel
Algorithms for Extended Alpha-Equivalence and Complexity. RTA (2013)
Manfred Schmidt-Schauß, Elena Machkasova, David Sabel
Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings. RTA (2013)
Manfred Schmidt-Schauß, David Sabel
Correctness of an STM Haskell implementation. ICFP (2013)
David Sabel, Manfred Schmidt-Schauß
Conservative Concurrency in Haskell. LICS (2012)
David Sabel
An abstract machine for concurrent haskell with futures. Software Engineering (Workshops) (2012)
Conrad Rau, David Sabel, Manfred Schmidt-Schauß
Correctness of Program Transformations as a Termination Problem. IJCAR (2012)
David Sabel, Manfred Schmidt-Schauß
A contextual semantics for concurrent Haskell with futures. PPDP (2011)
Manfred Schmidt-Schauß, David Sabel, Altug Anis
Congruence Closure of Compressed Terms in Polynomial Time. FroCoS (2011)
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. Inf. Process. Lett. 111 (14) (2011)
Manfred Schmidt-Schauß, David Sabel
On generic context lemmas for higher-order calculi with sharing. Theor. Comput. Sci. 411 (11-13) (2010)
Manfred Schmidt-Schauß, David Sabel
Closures of may-, should- and must-convergences for contextual equivalence. Inf. Process. Lett. 110 (6) (2010)
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
Simulation in the Call-by-Need Lambda-Calculus with letrec. RTA (2010)
David Sabel, Manfred Schmidt-Schauß, Frederik Harwath
Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi. GI Jahrestagung (2009)
David Sabel, Manfred Schmidt-Schauß
A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations. Math. Struct. Comput. Sci. 18 (3) (2008)
David Sabel
Semantics of a Call-by-Need Lambda Calculus with McCarthy's Amb for Program Equivalence. Ausgezeichnete Informatikdissertationen (2008)
Manfred Schmidt-Schauß, David Sabel, Marko Schütz
Safety of Nöcker's strictness analysis. J. Funct. Program. 18 (4) (2008)
Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel
Adequacy of Compositional Translations for Observational Semantics. IFIP TCS (2008)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. MFPS (2007)
Manfred Schmidt-Schauß, David Sabel, Marko Schütz
Deciding inclusion of set constants over infinite non-strict data structures. RAIRO Theor. Informatics Appl. 41 (2) (2007)