conf.researchr.org / Ruzica Piskac
Ruzica Piskac

Registered user since Wed 25 Jun 2014

Name: Ruzica Piskac

Affiliation: Yale University, USA

Personal website: http://www.cs.yale.edu/~piskac/

Contributions

VMCAI 2020Steering Committee Member in Steering Committee within the VMCAI 2020-track
PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
SEConfig 2019Committee Member in Program Committee within the SEConfig 2019-track
Haskell 2019Author of Synthesizing Functional Reactive Programs within the Haskell 2019-track
Author of G2Q: Haskell Constraint Solving within the Haskell 2019-track
VMCAI 2019Co-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 2018Author of Programming by example: efficient, but not "helpful" within the PLATEAU 2018-track
PLDI 2019Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track
LIVE 2018Committee Member in Program Committee within the LIVE 2018-track
FARM 2018Author of Programming-by-Example for Audio: Synthesizing Digital Signal Processing Programs within the FARM 2018-track
SPLASH 2018Author of Programming by example: efficient, but not "helpful" within the Posters-track
VMCAI 2018Chair in Travel Grants within the VMCAI 2018-track
PLDI 2018Committee Member in Program Committee
POPL 2018Committee Member in Program Committee within the Research Papers-track
SPLASH 2017Author 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
VMCAIOutreach Activities Chair in Organizing Committee
POPL 2016Publicity Chair in Organizing Committee
FTfJP 2015Committee Member in Program committee within the FTfJP-track
PLDI 2015Committee Member in Program Committee within the Research Papers-track