• Sign in
  • Sign up
conf.researchr.org / Pavol Cerny
  • * 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
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
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
xThu 2 Feb 13:37
using conf.researchr.org (v1.58.0)
Support page
Sign Up