Publications

[1] Bernd Finkbeiner, Felix Klein, Ruzica Piskac and Mark Santolucito.
Temporal Stream Logic: Synthesis Beyond the Bools
In Computer Aided Verification - 31st International Conference, CAV
2019, New York City, NY, USA, July 15-18, 2019.
bib | DOI | http ]
[2] Mark Santolucito, William T. Hallahan and Ruzica Piskac.
Live Programming By Example
In Extended Abstracts of the 2019 CHI Conference on Human Factors in
Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019.
bib | DOI | http ]
[3] William T. Hallahan, Anton Xue and Ruzica Piskac.
G2Q: Haskell constraint solving
In Proceedings of the 12th ACM SIGPLAN International Symposium on
Haskell, Haskell, ICFP 2019, Berlin, Germany, August 18-23, 2019.
bib | DOI | http ]
[4] Bernd Finkbeiner, Felix Klein, Ruzica Piskac and Mark Santolucito.
Synthesizing functional reactive programs.
In Proceedings of the 12th ACM SIGPLAN International Symposium on
Haskell, Haskell, ICFP 2019, Berlin, Germany, August 18-23, 2019.
bib | DOI | http ]
[5] William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala and Ruzica Piskac.
Lazy counterfactual symbolic execution.
In Proceedings of the 40th ACM SIGPLAN Conference on Programming
Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA,
June 22-26, 2019.
bib | DOI | http ]
[6] Mark Santolucito, William T. Hallahan, and Ruzica Piskac.
Live programming by example.
In Extended Abstracts of the 2019 CHI Conference on Human
Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09,
2019.
, 2019.
bib | DOI | http ]
[7] Constantin Enea and Ruzica Piskac, editors.
Verification, Model Checking, and Abstract Interpretation - 20th
International Conference, VMCAI 2019, Cascais, Portugal, January 13-15,
2019, Proceedings
, volume 11388 of Lecture Notes in Computer Science.
Springer, 2019.
bib | DOI | http ]
[8] Slobodan Mitrovic, Ruzica Piskac, and Viktor Kuncak.
Identifying maximal non-redundant integer cone generators.
CoRR, abs/1903.08571, 2019.
bib | arXiv | http ]
[9] Bernd Finkbeiner, Felix Klein, Ruzica Piskac and Mark Santolucito.
Synthesizing Functional Reactive Programs.
CoRR, abs/1905.09825, 2019.
bib | arXiv | http ]
[10] Mark Santolucito, Kate Rogers, Aedan Lombardo, and Ruzica Piskac.
Programming-by-example for audio: synthesizing digital signal
processing programs.
In Proceedings of the 6th ACM SIGPLAN International Workshop
on Functional Art, Music, Modeling, and Design, FARM@ICFP 2018, St. Louis,
MO, USA, September 29, 2018
, pages 18--25, 2018.
bib | DOI | http ]
[11] Mark Santolucito, Drew Goldman, Allyson Weseley, and Ruzica Piskac.
Programming by example: Efficient, but not "helpful".
In 9th Workshop on Evaluation and Usability of Programming
Languages and Tools, PLATEAU@SPLASH 2018, November 5, 2018, Boston,
Massachusetts, USA
, pages 3:1--3:10, 2018.
bib | DOI | http ]
[12] Ruzica Piskac.
New applications of software synthesis: Verification of configuration
files and firewall repair.
In Static Analysis - 25th International Symposium, SAS 2018,
Freiburg, Germany, August 29-31, 2018, Proceedings
, pages 71--76, 2018.
bib | DOI | http ]
[13] Ruzica Piskac and Philipp Rümmer, editors.
Verified Software. Theories, Tools, and Experiments - 10th
International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised
Selected Papers
, volume 11294 of Lecture Notes in Computer Science.
Springer, 2018.
bib | DOI | http ]
[14] Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito.
Vehicle platooning simulations with functional reactive programming.
CoRR, abs/1803.10383, 2018.
bib | arXiv | http ]
[15] Mark Santolucito, Jialu Zhang, Ennan Zhai, and Ruzica Piskac.
Statically verifying continuous integration configurations.
CoRR, abs/1805.04473, 2018.
bib | arXiv | http ]
[16] Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, and Ruzica Piskac.
Synthesizing configuration file specifications with association rule
learning.
PACMPL, 1(OOPSLA):64:1--64:20, 2017.
bib | DOI | http ]
[17] Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, and Xi Wang.
An auditing language for preventing correlated failures in the cloud.
PACMPL, 1(OOPSLA):97:1--97:28, 2017.
bib | DOI | http ]
[18] Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito.
Vehicle platooning simulations with functional reactive programming.
In Proceedings of the 1st International Workshop on Safe Control
of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA,
April 21, 2017
, pages 43--47, 2017.
bib | DOI | http ]
[19] William T. Hallahan, Ennan Zhai, and Ruzica Piskac.
Automated repair by example for firewalls.
In 2017 Formal Methods in Computer Aided Design, FMCAD 2017,
Vienna, Austria, October 2-6, 2017
, pages 220--229, 2017.
bib | DOI | http ]
[20] Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito.
Temporal stream logic: Synthesis beyond the bools.
CoRR, abs/1712.00246, 2017.
bib | arXiv | http ]
[21] Mark Santolucito
Version space learning for verification on temporal differentials
In Proceedings of the 26th ACM SIGSOFT International Symposium on
Software Testing and Analysis , Santa Barbara, CA, USA, July 10 - 14,
2017
bib | DOI | http ]
[22] Mark Santolucito, Ennan Zhai, and Ruzica Piskac.
Probabilistic automated language learning for configuration files.
In Computer Aided Verification - 28th International Conference,
CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
,
pages 80--87, 2016.
bib | DOI | http ]
[23] Tim King and Ruzica Piskac, editors.
Proceedings of the 14th International Workshop on Satisfiability
Modulo Theories affiliated with the International Joint Conference on
Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016
,
volume 1617 of CEUR Workshop Proceedings. CEUR-WS.org, 2016.
bib | http ]
[24] Ruzica Piskac and Muralidhar Talupur, editors.
2016 Formal Methods in Computer-Aided Design, FMCAD 2016,
Mountain View, CA, USA, October 3-6, 2016
. IEEE, 2016.
bib | http ]
[25] Ruzica Piskac and Rayna Dimitrova, editors.
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto,
Canada, July 17-18, 2016
, volume 229 of EPTCS, 2016.
bib | DOI | http ]
[26] Alex Reinking and Ruzica Piskac.
A type-directed approach to program repair.
In Computer Aided Verification - 27th International Conference,
CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
,
pages 511--517, 2015.
bib | DOI | http ]
[27] Sumit Gulwani, Mikaël Mayer, Filip Niksic, and Ruzica Piskac.
Strisynth: Synthesis for live programming.
In 37th IEEE/ACM International Conference on Software
Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2
, pages
701--704, 2015.
bib | DOI | http ]
[28] Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, and Ruzica Piskac.
Insynth: A system for code completion using types and weights.
In Software Engineering & Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA
WI-MAW, 17. März - 20. März 2015, Dresden, Germany
, pages
39--40, 2015.
bib ]
bib | DOI | http ]
[29] Ruzica Piskac.
From decision procedures to synthesis procedures.
In 17th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania,
September 21-24, 2015
, pages 3--10, 2015.
bib | DOI | http ]
[30] Ruzica Piskac, Thomas Wies, and Damien Zufferey.
Automating separation logic with trees and data.
In Computer Aided Verification - 26th International Conference,
CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna,
Austria, July 18-22, 2014. Proceedings
, pages 711--728, 2014.
bib | DOI | http ]
[31] Ruzica Piskac.
The FMCAD 2014 graduate student forum.
In Formal Methods in Computer-Aided Design, FMCAD 2014,
Lausanne, Switzerland, October 21-24, 2014
, page 13, 2014.
bib | DOI | http ]
[32] Ruzica Piskac, Thomas Wies, and Damien Zufferey.
Grasshopper - complete heap verification with mixed specifications.
In Tools and Algorithms for the Construction and Analysis of
Systems - 20th International Conference, TACAS 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, ETAPS 2014,
Grenoble, France, April 5-13, 2014. Proceedings
, pages 124--139, 2014.
bib | DOI | http ]
[33] Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, and Philippe Suter.
Functional synthesis for linear arithmetic and sets.
STTT, 15(5-6):455--474, 2013.
bib | DOI | http ]
[34] Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, and Christoph Weidenbach.
From search to computation: Redundancy criteria and simplification at
work.
In Programming Logics - Essays in Memory of Harald Ganzinger,
pages 169--193, 2013.
bib | DOI | http ]
[35] Johannes Kloos, Rupak Majumdar, Filip Niksic, and Ruzica Piskac.
Incremental, inductive coverability.
In Computer Aided Verification - 25th International Conference,
CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
, pages
158--173, 2013.
bib | DOI | http ]
[36] Ruzica Piskac, Thomas Wies, and Damien Zufferey.
Automating separation logic using SMT.
In Computer Aided Verification - 25th International Conference,
CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
, pages
773--789, 2013.
bib | DOI | http ]
[37] Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, and Ruzica Piskac.
Complete completion using types and weights.
In ACM SIGPLAN Conference on Programming Language Design and
Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013
, pages
27--38, 2013.
bib | DOI | http ]
[38] Johannes Kloos, Rupak Majumdar, Filip Niksic, and Ruzica Piskac.
Incremental, inductive coverability.
CoRR, abs/1301.7321, 2013.
bib | arXiv | http ]
[39] Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, and Philippe Suter.
Software synthesis procedures.
Commun. ACM, 55(2):103--111, 2012.
bib | DOI | http ]
[40] Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac.
Interactive synthesis of code snippets.
In Computer Aided Verification - 23rd International Conference,
CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
, pages
418--423, 2011.
bib | DOI | http ]
[41] Ruzica Piskac and Thomas Wies.
Decision procedures for automating termination proofs.
In Verification, Model Checking, and Abstract Interpretation -
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25,
2011. Proceedings
, pages 371--386, 2011.
bib | DOI | http ]
[42] Ruzica Piskac, Leonardo Mendonça de Moura, and Nikolaj Bjørner.
Deciding effectively propositional logic using DPLL and
substitution sets.
J. Autom. Reasoning, 44(4):401--424, 2010.
bib | DOI | http ]
[43] Ruzica Piskac and Viktor Kuncak.
MUNCH - automated reasoner for sets and multisets.
In Automated Reasoning, 5th International Joint Conference,
IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
, pages 149--155,
2010.
bib | DOI | http ]
[44] Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, and Philippe Suter.
Comfusy: A tool for complete functional synthesis.
In Computer Aided Verification, 22nd International Conference,
CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
, pages 430--433,
2010.
bib | DOI | http ]
[45] Viktor Kuncak, Ruzica Piskac, and Philippe Suter.
Ordered sets in the calculus of data structures.
In Computer Science Logic, 24th International Workshop, CSL
2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August
23-27, 2010. Proceedings
, pages 34--48, 2010.
bib | DOI | http ]
[46] Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, and Philippe Suter.
Complete functional synthesis.
In Proceedings of the 2010 ACM SIGPLAN Conference on
Programming Language Design and Implementation, PLDI 2010, Toronto,
Ontario, Canada, June 5-10, 2010
, pages 316--329, 2010.
bib | DOI | http ]
[47] Viktor Kuncak, Ruzica Piskac, Philippe Suter, and Thomas Wies.
Building a calculus of data structures.
In Verification, Model Checking, and Abstract Interpretation,
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19,
2010. Proceedings
, pages 26--44, 2010.
bib | DOI | http ]
[48] Kuat Yessenov, Ruzica Piskac, and Viktor Kuncak.
Collections, cardinalities, and relations.
In Verification, Model Checking, and Abstract Interpretation,
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19,
2010. Proceedings
, pages 380--395, 2010.
bib | DOI | http ]
[49] Thomas Wies, Ruzica Piskac, and Viktor Kuncak.
Combining theories with shared set operations.
In Frontiers of Combining Systems, 7th International Symposium,
FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
, pages
366--382, 2009.
bib | DOI | http ]
[50] Ruzica Piskac and Viktor Kuncak.
Linear arithmetic with stars.
In Computer Aided Verification, 20th International Conference,
CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings
, pages
268--280, 2008.
bib | DOI | http ]
[51] Ruzica Piskac and Viktor Kuncak.
Fractional collections with cardinality bounds, and mixed linear
arithmetic with stars.
In Computer Science Logic, 22nd International Workshop, CSL
2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings
, pages 124--138, 2008.
bib | DOI | http ]
[52] Ruzica Piskac and Viktor Kuncak.
Decision procedures for multisets with cardinality constraints.
In Verification, Model Checking, and Abstract Interpretation,
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9,
2008, Proceedings
, pages 218--232, 2008.
bib | DOI | http ]
[53] Ruzica Piskac, Frank van Harmelen, and Ning Zhong, editors.
Proceedings of the First International Workshop Workshop "New
forms of reasoning for the Semantic Web: scalable, tolerant and dynamic",
co-located with ISWC 2007 and ASWC 2007, Busan, Korea, November 11th,
2007
, volume 291 of CEUR Workshop Proceedings. CEUR-WS.org, 2007.
bib | http ]
[54] Hans de Nivelle and Ruzica Piskac.
Verification of an off-line checker for priority queues.
In Third IEEE International Conference on Software Engineering
and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
,
pages 210--219, 2005.
bib | DOI | http ]

This file was generated by
bibtex2html 1.98.