default search action
Pavol Cerný
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j6]Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Quantitative estimation of side-channel leaks with neural networks. Int. J. Softw. Tools Technol. Transf. 23(4): 641-654 (2021) - 2020
- [c39]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Detecting and understanding real-world differential performance bugs in machine learning libraries. ISSTA 2020: 189-199 - [c38]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Data-Driven Debugging for Functional Side Channels. NDSS 2020 - [i18]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries. CoRR abs/2006.01991 (2020)
2010 – 2019
- 2019
- [j5]Nicholas V. Lewchenko, Arjun Radhakrishna
, Akash Gaonkar, Pavol Cerný:
Sequential programming for replicated data stores. Proc. ACM Program. Lang. 3(ICFP): 106:1-106:28 (2019) - [c37]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Quantitative Mitigation of Timing Side Channels. CAV (1) 2019: 140-160 - [c36]Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Efficient Detection and Quantification of Timing Leaks with Neural Networks. RV 2019: 329-348 - [c35]Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Type-Directed Bounding of Collections in Reactive Programs. VMCAI 2019: 275-296 - [i17]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Quantitative Mitigation of Timing Side Channels. CoRR abs/1906.08957 (2019) - [i16]Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Efficient Detection and Quantification of Timing Leaks with Neural Networks. CoRR abs/1907.10159 (2019) - 2018
- [c34]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang
Differential Performance Debugging With Discriminant Regression Trees. AAAI 2018: 2468-2475 - [c33]Arjun Radhakrishna
DroidStar: callback typestates for Android classes. ICSE 2018: 1160-1170 - [i15]Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný:
Conflict-Aware Replicated Data Types. CoRR abs/1802.08733 (2018) - [i14]Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Data-Driven Debugging for Functional Side Channels. CoRR abs/1808.10502 (2018) - [i13]Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Type-directed Bounding of Collections in Reactive Programs. CoRR abs/1810.10443 (2018) - 2017
- [j4]Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods Syst. Des. 50(2-3): 97-139 (2017) - [c32]Jedidiah McClurg
Synchronization Synthesis for Network Programs. CAV (2) 2017: 301-321 - [c31]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. TACAS (2) 2017: 21-37 - [i12]Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný:
Learning Asynchronous Typestates for Android Classes. CoRR abs/1701.07842 (2017) - [i11]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. CoRR abs/1702.07103 (2017) - [i10]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Differential Performance Debugging with Discriminant Regression Trees. CoRR abs/1711.04076 (2017) - 2016
- [c30]Pavol Cerný:
Program synthesis for networks. FMCAD 2016: 7 - [c29]Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster:
Optimizing horn solvers for network repair. FMCAD 2016: 73-80 - [c28]Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Event-driven network programming. PLDI 2016: 369-385 - [c27]Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg:
Optimal Consistent Network Updates in Polynomial Time. DISC 2016: 114-128 - [e1]Pavol Cerný, Viktor Kuncak, Parthasarathy Madhusudan:
Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015. EPTCS 202, 2016 [contents] - [i9]Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg:
Optimal Consistent Network Updates in Polynomial Time. CoRR abs/1607.05159 (2016) - 2015
- [c26]Rajeev Alur, Pavol Cerný, Arjun Radhakrishna:
Synthesis Through Unification. CAV (2) 2015: 163-179 - [c25]Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. CAV (2) 2015: 180-197 - [c24]Pavol Cerný, Thomas A. Henzinger, Laura Kovács
Segment Abstraction for Worst-Case Execution Time Analysis. ESOP 2015: 105-131 - [c23]Youngsung Kim
Performance search engine driven by prior knowledge of optimization. ARRAY@PLDI 2015: 25-30 - [c22]Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster:
Efficient synthesis of network updates. PLDI 2015: 196-207 - [i8]Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. CoRR abs/1505.04533 (2015) - [i7]Rajeev Alur, Pavol Cerný, Arjun Radhakrishna:
Synthesis through Unification. CoRR abs/1505.05868 (2015) - [i6]Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Specification and Compilation of Event-driven SDN Programs. CoRR abs/1507.07049 (2015) - [i5]Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
Optimizing Solution Quality in Synchronization Synthesis. CoRR abs/1511.07163 (2015) - 2014
- [j3]Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
Interface simulation distances. Theor. Comput. Sci. 560: 348-363 (2014) - [c21]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-Free Synthesis for Concurrency. CAV 2014: 568-584 - [i4]Jedidiah McClurg, Nate Foster, Pavol Cerný:
Efficient Synthesis of Network Updates. CoRR abs/1403.5843 (2014) - [i3]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-free Synthesis for Concurrency. CoRR abs/1407.3681 (2014) - 2013
- [c20]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV 2013: 951-967 - [c19]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Quantitative abstraction refinement. POPL 2013: 115-128 - [c18]Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster:
Toward Synthesis of Network Updates. SYNT 2013: 8-23 - 2012
- [j2]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Simulation distances. Theor. Comput. Sci. 413(1): 21-35 (2012) - [j1]Rajeev Alur, Pavol Cerný, Scott Weinstein:
Algorithmic analysis of array-accessing programs. ACM Trans. Comput. Log. 13(3): 27:1-27:29 (2012) - [c17]Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna
Synthesis from incompatible specifications. EMSOFT 2012: 53-62 - [c16]Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
Interface Simulation Distances. GandALF 2012: 29-42 - 2011
- [c15]Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259 - [c14]Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger:
The Complexity of Quantitative Information Flow Problems. CSF 2011: 205-217 - [c13]Pavol Cerný, Thomas A. Henzinger:
From boolean to quantitative synthesis. EMSOFT 2011: 149-154 - [c12]Rajeev Alur, Pavol Cerný:
Streaming transducers for algorithmic verification of single-pass list-processing programs. POPL 2011: 599-610 - [i2]Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CoRR abs/1104.4306 (2011) - 2010
- [c11]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Quantitative Simulation Games. Essays in Memory of Amir Pnueli 2010: 42-60 - [c10]Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur:
Model Checking of Linearizability of Concurrent List Implementations. CAV 2010: 465-479 - [c9]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Simulation Distances. CONCUR 2010: 253-268 - [c8]Rajeev Alur, Pavol Cerný:
Expressiveness of streaming string transducers. FSTTCS 2010: 1-12 - [i1]Rajeev Alur, Pavol Cerný:
Algorithmic Verification of Single-Pass List Processing Programs. CoRR abs/1007.4958 (2010)
2000 – 2009
- 2009
- [c7]Pavol Cerný, Rajeev Alur:
Automated Analysis of Java Methods for Confidentiality. CAV 2009: 173-187 - [c6]Rajeev Alur, Pavol Cerný, Scott Weinstein:
Algorithmic Analysis of Array-Accessing Programs. CSL 2009: 86-101 - [c5]Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný:
Parallel programming with object assemblies. OOPSLA 2009: 61-80 - 2008
- [c4]Adam J. Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze:
Security Evaluation of ES&S Voting Machines and Election Management System. EVT 2008 - 2007
- [c3]Rajeev Alur, Pavol Cerný, Swarat Chaudhuri:
Model Checking on Trees with Path Equivalences. TACAS 2007: 664-678 - 2006
- [c2]Rajeev Alur, Pavol Cerný, Steve Zdancewic:
Preserving Secrecy Under Refinement. ICALP (2) 2006: 107-118 - 2005
- [c1]Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam:
Synthesis of interface specifications for Java classes. POPL 2005: 98-109
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: