
Registered user since Fri 15 Jan 2021
Name:Matt Bowers
Country:United States
Affiliation:Massachusetts Institute of Technology
Personal website:https://mlb2251.github.io/
Twitter:https://twitter.com/mattlbowers
GitHub:https://github.com/mlb2251
Research interests:Programming Languages, Machine Learning, Program Synthesis
Contributions
POPL 2023 | Top-Down Synthesis for Library Learning | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile