Pavol Cerný
According to our database1,
Pavol Cerný
authored at least 47 papers
between 2005 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
0
1
2
3
4
5
6
7
1
1
1
2
2
2
2
1
2
3
2
2
4
4
1
3
1
4
3
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Int. J. Softw. Tools Technol. Transf., 2021
2020
Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020
Detecting and understanding real-world differential performance bugs in machine learning libraries.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the 40th International Conference on Software Engineering, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Formal Methods Syst. Des., 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the Distributed Computing - 30th International Symposium, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015
Proceedings of the Programming Languages and Systems, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Proceedings of the Proceedings Second Workshop on Synthesis, 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Proceedings of the 12th International Conference on Embedded Software, 2012
2011
Streaming transducers for algorithmic verification of single-pass list-processing programs.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Proceedings of the 2008 USENIX/ACCURATE Electronic Voting Workshop, 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005