POCL 2024 Contributors

Tue 16 Jan 2024 London, United Kingdom

co-located with POPL 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (46)

A Ricardo AlmeidaAlmeida, Ricardo University of Edinburgh Morello Cerise: proving secure encapsulation (work in progress)
Ellen ArvidssonArvidsson, Ellen Uppsala UniversitySweden Concurrent Mutation must go
B Mark BattyBatty, Mark University of KentUnited Kingdom Rust on Morello
Thomas BauereissBauereiss, Thomas University of Cambridge The Morello ISA semantics, proof, and test generation
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Proving capability safety in the presence of indirect sentries
Franz BrausseBrausse, Franz The University of Manchester ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC
C Brian CampbellCampbell, Brian University of Edinburgh Session Chair of Session 4 (part of POCL ) The Morello ISA semantics, proof, and test generation Committee Member in Organizing Committee within the POCL -track
Elias CastegrenCastegren, Elias KTH Royal Institute of Technology Concurrent Mutation must go
Luke CheesemanCheeseman, Luke Imperial College LondonUnited Kingdom Concurrent Mutation must go
David ChisnallChisnall, David SCI SemiconductorUnited Kingdom Capabilities for safe cross-language interoperability
Jessica ClarkeClarke, Jessica University of CambridgeUnited Kingdom Morello software and compilers
Sylvan ClebschClebsch, Sylvan Microsoft Azure ResearchUnited Kingdom Concurrent Mutation must go
Simon CookseyCooksey, Simon NVIDIAUnited Kingdom Rust on Morello
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UKUnited Kingdom ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC
D Dominique DevrieseDevriese, Dominique KU LeuvenBelgium Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress) Proving capability safety in the presence of indirect sentries
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Object Capabilities Concurrent Mutation must go
Irina DudinaDudina, Irina University of Edinburgh CHERI static analysis
E Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Object Capabilities
G Dapeng GaoGao, Dapeng University of Cambridge Compartmentalisation models
Aina Linn GeorgesGeorges, Aina Linn Max Planck Institute for Software Systems (MPI-SWS) Proving capability safety in the presence of indirect sentries
H Angus HammondHammond, Angus University of Cambridge Morello Cerise: proving secure encapsulation (work in progress)
Sarah HarrisHarris, Sarah University of Kent Rust on Morello
Sander HuyghebaertHuyghebaert, Sander Vrije Universiteit Brussel Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress)
K Steven KeuchelKeuchel, Steven Vrije Universiteit BrusselBelgium Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress)
Konstantin KorovinKorovin, Konstantin University of Manchester ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC
M Julian MackayMackay, Julian Victoria University of WellingtonNew Zealand Object Capabilities
Rafael MenezesMenezes, Rafael University of ManchesterUnited Kingdom ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC
Simon W. MooreMoore, Simon W. University of Cambridge Session Chair of Session 3 (part of POCL ) Committee Member in Organizing Committee within the POCL -track
N James NobleNoble, James Creative Research & ProgrammingNew Zealand Object Capabilities
P Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Concurrent Mutation must go
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark Proving capability safety in the presence of indirect sentries
R Mikhail R. GadelhaR. Gadelha, Mikhail IgaliaBrazil ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC
Giles RegerReger, Giles University of ManchesterUnited Kingdom ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC
Bastien RousseauRousseau, Bastien Aarhus UniversityDenmark Proving capability safety in the presence of indirect sentries
S Peter SewellSewell, Peter University of CambridgeUnited Kingdom Session Chair of Session 1 (part of POCL ) Workshop Chair in Organizing Committee within the POCL -track
Fedor ShmarovShmarov, Fedor The University of Manchester ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Sealed with a Library Call: Memory Allocators Should Track Capability Seal Operations
Kunjian SongSong, Kunjian The University of Manchester ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC
Ian StarkStark, Ian The University of EdinburghUnited Kingdom Session Chair of Session 2 (part of POCL ) Committee Member in Organizing Committee within the POCL -track
Elias StormeStorme, Elias KU LeuvenBelgium Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress)
V Thomas Van StrydonckVan Strydonck, Thomas KULeuven Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress)
Michael VollmerVollmer, Michael University of KentUnited Kingdom Rust on Morello
W Robert N. M. WatsonWatson, Robert N. M. University of Cambridge The state of Morello and CHERI Committee Member in Organizing Committee within the POCL -track
Konrad WitaszczykWitaszczyk, Konrad University of Cambridge, UK The state of Morello software and projects
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Concurrent Mutation must go
Z Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States CHERI C semantics