| 2023 | AIED | Drill-Practice-Repeat: Experiential Scaffolds. | Benjamin Goldberg |
| 2023 | AIED | AI to Support Guided Experiential Learning. | Benjamin Goldberg, Robby Robson |
| 2023 | AIED | A Theoretical Framework for Multimodal Learner Modeling and Performance Analysis in Experiential Learning Environments. | Caleb Vatral, Gautam Biswas, Benjamin Goldberg |
| 2022 | EDM | Mining Artificially Generated Data to Estimate Competency. | Robby Robson, Benjamin Goldberg, Shelly Blake-Plock, Cliff Casey, William Hoyt, Mike Hernandez, Fritz Ray |
| 2017 | ICRA | Phase control for a legged microrobot operating at resonance. | Neel Doshi, Kaushik Jayaram, Benjamin Goldberg, Robert J. Wood |
| 2017 | ICRA | High speed trajectory control using an experimental maneuverability model for an insect-scale legged robot. | Benjamin Goldberg, Neel Doshi, Robert J. Wood |
| 2017 | IROS | A high speed motion capture method and performance metrics for studying gaits on an insect-scale legged robot. | Benjamin Goldberg, Neel Doshi, Kaushik Jayaram, Je-Sung Koh, Robert J. Wood |
| 2016 | HCI | Intelligent Tutoring Gets Physical: Coaching the Physical Learner by Modeling the Physical World. | Benjamin Goldberg |
| 2016 | ICCE | Detecting Metacognitive Strategies through Performance Analyses in Open-Ended Learning Environments. | Michael Tscholl, Gautam Biswas, Benjamin Goldberg, Robert A. Sottilare |
| 2015 | HCI | Augmenting Instructional Practice in GIFT Using the Engine for Management of Adaptive Pedagogy (EMAP). | Benjamin Goldberg |
| 2015 | IROS | Feedback control of a legged microrobot with on-board sensing. | Remo Bruhwiler, Benjamin Goldberg, Neel Doshi, Onur zcan, Noah Jafferis, Michael Karpelson, Robert J. Wood |
| 2015 | IROS | Model driven design for flexure-based Microrobots. | Neel Doshi, Benjamin Goldberg, Ranjana Sahai, Noah Jafferis, Daniel Aukes, Robert J. Wood |
| 2014 | ICRA | Planar fabrication of a mesoscale voice coil actuator. | Benjamin Goldberg, Michael Karpelson, Onur zcan, Robert J. Wood |
| 2014 | ICRA | A wirelessly powered, biologically inspired ambulatory microrobot. | Michael Karpelson, Benjamin H. Waters, Benjamin Goldberg, Brody J. Mahoney, Onur zcan, Andrew T. Baisch, Pierre-Marie Meyitang, Joshua R. Smith, Robert J. Wood |
| 2010 | SAS | Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli. | Benjamin Goldberg |
| 2005 | CAV | TVOC: A Translation Validator for Optimizing Compilers. | Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck |
| 2004 | SEFM | Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. | Ying Hu, Clark W. Barrett, Benjamin Goldberg |
| 1997 | ICFP | Formal Models of Distributed Memory Management. | Cristian Ungureanu, Benjamin Goldberg |
| 1997 | PEPM | Partial-Evaluation Techniques for Concurrent Programs. | Mihnea Marinescu, Benjamin Goldberg |
| 1992 | ESOP | Incremental Garbage Collection Without Tags. | Benjamin Goldberg |
| 1992 | PLDI | Escape Analysis on Lists. | Young Gil Park, Benjamin Goldberg |
| 1992 | SAS | Order-of-Demand Analysis for Lazy Languages. | Young Gil Park, Benjamin Goldberg |
| 1991 | PEPM | Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. | Young Gil Park, Benjamin Goldberg |
| 1991 | PLDI | Tag-Free Garbage Collection for Strongly Typed Programming Languages. | Benjamin Goldberg |
| 1990 | ESOP | Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. | Benjamin Goldberg, Young Gil Park |
| 1989 | PLDI | Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme. | Benjamin Goldberg |
| 1985 | ICPP | Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. | Paul Hudak, Benjamin Goldberg |