|
|
-
2022
-
-
2021
-
-
2020
-
-
- Correctly Implementing Synchronous Message Passing in the Pi-Calculus by Concurrent Haskell's MVars.
EXPRESS/SOS 2020: Combined 27th International Workshop on
Expressiveness in Concurrency
and 17th Workshop on
Structural Operational Semantics
, Vienna, Austria, held online, 31/August/2020, talk on Youtube
- On Impossibility of Simple Modular Translations of Concurrent Calculi.
WPTE 2020:7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, Paris, France, held online, 29/June/2020,
talk on Youtube
- On Impossibility of Simple Modular Translations of Concurrent Calculi.
Colloquium of the TCS group, LMU, Munich, Germany, 26/June/2020
-
2019
-
-
2018
-
-
2017
-
-
2016
-
-
2015
-
-
Einführung in die Programmierung und das Problemlösen in Haskell.
Lehrbildungsforum Informatik, Frankfurt, Germany, 29/September/2015
-
Sharing-Aware Improvements in a Call-by-Need Functional Core Language.
IFL 2015: 27th International Symposium on Implementation and Application of Functional Languages,
Koblenz, Germany, 14/September/2015.
-
Rewriting Techniques for Correctness of Program Transformations.
ISR 2015: International School on Rewriting, Leipzig, Germany, 13+14/August/2015
-
Observing Success in the Pi-Calculus.
WPTE 2015: Second International Workshop on
Rewriting Techniques for Program Transformations and Evaluation
affiliated with RDP 2015,
Warsaw, Poland, 2/July/2015.
-
Transforming Cycle Rewriting into String Rewriting.
RTA 2015: 26th International Conference on
Rewriting Techniques and Applications,
Warsaw, Poland, 29/June/2015.
-
2014
-
-
Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB.
RTA/TLCA 2014: Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, Vienna Summer of Logic 2014, Vienna, Austria, 14/July/2014.
-
Structural Rewriting in the pi-Calculus.
WPTE 14: First International Workshop on Rewriting Techniques for Program Transformations and Evaluation affiliated with RTA/TLCA 2014, Vienna Summer of Logic 2014, Vienna, Austria, 13/July/2014.
-
A Haskell-Implementation of STM Haskell with Early Conflict Detection.
ATPS 14: 7. Arbeitstagung Programmiersprachen, Kiel, Germany, 26/February/2014.
-
The pi-Calculus with Stop.
Kolloquium Mathematische Informatik, Goethe University, Frankfurt, Germany, 21/January/2014.
-
2013
-
-
Correctness of an STM Haskell Implementation.
ICFP 2013: The 18th ACM SIGPLAN International Conference on Functional Programming, Boston, MA, USA, 26/September/2013.
-
Qualitatives zeitliches Schließen: "Intelligentes Kuchenbacken".
Inaugural lecture for my habilitation, Goethe University, Frankfurt, Germany, 16/July/2013:
-
Algorithms for Extended Alpha-Equivalence and Complexity.
RTA 2013: 24th International Conference on Rewriting Techniques and Applications, Eindhoven, The Netherlands, 26/June/2013.
-
Lock-freies nebenläufiges Programmieren durch Software Transactional Memory.
Habilitation colloquium, Goethe University, Frankfurt, Germany, 10/June/2013.
-
2012
-
-
Korrektheit von Programmen und Programmiersprachen.
Kolloquium des Instituts für Informatik, Goethe University, Frankfurt, Germany, 13/November/2012.
-
Conservative Concurrency in Haskell.
LICS 2012: 27th ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia, 25/June/2012.
-
An Abstract Machine for Concurrent Haskell with Futures.
ATPS 12: 5.Arbeitstagung Programmiersprachen, Berlin, Germany, 27/February/2012.
-
2011
-
-
2009
-
-
2008
-
-
2007
-
|