PLDI 2022 Co-Located Events
43nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022)
Powered by
Conference Publishing Consulting

11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022), June 14, 2022, San Diego, CA, USA

Workshop SOAP 2022 – Author Index

Contents - Abstracts - Authors

A B C D F G J K L M N O R S T W

Anteski, Naum SOAP '22: "ADA: A Tool for Visualizing ..."
Arceri, Vincenzo SOAP '22: "Ensuring Determinism in Blockchain ..."
Balachandran, Swee SOAP '22: "Towards an Implementation ..."
Bau, Guillaume SOAP '22: "Abstract Interpretation of ..."
Bian, Zhiqiang SOAP '22: "ADA: A Tool for Visualizing ..."
Bojanic, Uros SOAP '22: "Statically Detecting Data ..."
Botbol, Vincent SOAP '22: "Abstract Interpretation of ..."
Bouaziz, Mehdi SOAP '22: "Abstract Interpretation of ..."
Burlacu, Valentin-Sebastian SOAP '22: "ADA: A Tool for Visualizing ..."
Cortesi, Agostino SOAP '22: "Ensuring Determinism in Blockchain ..."
Debray, Saumya SOAP '22: "Modeling Code Manipulation ..."
Dutle, Aaron SOAP '22: "Towards an Implementation ..."
Ferrara, Pietro SOAP '22: "Ensuring Determinism in Blockchain ..."
Gopalakrishnan, Ganesh SOAP '22: "BinFPE: Accurate Floating-Point ..."
Janjanin, Aleksandar Saša SOAP '22: "ADA: A Tool for Visualizing ..."
Kang, Xiyu SOAP '22: "Modeling Code Manipulation ..."
Laguna, Ignacio SOAP '22: "BinFPE: Accurate Floating-Point ..."
Li, Xinyi SOAP '22: "BinFPE: Accurate Floating-Point ..."
Lim, Heuichan SOAP '22: "Modeling Code Manipulation ..."
Masci, Paolo SOAP '22: "Towards an Implementation ..."
Miné, Antoine SOAP '22: "Abstract Interpretation of ..."
Misu, Md Rakib Hossain SOAP '22: "ADA: A Tool for Visualizing ..."
Moscato, Mariano SOAP '22: "Towards an Implementation ..."
Muñoz, César SOAP '22: "Towards an Implementation ..."
Negrini, Luca SOAP '22: "Ensuring Determinism in Blockchain ..."
Olivieri, Luca SOAP '22: "Ensuring Determinism in Blockchain ..."
Ruaro, Marco SOAP '22: "Ensuring Determinism in Blockchain ..."
Slagel, J. Tanner SOAP '22: "Towards an Implementation ..."
Spoto, Fausto SOAP '22: "Ensuring Determinism in Blockchain ..."
Stojic, Milan SOAP '22: "Statically Detecting Data ..."
Subotic, Pavle SOAP '22: "Statically Detecting Data ..."
Tagliaferro, Fabio SOAP '22: "Ensuring Determinism in Blockchain ..."
Talin, Enrico SOAP '22: "Ensuring Determinism in Blockchain ..."
White, Lauren SOAP '22: "Towards an Implementation ..."

34 authors

proc time: 4.11