Hayo Thielecke

Publication Activity (10 Years)

Years Active: 1995-2015
Publications (10 Years): 0

Top Topics

Injection Attacks

Static Analysis

Action Descriptions

Operational Semantics

Top Venues

Sci. Comput. Program.

Publications

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