Benjamin Goldberg

Proceedings of the 1st Workshop on AI to Support Guided Experiential Learning (AI-GEL 2023) Co-located with the International Conference on Artificial Intelligence in Education (AIED 2023), 2023

AI to Support Guided Experiential Learning.

[BibT_eX]

[DOI]

Robby Robson

Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky, 2023

Drill-Practice-Repeat: Experiential Scaffolds.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on AI to Support Guided Experiential Learning (AI-GEL 2023) Co-located with the International Conference on Artificial Intelligence in Education (AIED 2023), 2023

2022

Mining Artificially Generated Data to Estimate Competency.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Educational Data Mining, 2022

2018

Inverted and vertical climbing of a quadrupedal microrobot using electroadhesion.

[BibT_eX]

[DOI]

Sci. Robotics, 2018

Power and Control Autonomy for High-Speed Locomotion With an Insect-Scale Legged Robot.

[BibT_eX]

[DOI]

Elizabeth Farrell Helbling

Raphael Zufferey

Neel Doshi

Griffin Whittredge

Mirko Kovac

Robert J. Wood

IEEE Robotics Autom. Lett., 2018

Contact-Implicit Optimization of Locomotion Trajectories for a Quadrupedal Microrobot.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XIV, 2018

2017

A high speed motion capture method and performance metrics for studying gaits on an insect-scale legged robot.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

High speed trajectory control using an experimental maneuverability model for an insect-scale legged robot.

[BibT_eX]

[DOI]

Neel Doshi

Robert J. Wood

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Phase control for a legged microrobot operating at resonance.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

2016

Intelligent Tutoring Gets Physical: Coaching the Physical Learner by Modeling the Physical World.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience, 2016

2015

Model driven design for flexure-based Microrobots.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Feedback control of a legged microrobot with on-board sensing.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Augmenting Instructional Practice in GIFT Using the Engine for Management of Adaptive Pedagogy (EMAP).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Augmented Cognition, 2015

2014

High speed locomotion for a quadrupedal microrobot.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2014

Bio-inspired mechanisms for inclined locomotion in a legged insect-scale robot.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Biomimetics, 2014

A wirelessly powered, biologically inspired ambulatory microrobot.

[BibT_eX]

[DOI]

Pierre-Marie Meyitang

Joshua R. Smith

Robert J. Wood

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Planar fabrication of a mesoscale voice coil actuator.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Extended abstract for <i>Canvas Obscura</i>.

[BibT_eX]

[DOI]

Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19, 2014

2010

Unmanned aerial systems: the role of the operator and human factor implications.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 17th International Symposium, 2010

2005

Translation and Run-Time Validation of Loop Transformations.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

Validating More Loop Optimizations.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

From Requirements to Specifications.

[BibT_eX]

[DOI]

Cory Plock

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

TVOC: A Translation Validator for Optimizing Compilers.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers.

[BibT_eX]

[DOI]

Clark W. Barrett

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.

[BibT_eX]

[DOI]

Ying Hu

Clark W. Barrett

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003

VOC: A Methodology for the Translation Validation of OptimizingCompilers.

[BibT_eX]

[DOI]

Amir Pnueli

J. Univers. Comput. Sci., 2003

Run-Time Validation of Speculative Optimizations using CVC.

[BibT_eX]

[DOI]

Clark W. Barrett

Proceedings of the Third Workshop on Run-time Verification, 2003

2002

Translation and Run-Time Validation of Optimized Code.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification 2002, 2002

VOC: A Translation Validator for Optimizing Compilers.

[BibT_eX]

[DOI]

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 2002

1997

A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains.

[BibT_eX]

[DOI]

Tyng-Ruey Chuang

J. Funct. Program., 1997

Partial-Evaluation Techniques for Concurrent Programs.

[BibT_eX]

[DOI]

Mihnea Marinescu

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Formal Models of Distributed Memory Management.

[BibT_eX]

[DOI]

Cristian Ungureanu

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Functional Programming Languages.

[BibT_eX]

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Functional Programming Languages.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

1995

Order-of-Demand Analysis for Lazy Languages.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

Static Analysis for Optimizing Reference Counting.

[BibT_eX]

[DOI]

Young Park

Inf. Process. Lett., 1995

1993

Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming.

[BibT_eX]

[DOI]

Tyng-Ruey Chuang

Proceedings of the conference on Functional programming languages and computer architecture, 1993

1992

Escape Analysis on Lists.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Polymorphic Type Reconstruction for Garbage Collection Without Tags.

[BibT_eX]

[DOI]

Michael Gloger

Proceedings of the Conference on Lisp and Functional Programming, 1992

A Syntactic Approach to Fixed Point Computation on Finite Domains.

[BibT_eX]

[DOI]

Tyng-Ruey Chuang

Proceedings of the Conference on Lisp and Functional Programming, 1992

Incremental Garbage Collection Without Tags.

[BibT_eX]

[DOI]

Proceedings of the ESOP '92, 1992

1991

Tag-Free Garbage Collection for Strongly Typed Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations.

[BibT_eX]

[DOI]

Proceedings of the ESOP'90, 1990

1989

Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

1988

Multiprocessor execution of functional programs.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1988

Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

Implementing functional programs on a hypercube multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

1987

Detecting sharing of partial applications in functional programs.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

Alfalfa: Distributed graph reduction on a hypercube multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1985

Distributed Execution of Functional Programs Using Serial Combinators.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1985

Efficient Distributed Evaluation of Functional Programs Using Serial Combinators.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1985

Serial Combinators: "Optimal" Grains of Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984

Experiments in Diffused Combinator Reduction.

[BibT_eX]

[DOI]