Benjamin Goldberg

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 12

Top Topics

Inverted Pendulum

Monocular Video Sequences

Top Venues

IEEE Robotics Autom. Lett.

Publications

Benjamin Goldberg
Drill-Practice-Repeat: Experiential Scaffolds. AI-GEL@AIED (2023)
Benjamin Goldberg, Robby Robson
AI to Support Guided Experiential Learning. AIED (Posters/Late Breaking Results/...) (2023)
Caleb Vatral, Gautam Biswas, Benjamin Goldberg
A Theoretical Framework for Multimodal Learner Modeling and Performance Analysis in Experiential Learning Environments. AI-GEL@AIED (2023)
Robby Robson, Benjamin Goldberg, Shelly Blake-Plock, Cliff Casey, William Hoyt, Mike Hernandez, Fritz Ray
Mining Artificially Generated Data to Estimate Competency. EDM (2022)
Neel Doshi, Kaushik Jayaram, Benjamin Goldberg, Zachary Manchester, Robert J. Wood, Scott Kuindersma
Contact-Implicit Optimization of Locomotion Trajectories for a Quadrupedal Microrobot. CoRR (2019)
Neel Doshi, Kaushik Jayaram, Benjamin Goldberg, Zachary Manchester, Robert J. Wood, Scott Kuindersma
Contact-Implicit Optimization of Locomotion Trajectories for a Quadrupedal Microrobot. Robotics: Science and Systems (2018)
Benjamin Goldberg, Raphael Zufferey, Neel Doshi, Elizabeth Farrell Helbling, Griffin Whittredge, Mirko Kovac, Robert J. Wood
Power and Control Autonomy for High-Speed Locomotion With an Insect-Scale Legged Robot. IEEE Robotics Autom. Lett. 3 (2) (2018)
Benjamin Goldberg, Neel Doshi, Kaushik Jayaram, Jack Zhou, Robert J. Wood
Inverted and vertical climbing of a quadrupedal microrobot using electroadhesion. Sci. Robotics 3 (25) (2018)
Benjamin Goldberg, Neel Doshi, Robert J. Wood
High speed trajectory control using an experimental maneuverability model for an insect-scale legged robot. ICRA (2017)
Benjamin Goldberg, Neel Doshi, Kaushik Jayaram, Je-Sung Koh, Robert J. Wood
A high speed motion capture method and performance metrics for studying gaits on an insect-scale legged robot. IROS (2017)
Neel Doshi, Kaushik Jayaram, Benjamin Goldberg, Robert J. Wood
Phase control for a legged microrobot operating at resonance. ICRA (2017)
Benjamin Goldberg
Intelligent Tutoring Gets Physical: Coaching the Physical Learner by Modeling the Physical World. HCI (14) (2016)
Neel Doshi, Benjamin Goldberg, Ranjana Sahai, Noah Jafferis, Daniel Aukes, Robert J. Wood
Model driven design for flexure-based Microrobots. IROS (2015)
Remo Bruhwiler, Benjamin Goldberg, Neel Doshi, Onur Özcan, Noah Jafferis, Michael Karpelson, Robert J. Wood
Feedback control of a legged microrobot with on-board sensing. IROS (2015)
Benjamin Goldberg
Augmenting Instructional Practice in GIFT Using the Engine for Management of Adaptive Pedagogy (EMAP). HCI (15) (2015)
Andrew T. Baisch, Onur Özcan, Benjamin Goldberg, Daniel Ithier, Robert J. Wood
High speed locomotion for a quadrupedal microrobot. Int. J. Robotics Res. 33 (8) (2014)
Benedikt F. Seitz, Benjamin Goldberg, Neel Doshi, Onur Özcan, David L. Christensen, Elliot Wright Hawkes, Mark R. Cutkosky, Robert J. Wood
Bio-inspired mechanisms for inclined locomotion in a legged insect-scale robot. ROBIO (2014)
Benjamin Goldberg, Michael Karpelson, Onur Özcan, Robert J. Wood
Planar fabrication of a mesoscale voice coil actuator. ICRA (2014)
Michael Karpelson, Benjamin H. Waters, Benjamin Goldberg, Brody J. Mahoney, Onur Özcan, Andrew T. Baisch, Pierre-Marie Meyitang, Joshua R. Smith, Robert J. Wood
A wirelessly powered, biologically inspired ambulatory microrobot. ICRA (2014)
Sam Snodgrass, Benjamin Goldberg, Ariel Evans, Brandon Packard, Cathy Lu, Jichen Zhu
. CHI PLAY (2014)
Benjamin Goldberg
Unmanned aerial systems: the role of the operator and human factor implications. SpringSim (2010)
Benjamin Goldberg
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli. SAS (2010)
Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. Electron. Notes Theor. Comput. Sci. 132 (1) (2005)
Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu
Translation and Run-Time Validation of Loop Transformations. Formal Methods Syst. Des. 27 (3) (2005)
Cory Plock, Benjamin Goldberg, Lenore D. Zuck
From Requirements to Specifications. ECBS (2005)
Ying Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli
Validating More Loop Optimizations. Electron. Notes Theor. Comput. Sci. 141 (2) (2005)
Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck
TVOC: A Translation Validator for Optimizing Compilers. CAV (2005)
Ying Hu, Clark W. Barrett, Benjamin Goldberg
Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. SEFM (2004)
Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg
VOC: A Methodology for the Translation Validation of OptimizingCompilers. J. Univers. Comput. Sci. 9 (3) (2003)
Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck
Run-Time Validation of Speculative Optimizations using CVC. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
VOC: A Translation Validator for Optimizing Compilers. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu
Translation and Run-Time Validation of Optimized Code. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
Benjamin Goldberg, Emily Crutcher, Chad Huneycutt, Krishna V. Palem
Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines. IEEE PACT (2002)
Cristian Ungureanu, Benjamin Goldberg
Formal Models of Distributed Memory Management. ICFP (1997)
Mihnea Marinescu, Benjamin Goldberg
Partial-Evaluation Techniques for Concurrent Programs. PEPM (1997)
Tyng-Ruey Chuang, Benjamin Goldberg
A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains. J. Funct. Program. 7 (4) (1997)
Benjamin Goldberg
Functional Programming Languages. ACM Comput. Surv. 28 (1) (1996)
Young Park, Benjamin Goldberg
Static Analysis for Optimizing Reference Counting. Inf. Process. Lett. 55 (4) (1995)
Young Gil Park, Benjamin Goldberg
Order-of-Demand Analysis for Lazy Languages. Inf. Process. Lett. 55 (6) (1995)
Tyng-Ruey Chuang, Benjamin Goldberg
Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming. FPCA (1993)
Tyng-Ruey Chuang, Benjamin Goldberg
A Syntactic Approach to Fixed Point Computation on Finite Domains. LISP and Functional Programming (1992)
Benjamin Goldberg
Incremental Garbage Collection Without Tags. ESOP (1992)
Young Gil Park, Benjamin Goldberg
Order-of-Demand Analysis for Lazy Languages. WSA (1992)
Benjamin Goldberg, Michael Gloger
Polymorphic Type Reconstruction for Garbage Collection Without Tags. LISP and Functional Programming (1992)
Young Gil Park, Benjamin Goldberg
Escape Analysis on Lists. PLDI (1992)
Benjamin Goldberg
Tag-Free Garbage Collection for Strongly Typed Programming Languages. PLDI (1991)
Young Gil Park, Benjamin Goldberg
Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. PEPM (1991)
Benjamin Goldberg, Young Gil Park
Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. ESOP (1990)
Benjamin Goldberg
Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme. PLDI (1989)
Benjamin Goldberg
Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor. LISP and Functional Programming (1988)
Benjamin Goldberg
Multiprocessor execution of functional programs. Int. J. Parallel Program. 17 (5) (1988)
Benjamin Goldberg, Paul Hudak
Implementing functional programs on a hypercube multiprocessor. C³P (1988)
Benjamin Goldberg
Detecting sharing of partial applications in functional programs. FPCA (1987)
Benjamin Goldberg, Paul Hudak
Alfalfa: Distributed graph reduction on a hypercube multiprocessor. Graph Reduction (1986)
Paul Hudak, Benjamin Goldberg
Distributed Execution of Functional Programs Using Serial Combinators. IEEE Trans. Computers 34 (10) (1985)
Paul Hudak, Benjamin Goldberg
Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. ICPP (1985)
Paul Hudak, Benjamin Goldberg
Serial Combinators: "Optimal" Grains of Parallelism. FPCA (1985)
Paul Hudak, Benjamin Goldberg
Experiments in Diffused Combinator Reduction. LISP and Functional Programming (1984)