Torben Amtoft

Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino: A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. POST 2012: 369-389

Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li: An alternative characterization of weak order dependence. Inf. Process. Lett. 110(21): 939-943 (2010)

Torben Amtoft, John Hatcliff, Edwin Rodríguez: Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. ESOP 2010: 43-63

Torben Amtoft: Slicing for modern program structures: a theory for eliminating irrelevant loops. Inf. Process. Lett. 106(2): 45-51 (2008)

Torben Amtoft: Flow-sensitive type systems and the ambient calculus. Higher-Order and Symbolic Computation 21(4): 411-442 (2008)

Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve: Specification and Checking of Software Contracts for Conditional Information Flow. FM 2008: 229-245

Ye Zhang, Torben Amtoft, Flemming Nielson: From generic to specific: off-line optimization for a general constraint solver. GPCE 2008: 45-54

Torben Amtoft, Anindya Banerjee: A logic for information flow analysis with an application to forward slicing of simple imperative programs. Sci. Comput. Program. 64(1): 3-28 (2007)

Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer: A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5) (2007)

Torben Amtoft, Anindya Banerjee: Verification condition generation for conditional information flow. FMSE 2007: 2-11

Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee: A logic for information flow in object-oriented programs. POPL 2006: 91-102

Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff: A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93

Torben Amtoft, Henning Makholm, J. B. Wells: PolyA: True Type Polymorphism for Mobile Ambients. IFIP TCS 2004: 591604

Torben Amtoft, Anindya Banerjee: Information Flow Analysis in Logical Form. SAS 2004: 100-115

Torben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97

Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: Orderly communication in the Ambient Calculus. Comput. Lang. 28(1): 29-60 (2002)

Per Madsen, Ole K. Jensen, Torben Amtoft, Ragnar V. Reynisson, Jan H. Mikkelsen, Søren Laursen, Troels E. Kolding, Torben Larsen, Michael Bohl Jenner: UTRA/FDD RF Transceiver Requirements. Wireless Personal Communications 23(1): 55-66 (2002)

Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær: The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation 2002: 332-357

Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: What Are Polymorphically-Typed Ambients? ESOP 2001: 206-220

Torben Amtoft, Franklyn A. Turbak: Faithful Translations between Polyvariant Flows and Polymorphic Types. ESOP 2000: 26-40

Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Type and effect systems - behaviours for concurrency. Imperial College Press 1999, isbn 978-1-86094-154-2, pp. 1-253

Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Behavior Analysis for Validating Communication Patterns. STTT 2(1): 13-28 (1998)

Hanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson: Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7(3): 321-347 (1997)

Hanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS 1996: 207-243

Torben Amtoft: Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. ESOP 1994: 43-57

Torben Amtoft: Minimal Thunkification. WSA 1993: 218-229

Torben Amtoft, Jesper Larsson Träff: Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA. Theor. Comput. Sci. 98(2): 347-356 (1992)

Torben Amtoft: Unfold/fold Transformations Preserving Termination Properties. PLILP 1992: 187-201

Torben Amtoft Hansen: Properties of Unfolding-based Meta-level Systems. PEPM 1991: 243-254

Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones: Experiments with Implementations of Two Theoretical Constructions. Logic at Botik 1989: 119-133