Torben Amtoft
Torben Amtoft
Associate Professor of Computer Science, Kansas State University
Verified email at ksu.edu - Homepage
Title
Cited by
Cited by
Year
A logic for information flow in object-oriented programs
T Amtoft, S Bandhakavi, A Banerjee
ACM SIGPLAN Notices 41 (1), 91-102, 2006
1792006
Information flow analysis in logical form
T Amtoft, A Banerjee
International Static Analysis Symposium, 100-115, 2004
1372004
A new foundation for control dependence and slicing for modern program structures
VP Ranganath, T Amtoft, A Banerjee, J Hatcliff, MB Dwyer
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 27-es, 2007
1042007
Type and effect systems: behaviours for concurrency
T Amtoft, HR Nielson, F Nielson
World Scientific, 1999
951999
A new foundation for control-dependence and slicing for modern program structures
VP Ranganath, T Amtoft, A Banerjee, MB Dwyer, J Hatcliff
European Symposium on Programming, 77-93, 2005
682005
A new foundation for control-dependence and slicing for modern program structures
VP Ranganath, T Amtoft, A Banerjee, MB Dwyer, J Hatcliff
European Symposium on Programming, 77-93, 2005
682005
A logic for information flow analysis with an application to forward slicing of simple imperative programs
T Amtoft, A Banerjee
Science of Computer Programming 64 (1), 3-28, 2007
472007
What are polymorphically-typed ambients?
T Amtoft, AJ Kfoury, SM Pericas-Geertsen
European Symposium on Programming, 206-220, 2001
462001
Minimal thunkification
T Amtoft
International Workshop on Static Analysis, 218-229, 1993
411993
Polymorphic subtyping for effect analysis: The static semantics
HR Nielson, F Nielson, T Amtoft
LOMAPS workshop on Analysis and Verification of Multiple-Agent Languages …, 1996
361996
Slicing for modern program structures: a theory for eliminating irrelevant loops
T Amtoft
Information Processing Letters 106 (2), 45-51, 2008
352008
Specification and checking of software contracts for conditional information flow
T Amtoft, J Hatcliff, E Rodríguez, J Hoag, D Greve
Design and Verification of Microprocessor Systems for High-Assurance …, 2010
342010
Type and behaviour reconstruction for higher-order concurrent programs
T Amtoft, F Nielson, HR Nielson
Journal of Functional Programming 7 (3), 321-347, 1997
301997
Verification condition generation for conditional information flow
T Amtoft, A Banerjee
Proceedings of the 2007 ACM workshop on Formal methods in security …, 2007
282007
Faithful translations between polyvariant flows and polymorphic types
T Amtoft, F Turbak
European Symposium on Programming, 26-40, 2000
272000
The abstraction and instantiation of string-matching programs
T Amtoft, C Consel, O Danvy, K Malmkjær
The Essence of Computation, 332-357, 2002
252002
A certificate infrastructure for machine-checked proofs of conditional information flow
T Amtoft, J Dodds, Z Zhang, A Appel, L Beringer, J Hatcliff, X Ou, ...
International Conference on Principles of Security and Trust, 369-389, 2012
242012
Sharing of computations
T Amtoft
Aarhus Universitet. Department of Computer Science, 1993
211993
Polymorphic subtyping for effect analysis: The algorithm
F Nielson, HR Nielson, T Amtoft
LOMAPS workshop on Analysis and Verification of Multiple-Agent Languages …, 1996
191996
Precise and automated contract-based reasoning for verification and certification of information flow properties of programs with arrays
T Amtoft, J Hatcliff, E Rodríguez
European Symposium on Programming, 43-63, 2010
182010
The system can't perform the operation now. Try again later.
Articles 1–20