# Oded Padon

According to our database

Collaborative distances:

^{1}, Oded Padon authored at least 23 papers between 2015 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

CoRR, 2020

CoRR, 2020

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Log. Methods Comput. Sci., 2019

TASO: optimizing deep learning computation with automatic generation of graph substitutions.

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Proc. ACM Program. Lang., 2018

Proceedings of the Static Analysis - 25th International Symposium, 2018

Modularity for decidability of deductive verification with applications to distributed systems.

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

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Proc. ACM Program. Lang., 2017

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Property Directed Reachability for Proving Absence of Concurrent Modification Errors.

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.

Proceedings of the Static Analysis - 24th International Symposium, 2017

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015