Hayo Thielecke's publications
Below is a list of my publications in reverse chronological order.
For citing, please see the BibTeX file.

Hayo Thielecke
Command injection attacks, continuations, and the Lambek calculus
Preproceedings of the Workshop on Continuation (WoCâ€™15)
Slides from the talk 
Hayo Thielecke
On the Semantics of Parsing Actions
Science of Computer Programming, special issue for PPDP'12). Elsevier 
James Kirrage, Asiri Rathnayake, and Hayo Thielecke
Static Analysis for Regular Expression DenialofService Attacks
International Conference on Network and System Security (NSS 2013)
Springer LNCS number 7873
Slides from the talk 
Hayo Thielecke
Functional Semantics of Parsing Actions, and Left Recursion Elimination as Continuation Passing
14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2012)
Slides from the talk 
Maxim Strygin and Hayo Thielecke
Operational semantics for signal handling
9th Workshop on Structural Operational Semantics (SOS) 2012 
Asiri Rathnayake and Hayo Thielecke
Regular Expression Matching and Operational Semantics
Structural Operational Semantics (SOS) 2011
Slides for Southampton talk in PDF 
Alan Sexton and Hayo Thielecke
Reasoning about B+ Trees with Operational Semantics and Separation Logic
MFPS24 (24th conference on Mathematical Foundations of Programming Semantics)
Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier.
Slides of the talk. 
Hayo Thielecke
Control effects as a modality
Journal of Functional Programming Theoretical Pearl 
Hayo Thielecke
Frame Rules from Answer Types for Code Pointers
POPL'06 (The 33rd SIGPLANSIGACT Symposium on Principles of Programming Languages)
The slides of an extended talk I gave a the Cambridge Computer Laboratory are also available.  Peter Buchlovsky and Hayo Thielecke
A Typetheoretic Reconstruction of the Visitor Pattern
21st Conference on Mathematical Foundations of Programming Semantics (MFPS XXI)
Electronic Notes in Theoretical Computer Science  Hayo Thielecke
Answer Type Polymorphism in Callbyname Continuation Passing
ESOP 2004 (European Symposium on Programming)
 Hayo Thielecke (Editor)
Proceedings of the Fourth ACMSIGPLAN Continuations Workshop (CW'04)
University of Birmingham Technical Report CSR041
Also available as an online proceedings  Hayo Thielecke
From Control Effects to Typed Continuation Passing
POPL'03 (The 30th SIGPLANSIGACT Symposium on Principles of Programming Languages)
 Carsten Führmann and Hayo Thielecke
On the callbyvalue CPS transform and its semantics
Information and Computation 188(2), 2004. 
Josh Berdine, Peter O'Hearn, Uday S. Reddy, and Hayo Thielecke
Linear ContinuationPassing
Higherorder and Symbolic Computation 15(2/3), 2002 ©Kluwer 
Hayo Thielecke
Comparing Control Constructs by Doublebarrelled CPS
Higherorder and Symbolic Computation 15 (2/3), 2002 ©Kluwer 
Paul Levy, John Power and Hayo Thielecke
Modelling environments in callbyvalue programming languages
Information and Computation 185(2):182210, 2003 
Hayo Thielecke
Comparing Control Constructs by Doublebarrelled CPS Transforms
revised version of CW01 article, appeared in MFPS17.
Superseded by the journal version above. 
Josh Berdine, Peter W. O'Hearn, Uday Reddy, and Hayo Thielecke
Linearly Used Continuations
The Third ACM SIGPLAN Workshop on Continuations (CW'01)
Same in PDF 
Hayo Thielecke
Comparing Control Constructs by Typing Doublebarrelled CPS Transforms
Same in PDF
The Third ACM SIGPLAN Workshop on Continuations (CW'01)  Hayo Thielecke
On Exceptions versus Continuations in the Presence of State
Proceedings ESOP 2000, Springer LNCS 1782
©SpringerVerlag
ML code from the figures
 Hayo Thielecke
Continuations, functions and jumps
Same in PDF
Logic Column 8, SIGACT News, July 1999. 
Jon G. Riecke and
Hayo Thielecke
Typed Exceptions and Continuations Cannot MacroExpress Each Other
©SpringerVerlag
Proc. ICALP '99, Springer LNCS 1644.
 John Power and Hayo Thielecke
Closed Freyd and kappacategories ©SpringerVerlag
Proc. ICALP '99, Springer LNCS 1644.  Hayo Thielecke
Using a continuation twice and its implications for the expressive power of call/cc
HigherOrder and Symbolic Computation 12(1),1999, ©Kluwer
Here is some code from the paper: in Scheme or Standard ML of New Jersey  the latter needs >SMLofNJ.Cont
 Hayo Thielecke
An introduction to Landin's 'A Generalization of Jumps and Labels'
HigherOrder and Symbolic Computation 11(2), 1998, ©Kluwer  My PhD thesis, Categorical Structure of Continuation Passing
Style
click for PS.
Also available as LFCS technical report ECSLFCS97376 from Edinburgh.
 John Power and Hayo Thielecke
Environments, continuation semantics and indexed categories
In Proceedings TACS'97, Springer LNCS 1281
 Hayo Thielecke
Continuation Semantics and Selfadjointness
In Proceedings MFPS XIII
Electronic Notes in Theoretical Computer Science Volume 6.
 Michael Fourman and
Hayo Thielecke
A proposed categorical semantics for ML modules
In Category Theory and Computer Science, Proceedings CTCS '95, Springer LNCS 953.
 Hayo Thielecke
Continuation passing style and selfadjointness
In Proceedings 2nd ACM SIGPLAN Workshop on Continuations.
BRICS Notes Series, NS9613, 1996.
Unpublished

Hayo Thielecke
Contrasting exceptions and continuations
Draft of 2001.  Josh Berdine, Peter O'Hearn and Hayo Thielecke
Extracting the Range of CPS from Affine Typing: Extended Abstract.
Presented at FLoC'02 Workshop on Linear Logic (LL 2002), July 2002. (The workshop had no proceedings.)