# Pavel Panchekha

Orcid: 0000-0003-2621-3592
According to our database

Collaborative distances:

^{1}, Pavel Panchekha authored at least 31 papers between 2013 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

Proc. ACM Program. Lang., January, 2024

2023

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.

Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, 2023

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2022

Proc. ACM Program. Lang., 2022

CoRR, 2022

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Proc. ACM Program. Lang., 2021

CoRR, 2021

CoRR, 2021

Proceedings of the 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2021

Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

2020

CoRR, 2020

Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench.

Proceedings of the Software Verification - 12th International Conference, 2020

Proceedings of the 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2020

Proceedings of the International Conference for High Performance Computing, 2020

2019

PhD thesis, 2019

Proc. ACM Program. Lang., 2019

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

2018

Proc. ACM Program. Lang., 2018

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

CoRR, 2017

2016

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

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