Oded Padon

According to our database1, 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
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs.
CoRR, 2020

Resources: A Safe Language Abstraction for Money.
CoRR, 2020

First-order quantified separators.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Ivy: A Multi-modal Verification Tool for Distributed Algorithms.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Bounded Quantifier Instantiation for Checking Inductive Invariants.
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

Semantic program alignment for equivalence checking.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

SPoC: Search-based Pseudocode to Code.
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
Reducing liveness to safety in first-order logic.
Proc. ACM Program. Lang., 2018

Deductive Verification in Decidable Fragments with Ivy.
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

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Deductive Verification of Distributed Protocols in First-Order Logic.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017
Paxos made EPR: decidable reasoning about distributed protocols.
Proc. ACM Program. Lang., 2017

Conjunctive Abstract Interpretation Using Paramodulation.
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

RATCOP: Relational Analysis Tool for Concurrent Programs.
Proceedings of the Hardware and Software: Verification and Testing, 2017

2016
Decidability of inferring inductive invariants.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Ivy: safety verification by interactive generalization.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

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


  Loading...