Research output per year
Research output per year
Personal profile
Research interests
- Programming languages and runtimes
- Program analysis
- Formal methods
Biography
Eric Atkinson is an assistant professor of computer science who works primarily on programming languages for uncertainty. His research interests include programming languages, program runtimes, program analysis, formal methods and language design for unusual domains. He is also interested in the intersection of programming languages and artificial intelligence.
He completed undergraduate education at the University of California, Berkeley in 2015, and his graduate education at MIT in fall 2023. Before arriving at Binghamton in January 2024, he was a visiting researcher at INSAIT in Sofia, Bulgaria.
Resources
Education/Academic qualification
Bachelor, University of California, Berkeley
Master, Massachusetts Institute of Technology
PhD, Massachusetts Institute of Technology
ASJC Scopus Subject Areas
- General Computer Science
Researcher Selected Keywords
- Programming Languages
- Program Runtimes
- Program Analysis
- Formal Methods
- Artificial Intelligence
Fingerprint
Dive into the research topics where Eric Atkinson is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Inference Plans for Hybrid Particle Filtering
Cheng, E. Y., Atkinson, E., Baudart, G., Mandel, L. & Carbin, M., Jan 7 2025, In: Proceedings of the ACM on Programming Languages. 9, 10.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
Conflict-Driven Synthesis for Layout Engines
Liu, J., Chen, Y., Atkinson, E., Feng, Y. & Bodik, R., Jun 6 2023, In: Proceedings of the ACM on Programming Languages. 7, 132.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
Semi-symbolic inference for efficient streaming probabilistic programming
Atkinson, E., Yuan, C., Baudart, G., Mandel, L. & Carbin, M., Oct 31 2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, 184.Research output: Contribution to journal › Article › peer-review
Open Access11 Scopus citations -
Simplifying dependent reductions in the polyhedral model
Yang, C., Atkinson, E. & Carbin, M., Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, 20.Research output: Contribution to journal › Article › peer-review
Open Access8 Scopus citations -
Statically bounded-memory delayed sampling for probabilistic streams
Atkinson, E., Baudart, G., Mandel, L., Yuan, C. & Carbin, M., Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 115.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations