by Sui, Yulei, Cheng, Xiao, Zhang, Guanqin, Wang, Haoyu
Published in Proceedings of ACM on programming languages (13.11.2020)

by Holtzen, Steven, Van den Broeck, Guy, Millstein, Todd
Published in Proceedings of ACM on programming languages (13.11.2020)

by Scalas, Alceste, Yoshida, Nobuko
Published in Proceedings of ACM on programming languages (02.01.2019)

by Alon, Uri, Zilberstein, Meital, Levy, Omer, Yahav, Eran
Published in Proceedings of ACM on programming languages (02.01.2019)

by Chou, Stephen, Kjolstad, Fredrik, Amarasinghe, Saman
Published in Proceedings of ACM on programming languages (01.11.2018)

by Sergey, Ilya, Nagaraj, Vaivaswatha, Johannsen, Jacob, Kumar, Amrit, Trunov, Anton, Hao, Ken Chan Guan
Published in Proceedings of ACM on programming languages (01.10.2019)

by Rigger, Manuel, Su, Zhendong
Published in Proceedings of ACM on programming languages (13.11.2020)

by Urban, Caterina, Christakis, Maria, Wüstholz, Valentin, Zhang, Fuyuan
Published in Proceedings of ACM on programming languages (13.11.2020)

by Singh, Gagandeep, Gehr, Timon, Püschel, Markus, Vechev, Martin
Published in Proceedings of ACM on programming languages (02.01.2019)

by Orchard, Dominic, Liepelt, Vilem-Benjamin, Eades III, Harley
Published in Proceedings of ACM on programming languages (01.08.2019)

by Li, Ziyang, Huang, Jiani, Naik, Mayur
Published in Proceedings of ACM on programming languages (06.06.2023)

by Cao, David, Kunkel, Rose, Nandi, Chandrakana, Willsey, Max, Tatlock, Zachary, Polikarpova, Nadia
Published in Proceedings of ACM on programming languages (09.01.2023)

by Paltenghi, Matteo, Pradel, Michael
Published in Proceedings of ACM on programming languages (29.04.2022)

by Zilberstein, Noam, Dreyer, Derek, Silva, Alexandra
Published in Proceedings of ACM on programming languages (06.04.2023)

by Jangda, Abhinav, Pinckney, Donald, Brun, Yuriy, Guha, Arjun
Published in Proceedings of ACM on programming languages (01.10.2019)

by Vákár, Matthijs, Kammar, Ohad, Staton, Sam
Published in Proceedings of ACM on programming languages (02.01.2019)

by Astrauskas, Vytautas, Matheja, Christoph, Poli, Federico, Müller, Peter, Summers, Alexander J.
Published in Proceedings of ACM on programming languages (13.11.2020)

by Cassano, Federico, Gouwar, John, Lucchetti, Francesca, Schlesinger, Claire, Freeman, Anders, Anderson, Carolyn Jane, Feldman, Molly Q, Greenberg, Michael, Jangda, Abhinav, Guha, Arjun
Published in Proceedings of ACM on programming languages (08.10.2024)

by Burckhardt, Sebastian, Gillum, Chris, Justo, David, Kallas, Konstantinos, McMahon, Connor, Meiklejohn, Christopher S.
Published in Proceedings of ACM on programming languages (01.10.2021)

by Wang, Shuai, Zhang, Chengyu, Su, Zhendong
Published in Proceedings of ACM on programming languages (01.10.2019)