Torben Amtoft

Torben Amtoft Hansen

2008
28	EE	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
27	EE	Ye Zhang, Torben Amtoft, Flemming Nielson: From generic to specific: off-line optimization for a general constraint solver. GPCE 2008: 45-54
26	EE	Torben Amtoft: Slicing for modern program structures: a theory for eliminating irrelevant loops. Inf. Process. Lett. 106(2): 45-51 (2008)
2007
25	EE	Torben Amtoft, Anindya Banerjee: Verification condition generation for conditional information flow. FMSE 2007: 2-11
24	EE	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)
23	EE	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)
2006
22	EE	Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee: A logic for information flow in object-oriented programs. POPL 2006: 91-102
2005
21	EE	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
2004
20		Torben Amtoft, Henning Makholm, J. B. Wells: PolyA: True Type Polymorphism for Mobile Ambients. IFIP TCS 2004: 591604
19	EE	Torben Amtoft, Anindya Banerjee: Information Flow Analysis in Logical Form. SAS 2004: 100-115
2003
18	EE	Torben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97
17	EE	Torben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97
2002
16	EE	Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær: The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation 2002: 332-357
15		Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: Orderly communication in the Ambient Calculus. Comput. Lang. 28(1): 29-60 (2002)
2001
14	EE	Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: What Are Polymorphically-Typed Ambients? ESOP 2001: 206-220
2000
13	EE	Torben Amtoft, Franklyn A. Turbak: Faithful Translations between Polyvariant Flows and Polymorphic Types. ESOP 2000: 26-40
1998
12	EE	Hanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
11	EE	Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Behavior Analysis for Validating Communication Patterns. STTT 2(1): 13-28 (1998)
1997
10		Torben Amtoft, Flemming Nielson, Hanne Riis Nielson: Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7(3): 321-347 (1997)
1996
9		Hanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171
8		Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206
7		Flemming Nielson, Hanne Riis Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS 1996: 207-243
1994
6		Torben Amtoft: Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. ESOP 1994: 43-57
1993
5		Torben Amtoft: Minimal Thunkification. WSA 1993: 218-229
1992
4		Torben Amtoft: Unfold/fold Transformations Preserving Termination Properties. PLILP 1992: 187-201
3		Torben Amtoft, Jesper Larsson Träff: Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA. Theor. Comput. Sci. 98(2): 347-356 (1992)
1991
2		Torben Amtoft Hansen: Properties of Unfolding-based Meta-level Systems. PEPM 1991: 243-254
1989
1		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

Coauthor Index

1	Jürgen Ammann	[8]
2	Sruthi Bandhakavi	[22]
3	Anindya Banerjee	[19] [21] [22] [23] [24] [25]
4	Charles Consel	[16]
5	Olivier Danvy	[16]
6	Matthew B. Dwyer	[21] [24]
7	David Greve	[28]
8	John Hatcliff	[21] [24] [28]
9	Jonathan Hoag	[28]
10	Neil D. Jones	[1]
11	Assaf J. Kfoury (A. J. Kfoury)	[14] [15]
12	Henning Makholm	[20]
13	Karoline Malmkjær	[16]
14	Robert Muller	[17] [18]
15	Flemming Nielson	[7] [8] [9] [10] [11] [12] [27]
16	Hanne Riis Nielson	[7] [8] [9] [10] [11] [12]
17	Thomas Nikolajsen	[1]
18	Santiago M. Pericás-Geertsen	[14] [15]
19	Venkatesh Prasad Ranganath	[21] [24]
20	Robby	[28]
21	Edwin Rodríguez	[28]
22	Jesper Larsson Träff	[1] [3]
23	Franklyn A. Turbak	[13]
24	J. B. Wells	[20]
25	Ye Zhang	[27]

Colors in the list of coauthors