9 Publications
2010
An alternative characterization of weak order dependence
Amtoft, Torben⋅Androutsopoulos, Kelly⋅Clark, David⋅Harman, Mark and Li, Zheng
Information Processing Letters, vol. 110, (no. 21), Oct 15, 2010. | Journal Article
2008
Slicing for modern program structures: a theory for eliminating irrelevant loops
Amtoft, Torben
Information Processing Letters, vol. 106, (no. 2), Apr 15, 2008. | Journal Article
2007
A new foundation for control dependence and slicing for modern program structures
Ranganath, Venkatesh⋅Ranganath, Venkatesh P⋅Amtoft, Torben⋅Amtoft, Torben⋅Banerjee, Anindya⋅Banerjee, Anindya⋅Hatcliff, John⋅Hatcliff, John⋅Dwyer, Matthew and Dwyer, Matthew
ACM Transactions on Programming Languages and Systems, vol. 29, (no. 5), 2007. | Journal Article
 
Verification condition generation for conditional information flow
Amtoft, Torben and Banerjee, Anindya
Workshop on Formal Methods in Security Engineering: Proceedings of the 2007 ACM workshop on Formal methods in security engineering; 02-02 Nov. 2007. 2007. | Conference Proceeding
2006
A logic for information flow in object-oriented programs
Amtoft, Torben⋅Sruthi, Bandhakavi and Banerjee, Anindya
Annual Symposium on Principles of Programming Languages: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 11-13 Jan. 2006. 2006. | Conference Proceeding
 
A new foundation for control-dependence and slicing for modern program structures.
Ranganath, Venkatesh⋅Amtoft, Torben⋅Banerjee, Anindya⋅Dwyer, Matthew and Hatcliff, John
STAR, vol. 44, (no. 12), 2006. | Journal Article
2003
Inferring annotated types for inter-procedural register allocation with constructor flattening
Amtoft, Torben and Muller, Robert
Types In Languages Design And Implementation: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation : New Orleans, Louisiana, USA; 18-18 Jan. 2003. 2003. | Conference Proceeding
 
Inferring annotated types for inter-procedural register allocation with constructor flattening
Amtoft, Torben and Muller, Robert
ACM SIGPLAN Notices, vol. 38, (no. 3), pp. 86-97, 2003. | Journal Article
2002
Orderly communication in the Ambient Calculus
Amtoft, Torben⋅Kfoury, A. J and Pericas-Geertsen, S. M
Computer Languages, vol. 28, (no. 1), pp. 29-60, 2002. | Journal Article