RaML-related publications in reversed chronological order.

2020

  1. Raising Expectations: Automating Expected Cost Analysis with Types Di Wang, David M. Kahn, and Jan Hoffmann In 25rd International Conference on Functional Programming (ICFP’20). 2020
  2. Combining Source and Target Level Cost Analyses for OCaml Programs Stefan Muller, and Jan Hoffmann Working paper. 2020 [pdf]
  3. Exponential Automatic Amortized Resource Analysis David Kahn, and Jan Hoffmann In 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS’20). 2020 [pdf]

2019

  1. Type-Guided Worst-Case Input Generation Di Wang, and Jan Hoffmann In 46th Symposium on Principles of Programming Languages (POPL’19). 2019 [pdf] [slides] [tr]

2018

  1. Automatic Space Bound Analysis for Functional Programs with Garbage Collection Yue Niu, and Jan Hoffmann In 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR’18). 2018 [pdf]

2017

  1. Arrays and References in Resource Aware ML Benjamin Lichtman, and Jan Hoffmann In 2nd International Conference on Formal Structures for Computation and Deduction (FSCD’17). 2017 [pdf]
  2. ML for ML: Learning Cost Semantics by Experiment Ankush Das, and Jan Hoffmann In 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’17). 2017 [pdf]
  3. Verifying and Synthesizing Constant-Resource Implementations with Types Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, and Jan Hoffmann In 38th IEEE Symposium on Security and Privacy (S&P ’17). 2017 [pdf] [tr] [code]
  4. Towards Automatic Resource Bound Analysis for OCaml Jan Hoffmann, Ankush Das, and Shu-Chun Weng In 44th Symposium on Principles of Programming Languages (POPL’17). 2017 [pdf] [tr]

2016

  1. Learning Cost Semantics for Modeling Running Time of OCaml Programs Ankush Das, and Jan Hoffmann Presented at Syntax and Semantics of Low-Level Languages (LOLA’16). 2016 [pdf]

2015

  1. Type-Based Amortized Resource Analysis with Integers and Arrays Jan Hoffmann, and Zhong Shao J. Funct. Program.. 2015 [pdf]
  2. Automatic Static Cost Analysis for Parallel Programs Jan Hoffmann, and Zhong Shao In 24th European Symposium on Programming (ESOP’15). 2015 [pdf]

2014

  1. Type-Based Amortized Resource Analysis with Integers and Arrays Jan Hoffmann, and Zhong Shao In 12th International Symposium on Functional and Logic Programming (FLOPS’14). 2014 [pdf] [tr]

2012

  1. Resource Aware ML Jan Hoffmann, Klaus Aehlig, and Martin Hofmann In 24rd International Conference on Computer Aided Verification (CAV’12). 2012 [pdf]
  2. Multivariate Amortized Resource Analysis Jan Hoffmann, Klaus Aehlig, and Martin Hofmann ACM Trans. Program. Lang. Syst.. 2012 [pdf]

2011

  1. Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis Jan Hoffmann PhD Thesis. Ludwig-Maximilians-Universität München. 2011 [pdf]
  2. Multivariate Amortized Resource Analysis Jan Hoffmann, Klaus Aehlig, and Martin Hofmann In 38th Symposium on Principles of Programming Languages (POPL’11). 2011 [pdf]

2010

  1. Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics Jan Hoffmann, and Martin Hofmann In 8th Asian Symposium on Programming Languages (APLAS’10). 2010 [pdf] [tr]
  2. Amortized Resource Analysis with Polynomial Potential Jan Hoffmann, and Martin Hofmann In 19th European Symposium on Programming (ESOP’10). 2010 [pdf] [tr]