SPLASH Workshops 2020
2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2020)
Powered by
Conference Publishing Consulting

22th ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (FTfJP 2020), July 23, 2020, Virtual, USA

Workshop FTfJP 2020 – Author Index

Contents - Abstracts - Authors

B D H J K M R S T W Z

Barbieri, Pietro FTfJP '20: "An Inductive Abstract Semantics ..."
Dagnino, Francesco FTfJP '20: "An Inductive Abstract Semantics ..."
Huisman, Marieke FTfJP '20: "Towards Verified Construction ..."
Jacobs, Bart FTfJP '20: "A Separation Logic to Verify ..."
Jones, Reese FTfJP '20: "Salsa: Static Analysis of ..."
Köhler, Mirko FTfJP '20: "ConSysT: Tunable, Safe Consistency ..."
Margara, Alessandro FTfJP '20: "ConSysT: Tunable, Safe Consistency ..."
Masoule, Nafise Eskandani FTfJP '20: "ConSysT: Tunable, Safe Consistency ..."
Mirakhorli, Mehdi FTfJP '20: "Salsa: Static Analysis of ..."
Reinhard, Tobias FTfJP '20: "A Separation Logic to Verify ..."
Salvaneschi, Guido FTfJP '20: "ConSysT: Tunable, Safe Consistency ..."
Santos, Joanna Cecilia da Silva FTfJP '20: "Salsa: Static Analysis of ..."
Timany, Amin FTfJP '20: "A Separation Logic to Verify ..."
Wijs, Anton FTfJP '20: "Towards Verified Construction ..."
Zucca, Elena FTfJP '20: "An Inductive Abstract Semantics ..."

15 authors

proc time: 3.82