Publications

Citation counts and an always-current list are on Google Scholar. Patents are on the CV.

Papers

2026
A Calculus for Units of Measure with Conversion
Eric Allen
arXiv:2609.38242 [cs.PL]
- Lean 4 artifact
2021
Neural Networks and Denotation
Eric Allen
arXiv:2103.08315 [cs.LG]
2011
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
Eric Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, and Guy L. Steele Jr.
OOPSLA 2011, pp. 973–992
2009
Growing a Syntax
Eric Allen, Ryan Culpepper, Janus Dam Nielsen, Jon Rafkind, and Sukyoung Ryu
Workshop on Foundations of Object-Oriented Languages (FOOL) 2009
2008
2008 SIGPLAN Programming Language Curriculum Workshop: Discussion Summaries and Recommendations
Eric Allen, M. W. Bailey, Ras Bodik, Kim Bruce, Kathleen Fisher, Stephen Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, Jim Larus, Doug Lea, Gary Leavens, Lori Pollock, Stuart Reges, Martin Rinard, Mark Sheldon, Franklyn Turbak, and Mitchell Wand
ACM SIGPLAN Notices 43(11), pp. 6–29
2008
Some Things That Computer Science Majors Should Know
Eric Allen
ACM SIGPLAN Notices 43(11), pp. 32–35
2007
Modular Multiple Dispatch with Multiple Inheritance
Eric Allen, Joseph J. Hallett, Victor Luchangco, Sukyoung Ryu, and Guy L. Steele Jr.
ACM Symposium on Applied Computing (SAC) 2007, pp. 1117–1121
2006
Safe Instantiation in Generic Java
Eric Allen and Robert Cartwright
Science of Computer Programming 59(1–2), pp. 26–37
- PDF
2005
A Core Calculus of Metaclasses
Sam Tobin-Hochstadt and Eric Allen
Workshop on Foundations of Object-Oriented Languages (FOOL) 2005
2004
Object-Oriented Units of Measurement
Eric Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, and Guy L. Steele Jr.
OOPSLA 2004, pp. 384–403
2003
A First-Class Approach to Genericity Best Student Paper
Eric Allen, Jonathan Bannet, and Robert Cartwright
OOPSLA 2003, pp. 96–114
2003
Production Programming in the Classroom
Eric Allen, Robert Cartwright, and Charles Reis
SIGCSE 2003, pp. 89–93
- PDF
2003
Efficient Implementation of Run-Time Generic Types for Java
Eric Allen, Robert Cartwright, and Brian Stoler
Generic Programming, Springer, pp. 207–236
2002
DrJava: A Lightweight Pedagogic Environment for Java
Eric Allen, Robert Cartwright, and Brian Stoler
SIGCSE 2002, pp. 137–141

Books and theses

2007
The Fortress Language Specification, Version 1.0 β
Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr., and Sam Tobin-Hochstadt
Sun Microsystems
2003
A First-Class Approach to Genericity
Eric Allen
PhD thesis, Rice University
2002
Bug Patterns in Java
Eric Allen
Apress

Technical reports

2007
Universal Quantification in Class Definitions
Eric Allen and Joe Hallett
Research Disclosure 522, pp. 997–999
2006
Syntax Expansion: Embedding One Language into Another
Eric Allen and Victor Luchangco
Research Disclosure 508, p. 967
2004
Object-Oriented Type Inference for Telescoping Languages
Eric Allen, Ken Kennedy, and Cheryl McCosh
Technical report, Rice University
2004
Static Type Inference for Specialization in a Telescoping Compiler
Eric Allen, Ken Kennedy, Cheryl McCosh, et al.
Technical report, Rice University
2003
Mixins in Generic Java Are Sound
Eric Allen, Jonathan Bannet, and Robert Cartwright
Technical report, Rice University
2003
NextGen Developer’s Guide
Eric Allen
Rice University
2003
First-Class Genericity for Object-Oriented Languages with Nominal Type Equivalence
Eric Allen
PhD thesis proposal, Rice University

Articles

2021
Research Highlights from an Unprecedented Year at NeurIPS, Part 2
Eric Allen, Brendan McCord, and Rafael Tena
Acrisure Technology Group
2021
Research Highlights from an Unprecedented Year at NeurIPS, Part 1
Eric Allen, Brendan McCord, and Rafael Tena
Acrisure Technology Group
2020
Our Take on CVPR 2020
Eric Allen and Rafael Tena
Tulco Labs
2020
Our Favorite Papers from ICLR 2020
Eric Allen and Rafael Tena
Tulco Labs
2018
25 of Our Favorite Papers, Talks, Presentations, and Workshops from NIPS 2017
Eric Allen and Firdaus Janoos
Two Sigma
2017
An Interview with Eric Allen
Carlyn Chatfield
Rice University Computer Science
2007
Project Fortress: A Multicore Language for Multicore Processors
Eric Allen, David Chase, Christine Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, and Guy L. Steele Jr.
Linux Magazine
2000–2003
Diagnosing Java Code
Eric Allen
IBM developerWorks, a regular column later consolidated in Bug Patterns in Java
2000
The Power of Parametric Polymorphism
Eric Allen
JavaWorld