Programming by predicates: a formal model for interactive synthesis von Peleg, Hila, Itzhaky, Shachar, Shoham, Sharon, Yahav, Eran

Volltext

Theory Exploration Powered By Deductive Synthesis von Singher, Eytan, Shachar Itzhaky

Volltext

Runtime Complexity Bounds Using Squeezers von Ish-Shalom, Oren, Itzhaky, Shachar, Rinetzky, Noam, Shoham, Sharon

Volltext

Property-Directed Inference of Universal Invariants or Proving Their Absence von Karbyshev, Aleksandr, Bjørner, Nikolaj, Itzhaky, Shachar, Rinetzky, Noam, Shoham, Sharon

Volltext

AmiGo: Computational Design of Amigurumi Crochet Patterns von Edelstein, Michal, Peleg, Hila, Shachar Itzhaky, Ben-Chen, Mirela

Volltext

Programming with a read-eval-synth loop von Peleg, Hila, Gabay, Roi, Itzhaky, Shachar, Yahav, Eran

Volltext

Liquid information flow control von Polikarpova, Nadia, Stefan, Deian, Yang, Jean, Itzhaky, Shachar, Hance, Travis, Solar-Lezama, Armando

Volltext

Leveraging Rust Types for Program Synthesis von Fiala, Jonáš, Itzhaky, Shachar, Müller, Peter, Polikarpova, Nadia, Sergey, Ilya

Volltext

CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs von Kurashige, Cole, Ji, Ruyi, Giridharan, Aditya, Barbone, Mark, Noor, Daniel, Itzhaky, Shachar, Jhala, Ranjit, Polikarpova, Nadia

Volltext

Colored E-Graph: Equality Reasoning with Conditions von Singher, Eytan, Itzhaky, Shachar

Volltext bestellen

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction von Ish-Shalom, Oren, Itzhaky, Shachar, Rinetzky, Noam, Shoham, Sharon

Volltext

SMT Sampling via Model-Guided Approximation von Peled, Matan I., Rothenberg, Bat-Chen, Itzhaky, Shachar

Volltext

Abstraction-Based Interaction Model for Synthesis von Peleg, Hila, Itzhaky, Shachar, Shoham, Sharon

Volltext

Kotlin's Type System is (Also) Unsound von Kinsbruner, Elad, Peleg, Hila, Itzhaky, Shachar

Volltext bestellen

Effectively-Propositional Reasoning about Reachability in Linked Data Structures von Itzhaky, Shachar, Banerjee, Anindya, Immerman, Neil, Nanevski, Aleksandar, Sagiv, Mooly

Volltext

Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation von Ish-Shalom, Oren, Itzhaky, Shachar, Manevich, Roman, Rinetzky, Noam

Volltext

Verifying Equivalence of Spark Programs von Grossman, Shelly, Cohen, Sara, Itzhaky, Shachar, Rinetzky, Noam, Sagiv, Mooly

Volltext

Hyperproperty Verification as CHC Satisfiability von Itzhaky, Shachar, Shoham, Sharon, Vizel, Yakir

Volltext bestellen

SMT Sampling via Model-Guided Approximation von Peled, Matan, Rothenberg, Bat-Chen, Itzhaky, Shachar

Volltext bestellen

Colored E-Graph: Equality Reasoning with Conditions von Singher, Eytan, Shachar Itzhaky

Volltext