Michael D. Adams
Orcid: 0000-0003-3160-6972Affiliations:
- University of Michigan, USA
- University of Utah, Salt Lake City, UT, USA
- University of Illinois at Urbana-Champaign, IL, USA (2013 - 2014)
- Portland State University, OR, USA (2011 - 2013)
- Indiana University, Bloomington, IN, USA (PhD 2011)
According to our database1,
Michael D. Adams
authored at least 26 papers
between 2006 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
1
1
1
1
1
1
1
1
1
1
3
1
2
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
2021
2020
Proceedings of the Programming Languages and Systems, 2020
2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
2018
J. Funct. Program., 2018
2017
2016
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
2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
2014
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014
2013
CoRR, 2013
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
2012
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
2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
2010
RFC, February, 2010
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010
2008
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008
2007
Proceedings of the 21th Annual International Conference on Supercomputing, 2007
2006
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