Artikel dengan mandat akses publik - Philippa GardnerPelajari lebih lanjut
Tersedia di suatu tempat: 33
TaDA: A logic for time and data abstraction
P da Rocha Pinto, T Dinsdale-Young, P Gardner
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
Mandat: Danish Council for Independent Research, UK Engineering and Physical …
A trusted mechanised JavaScript specification
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
Mandat: UK Engineering and Physical Sciences Research Council
Skeletal semantics and their interpretations
M Bodin, P Gardner, T Jensen, A Schmitt
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
Mandat: UK Engineering and Physical Sciences Research Council, Agence Nationale de …
Gillian, part i: a multi-language platform for symbolic execution
J Fragoso Santos, P Maksimović, SÉ Ayoun, P Gardner
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
Mandat: UK Engineering and Physical Sciences Research Council
Modular termination verification for non-blocking concurrency
P da Rocha Pinto, T Dinsdale-Young, P Gardner, J Sutherland
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
Mandat: Danish Council for Independent Research, UK Engineering and Physical …
JaVerT: JavaScript verification toolchain
J Fragoso Santos, P Maksimović, D Naudžiūnienė, T Wood, P Gardner
Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017
Mandat: UK Engineering and Physical Sciences Research Council
JaVerT 2.0: Compositional symbolic execution for JavaScript
J Fragoso Santos, P Maksimović, G Sampaio, P Gardner
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
Mandat: UK Engineering and Physical Sciences Research Council, Ministry of Education …
Colosl: Concurrent local subjective logic
A Raad, J Villard, P Gardner
European Symposium on Programming Languages and Systems, 710-735, 2015
Mandat: UK Engineering and Physical Sciences Research Council
Symbolic execution for JavaScript
JF Santos, P Maksimović, T Grohens, J Dolby, P Gardner
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
Mandat: UK Engineering and Physical Sciences Research Council, Ministry of Education …
Local reasoning for the POSIX file system
P Gardner, G Ntzik, A Wright
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
Mandat: UK Engineering and Physical Sciences Research Council
Gillian, Part II: real-world verification for JavaScript and C
P Maksimović, SÉ Ayoun, JF Santos, P Gardner
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
Mandat: Fundação para a Ciência e a Tecnologia, Portugal, UK Engineering and …
TaDA Live: Compositional reasoning for termination of fine-grained concurrent programs
E D’Osualdo, J Sutherland, A Farzan, P Gardner
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-134, 2021
Mandat: UK Engineering and Physical Sciences Research Council, European Commission …
Two mechanisations of WebAssembly 1.0
C Watt, X Rao, J Pichon-Pharabod, M Bodin, P Gardner
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
Fault-tolerant resource reasoning
G Ntzik, P da Rocha Pinto, P Gardner
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015
Mandat: UK Engineering and Physical Sciences Research Council
Iris-wasm: Robust and modular verification of webassembly programs
X Rao, AL Georges, M Legoupil, C Watt, J Pichon-Pharabod, P Gardner, ...
Proceedings of the ACM on Programming Languages 7 (PLDI), 1096-1120, 2023
Mandat: Villum Foundation, UK Engineering and Physical Sciences Research Council
Reasoning about the POSIX file system: local update and global pathnames
G Ntzik, P Gardner
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
Mandat: UK Engineering and Physical Sciences Research Council
Verifying concurrent graph algorithms
A Raad, A Hobor, J Villard, P Gardner
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016
Mandat: UK Engineering and Physical Sciences Research Council
Steps in modular specifications for concurrent modules (invited tutorial paper)
P da Rocha Pinto, T Dinsdale-Young, P Gardner
Electronic Notes in Theoretical Computer Science 319, 3-18, 2015
Mandat: Danish Council for Independent Research, UK Engineering and Physical …
A concurrent specification of POSIX file systems
G Ntzik, P da Rocha Pinto, J Sutherland, P Gardner
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 4: 1-4: 28, 2018
Mandat: UK Engineering and Physical Sciences Research Council
Data consistency in transactional storage systems: A centralised semantics
S Xiong, A Cerone, A Raad, P Gardner
34th European Conference on Object-Oriented Programming (ECOOP 2020), 21: 1 …, 2020
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer