by Barke, Shraddha, James, Michael B., Polikarpova, Nadia
Published in Proceedings of ACM on programming languages (06.04.2023)

by Willsey, Max, Nandi, Chandrakana, Wang, Yisu Remy, Flatt, Oliver, Tatlock, Zachary, Panchekha, Pavel
Published in Proceedings of ACM on programming languages (01.01.2021)

by Grech, Neville, Kong, Michael, Jurisevic, Anton, Brent, Lexi, Scholz, Bernhard, Smaragdakis, Yannis
Published in Proceedings of ACM on programming languages (01.11.2018)

by Beurer-Kellner, Luca, Fischer, Marc, Vechev, Martin
Published in Proceedings of ACM on programming languages (06.06.2023)

by Bader, Johannes, Scott, Andrew, Pradel, Michael, Chandra, Satish
Published in Proceedings of ACM on programming languages (01.10.2019)

by Kjolstad, Fredrik, Kamil, Shoaib, Chou, Stephen, Lugato, David, Amarasinghe, Saman
Published in Proceedings of ACM on programming languages (01.10.2017)

by Müller, Mark Niklas, Makarchuk, Gleb, Singh, Gagandeep, Püschel, Markus, Vechev, Martin
Published in Proceedings of ACM on programming languages (01.01.2022)

by Li, Yi, Wang, Shaohua, Nguyen, Tien N., Van Nguyen, Son
Published in Proceedings of ACM on programming languages (01.10.2019)

by Yaghmazadeh, Navid, Wang, Yuepeng, Dillig, Isil, Dillig, Thomas
Published in Proceedings of ACM on programming languages (01.10.2017)

by Li, Gushu, Zhou, Li, Yu, Nengkun, Ding, Yufei, Ying, Mingsheng, Xie, Yuan
Published in Proceedings of ACM on programming languages (13.11.2020)

by Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Wu, Xiaodi, Hicks, Michael
Published in Proceedings of ACM on programming languages (01.01.2021)

by Luan, Sifei, Yang, Di, Barnaby, Celeste, Sen, Koushik, Chandra, Satish
Published in Proceedings of ACM on programming languages (10.10.2019)

by Lattuada, Andrea, Hance, Travis, Cho, Chanhee, Brun, Matthias, Subasinghe, Isitha, Zhou, Yi, Howell, Jon, Parno, Bryan, Hawblitzel, Chris
Published in Proceedings of ACM on programming languages (06.04.2023)

by Maeng, Kiwan, Colin, Alexei, Lucia, Brandon
Published in Proceedings of ACM on programming languages (01.10.2017)

by Zhang, Yunming, Yang, Mengjiao, Baghdadi, Riyadh, Kamil, Shoaib, Shun, Julian, Amarasinghe, Saman
Published in Proceedings of ACM on programming languages (01.11.2018)

by Grossman, Shelly, Abraham, Ittai, Golan-Gueta, Guy, Michalevsky, Yan, Rinetzky, Noam, Sagiv, Mooly, Zohar, Yoni
Published in Proceedings of ACM on programming languages (01.01.2018)

by Livinskii, Vsevolod, Babokin, Dmitry, Regehr, John
Published in Proceedings of ACM on programming languages (13.11.2020)

by Bowers, Matthew, Olausson, Theo X., Wong, Lionel, Grand, Gabriel, Tenenbaum, Joshua B., Ellis, Kevin, Solar-Lezama, Armando
Published in Proceedings of ACM on programming languages (09.01.2023)

by Le, Quang Loc, Raad, Azalea, Villard, Jules, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.
Published in Proceedings of ACM on programming languages (29.04.2022)

by Xia, Li-yao, Zakowski, Yannick, He, Paul, Hur, Chung-Kil, Malecha, Gregory, Pierce, Benjamin C., Zdancewic, Steve
Published in Proceedings of ACM on programming languages (01.01.2020)