Ruzica Piskac

Registered user since Wed 25 Jun 2014

Name:Ruzica Piskac
Country:United States
Affiliation:Yale University

Contributions

PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
ISSTA 2022 Author of Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper) within the Technical Papers-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
Author of Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? within the PLDI-track
ProLaLa 2022 Committee Member in Program Committee within the ProLaLa Programming Languages and the Law-track
VMCAI 2022 Publicity Chair in Organizing Committee within the VMCAI 2022-track
POPL 2022 Co-chair in Tutorial Evaluation Committee within the TutorialFest-track
Workshops Co-Chair in Organizing Committee
ASE 2022 Author of Automated Feedback Generation for Competition-Level Code within the Research Papers-track
SPLASH 2021 Author of Static Detection of Silent Misconfigurations with Deep Interaction Analysis within the OOPSLA-track
Author of Static Detection of Silent Misconfigurations with Deep Interaction Analysis within the Posters-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
TAPAS 2020 Author of Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing within the TAPAS-track
POPL 2021 Committee Member in Tutorials Evaluation Committee within the TutorialFest-track
Workshops Co-Chair in Organizing Committee
SPLASH 2022 Author of Checking Equivalence in a Non-Strict Language within the OOPSLA-track
VMCAI 2020 Author of Solving LIA* Using Approximations within the VMCAI 2020-track
Session Chair of Papers 4 (part of VMCAI 2020)
Industrial Relations Co-Chair in Steering Committee within the VMCAI 2020-track
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
SEConfig 2019 Committee Member in Program Committee within the SEConfig 2019-track
Haskell 2019 Author of Synthesizing Functional Reactive Programs within the Haskell 2019-track
Author of G2Q: Haskell Constraint Solving within the Haskell 2019-track
VMCAI 2019 Co-chair in Organizing Committee within the VMCAI 2019-track
Program Co-Chair in Program Committee within the VMCAI 2019-track
Session Chair of Invited Talk 3 (part of VMCAI 2019)
PLATEAU 2018 Author of Programming by example: efficient, but not "helpful" within the PLATEAU 2018-track
PLDI 2019 Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track
LIVE 2018 Committee Member in Program Committee within the LIVE 2018-track
FARM 2018 Author of Programming-by-Example for Audio: Synthesizing Digital Signal Processing Programs within the FARM 2018-track
SPLASH 2018 Author of Programming by example: efficient, but not "helpful" within the Posters-track
VMCAI 2018 Chair in Travel Grants within the VMCAI 2018-track
PLDI 2018 Committee Member in Program Committee
POPL 2018 Committee Member in Program Committee within the Research Papers-track
SPLASH 2017 Author of Synthesizing Configuration File Specifications with Association Rule Learning within the OOPSLA-track
Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the Posters-track
Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the OOPSLA-track
VMCAI Outreach Activities Chair in Organizing Committee
POPL 2016 Publicity Chair in Organizing Committee
FTfJP 2015 Committee Member in Program committee within the FTfJP-track
PLDI 2015 Committee Member in Program Committee within the Research Papers-track