Follow
Pavol Cerny
Pavol Cerny
Professor, TU Wien
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Year
Algorithmic Analysis of Array-Accessing
R ALUR, P CERNÝ, S WEINSTEIN
Algorithmic analysis of array-accessing programs
R Alur, P Černý, S Weinstein
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-29, 2012
302012
Algorithmic verification of single-pass list processing programs
R Alur, P Cerny
arXiv preprint arXiv:1007.4958, 2010
12010
Automated analysis of java methods for confidentiality
P Černý, R Alur
International Conference on Computer Aided Verification, 173-187, 2009
132009
Automated Analysis of Programs for Confidentiality
P Cerný, R Alur
Automatic Synthesis of High-Assurance Device Drivers
G HEISER, L RYZHYK, M STUMM, P CERNY, AF DONALDSON
Conflict-aware replicated data types
NV Lewchenko, A Radhakrishna, A Gaonkar, P Černý
arXiv preprint arXiv:1802.08733, 2018
32018
CSF 2012
M Arapinis, A Askarov, N Broberg, M Bugliesi, S Calzavara, P Cerny, ...
Data-driven debugging for functional side channels
S Tizpaz-Niari, P Cerny, A Trivedi
arXiv preprint arXiv:1808.10502, 2018
132018
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
262020
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
162018
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
112017
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
122018
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
62019
Efficient Detection and Quantification of Timing Leaks with Neural Networks
A Trivedi
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
2019
Efficient synthesis for concurrency by semantics-preserving transformations
P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International Conference on Computer Aided Verification, 951-967, 2013
552013
Efficient synthesis of network updates
N Foster, J McClurg, H Hojjat, P Cerny
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
42015
Efficient synthesis of network updates
J McClurg, H Hojjat, P Černý, N Foster
Acm Sigplan Notices 50 (6), 196-207, 2015
1422015
Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface
GW Hamilton, A Lisitsa, AP Nemytykh
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2016
2016
Event-driven network programming
J McClurg, H Hojjat, N Foster, P Černý
ACM SIGPLAN Notices 51 (6), 369-385, 2016
662016
The system can't perform the operation now. Try again later.
Articles 1–20