Pavol Cerný - RankMe

64 papers A* 13A 6B 6Misc 2Journal 24Unranked 12

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Quantitative estimation of side-channel leaks with neural networks. Int. J. Softw. Tools Technol. Transf. Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
2020	A*	`conf`	Data-Driven Debugging for Functional Side Channels. NDSS Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2020	J	`jnl`	Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2020	A	`conf`	Detecting and understanding real-world differential performance bugs in machine learning libraries. ISSTA Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2019	B	`conf`	Efficient Detection and Quantification of Timing Leaks with Neural Networks. RV Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
2019	J	`jnl`	Efficient Detection and Quantification of Timing Leaks with Neural Networks. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
2019	—	`conf`	Quantitative Mitigation of Timing Side Channels. CAV (1) Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2019	J	`jnl`	Quantitative Mitigation of Timing Side Channels. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2019	J	`jnl`	Sequential programming for replicated data stores. Proc. ACM Program. Lang. Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný
2019	B	`conf`	Type-Directed Bounding of Collections in Reactive Programs. VMCAI Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
2018	J	`jnl`	Conflict-Aware Replicated Data Types. CoRR Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný
2018	J	`jnl`	Data-Driven Debugging for Functional Side Channels. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi
2018	A*	`conf`	Differential Performance Debugging With Discriminant Regression Trees. AAAI Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
2018	A*	`conf`	DroidStar: callback typestates for Android classes. ICSE Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
2018	J	`jnl`	Type-directed Bounding of Collections in Reactive Programs. CoRR Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
2017	J	`jnl`	Differential Performance Debugging with Discriminant Regression Trees. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
2017	—	`conf`	Discriminating Traces with Time. TACAS (2) Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
2017	J	`jnl`	Discriminating Traces with Time. CoRR Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
2017	J	`jnl`	From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods Syst. Des. Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2017	J	`jnl`	Learning Asynchronous Typestates for Android Classes. CoRR Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
2017	—	`conf`	Synchronization Synthesis for Network Programs. CAV (2) Jedidiah McClurg, Hossein Hojjat, Pavol Cerný
2016	A*	`conf`	Event-driven network programming. PLDI Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
2016	A	`conf`	Optimal Consistent Network Updates in Polynomial Time. DISC Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
2016	J	`jnl`	Optimal Consistent Network Updates in Polynomial Time. CoRR Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
2016	B	`conf`	Optimizing horn solvers for network repair. FMCAD Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
2016	—	`ed.`	Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015. SYNT Pavol Cerný, Viktor Kuncak, Parthasarathy Madhusudan
2016	B	`conf`	Program synthesis for networks. FMCAD Pavol Cerný
2015	A*	`conf`	Efficient synthesis of network updates. PLDI Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster
2015	—	`conf`	From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. CAV (2) Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015	J	`jnl`	From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. CoRR Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015	J	`jnl`	Optimizing Solution Quality in Synchronization Synthesis. CoRR Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015	—	`conf`	Performance search engine driven by prior knowledge of optimization. ARRAY@PLDI Youngsung Kim, Pavol Cerný, John M. Dennis
2015	A	`conf`	Segment Abstraction for Worst-Case Execution Time Analysis. ESOP Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
2015	J	`jnl`	Specification and Compilation of Event-driven SDN Programs. CoRR Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
2015	—	`conf`	Synthesis Through Unification. CAV (2) Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
2015	J	`jnl`	Synthesis through Unification. CoRR Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
2014	J	`jnl`	Efficient Synthesis of Network Updates. CoRR Jedidiah McClurg, Nate Foster, Pavol Cerný
2014	J	`jnl`	Interface simulation distances. Theor. Comput. Sci. Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
2014	A*	`conf`	Regression-Free Synthesis for Concurrency. CAV Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
2014	J	`jnl`	Regression-free Synthesis for Concurrency. CoRR Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
2013	A*	`conf`	Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
2013	A*	`conf`	Quantitative abstraction refinement. POPL Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
2013	—	`conf`	Toward Synthesis of Network Updates. SYNT Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster
2012	J	`jnl`	Algorithmic analysis of array-accessing programs. ACM Trans. Comput. Log. Rajeev Alur, Pavol Cerný, Scott Weinstein
2012	—	`conf`	Interface Simulation Distances GandALF Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
2012	J	`jnl`	Simulation distances. Theor. Comput. Sci. Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
2012	Misc	`conf`	Synthesis from incompatible specifications. EMSOFT Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
2011	Misc	`conf`	From boolean to quantitative synthesis. EMSOFT Pavol Cerný, Thomas A. Henzinger
2011	J	`jnl`	Quantitative Synthesis for Concurrent Programs CoRR Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
2011	A*	`conf`	Quantitative Synthesis for Concurrent Programs. CAV Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
2011	A*	`conf`	Streaming transducers for algorithmic verification of single-pass list-processing programs. POPL Rajeev Alur, Pavol Cerný
2011	A	`conf`	The Complexity of Quantitative Information Flow Problems. CSF Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger
2010	J	`jnl`	Algorithmic Verification of Single-Pass List Processing Programs CoRR Rajeev Alur, Pavol Cerný
2010	—	`conf`	Expressiveness of streaming string transducers. FSTTCS Rajeev Alur, Pavol Cerný
2010	A*	`conf`	Model Checking of Linearizability of Concurrent List Implementations. CAV Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
2010	—	`conf`	Quantitative Simulation Games. Essays in Memory of Amir Pnueli Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
2010	B	`conf`	Simulation Distances. CONCUR Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
2009	B	`conf`	Algorithmic Analysis of Array-Accessing Programs. CSL Rajeev Alur, Pavol Cerný, Scott Weinstein
2009	A*	`conf`	Automated Analysis of Java Methods for Confidentiality. CAV Pavol Cerný, Rajeev Alur
2009	A	`conf`	Parallel programming with object assemblies. OOPSLA Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný
2008	—	`conf`	Security Evaluation of ES&S Voting Machines and Election Management System. EVT Adam J. Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze
2007	A	`conf`	Model Checking on Trees with Path Equivalences. TACAS Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
2006	—	`conf`	Preserving Secrecy Under Refinement. ICALP (2) Rajeev Alur, Pavol Cerný, Steve Zdancewic
2005	A*	`conf`	Synthesis of interface specifications for Java classes. POPL Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam