by Bastani, Osbert, Zhang, Xin, Solar-Lezama, Armando
Published in Proceedings of ACM on programming languages (01.10.2019)

by Zhou, Li, Barthe, Gilles, Strub, Pierre-Yves, Liu, Junyi, Ying, Mingsheng
Published in Proceedings of ACM on programming languages (09.01.2023)

by Wang, Yu, Wang, Ke, Gao, Fengjuan, Wang, Linzhang
Published in Proceedings of ACM on programming languages (13.11.2020)

by Liu, Jiawei, Wei, Yuxiang, Yang, Sen, Deng, Yinlin, Zhang, Lingming
Published in Proceedings of ACM on programming languages (29.04.2022)

by O'Hearn, Peter W.
Published in Proceedings of ACM on programming languages (01.01.2020)

by Su, Ting, Yan, Yichen, Wang, Jue, Sun, Jingling, Xiong, Yiheng, Pu, Geguang, Wang, Ke, Su, Zhendong
Published in Proceedings of ACM on programming languages (01.10.2021)

by Albarghouthi, Aws, D'Antoni, Loris, Drews, Samuel, Nori, Aditya V.
Published in Proceedings of ACM on programming languages (01.10.2017)

by Donaldson, Alastair F., Evrard, Hugues, Lascu, Andrei, Thomson, Paul
Published in Proceedings of ACM on programming languages (01.10.2017)

by Blackshear, Sam, Gorogiannis, Nikos, O'Hearn, Peter W., Sergey, Ilya
Published in Proceedings of ACM on programming languages (01.11.2018)

by Vassena, Marco, Disselkoen, Craig, Gleissenthall, Klaus von, Cauligi, Sunjay, Kıcı, Rami Gökhan, Jhala, Ranjit, Tullsen, Dean, Stefan, Deian
Published in Proceedings of ACM on programming languages (01.01.2021)

by Moosbrugger, Marcel, Stankovič, Miroslav, Bartocci, Ezio, Kovács, Laura
Published in Proceedings of ACM on programming languages (31.10.2022)

by McIver, Annabelle, Morgan, Carroll, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter
Published in Proceedings of ACM on programming languages (01.01.2018)

by Senanayake, Ryan, Hong, Changwan, Wang, Ziheng, Wilson, Amalee, Chou, Stephen, Kamil, Shoaib, Amarasinghe, Saman, Kjolstad, Fredrik
Published in Proceedings of ACM on programming languages (13.11.2020)

by Pradel, Michael, Sen, Koushik
Published in Proceedings of ACM on programming languages (01.11.2018)

by Hirsch, Andrew K., Garg, Deepak
Published in Proceedings of ACM on programming languages (01.01.2022)

by Armstrong, Alasdair, Bauereiss, Thomas, Campbell, Brian, Reid, Alastair, Gray, Kathryn E., Norton, Robert M., Mundkur, Prashanth, Wassell, Mark, French, Jon, Pulte, Christopher, Flur, Shaked, Stark, Ian, Krishnaswami, Neel, Sewell, Peter
Published in Proceedings of ACM on programming languages (02.01.2019)

by Lam, Wing, Winter, Stefan, Wei, Anjiang, Xie, Tao, Marinov, Darko, Bell, Jonathan
Published in Proceedings of ACM on programming languages (13.11.2020)

by Abadi, Martín, Plotkin, Gordon D.
Published in Proceedings of ACM on programming languages (01.01.2020)

by Xu, Amanda, Molavi, Abtin, Pick, Lauren, Tannu, Swamit, Albarghouthi, Aws
Published in Proceedings of ACM on programming languages (06.06.2023)

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