Pavol Cerny -

Registered user since Tue 10 Mar 2015

Name: Pavol Cerny

Country: Austria

Affiliation: TU Wien

Personal website: https://cernyp.github.io/

Contributions

POPL 2021	Committee Member in Program Committee within the POPL-track
ISSTA 2020	Author of Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries within the Technical Papers-track
VMCAI 2020	PC Member in Program Committee within the VMCAI 2020-track
VMCAI 2019	Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track
ICFP 2019	Author of Sequential Programming for Replicated Data Stores within the Research Papers-track
POPL 2018	Committee 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 2016	Author of Event-driven Network Programming within the Research Papers-track
POPL 2016	ERC member in External Reviewing Committee within the Research Papers-track ERC member in External Reviewing Committee
ARRAY 2015	Author of Performance Search Engine Driven by Prior Knowledge of Optimization within the ARRAY-track
NetPL 2015	Speaker of Program Synthesis for Network Updates within the NetPL-track Speaker in Invited Speakers within the NetPL-track
ESOP 2015	Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track
PLDI 2015	Author of Efficient Synthesis of Network Updates within the Research Papers-track