Ruzica Piskac - RankMe

128 papers A* 20A 9B 14Misc 3Journal 49Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications. CoRR Sam Nicholas Kouteili, William Fishell, Christian Scaff, Mark Santolucito, Ruzica Piskac
2025	J	`jnl`	A Systematic Study of Time Limit Exceeded Errors in Online Programming Assignments. CoRR Jialu Zhang, Jialiang Gu, Wangmeiyu Zhang, José Pablo Cambronero, John C. Kolesar, Ruzica Piskac, Daming Li, Hanyuan Shi
2025	J	`jnl`	Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency. Proc. ACM Manag. Data Yicun Yang, Zhaoguo Wang, Yu Xia, Zhuoran Wei, Haoran Ding, Ruzica Piskac, Haibo Chen, Jinyang Li
2025	J	`jnl`	Checking equivalence in a non-strict language. J. Funct. Program. John Charles Kolesar, Ruzica Piskac, William T. Hallahan
2025	J	`jnl`	Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge. CoRR John C. Kolesar, Shan Ali, Timos Antonopoulos, Ruzica Piskac
2025	J	`jnl`	Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge. Proc. ACM Program. Lang. John C. Kolesar, Shan Ali, Timos Antonopoulos, Ruzica Piskac
2025	—	`ed.`	Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I CAV (1) Ruzica Piskac, Zvonimir Rakamaric
2025	—	`ed.`	Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II CAV (2) Ruzica Piskac, Zvonimir Rakamaric
2025	—	`ed.`	Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III CAV (3) Ruzica Piskac, Zvonimir Rakamaric
2025	—	`ed.`	Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV CAV (4) Ruzica Piskac, Zvonimir Rakamaric
2025	J	`jnl`	Counterexample-Guided Inference of Modular Specifications. Proc. ACM Program. Lang. William T. Hallahan, Ranjit Jhala, Ruzica Piskac
2025	A*	`conf`	CourtReasoner: Can LLM Agents Reason Like Judges? EMNLP Sophia Simeng Han, Yoshiki Takashima, Shannon Zejiang Shen, Chen Liu, Yixin Liu, Roque K. Thuo, Sonia Knowlton, Ruzica Piskac, Scott J. Shapiro, Arman Cohan
2025	A*	`conf`	Efficient and Verifiable Proof Logging for MaxSAT Solving. ASE Raoul Van Doren, Timos Antonopoulos, Ruzica Piskac
2025	—	`conf`	KDD 2025 - AI Reasoning Day. KDD (2) Jun Huan, Xiangyu Zhang, Ye Xing, Wee Hyong Tok, Ruzica Piskac
2025	—	`conf`	NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS. SIGSOFT FSE Companion Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
2025	J	`jnl`	NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS. CoRR Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
2025	A	`conf`	Privacy-Preserving SAT Solving (Invited Talk). CP Ruzica Piskac
2025	A	`conf`	Privacy-Preserving SAT Solving (Invited Talk). SAT Ruzica Piskac
2024	—	`conf`	'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CSLAW Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
2024	J	`jnl`	Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). Dagstuhl Reports S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw
2024	J	`jnl`	Learning Randomized Reductions and Program Properties. CoRR Ferhat Erata, Orr Paradise, Timos Antonopoulos, ThanhVu Nguyen, Shafi Goldwasser, Ruzica Piskac
2024	—	`conf`	Privacy-Preserving Regular Expression Matching Using TNFA. ESORICS (2) Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Mariana Raykova, Ruzica Piskac
2024	J	`jnl`	PyDex: Repairing Bugs in Introductory Python Assignments using LLMs. Proc. ACM Program. Lang. Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
2024	J	`jnl`	Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. CoRR Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer
2024	J	`jnl`	Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. IACR Trans. Cryptogr. Hardw. Embed. Syst. Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer
2024	J	`jnl`	Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems. CoRR Stephen Miner, Yoshiki Takashima, Simeng Han, Ferhat Erata, Timos Antonopoulos, Ruzica Piskac, Scott J. Shapiro
2024	J	`jnl`	Systematic Use of Random Self-Reducibility against Physical Attacks. CoRR Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer
2024	A	`conf`	Systematic Use of Random Self-Reducibility in Cryptographic Code against Physical Attacks. ICCAD Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer
2024	—	`conf`	Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
2024	A*	`conf`	ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. USENIX Security Symposium Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
2024	—	`conf`	soid: A Tool for Legal Accountability for Automated Decision Making. CAV (2) Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
2023	J	`jnl`	'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CoRR Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
2023	J	`jnl`	Accountable Software Systems (Dagstuhl Seminar 23411). Dagstuhl Reports Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, Filip Cano Córdoba
2023	A*	`conf`	Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. IJCAI Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
2023	J	`jnl`	Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. CoRR Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
2023	J	`jnl`	ETAP: Energy-aware Timing Analysis of Intermittent Programs. ACM Trans. Embed. Comput. Syst. Ferhat Erata, Eren Yildiz, Arda Goknil, Kasim Sinan Yildirim, Jakub Szefer, Ruzica Piskac, Gökçin Sezgin
2023	—	`conf`	Formal XAI via Syntax-Guided Synthesis. AISoLA Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
2023	B	`ed.`	LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. LPAR Ruzica Piskac, Andrei Voronkov
2023	A*	`conf`	Ou: Automating the Parallelization of Zero-Knowledge Protocols. CCS Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
2023	J	`jnl`	Ou: Automating the Parallelization of Zero-Knowledge Protocols. IACR Cryptol. ePrint Arch. Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
2023	J	`jnl`	Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata. IACR Cryptol. ePrint Arch. Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Ruzica Piskac, Mariana Raykova
2023	J	`jnl`	Proving Query Equivalence Using Linear Integer Arithmetic. Proc. ACM Manag. Data Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li
2023	J	`jnl`	Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082). Dagstuhl Reports Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, Daniel Sokolowski
2023	J	`jnl`	Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
2023	A	`conf`	Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. EuroS&P Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer
2023	J	`jnl`	Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. CoRR Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer
2023	J	`jnl`	ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. IACR Cryptol. ePrint Arch. Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
2022	A*	`conf`	Automated Feedback Generation for Competition-Level Code. ASE Jialu Zhang, De Li, John Charles Kolesar, Hanyuan Shi, Ruzica Piskac
2022	J	`jnl`	Automated Feedback Generation for Competition-Level Code. CoRR Jialu Zhang, De Li, John C. Kolesar, Hanyuan Shi, Ruzica Piskac
2022	A*	`conf`	Can reactive synthesis and syntax-guided synthesis be friends? PLDI Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
2022	J	`jnl`	Checking equivalence in a non-strict language. Proc. ACM Program. Lang. John C. Kolesar, Ruzica Piskac, William T. Hallahan
2022	J	`jnl`	ETAP: Energy-aware Timing Analysis of Intermittent Programs. CoRR Ferhat Erata, Arda Goknil, Eren Yildiz, Kasim Sinan Yildirim, Ruzica Piskac, Jakub Szefer, Gökçin Sezgin
2022	J	`jnl`	IVeri: Privacy-Preserving Interdomain Verification. CoRR Ning Luo, Qiao Xiang, Timos Antonopoulos, Ruzica Piskac, Y. Richard Yang, Franck Le
2022	A	`conf`	Learning CI Configuration Correctness for Early Build Feedback. SANER Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito, Ruzica Piskac
2022	A*	`conf`	Proving UNSAT in Zero Knowledge. CCS Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
2022	J	`jnl`	Proving UNSAT in Zero Knowledge. IACR Cryptol. ePrint Arch. Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
2022	J	`jnl`	Repairing Bugs in Python Assignments Using Large Language Models. CoRR Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
2022	A	`conf`	Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). ISSTA Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
2022	A*	`conf`	ppSAT: Towards Two-Party Private SAT Solving. USENIX Security Symposium Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
2021	—	`conf`	Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito
2021	Misc	`conf`	Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
2021	J	`jnl`	Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? CoRR Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
2021	A*	`conf`	Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem. INFOCOM Yichao Cheng, Ning Luo, Jingxuan Zhang, Timos Antonopoulos, Ruzica Piskac, Qiao Xiang
2021	J	`jnl`	Static detection of silent misconfigurations with deep interaction analysis. Proc. ACM Program. Lang. Jialu Zhang, Ruzica Piskac, Ennan Zhai, Tianyin Xu
2021	J	`jnl`	ppSAT: Towards Two-Party Private SAT Solving. IACR Cryptol. ePrint Arch. Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
2020	J	`jnl`	Automated repair by example for firewalls. Formal Methods Syst. Des. William T. Hallahan, Ennan Zhai, Ruzica Piskac
2020	Misc	`conf`	Check before You Change: Preventing Correlated Failures in Service Updates. NSDI Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang
2020	—	`conf`	Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints. IJCAR (1) Ruzica Piskac
2020	A	`conf`	Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers. SIGCSE Mark Santolucito, Ruzica Piskac
2020	J	`jnl`	Grammar Filtering For Syntax-Guided Synthesis. CoRR Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
2020	A*	`conf`	Grammar Filtering for Syntax-Guided Synthesis. AAAI Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
2020	—	`conf`	Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms. WPES@CCS Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac
2020	B	`conf`	Solving $\mathrm {LIA} ^\star $ Using Approximations. VMCAI Maxwell Levatich, Nikolaj S. Bjørner, Ruzica Piskac, Sharon Shoham
2020	J	`jnl`	Succinct Explanations With Cascading Decision Trees. CoRR Jialu Zhang, Mark Santolucito, Ruzica Piskac
2020	—	`conf`	Towards checkpoint placement for dynamic memory allocation in intermittent computing. TAPAS@SPLASH Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito
2019	—	`conf`	G2Q: Haskell constraint solving. Haskell@ICFP William T. Hallahan, Anton Xue, Ruzica Piskac
2019	J	`jnl`	Identifying Maximal Non-Redundant Integer Cone Generators. CoRR Slobodan Mitrovic, Ruzica Piskac, Viktor Kuncak
2019	A*	`conf`	Lazy counterfactual symbolic execution. PLDI William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac
2019	—	`conf`	Live Programming By Example. CHI Extended Abstracts Mark Santolucito, William T. Hallahan, Ruzica Piskac
2019	J	`jnl`	Synthesizing Functional Reactive Programs. CoRR Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019	—	`conf`	Synthesizing functional reactive programs. Haskell@ICFP Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019	—	`conf`	Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019	B	`ed.`	Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings VMCAI Constantin Enea, Ruzica Piskac
2018	B	`conf`	New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. SAS Ruzica Piskac
2018	—	`conf`	Programming by Example: Efficient, but Not "Helpful". PLATEAU@SPLASH Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac
2018	—	`conf`	Programming-by-example for audio: synthesizing digital signal processing programs. FARM@ICFP Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac
2018	J	`jnl`	Statically Verifying Continuous Integration Configurations. CoRR Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac
2018	J	`jnl`	Vehicle Platooning Simulations with Functional Reactive Programming. CoRR Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2018	—	`ed.`	Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers VSTTE Ruzica Piskac, Philipp Rümmer
2017	J	`jnl`	An auditing language for preventing correlated failures in the cloud. Proc. ACM Program. Lang. Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, Xi Wang
2017	B	`conf`	Automated repair by example for firewalls. FMCAD William T. Hallahan, Ennan Zhai, Ruzica Piskac
2017	J	`jnl`	Synthesizing configuration file specifications with association rule learning. Proc. ACM Program. Lang. Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac
2017	J	`jnl`	Temporal Stream Logic: Synthesis beyond the Bools. CoRR Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017	—	`conf`	Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2016	B	`ed.`	2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016 FMCAD Ruzica Piskac, Muralidhar Talupur
2016	—	`conf`	Probabilistic Automated Language Learning for Configuration Files. CAV (2) Mark Santolucito, Ennan Zhai, Ruzica Piskac
2016	—	`ed.`	Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016. SYNT@CAV Ruzica Piskac, Rayna Dimitrova
2016	—	`ed.`	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. SMT@IJCAR Tim King, Ruzica Piskac
2015	—	`conf`	A Type-Directed Approach to Program Repair. CAV (1) Alex Reinking, Ruzica Piskac
2015	Misc	`conf`	From Decision Procedures to Synthesis Procedures. SYNASC Ruzica Piskac
2015	—	`conf`	InSynth: A System for Code Completion using Types and Weights. Software Engineering & Management Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
2015	—	`conf`	StriSynth: Synthesis for Live Programming. ICSE (2) Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac
2014	A*	`conf`	Automating Separation Logic with Trees and Data. CAV Ruzica Piskac, Thomas Wies, Damien Zufferey
2014	A	`conf`	GRASShopper - Complete Heap Verification with Mixed Specifications. TACAS Ruzica Piskac, Thomas Wies, Damien Zufferey
2014	B	`conf`	The FMCAD 2014 graduate student forum. FMCAD Ruzica Piskac
2013	A*	`conf`	Automating Separation Logic Using SMT. CAV Ruzica Piskac, Thomas Wies, Damien Zufferey
2013	A*	`conf`	Complete completion using types and weights. PLDI Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
2013	—	`conf`	From Search to Computation: Redundancy Criteria and Simplification at Work. Programming Logics Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach
2013	J	`jnl`	Functional synthesis for linear arithmetic and sets. Int. J. Softw. Tools Technol. Transf. Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2013	J	`jnl`	Incremental, Inductive Coverability CoRR Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
2013	A*	`conf`	Incremental, Inductive Coverability. CAV Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
2012	J	`jnl`	Software synthesis procedures. Commun. ACM Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2011	B	`conf`	Decision Procedures for Automating Termination Proofs. VMCAI Ruzica Piskac, Thomas Wies
2011	—	`—`	Decision Procedures for Program Synthesis and Verification. Ruzica Piskac
2011	A*	`conf`	Interactive Synthesis of Code Snippets. CAV Tihomir Gvero, Viktor Kuncak, Ruzica Piskac
2010	B	`conf`	Building a Calculus of Data Structures. VMCAI Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies
2010	B	`conf`	Collections, Cardinalities, and Relations. VMCAI Kuat Yessenov, Ruzica Piskac, Viktor Kuncak
2010	A*	`conf`	Comfusy: A Tool for Complete Functional Synthesis. CAV Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2010	A*	`conf`	Complete functional synthesis. PLDI Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
2010	J	`jnl`	Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. J. Autom. Reason. Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj S. Bjørner
2010	A	`conf`	MUNCH - Automated Reasoner for Sets and Multisets. IJCAR Ruzica Piskac, Viktor Kuncak
2010	B	`conf`	Ordered Sets in the Calculus of Data Structures. CSL Viktor Kuncak, Ruzica Piskac, Philippe Suter
2009	—	`conf`	Combining Theories with Shared Set Operations. FroCoS Thomas Wies, Ruzica Piskac, Viktor Kuncak
2008	B	`conf`	Decision Procedures for Multisets with Cardinality Constraints. VMCAI Ruzica Piskac, Viktor Kuncak
2008	B	`conf`	Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. CSL Ruzica Piskac, Viktor Kuncak
2008	A*	`conf`	Linear Arithmetic with Stars. CAV Ruzica Piskac, Viktor Kuncak
2007	—	`ed.`	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 New Forms of Reasoning for the Semantic Web Ruzica Piskac, Frank van Harmelen, Ning Zhong
2005	B	`conf`	Verification of an Off-Line Checker for Priority Queues. SEFM Hans de Nivelle, Ruzica Piskac