Torben Amtoft

40 papers A* 1A 5B 5Journal 15Unranked 12
YearRankTypeTitle / Venue / Authors
2026 — conf
A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs.
Languages, Compilers, Analysis
Torben Amtoft, Anindya Banerjee
2025 J jnl
A Fast Algorithm for Finding Minimum Weight Cycles in Mining Cyclic Graph Topologies.
CoRR
Heman Shakeri, Torben Amtoft, Behnaz Moradijamei, Nathan Albin, Pietro Poggi-Corradini
2024 J jnl
A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs.
CoRR
Torben Amtoft, Anindya Banerjee
2020 J jnl
A Theory of Slicing for Imperative Probabilistic Programs.
ACM Trans. Program. Lang. Syst.
Torben Amtoft, Anindya Banerjee
2020 — conf
Correctly Slicing Extended Finite State Machines.
From Lambda Calculus to Cybersecurity Through Program Analysis
Torben Amtoft, Kelly Androutsopoulos, David Clark
2017 J jnl
A Semantics for Probabilistic Control-Flow Graphs.
CoRR
Torben Amtoft, Anindya Banerjee
2017 J jnl
A Theory of Slicing for Probabilistic Control-Flow Graphs.
CoRR
Torben Amtoft, Anindya Banerjee
2016 B conf
A Theory of Slicing for Probabilistic Control Flow Graphs.
FoSSaCS
Torben Amtoft, Anindya Banerjee
2012 — conf
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow.
POST
Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino
2010 J jnl
An alternative characterization of weak order dependence.
Inf. Process. Lett.
Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li
2010 A conf
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.
ESOP
Torben Amtoft, John Hatcliff, Edwin Rodríguez
2010 — ch.
Specification and Checking of Software Contracts for Conditional Information Flow.
Design and Verification of Microprocessor Systems for High-Assurance Applications
Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve
2008 J jnl
Flow-sensitive type systems and the ambient calculus.
High. Order Symb. Comput.
Torben Amtoft
2008 B conf
From generic to specific: off-line optimization for a general constraint solver.
GPCE
Ye Zhang, Torben Amtoft, Flemming Nielson
2008 J jnl
Slicing for modern program structures: a theory for eliminating irrelevant loops.
Inf. Process. Lett.
Torben Amtoft
2008 B conf
Specification and Checking of Software Contracts for Conditional Information Flow.
FM
Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve
2007 J jnl
A logic for information flow analysis with an application to forward slicing of simple imperative programs.
Sci. Comput. Program.
Torben Amtoft, Anindya Banerjee
2007 J jnl
A new foundation for control dependence and slicing for modern program structures.
ACM Trans. Program. Lang. Syst.
Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
2007 — conf
Verification condition generation for conditional information flow.
FMSE
Torben Amtoft, Anindya Banerjee
2006 A* conf
A logic for information flow in object-oriented programs.
POPL
Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee
2005 A conf
A New Foundation for Control-Dependence and Slicing for Modern Program Structures.
ESOP
Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
2004 B conf
Information Flow Analysis in Logical Form.
SAS
Torben Amtoft, Anindya Banerjee
2004 — conf
PolyA: True Type Polymorphism for Mobile Ambients.
IFIP TCS
Torben Amtoft, Henning Makholm, J. B. Wells
2003 — conf
Inferring annotated types for inter-procedural register allocation with constructor flattening.
TLDI
Torben Amtoft, Robert Muller
2002 J jnl
Orderly communication in the Ambient Calculus.
Comput. Lang. Syst. Struct.
Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
2002 — conf
The Abstraction and Instantiation of String-Matching Programs.
The Essence of Computation
Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær
2002 J jnl
UTRA/FDD RF Transceiver Requirements.
Wirel. Pers. Commun.
Per Madsen, Ole K. Jensen, Torben Amtoft, Ragnar V. Reynisson, Jan H. Mikkelsen, Søren Laursen, Troels E. Kolding, Torben Larsen, Michael Bohl Jenner
2001 A conf
What Are Polymorphically-Typed Ambients?
ESOP
Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
2000 A conf
Faithful Translations between Polyvariant Flows and Polymorphic Types.
ESOP
Torben Amtoft, Franklyn A. Turbak
1999 — book
Type and effect systems - behaviours for concurrency.
Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
1998 J jnl
Behavior Analysis for Validating Communication Patterns.
Int. J. Softw. Tools Technol. Transf.
Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
1998 B conf
Behaviour Analysis and Safety Conditions: A Case Study in CML.
FASE
Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
1997 J jnl
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs.
J. Funct. Program.
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
1996 — conf
Polymorphic Subtyping for Effect Analysis: The Algorithm.
LOMAPS
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
1996 — conf
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.
LOMAPS
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann
1996 — conf
Polymorphic Subtyping for Effect Analysis: The Static Semantics.
LOMAPS
Hanne Riis Nielson, Flemming Nielson, Torben Amtoft
1994 A conf
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration.
ESOP
Torben Amtoft
1993 — conf
Minimal Thunkification.
WSA
Torben Amtoft
1992 J jnl
Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA.
Theor. Comput. Sci.
Torben Amtoft, Jesper Larsson Träff
1992 — conf
Unfold/fold Transformations Preserving Termination Properties.
PLILP
Torben Amtoft