# Ruzica Piskac

According to our database1, Ruzica Piskac authored at least 50 papers between 2005 and 2020.

Collaborative distances:

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2020
Automated repair by example for firewalls.
Formal Methods Syst. Des., 2020

Succinct Explanations With Cascading Decision Trees.
CoRR, 2020

Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms.
Proceedings of the WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, 2020

Solving $\mathrm {LIA} ^\star$ Using Approximations.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers.
Proceedings of the SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education, 2020

Towards checkpoint placement for dynamic memory allocation in intermittent computing.
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020

Check before You Change: Preventing Correlated Failures in Service Updates.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Grammar Filtering for Syntax-Guided Synthesis.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Identifying Maximal Non-Redundant Integer Cone Generators.
CoRR, 2019

Lazy counterfactual symbolic execution.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

G2Q: Haskell constraint solving.
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Synthesizing functional reactive programs.
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Live Programming By Example.
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Temporal Stream Logic: Synthesis Beyond the Bools.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Statically Verifying Continuous Integration Configurations.
CoRR, 2018

New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Programming by Example: Efficient, but Not "Helpful".
Proceedings of the 9th Workshop on Evaluation and Usability of Programming Languages and Tools, 2018

Programming-by-example for audio: synthesizing digital signal processing programs.
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, 2018

2017
An auditing language for preventing correlated failures in the cloud.
Proc. ACM Program. Lang., 2017

Synthesizing configuration file specifications with association rule learning.
Proc. ACM Program. Lang., 2017

Vehicle Platooning Simulations with Functional Reactive Programming.
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

2016
Probabilistic Automated Language Learning for Configuration Files.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
From Decision Procedures to Synthesis Procedures.
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

InSynth: A System for Code Completion using Types and Weights.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

StriSynth: Synthesis for Live Programming.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

A Type-Directed Approach to Program Repair.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
GRASShopper - Complete Heap Verification with Mixed Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Automating Separation Logic with Trees and Data.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Functional synthesis for linear arithmetic and sets.
Int. J. Softw. Tools Technol. Transf., 2013

Complete completion using types and weights.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Automating Separation Logic Using SMT.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Incremental, Inductive Coverability.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

From Search to Computation: Redundancy Criteria and Simplification at Work.
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012
Software synthesis procedures.
Commun. ACM, 2012

2011
Decision Procedures for Automating Termination Proofs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Interactive Synthesis of Code Snippets.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.
J. Autom. Reason., 2010

Collections, Cardinalities, and Relations.
Proceedings of the Verification, 2010

Building a Calculus of Data Structures.
Proceedings of the Verification, 2010

Complete functional synthesis.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Ordered Sets in the Calculus of Data Structures.
Proceedings of the Computer Science Logic, 24th International Workshop, 2010

Comfusy: A Tool for Complete Functional Synthesis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

MUNCH - Automated Reasoner for Sets and Multisets.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
Combining Theories with Shared Set Operations.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008
Decision Procedures for Multisets with Cardinality Constraints.
Proceedings of the Verification, 2008

Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

Linear Arithmetic with Stars.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2005
Verification of an Off-Line Checker for Priority Queues.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005