Torben Amtoft

According to our database, Torben Amtoft authored at least 38 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs.

Torben Amtoft, Anindya Banerjee

CoRR, 2024

2020

A Theory of Slicing for Imperative Probabilistic Programs.

Torben Amtoft, Anindya Banerjee

ACM Trans. Program. Lang. Syst., 2020

Correctly Slicing Extended Finite State Machines.

Torben Amtoft, Kelly Androutsopoulos, David Clark

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2017

A Semantics for Probabilistic Control-Flow Graphs.

Torben Amtoft, Anindya Banerjee

CoRR, 2017

2016

A Theory of Slicing for Probabilistic Control Flow Graphs.

Torben Amtoft, Anindya Banerjee

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2012

A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow.

Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino

Proceedings of the Principles of Security and Trust - First International Conference, 2012

2010

An alternative characterization of weak order dependence.

Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li

Inf. Process. Lett., 2010

Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.

Torben Amtoft, John Hatcliff, Edwin Rodríguez

Proceedings of the Programming Languages and Systems, 2010

Specification and Checking of Software Contracts for Conditional Information Flow.

Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2008

Flow-sensitive type systems and the ambient calculus.

Torben Amtoft

High. Order Symb. Comput., 2008

Slicing for modern program structures: a theory for eliminating irrelevant loops.

Torben Amtoft

Inf. Process. Lett., 2008

From generic to specific: off-line optimization for a general constraint solver.

Ye Zhang, Torben Amtoft, Flemming Nielson

Proceedings of the Generative Programming and Component Engineering, 2008

Specification and Checking of Software Contracts for Conditional Information Flow.

Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve

Proceedings of the FM 2008: Formal Methods, 2008

2007

A new foundation for control dependence and slicing for modern program structures.

Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer

ACM Trans. Program. Lang. Syst., 2007

A logic for information flow analysis with an application to forward slicing of simple imperative programs.

Torben Amtoft, Anindya Banerjee

Sci. Comput. Program., 2007

Verification condition generation for conditional information flow.

Torben Amtoft, Anindya Banerjee

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

2006

A logic for information flow in object-oriented programs.

Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2004

Information Flow Analysis in Logical Form.

Torben Amtoft, Anindya Banerjee

Proceedings of the Static Analysis, 11th International Symposium, 2004

PolyA: True Type Polymorphism for Mobile Ambients.

Torben Amtoft, Henning Makholm, J. B. Wells

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Inferring annotated types for inter-procedural register allocation with constructor flattening.

Torben Amtoft, Robert Muller

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

2002

UTRA/FDD RF Transceiver Requirements.

Per Madsen, Ole K. Jensen, Torben Amtoft, Ragnar V. Reynisson, Jan H. Mikkelsen, Søren Laursen, Troels E. Kolding, Torben Larsen, Michael Bohl Jenner

Wirel. Pers. Commun., 2002

Orderly communication in the Ambient Calculus.

Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen

Comput. Lang. Syst. Struct., 2002

The Abstraction and Instantiation of String-Matching Programs.

Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

What Are Polymorphically-Typed Ambients?

Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen

Proceedings of the Programming Languages and Systems, 2001

2000

Faithful Translations between Polyvariant Flows and Polymorphic Types.

Torben Amtoft, Franklyn A. Turbak

Proceedings of the Programming Languages and Systems, 2000

1999

Type and effect systems - behaviours for concurrency.

Torben Amtoft, Hanne Riis Nielson, Flemming Nielson

Imperial College Press, ISBN: 978-1-86094-154-2, 1999

1998

Behavior Analysis for Validating Communication Patterns.

Torben Amtoft, Hanne Riis Nielson, Flemming Nielson

Int. J. Softw. Tools Technol. Transf., 1998

Behaviour Analysis and Safety Conditions: A Case Study in CML.

Hanne Riis Nielson, Torben Amtoft, Flemming Nielson

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

Type and Behaviour Reconstruction for Higher-Order Concurrent Programs.

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson

J. Funct. Program., 1997

1996

Polymorphic Subtyping for Effect Analysis: The Algorithm.

Flemming Nielson, Hanne Riis Nielson, Torben Amtoft

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Polymorphic Subtyping for Effect Analysis: The Static Semantics.

Hanne Riis Nielson, Flemming Nielson, Torben Amtoft

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1994

Local Type Reconstruction by Means of Symbolic Fixed Point Iteration.

Torben Amtoft

Proceedings of the Programming Languages and Systems, 1994

1993

Minimal Thunkification.

Torben Amtoft

Proceedings of the Static Analysis, Third International Workshop, 1993

1992

Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA.

Torben Amtoft, Jesper Larsson Träff

Theor. Comput. Sci., 1992

Unfold/fold Transformations Preserving Termination Properties.

Torben Amtoft

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991

Properties of Unfolding-based Meta-level Systems.

Torben Amtoft Hansen

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1989

Experiments with Implementations of Two Theoretical Constructions.

Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones

Proceedings of the Logic at Botik '89, 1989