Ružica Piskač - Concepedia

Author

Ružica Piskač

Also Known As

Enea, Constantin, Goldwasser, Shafi, Mikaël Mayer, Osera, Peter-Michael, Peter-Michael Osera, Piskac, Ruzica, R. Piskac, R. Piskač, RUZICA PISKAC, Ruzica Piskac

132

Publications

1.7K

Citations

H-Index

Concepts

All Affiliations

Yale University École Polytechnique Fédérale de Lausanne Microsoft (United States)Max Planck Institute for Software Systems Columbia University

About

Ružica Piskač is an author at Yale University specializing in computer science, engineering, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	17	753
2	Computer Science	15	17	753
3	Data Science	6	6	319
4	Computer Engineering	5	5	231
5	Language Studies	4	4	103

Ružica Piskač

Publications

874

Citations

H-Index

Page 1

	Year	Citations
Complete functional synthesis Viktor Kunčak, Mikaël Mayer, Ružica Piskač, EngineeringCompiler TechnologyVerificationSoftware EngineeringSystem Synthesis	2010	144
Complete completion using types and weights Tihomir Gvero, Viktor Kunčak, Ivan Kuraj, Mathematical ProgrammingEngineeringMachine LearningType TheorySoftware Engineering	2013	135
AliEn—ALICE environment on the GRID P Saiz, L. Aphecetche, P. Bunc̆ić, Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment EngineeringData ScienceAlien—alice EnvironmentGrid ComputingGrid System	2003	91
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets Ružica Piskač, Leonardo de Moura, Nikolaj Bjørner Journal of Automated Reasoning Substitution SetsEngineeringAutomated ReasoningPropositional LogicDynamic Logic	2009	85
Synthesizing configuration file specifications with association rule learning Mark Santolucito, Ennan Zhai, Rahul M. Dhodapkar, Proceedings of the ACM on Programming Languages Program CheckingEngineeringSoftware SystemsVerificationSoftware Engineering	2017	40
Software synthesis procedures Viktor Kunčak, Mikaël Mayer, Ružica Piskač, Communications of the ACM EngineeringCompiler TechnologyVerificationSoftware EngineeringSystem Synthesis	2012	37
Repairing Bugs in Python Assignments Using Large Language Models Jialu Zhang, José Cambronero, Sumit Gulwani, arXiv (Cornell University) Software MaintenanceLlm Fine-tuningEngineeringLarge Language ModelSoftware Analysis	2022	30
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper) Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Llm Fine-tuningEngineeringMachine LearningSemanticsLarge Language Model	2022	28
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs Jialu Zhang, José Cambronero, Sumit Gulwani, Proceedings of the ACM on Programming Languages EngineeringSoftware EngineeringLarge Language ModelSoftware AnalysisProgramming Language Teaching	2024	28
Functional synthesis for linear arithmetic and sets Viktor Kunčak, Mikaël Mayer, Ružica Piskač, International Journal on Software Tools for Technology Transfer Functional SynthesisFormal MethodsFunctional ProgrammingFunctional Programming LanguageComputability Theory	2011	23

Page 1