Shachar Itzhaky

According to our database1, Shachar Itzhaky authored at least 21 papers between 2010 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Liquid information flow control.
Proc. ACM Program. Lang., 2020

Programming with a read-eval-synth loop.
Proc. ACM Program. Lang., 2020

Theory Exploration Powered By Deductive Synthesis.
CoRR, 2020

Programming by predicates: a formal model for interactive synthesis.
Acta Informatica, 2020

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019
Computing summaries of string loops in C for better testing and refactoring.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Abstraction-Based Interaction Model for Synthesis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017
Property-Directed Inference of Universal Invariants or Proving Their Absence.
J. ACM, 2017

On the Automated Verification of Web Applications with Embedded SQL.
Proceedings of the 20th International Conference on Database Theory, 2017

Verifying Equivalence of Spark Programs.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Type-Driven Repair for Information Flow Security.
CoRR, 2016

Verified lifting of stencil computations.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Object spreadsheets: a new computational model for end-user development of data-centric web applications.
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014
Modular reasoning about heap paths via effectively propositional formulas.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

VeriCon: towards verifying controller programs in software-defined networks.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Property-Directed Shape Analysis.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Effectively-Propositional Reasoning about Reachability in Linked Data Structures.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2010
A simple inductive synthesis methodology and its applications.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010


  Loading...