POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Laura Kovacs
Laura Kovacs

Not registered as user yet

Name: Laura Kovacs

Affiliation: Chalmers University of Technology

Contributions

VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
Author of Invariant Generation for Multi-Path Loops with Polynomial Assignments within the VMCAI 2018-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile