conf.researchr.org / Pavol Cerny
Pavol Cerny

Registered user since Tue 10 Mar 2015

Name: Pavol Cerny

Country: Slovakia

Affiliation: University of Colorado Boulder

Personal website: http://ecee.colorado.edu/pavol/

Contributions

VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
VMCAI 2019Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track
ICFP 2019Author of Sequential Programming for Replicated Data Stores within the Research Papers-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
* ICSE 2018 *Author of DroidStar: Callback Typestates for Android Classes within the Technical Papers -track
PLDI 2016Author of Event-driven Network Programming within the Research Papers-track
POPL 2016ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
ARRAY 2015Author of Performance Search Engine Driven by Prior Knowledge of Optimization within the ARRAY-track
NetPL 2015Speaker of Program Synthesis for Network Updates within the NetPL-track
Speaker in Invited Speakers within the NetPL-track
ESOP 2015Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track
PLDI 2015Author of Efficient Synthesis of Network Updates within the Research Papers-track