Torben Amtoft

Torben Amtoft Hansen

	2012
32		Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino: A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. POST 2012: 369-389
	2010
31		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
30		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)
	2008
29		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
28		Ye Zhang, Torben Amtoft, Flemming Nielson: From generic to specific: off-line optimization for a general constraint solver. GPCE 2008: 45-54
27		Torben Amtoft: Flow-sensitive type systems and the ambient calculus. Higher-Order and Symbolic Computation 21(4): 411-442 (2008)
26		Torben Amtoft: Slicing for modern program structures: a theory for eliminating irrelevant loops. Inf. Process. Lett. 106(2): 45-51 (2008)
	2007
25		Torben Amtoft, Anindya Banerjee: Verification condition generation for conditional information flow. FMSE 2007: 2-11
24		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		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		Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee: A logic for information flow in object-oriented programs. POPL 2006: 91-102
	2005
21		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		Torben Amtoft, Anindya Banerjee: Information Flow Analysis in Logical Form. SAS 2004: 100-115
	2003
18		Torben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97
	2002
17		Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær: The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation 2002: 332-357
16		Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: Orderly communication in the Ambient Calculus. Comput. Lang. 28(1): 29-60 (2002)
	2001
15		Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: What Are Polymorphically-Typed Ambients? ESOP 2001: 206-220
	2000
14		Torben Amtoft, Franklyn A. Turbak: Faithful Translations between Polyvariant Flows and Polymorphic Types. ESOP 2000: 26-40
	1999
13		Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Type and effect systems - behaviours for concurrency. Imperial College Press 1999: 1-253
	1998
12		Hanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
11		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	Kelly Androutsopoulos	[30]
3	Andrew Appel	[32]
4	Sruthi Bandhakavi	[22]
5	Anindya Banerjee	[19] [21] [22] [23] [24] [25]
6	Lennart Beringer	[32]
7	David Clark	[30]
8	Charles Consel	[17]
9	Andrew Cousino	[32]
10	Olivier Danvy	[17]
11	Josiah Dodds	[32]
12	Matthew B. Dwyer	[21] [24]
13	David Greve	[29]
14	Mark Harman	[30]
15	John Hatcliff	[21] [24] [29] [31] [32]
16	Jonathan Hoag	[29]
17	Neil D. Jones	[1]
18	Assaf J. Kfoury (A. J. Kfoury)	[15] [16]
19	Zheng Li	[30]
20	Henning Makholm	[20]
21	Karoline Malmkjær	[17]
22	Robert Muller	[18]
23	Flemming Nielson	[7] [8] [9] [10] [11] [12] [13] [28]
24	Hanne Riis Nielson	[7] [8] [9] [10] [11] [12] [13]
25	Thomas Nikolajsen	[1]
26	Xinming Ou	[32]
27	Santiago M. Pericás-Geertsen	[15] [16]
28	Venkatesh Prasad Ranganath	[21] [24]
29	Robby	[29]
30	Edwin Rodríguez	[29] [31]
31	Jesper Larsson Träff	[1] [3]
32	Franklyn A. Turbak	[14]
33	J. B. Wells	[20]
34	Zhi Zhang	[32]
35	Ye Zhang	[28]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page