Steven Lyubomirsky
发表
Michael D. Ernst,
Emina Torlak,
Konstantin Weitz,
2017,
Proc. ACM Program. Lang..
Thierry Moreau,
Tianqi Chen,
Jared Roesch,
2019,
ArXiv.
Tianqi Chen,
Jared Roesch,
Zachary Tatlock,
2020,
ArXiv.
Thierry Moreau,
Tianqi Chen,
Jared Roesch,
2019
.
Tianqi Chen,
Jared Roesch,
Zachary Tatlock,
2018,
MAPL@PLDI.
Luis Ceze,
Joseph McMahan,
Zachary Tatlock,
2021,
MAPS@PLDI.