Active Bibliography

7 Facilitating Program Verification with Dependent Types – Hongwei Xi - 2003
18 Verifying safety policies with size properties and alias controls – Wei-ngan Chin, Siau-cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen - 2005
39 Type-Based Termination of Recursive Definitions – G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu - 2002
52 Calculating Sized Types – Wei-ngan Chin, Siau-cheng Khoo - 2001
Chapter 1 – Gudmund Grov, Greg Michaelson, Hans-wolfgang Loidl, Steffen Jost, Kevin Hammond
4 Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics -- Extended Version – Jan Hoffmann, Martin Hofmann
2 Worst-Case Execution Time Analysis through Types – Steffen Jost, Hans-wolfgang Loidl, Norman Scaife, Kevin Hammond, Greg Michaelson, Martin Hofmann
11 Amortized Resource Analysis with Polynomial Potential A Static Inference of Polynomial Bounds for Functional Programs (Extended Version) – Jan Hoffmann, Martin Hofmann, Ludwig-maximilians-universität München
14 Multivariate Amortized Resource Analysis – Jan Hoffmann, Klaus Aehlig, Martin Hofmann - 2010
14 Dependently Typed Data Structures – Hongwei Xi - 1999
17 Cost Recurrences for DML Programs – Bernd Grobauer - 2001
5 Extending sized type with collection analysis – Wei-ngan Chin, Siau-cheng Khoo, Dana N. Xu - 2003
2 Type-based Inference of Size Relationships for XML Transformations – Zhendong Su, et al.
53 Tagless Staged Interpreters for Typed Languages – Emir Pasalic, Walid Taha, Tim Sheard - 2002
8 Deriving Pre-conditions for Array Bound Check Elimination – Wei-ngan Chin, Siau-cheng Khoo, Dana N. Xu - 2001
Automated Verification of Shape, Size and Bag Properties via Separation Logic – Huu Hai, Nguyen Cristina, David Shengchao, Qin Wei-ngan Chin
2 Automated Techniques for Provably Safe Mobile Code – Karl Crary , Robert Harper, Peter Lee, Frank Pfenning - 2000
2 Algorithm-Independent Framework for Verifying Integer Constraints – David Teller, Zhong Shao - 2000
Project Description – We Propose To