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 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