17
Publications
560
Citations
13
H-Index
2010
Active since
Shachar Itzhaky is an author at Tel Aviv University specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisSoftware EngineeringVerificationAutomated ReasoningComputer Engineering
Publications per year
2010–2023
17
17
Thomas Ball, Nikolaj Bjørner, Aaron Gember-Jacobson et al. · 2014 · 143 citations
Thomas Ball, Nikolaj Bjørner, Aaron Gember-Jacobson et al. · ACM SIGPLAN Notices · 2014 · 62 citations
A simple inductive synthesis methodology and its applications
Shachar Itzhaky, Sumit Gulwani, Neil Immerman et al. · 2010 · 60 citations
Low-level Programming Language, Engineering, Software Engineering +20
Verified lifting of stencil computations
Shoaib Kamil, Alvin Cheung, Shachar Itzhaky et al. · 2016 · 53 citations · Full text
Property-Directed Inference of Universal Invariants or Proving Their Absence
Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky et al. · Journal of the ACM · 2017 · 40 citations
Rows per page
1–5 of 17