by Matsushita, Yusuke, Tsukada, Takeshi, Kobayashi, Naoki
Published in ACM transactions on programming languages and systems (01.12.2021)

by Alglave, Jade, Maranget, Luc, Tautschnig, Michael
Published in ACM transactions on programming languages and systems (01.07.2014)

by Solovyev, Alexey, Baranowski, Marek S., Briggs, Ian, Jacobsen, Charles, Rakamarić, Zvonimir, Gopalakrishnan, Ganesh
Published in ACM transactions on programming languages and systems (31.03.2019)

by Berger, Emery D., Hollenbeck, Celeste, Maj, Petr, Vitek, Olga, Vitek, Jan
Published in ACM transactions on programming languages and systems (31.12.2019)

by Sanchez-Stern, Alex, First, Emily, Zhou, Timothy, Kaufman, Zhanna, Brun, Yuriy, Ringer, Talia
Published in ACM transactions on programming languages and systems (26.06.2023)

by Darulova, Eva, Kuncak, Viktor
Published in ACM transactions on programming languages and systems (30.06.2017)

by Li, Yue, Tan, Tian, Møller, Anders, Smaragdakis, Yannis
Published in ACM transactions on programming languages and systems (01.05.2020)

by Giallorenzo, Saverio, Montesi, Fabrizio, Peressotti, Marco
Published in ACM transactions on programming languages and systems (16.01.2024)

by Shi, Kensen, Bieber, David, Singh, Rishabh
Published in ACM transactions on programming languages and systems (30.06.2022)

by Alglave, Jade, Deacon, Will, Grisenthwaite, Richard, Hacquard, Antoine, Maranget, Luc
Published in ACM transactions on programming languages and systems (01.07.2021)

by Vákár, Matthijs, Smeding, Tom
Published in ACM transactions on programming languages and systems (17.08.2022)

by Boruch-Gruszecki, Aleksander, Odersky, Martin, Lee, Edward, Lhoták, Ondřej, Brachthäuser, Jonathan
Published in ACM transactions on programming languages and systems (20.11.2023)

by Yang, Albert Mingkun, Wrigstad, Tobias
Published in ACM transactions on programming languages and systems (21.09.2022)

by Sistla, Meghana Aparna, Chaudhuri, Swarat, Reps, Thomas
Published in ACM transactions on programming languages and systems (02.05.2024)

by Ji, Ruyi, Zhao, Yuwei, Xiong, Yingfei, Wang, Di, Zhang, Lu, Hu, Zhenjiang
Published in ACM transactions on programming languages and systems (18.06.2024)

by Rasch, Ari
Published in ACM transactions on programming languages and systems (10.10.2024)

by Chatterjee, Krishnendu, Fu, Hongfei, Novotný, Petr, Hasheminezhad, Rouzbeh
Published in ACM transactions on programming languages and systems (28.05.2018)

by Iraci, Grant, Chuang, Cheng-En, Hu, Raymond, Ziarek, Lukasz
Published in ACM transactions on programming languages and systems (24.07.2025)

by Olmedo, Federico, Gretz, Friedrich, Jansen, Nils, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Mciver, Annabelle
Published in ACM transactions on programming languages and systems (01.01.2018)

by Pearce, David J.
Published in ACM transactions on programming languages and systems (01.04.2021)