by Yuan, Charles, Carbin, Michael
Published in Proceedings of ACM on programming languages (31.10.2022)

by Guo, Zheng, James, Michael, Justo, David, Zhou, Jiaxiao, Wang, Ziteng, Jhala, Ranjit, Polikarpova, Nadia
Published in Proceedings of ACM on programming languages (01.01.2020)

by Wang, Zi, Albarghouthi, Aws, Prakriya, Gautam, Jha, Somesh
Published in Proceedings of ACM on programming languages (01.01.2022)

by Tan, Bryan, Mariano, Benjamin, Lahiri, Shuvendu K., Dillig, Isil, Feng, Yu
Published in Proceedings of ACM on programming languages (01.01.2022)

by Batz, Kevin, Biskup, Tom Jannik, Katoen, Joost-Pieter, Winkler, Tobias
Published in Proceedings of ACM on programming languages (02.01.2024)

by Henry, Rawn, Hsu, Olivia, Yadav, Rohan, Chou, Stephen, Olukotun, Kunle, Amarasinghe, Saman, Kjolstad, Fredrik
Published in Proceedings of ACM on programming languages (01.10.2021)

by Podkopaev, Anton, Lahav, Ori, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (02.01.2019)

by Titzer, Ben L.
Published in Proceedings of ACM on programming languages (31.10.2022)

by Shen, Gan, Kashiwa, Shun, Kuper, Lindsey
Published in Proceedings of ACM on programming languages (30.08.2023)

by Grech, Neville, Smaragdakis, Yannis
Published in Proceedings of ACM on programming languages (01.10.2017)

by Batz, Kevin, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph
Published in Proceedings of ACM on programming languages (04.01.2021)

by Batz, Kevin, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph, Noll, Thomas
Published in Proceedings of ACM on programming languages (02.01.2019)

by Gilbert, Gaëtan, Cockx, Jesper, Sozeau, Matthieu, Tabareau, Nicolas
Published in Proceedings of ACM on programming languages (01.01.2019)

by Fiore, Marcelo, Szamozvancev, Dmitrij
Published in Proceedings of ACM on programming languages (01.01.2022)

by Michael, Alexandra E., Gollamudi, Anitha, Bosamiya, Jay, Johnson, Evan, Denlinger, Aidan, Disselkoen, Craig, Watt, Conrad, Parno, Bryan, Patrignani, Marco, Vassena, Marco, Stefan, Deian
Published in Proceedings of ACM on programming languages (09.01.2023)

by Smolka, Steffen, Foster, Nate, Hsu, Justin, Kappé, Tobias, Kozen, Dexter, Silva, Alexandra
Published in Proceedings of ACM on programming languages (01.01.2020)

by Dang, Hoang-Hai, Jourdan, Jacques-Henri, Kaiser, Jan-Oliver, Dreyer, Derek
Published in Proceedings of ACM on programming languages (01.01.2020)

by Pailoor, Shankara, Chen, Yanju, Wang, Franklyn, Rodríguez, Clara, Van Geffen, Jacob, Morton, Jason, Chu, Michael, Gu, Brian, Feng, Yu, Dillig, Işıl
Published in Proceedings of ACM on programming languages (06.06.2023)

by Ding, Yangruibo, Min, Marcus J., Kaiser, Gail, Ray, Baishakhi
Published in Proceedings of ACM on programming languages (29.04.2024)

by Pailoor, Shankara, Wang, Yuepeng, Dillig, Işıl
Published in Proceedings of ACM on programming languages (02.01.2024)