# Shachar Itzhaky

According to our database

Collaborative distances:

^{1}, 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

Proc. ACM Program. Lang., 2020

Proc. ACM Program. Lang., 2020

CoRR, 2020

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

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

2018

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

2017

J. ACM, 2017

Proceedings of the 20th International Conference on Database Theory, 2017

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

CoRR, 2016

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

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

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

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

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2010

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010