• Sign in
  • Sign up
conf.researchr.org / Josh Pollock
  • ICFP/SPLASH 2025 profile
  • PLDI 2018 profile
  • PLDI 2022 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
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

2025

HATRA

  • Committee Member in Program Committee within the HATRA 2025-track

2024

HATRA

  • Committee Member in Program Committee within the HATRA 2024-track

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
Share
xSun 18 May 01:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up