Travelled to:1 × Austria
1 × Canada
1 × Czech Republic
1 × France
1 × Germany
1 × Russia
1 × Spain
2 × Italy
2 × United Kingdom
6 × USA
Collaborated with:V.Kuncak T.Wies M.Santolucito P.Suter D.Zufferey M.Mayer E.Zhai T.Gvero W.T.Hallahan A.Xue A.Reinking F.Niksic H.d.Nivelle B.Finkbeiner F.K.0001 K.Yessenov S.Gulwani J.Kloos R.Majumdar I.Kuraj Drew Goldman Allyson Weseley Rahul Dhodapkar Aaron Shim R.Gu Xun Lao X.Wang Maxwell Troy Bland R.Jhala
Talks about:synthesi (5) complet (5) autom (5) program (4) function (3) cardin (3) logic (3) data (3) constraint (2) structur (2)
Person: Ruzica Piskac
DBLP: Piskac:Ruzica
Contributed to:
2015
20152014
20142013
20132011
20112010
2010
201020102010200820082008
200520162019
2019
2017
20182019Wrote 27 papers:
- CAV-2015-ReinkingP #approach #program repair
- A Type-Directed Approach to Program Repair (AR, RP), pp. 511–517.
- ICSE-v2-2015-GulwaniMNP #live programming #named #programming #synthesis
- StriSynth: Synthesis for Live Programming (SG, MM, FN, RP), pp. 701–704.
- CAV-2014-PiskacWZ #automation #logic
- Automating Separation Logic with Trees and Data (RP, TW, DZ), pp. 711–728.
- TACAS-2014-PiskacWZ #named #specification #verification
- GRASShopper — Complete Heap Verification with Mixed Specifications (RP, TW, DZ), pp. 124–139.
- CAV-2013-KloosMNP #incremental #induction
- Incremental, Inductive Coverability (JK, RM, FN, RP), pp. 158–173.
- CAV-2013-PiskacWZ #automation #logic #smt #using
- Automating Separation Logic Using SMT (RP, TW, DZ), pp. 773–789.
- PLDI-2013-GveroKKP #using
- Complete completion using types and weights (TG, VK, IK, RP), pp. 27–38.
- CAV-2011-GveroKP #interactive #synthesis
- Interactive Synthesis of Code Snippets (TG, VK, RP), pp. 418–423.
- VMCAI-2011-PiskacW #automation #proving #termination
- Decision Procedures for Automating Termination Proofs (RP, TW), pp. 371–386.
- CAV-2010-KuncakMPS #functional #named #synthesis
- Comfusy: A Tool for Complete Functional Synthesis (VK, MM, RP, PS), pp. 430–433.
- CSL-2010-KuncakPS #calculus #data type #order #set
- Ordered Sets in the Calculus of Data Structures (VK, RP, PS), pp. 34–48.
- IJCAR-2010-PiskacK #automation #multi #named #set
- MUNCH — Automated Reasoner for Sets and Multisets (RP, VK), pp. 149–155.
- PLDI-2010-KuncakMPS #functional #synthesis
- Complete functional synthesis (VK, MM, RP, PS), pp. 316–329.
- VMCAI-2010-KuncakPSW #calculus #data type
- Building a Calculus of Data Structures (VK, RP, PS, TW), pp. 26–44.
- VMCAI-2010-YessenovPK
- Collections, Cardinalities, and Relations (KY, RP, VK), pp. 380–395.
- CAV-2008-PiskacK #linear
- Linear Arithmetic with Stars (RP, VK), pp. 268–280.
- CSL-2008-PiskacK #bound #linear
- Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars (RP, VK), pp. 124–138.
- VMCAI-2008-PiskacK #constraints #multi
- Decision Procedures for Multisets with Cardinality Constraints (RP, VK), pp. 218–232.
- SEFM-2005-NivelleP #verification
- Verification of an Off-Line Checker for Priority Queues (HdN, RP), pp. 210–219.
- CAV-2016-SantolucitoZP #automation #learning #probability
- Probabilistic Automated Language Learning for Configuration Files (MS, EZ, RP), pp. 80–87.
- CAV-2019-Finkbeiner0PS #logic #synthesis
- Temporal Stream Logic: Synthesis Beyond the Bools (BF, FK0, RP, MS), pp. 609–629.
- Haskell-2019-Finkbeiner0PS #functional #source code
- Synthesizing functional reactive programs (BF, FK0, RP, MS), pp. 162–175.
- Haskell-2019-HallahanXP #constraints #haskell #named #theorem proving
- G2Q: Haskell constraint solving (WTH, AX, RP), pp. 44–57.
- OOPSLA-2017-SantolucitoZDSP #learning #specification
- Synthesizing configuration file specifications with association rule learning (MS, EZ, RD, AS, RP), p. 20.
- OOPSLA-2017-ZhaiPGLW #correlation #in the cloud
- An auditing language for preventing correlated failures in the cloud (EZ, RP, RG, XL, XW), p. 28.
- PLATEAU-2018-SantolucitoGWP #performance #programming
- Programming by Example: Efficient, but Not “Helpful” (MS, DG, AW, RP), p. 10.
- PLDI-2019-HallahanXBJP #execution #lazy evaluation #symbolic computation
- Lazy counterfactual symbolic execution (WTH, AX, MTB, RJ, RP), pp. 411–424.