Josh Pollock -

Registered user since Wed 5 Sep 2018

Name:Josh Pollock

Country:United States

Affiliation:MIT CSAIL

Personal website: https://joshmpollock.com/

GitHub: https://github.com/joshpoll

Contributions

2023

LIVE

Author of Language Model Agents Enable Semi-Formal Programming within the LIVE 2023-track

2022

EGRAPHS

Author of E-Graphs, VSAs, and Tree Automata: a Rosetta Stone within the EGRAPHS 2022-track

2020

PLATEAU

Author of The Essence of Program Semantics Visualizers: A Three-Axis Model within the PLATEAU 2020-track

2019

SPLASH

Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track

2018

MAPS

Author of Relay: A New IR for Machine Learning Frameworks within the MAPL 2018-track