Pavol Cerny

Cited by

	All	Since 2019
Citations	2062	725
h-index	23	15
i10-index	36	25

220

110

165

2005200620072008200920102011201220132014201520162017201820192020202120222023202426 20 32 38 69 56 94 103 95 110 138 205 158 155 134 131 143 160 113 44

Public access

View all

22 articles

1 article

available

not available

Based on funding mandates

Co-authors

Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Jedidiah McClurgAssistant Professor of CS, Colorado State UniversityVerified email at colostate.edu
Hossein HojjatAssistant Professor, RITVerified email at cs.rit.edu
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
Leonid RyzhykFelderaVerified email at feldera.com
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
Thorsten TarrachAmazon Web ServicesVerified email at amazon.com
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Rohit SinghMIT, Uber AI, Facebook, Meta, CitadelVerified email at csail.mit.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
Roopsha SamantaAssistant Professor, Purdue UniversityVerified email at purdue.edu
Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu

Pavol Cerny

Professor, TU Wien

Verified email at tuwien.ac.at - Homepage

Computer-aided verification Program synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Quantitative estimation of side-channel leaks with neural networks S Tizpaz-Niari, P Černý, S Sankaranarayanan, A Trivedi International Journal on Software Tools for Technology Transfer 23 (4), 641-654, 2021	2	2021
Detecting and understanding real-world differential performance bugs in machine learning libraries S Tizpaz-Niari, P Černý, A Trivedi Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020	26	2020
Efficient Detection and Quantification of Timing Leaks with Neural Networks A Trivedi Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019		2019
Sequential programming for replicated data stores NV Lewchenko, A Radhakrishna, A Gaonkar, P Černý Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019	15	2019
Efficient detection and quantification of timing leaks with neural networks S Tizpaz-Niari, P Černý, S Sankaranarayanan, A Trivedi Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019	6	2019
Quantitative mitigation of timing side channels S Tizpaz-Niari, P Černý, A Trivedi Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	15	2019
Type-directed bounding of collections in reactive programs T Lu, P Černý, BYE Chang, A Trivedi Verification, Model Checking, and Abstract Interpretation: 20th …, 2019	3	2019
Data-driven debugging for functional side channels S Tizpaz-Niari, P Cerny, A Trivedi arXiv preprint arXiv:1808.10502, 2018	13	2018
DroidStar callback typestates for Android classes A Radhakrishna, NV Lewchenko, S Meier, S Mover, KC Sripada, ... Proceedings of the 40th International Conference on Software Engineering …, 2018	12	2018
Differential performance debugging with discriminant regression trees S Tizpaz-Niari, P Cerny, BYE Chang, A Trivedi Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	16	2018
Conflict-aware replicated data types NV Lewchenko, A Radhakrishna, A Gaonkar, P Černý arXiv preprint arXiv:1802.08733, 2018	3	2018
From non-preemptive to preemptive scheduling using synchronization synthesis P Černý, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ... Formal methods in system design 50, 97-139, 2017	27	2017
Synchronization synthesis for network programs J McClurg, H Hojjat, P Černý Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	22	2017
Discriminating traces with time S Tizpaz-Niari, P Černý, BYE Chang, S Sankaranarayanan, A Trivedi Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017	11	2017
Learning asynchronous typestates for android classes A Radhakrishna, N Lewchenko, S Meier, S Mover, KC Sripada, D Zufferey, ... arXiv preprint arXiv:1701.07842, 2017	2	2017
Optimizing horn solvers for network repair H Hojjat, P Rümmer, J McClurg, P Černý, N Foster 2016 Formal Methods in Computer-Aided Design (FMCAD), 73-80, 2016	25	2016
Program synthesis for networks P Černý 2016 Formal Methods in Computer-Aided Design (FMCAD), 7-7, 2016		2016
Event-driven network programming J McClurg, H Hojjat, N Foster, P Černý ACM SIGPLAN Notices 51 (6), 369-385, 2016	66	2016
Proceedings Fourth Workshop on Synthesis P Černý, V Kuncak, M Parthasarathy arXiv preprint arXiv:1602.00786, 2016		2016
Program synthesis for networks. P Cerný FMCAD, 7, 2016		2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors