Hayo Thielecke

29 papers A* 4A 2B 5C 1Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2015 — conf
Command injection attacks, continuations, and the Lambek calculus.
WoC
Hayo Thielecke
2014 J jnl
On the semantics of parsing actions.
Sci. Comput. Program.
Hayo Thielecke
2014 J jnl
Static Analysis for Regular Expression Exponential Runtime via Substructural Logics.
CoRR
Asiri Rathnayake, Hayo Thielecke
2013 J jnl
Static Analysis for Regular Expression Denial-of-Service Attacks
CoRR
James Kirrage, Asiri Rathnayake, Hayo Thielecke
2013 B conf
Static Analysis for Regular Expression Denial-of-Service Attacks.
NSS
James Kirrage, Asiri Rathnayake, Hayo Thielecke
2012 C conf
Functional semantics of parsing actions, and left recursion elimination as continuation passing.
PPDP
Hayo Thielecke
2012 — conf
Operational semantics for signal handling
EXPRESS/SOS
Maxim Strygin, Hayo Thielecke
2011 — conf
Regular Expression Matching and Operational Semantics
SOS
Asiri Rathnayake, Hayo Thielecke
2009 J jnl
Control effects as a modality.
J. Funct. Program.
Hayo Thielecke
2008 B conf
Reasoning about B+ Trees with Operational Semantics and Separation Logic.
MFPS
Alan P. Sexton, Hayo Thielecke
2007 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Hayo Thielecke
2006 A* conf
Frame rules from answer types for code pointers.
POPL
Hayo Thielecke
2005 B conf
A Type-theoretic Reconstruction of the Visitor Pattern.
MFPS
Peter Buchlovsky, Hayo Thielecke
2004 A conf
Answer Type Polymorphism in Call-by-Name Continuation Passing.
ESOP
Hayo Thielecke
2004 J jnl
On the call-by-value CPS transform and its semantics.
Inf. Comput.
Carsten Führmann, Hayo Thielecke
2003 A* conf
From control effects to typed continuation passing.
POPL
Hayo Thielecke
2003 J jnl
Modelling environments in call-by-value programming languages.
Inf. Comput.
Paul Blain Levy, John Power, Hayo Thielecke
2002 J jnl
Comparing Control Constructs by Double-Barrelled CPS.
High. Order Symb. Comput.
Hayo Thielecke
2002 J jnl
Linear Continuation-Passing.
High. Order Symb. Comput.
Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke
2001 B conf
Comparing Control Constructs by Double-barrelled {CPS} Transforms.
MFPS
Hayo Thielecke
2000 A conf
On Exceptions Versus Continuations in the Presence of State.
ESOP
Hayo Thielecke
1999 A* conf
Closed Freyd- and kappa-categories.
ICALP
John Power, Hayo Thielecke
1999 J jnl
Continuations, functions and jumps.
SIGACT News
Hayo Thielecke
1999 A* conf
Typed Exeptions and Continuations Cannot Macro-Express Each Other.
ICALP
Jon G. Riecke, Hayo Thielecke
1999 J jnl
Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC.
High. Order Symb. Comput.
Hayo Thielecke
1998 J jnl
An Introduction to Landin's "A Generalization of Jumps and Labels".
High. Order Symb. Comput.
Hayo Thielecke
1997 B conf
Continuation semantics and self-adjointness.
MFPS
Hayo Thielecke
1997 — conf
Environments, Continuation Semantics and Indexed Categories.
TACS
John Power, Hayo Thielecke
1995 — conf
A Proposed Categorical Semantics for ML Modules.
Category Theory and Computer Science
Michael P. Fourman, Hayo Thielecke