


Остановите войну!
for scientists:


default search action
Ruzica Piskac
Person information

- affiliation: Yale University, Department of Computer Science, New Haven, CT, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j9]Ferhat Erata
, Eren Yildiz
, Arda Goknil
, Kasim Sinan Yildirim
, Jakub Szefer
, Ruzica Piskac
, Gökçin Sezgin
:
ETAP: Energy-aware Timing Analysis of Intermittent Programs. ACM Trans. Embed. Comput. Syst. 22(2): 23:1-23:31 (2023) - [i17]Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer:
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. CoRR abs/2304.02102 (2023) - [i16]Samuel Judson, Matthew Elacqua, Filip Cano Córdoba, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac:
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CoRR abs/2305.05731 (2023) - 2022
- [j8]John C. Kolesar
, Ruzica Piskac
, William T. Hallahan
:
Checking equivalence in a non-strict language. Proc. ACM Program. Lang. 6(OOPSLA2): 1469-1496 (2022) - [c51]Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac
, Eran Tromer, Xiao Wang
:
Proving UNSAT in Zero Knowledge. CCS 2022: 2203-2217 - [c50]Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac
, Shuvendu K. Lahiri:
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). ISSTA 2022: 77-88 - [c49]Jialu Zhang, De Li, John Charles Kolesar, Hanyuan Shi, Ruzica Piskac:
Automated Feedback Generation for Competition-Level Code. ASE 2022: 13:1-13:13 - [c48]Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
:
Can reactive synthesis and syntax-guided synthesis be friends? PLDI 2022: 229-243 - [c47]Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang:
ppSAT: Towards Two-Party Private SAT Solving. USENIX Security Symposium 2022: 2983-3000 - [c46]Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito, Ruzica Piskac:
Learning CI Configuration Correctness for Early Build Feedback. SANER 2022: 1006-1017 - [i15]Ferhat Erata, Arda Goknil, Eren Yildiz, Kasim Sinan Yildirim, Ruzica Piskac, Jakub Szfer, Gökçin Sezgin:
ETAP: Energy-aware Timing Analysis of Intermittent Programs. CoRR abs/2201.11433 (2022) - [i14]Ning Luo, Qiao Xiang, Timos Antonopoulos, Ruzica Piskac, Y. Richard Yang, Franck Le:
IVeri: Privacy-Preserving Interdomain Verification. CoRR abs/2202.02729 (2022) - [i13]Jialu Zhang, De Li, John C. Kolesar, Hanyuan Shi, Ruzica Piskac:
Automated Feedback Generation for Competition-Level Code. CoRR abs/2206.01848 (2022) - [i12]Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen:
Repairing Bugs in Python Assignments Using Large Language Models. CoRR abs/2209.14876 (2022) - [i11]Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang:
Proving UNSAT in Zero Knowledge. IACR Cryptol. ePrint Arch. 2022: 206 (2022) - 2021
- [j7]Jialu Zhang, Ruzica Piskac
, Ennan Zhai, Tianyin Xu
:
Static detection of silent misconfigurations with deep interaction analysis. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [c45]Yichao Cheng, Ning Luo, Jingxuan Zhang, Timos Antonopoulos, Ruzica Piskac
, Qiao Xiang:
Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem. INFOCOM 2021: 1-10 - [c44]Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé
, Nate Foster:
Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI 2021: 133-153 - [c43]Julien Lepiller
, Ruzica Piskac, Martin Schäf, Mark Santolucito
:
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) 2021: 105-123 - [i10]Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri:
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? CoRR abs/2111.11904 (2021) - [i9]Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang:
ppSAT: Towards Two-Party Private SAT Solving. IACR Cryptol. ePrint Arch. 2021: 1584 (2021) - 2020
- [j6]William T. Hallahan, Ennan Zhai, Ruzica Piskac
:
Automated repair by example for firewalls. Formal Methods Syst. Des. 56(1): 127-153 (2020) - [c42]Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito:
Grammar Filtering for Syntax-Guided Synthesis. AAAI 2020: 1611-1618 - [c41]Ruzica Piskac
:
Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints. IJCAR (1) 2020: 3-10 - [c40]Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang:
Check before You Change: Preventing Correlated Failures in Service Updates. NSDI 2020: 575-589 - [c39]Nicholas Shoemaker
, Ruzica Piskac
, Mark Santolucito
:
Towards checkpoint placement for dynamic memory allocation in intermittent computing. TAPAS@SPLASH 2020: 20-22 - [c38]Mark Santolucito
, Ruzica Piskac
:
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers. SIGCSE 2020: 135-141 - [c37]Maxwell Levatich, Nikolaj S. Bjørner, Ruzica Piskac
, Sharon Shoham:
Solving $\mathrm {LIA} ^\star $ Using Approximations. VMCAI 2020: 360-378 - [c36]Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac
:
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms. WPES@CCS 2020: 101-115 - [i8]Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito:
Grammar Filtering For Syntax-Guided Synthesis. CoRR abs/2002.02884 (2020) - [i7]Jialu Zhang, Mark Santolucito, Ruzica Piskac:
Succinct Explanations With Cascading Decision Trees. CoRR abs/2010.06631 (2020)
2010 – 2019
- 2019
- [c35]Bernd Finkbeiner, Felix Klein, Ruzica Piskac
, Mark Santolucito
:
Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) 2019: 609-629 - [c34]Mark Santolucito
, William T. Hallahan, Ruzica Piskac
:
Live Programming By Example. CHI Extended Abstracts 2019 - [c33]William T. Hallahan, Anton Xue, Ruzica Piskac
:
G2Q: Haskell constraint solving. Haskell@ICFP 2019: 44-57 - [c32]Bernd Finkbeiner, Felix Klein, Ruzica Piskac
, Mark Santolucito
:
Synthesizing functional reactive programs. Haskell@ICFP 2019: 162-175 - [c31]William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac
:
Lazy counterfactual symbolic execution. PLDI 2019: 411-424 - [e6]Constantin Enea, Ruzica Piskac:
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings. Lecture Notes in Computer Science 11388, Springer 2019, ISBN 978-3-030-11244-8 [contents] - [i6]Slobodan Mitrovic, Ruzica Piskac, Viktor Kuncak:
Identifying Maximal Non-Redundant Integer Cone Generators. CoRR abs/1903.08571 (2019) - [i5]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing Functional Reactive Programs. CoRR abs/1905.09825 (2019) - 2018
- [c30]Mark Santolucito
, Kate Rogers, Aedan Lombardo, Ruzica Piskac
:
Programming-by-example for audio: synthesizing digital signal processing programs. FARM@ICFP 2018: 18-25 - [c29]Mark Santolucito
, Drew Goldman, Allyson Weseley, Ruzica Piskac
:
Programming by Example: Efficient, but Not "Helpful". PLATEAU@SPLASH 2018: 3:1-3:10 - [c28]Ruzica Piskac
:
New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. SAS 2018: 71-76 - [e5]Ruzica Piskac, Philipp Rümmer:
Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11294, Springer 2018, ISBN 978-3-030-03591-4 [contents] - [i4]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR abs/1803.10383 (2018) - [i3]Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac:
Statically Verifying Continuous Integration Configurations. CoRR abs/1805.04473 (2018) - 2017
- [j5]Mark Santolucito
, Ennan Zhai
, Rahul Dhodapkar
, Aaron Shim, Ruzica Piskac
:
Synthesizing configuration file specifications with association rule learning. Proc. ACM Program. Lang. 1(OOPSLA): 64:1-64:20 (2017) - [j4]Ennan Zhai, Ruzica Piskac
, Ronghui Gu, Xun Lao, Xi Wang:
An auditing language for preventing correlated failures in the cloud. Proc. ACM Program. Lang. 1(OOPSLA): 97:1-97:28 (2017) - [c27]Bernd Finkbeiner, Felix Klein, Ruzica Piskac
, Mark Santolucito
:
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek 2017: 43-47 - [c26]William T. Hallahan, Ennan Zhai
, Ruzica Piskac
:
Automated repair by example for firewalls. FMCAD 2017: 220-229 - [i2]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Temporal Stream Logic: Synthesis beyond the Bools. CoRR abs/1712.00246 (2017) - 2016
- [c25]Mark Santolucito
, Ennan Zhai, Ruzica Piskac
:
Probabilistic Automated Language Learning for Configuration Files. CAV (2) 2016: 80-87 - [e4]Tim King, Ruzica Piskac:
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. CEUR Workshop Proceedings 1617, CEUR-WS.org 2016 [contents] - [e3]Ruzica Piskac, Muralidhar Talupur:
2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016. IEEE 2016, ISBN 978-0-9835678-6-8 [contents] - [e2]Ruzica Piskac, Rayna Dimitrova:
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016. EPTCS 229, 2016 [contents] - 2015
- [c24]Alex Reinking
, Ruzica Piskac
:
A Type-Directed Approach to Program Repair. CAV (1) 2015: 511-517 - [c23]Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac
:
StriSynth: Synthesis for Live Programming. ICSE (2) 2015: 701-704 - [c22]Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac:
InSynth: A System for Code Completion using Types and Weights. Software Engineering & Management 2015: 39-40 - [c21]Ruzica Piskac
:
From Decision Procedures to Synthesis Procedures. SYNASC 2015: 3-10 - 2014
- [c20]Ruzica Piskac
, Thomas Wies, Damien Zufferey:
Automating Separation Logic with Trees and Data. CAV 2014: 711-728 - [c19]Ruzica Piskac
:
The FMCAD 2014 graduate student forum. FMCAD 2014: 13 - [c18]Ruzica Piskac
, Thomas Wies, Damien Zufferey:
GRASShopper - Complete Heap Verification with Mixed Specifications. TACAS 2014: 124-139 - 2013
- [j3]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac
, Philippe Suter:
Functional synthesis for linear arithmetic and sets. Int. J. Softw. Tools Technol. Transf. 15(5-6): 455-474 (2013) - [c17]Thomas Hillenbrand, Ruzica Piskac
, Uwe Waldmann, Christoph Weidenbach:
From Search to Computation: Redundancy Criteria and Simplification at Work. Programming Logics 2013: 169-193 - [c16]Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
:
Incremental, Inductive Coverability. CAV 2013: 158-173 - [c15]Ruzica Piskac
, Thomas Wies, Damien Zufferey:
Automating Separation Logic Using SMT. CAV 2013: 773-789 - [c14]Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
:
Complete completion using types and weights. PLDI 2013: 27-38 - [i1]Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac:
Incremental, Inductive Coverability. CoRR abs/1301.7321 (2013) - 2012
- [j2]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac
, Philippe Suter:
Software synthesis procedures. Commun. ACM 55(2): 103-111 (2012) - 2011
- [b1]Ruzica Piskac:
Decision Procedures for Program Synthesis and Verification. EPFL, Switzerland, 2011 - [c13]Tihomir Gvero, Viktor Kuncak, Ruzica Piskac
:
Interactive Synthesis of Code Snippets. CAV 2011: 418-423 - [c12]Ruzica Piskac
, Thomas Wies:
Decision Procedures for Automating Termination Proofs. VMCAI 2011: 371-386 - 2010
- [j1]Ruzica Piskac
, Leonardo Mendonça de Moura, Nikolaj S. Bjørner:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. J. Autom. Reason. 44(4): 401-424 (2010) - [c11]Ruzica Piskac
, Viktor Kuncak:
MUNCH - Automated Reasoner for Sets and Multisets. IJCAR 2010: 149-155 - [c10]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac
, Philippe Suter:
Comfusy: A Tool for Complete Functional Synthesis. CAV 2010: 430-433 - [c9]Viktor Kuncak, Ruzica Piskac
, Philippe Suter:
Ordered Sets in the Calculus of Data Structures. CSL 2010: 34-48 - [c8]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac
, Philippe Suter:
Complete functional synthesis. PLDI 2010: 316-329 - [c7]Viktor Kuncak, Ruzica Piskac
, Philippe Suter, Thomas Wies:
Building a Calculus of Data Structures. VMCAI 2010: 26-44 - [c6]Kuat Yessenov, Ruzica Piskac
, Viktor Kuncak:
Collections, Cardinalities, and Relations. VMCAI 2010: 380-395
2000 – 2009
- 2009
- [c5]Thomas Wies, Ruzica Piskac
, Viktor Kuncak:
Combining Theories with Shared Set Operations. FroCoS 2009: 366-382 - 2008
- [c4]Ruzica Piskac
, Viktor Kuncak:
Linear Arithmetic with Stars. CAV 2008: 268-280 - [c3]Ruzica Piskac, Viktor Kuncak:
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. CSL 2008: 124-138 - [c2]Ruzica Piskac
, Viktor Kuncak:
Decision Procedures for Multisets with Cardinality Constraints. VMCAI 2008: 218-232 - 2007
- [e1]Ruzica Piskac, Frank van Harmelen, Ning Zhong:
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. CEUR Workshop Proceedings 291, CEUR-WS.org 2007 [contents] - 2005
- [c1]Hans de Nivelle, Ruzica Piskac
:
Verification of an Off-Line Checker for Priority Queues. SEFM 2005: 210-219
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-05-17 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint