Torben Amtoft

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 5

Top Topics

Information Flows

Generative Model

Finite State Machines

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Torben Amtoft, Kelly Androutsopoulos, David Clark
Correctly Slicing Extended Finite State Machines. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Torben Amtoft, Anindya Banerjee
A Theory of Slicing for Imperative Probabilistic Programs. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Torben Amtoft, Anindya Banerjee
A Semantics for Probabilistic Control-Flow Graphs. CoRR (2017)
Torben Amtoft, Anindya Banerjee
A Theory of Slicing for Probabilistic Control-Flow Graphs. CoRR (2017)
Torben Amtoft, Anindya Banerjee
A Theory of Slicing for Probabilistic Control Flow Graphs. FoSSaCS (2016)
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)
Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li
An alternative characterization of weak order dependence. Inf. Process. Lett. 110 (21) (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)
Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve
Specification and Checking of Software Contracts for Conditional Information Flow. FM (2008)
Ye Zhang, Torben Amtoft, Flemming Nielson
From generic to specific: off-line optimization for a general constraint solver. GPCE (2008)
Torben Amtoft
Slicing for modern program structures: a theory for eliminating irrelevant loops. Inf. Process. Lett. 106 (2) (2008)
Torben Amtoft
Flow-sensitive type systems and the ambient calculus. High. Order Symb. Comput. 21 (4) (2008)
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) (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)
Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee
A logic for information flow in object-oriented programs. POPL (2006)
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)
Torben Amtoft, Anindya Banerjee
Information Flow Analysis in Logical Form. SAS (2004)
Torben Amtoft, Henning Makholm, J. B. Wells
PolyA: True Type Polymorphism for Mobile Ambients. IFIP TCS (2004)
Torben Amtoft, Robert Muller
Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI (2003)
Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær
The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation (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. Wirel. Pers. Commun. 23 (1) (2002)
Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
Orderly communication in the Ambient Calculus. Comput. Lang. Syst. Struct. 28 (1) (2002)
Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
What Are Polymorphically-Typed Ambients? ESOP (2001)
Torben Amtoft, Franklyn A. Turbak
Faithful Translations between Polyvariant Flows and Polymorphic Types. ESOP (2000)
Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE (1998)
Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
Behavior Analysis for Validating Communication Patterns. Int. J. Softw. Tools Technol. Transf. 2 (1) (1998)
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7 (3) (1997)
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS (1996)
Hanne Riis Nielson, Flemming Nielson, Torben Amtoft
Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS (1996)
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS (1996)
Torben Amtoft
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. ESOP (1994)
Torben Amtoft
Minimal Thunkification. WSA (1993)
Torben Amtoft
Unfold/fold Transformations Preserving Termination Properties. PLILP (1992)
Torben Amtoft, Jesper Larsson Träff
Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA. Theor. Comput. Sci. 98 (2) (1992)