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