Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pavol Cerny
conf.researchr.org general profile
* ICSE 2018 * profile
ECOOP 2015 profile
ESOP 2015 profile
ICFP 2019 profile
ISSTA 2020 profile
PLDI 2015 profile
PLDI 2016 profile
POPL 2016 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
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
ICFP 2019
Author of Sequential Programming for Replicated Data Stores within the Research Papers-track
VMCAI 2019
Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track
* ICSE 2018 *
Author of DroidStar: Callback Typestates for Android Classes within the Technical Papers -track
POPL 2018
Committee Member in Program Committee within the Research 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
NetPL 2015
Speaker of Program Synthesis for Network Updates within the NetPL-track
Speaker in Invited Speakers within the NetPL-track
PLDI 2015
Author of Efficient Synthesis of Network Updates within the Research Papers-track
ARRAY 2015
Author of Performance Search Engine Driven by Prior Knowledge of Optimization within the ARRAY-track
ESOP 2015
Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track
Share
x
Thu 2 Feb 13:37