Pavel Panchekha

According to our database1, Pavel Panchekha authored at least 19 papers between 2013 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
egg: Fast and extensible equality saturation.
Proc. ACM Program. Lang., 2021

2020
egg: Easy, Efficient, and Extensible E-graphs.
CoRR, 2020

Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench.
Proceedings of the Software Verification - 12th International Conference, 2020

Correctness-preserving Compression of Datasets and Neural Network Models.
Proceedings of the 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2020

Scalable yet rigorous floating-point error analysis.
Proceedings of the International Conference for High Performance Computing, 2020

2019
Modular verification of web page layout.
Proc. ACM Program. Lang., 2019

Toward Multi-Precision, Multi-Format Numerics.
Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

2018
Functional programming for compiling and decompiling computer-aided design.
Proc. ACM Program. Lang., 2018

Finding root causes of floating point error.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Verifying that web pages have accessible layout.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Combining Tools for Optimization and Analysis of Floating-Point Computations.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Finding Root Causes of Floating Point Error with Herbgrind.
CoRR, 2017

2016
Generating interactive web pages from storyboards.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Automated reasoning for web page layout.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.
Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015
Verdi: a framework for implementing and formally verifying distributed systems.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Automatically improving accuracy for floating point expressions.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Expressing and verifying probabilistic assertions.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013
Blame Trees.
Proceedings of the Algorithms and Data Structures - 13th International Symposium, 2013


  Loading...