PLDI 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
PLDI 2023 (series) / Marco Eilers
Marco Eilers

Registered user since Tue 23 Oct 2018

Name:Marco Eilers
Country:Switzerland
Affiliation:ETH Zurich
Personal website:http://www.pm.inf.ethz.ch/people/personal/meilers-pers.html
Research interests:Programming Languages, Verification, Security

Contributions

SOAP 2023 Committee Member in Program Committee within the SOAP 2023-track
PLDI 2023 CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
Show activities from other conferences

Using general profile