Michael D. Adams
According to our database1, Michael D. Adams authored at least 25 papers between 2006 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Programming Languages and Systems, 2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
J. Funct. Program., 2018
Sci. Comput. Program., 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections.
Proceedings of the Static Analysis - 19th International Symposium, 2012
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
RFC, February, 2010
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008
Proceedings of the 21th Annual International Conference on Supercomputing, 2007
Seven at one stroke: results from a cache-oblivious paradigm for scalable matrix algorithms.
Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006