Shachar Itzhaky

Registered user since Sat 1 Oct 2016

Name:Shachar Itzhaky
Affiliation:Technion
Research interests:Program Synthesis, Automated Reasoning

Contributions

SPLASH 2010
PLDI 2021 Author of Cyclic Program Synthesis within the PLDI-track
ESEC/FSE 2021 Author of A Bounded Symbolic-Size Model for Symbolic Execution within the Research Papers-track
ICST 2021 Author of Address-Aware Query Caching for Symbolic Execution within the Research Papers-track
SPLASH 2020 Author of Programming with a Read-Eval-Synth Loop within the OOPSLA-track
Author of Programming with a Read-Eval-Synth Loop within the OOPSLA Artifacts-track
VMCAI 2020 Author of Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation within the VMCAI 2020-track
Author of Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction within the VMCAI 2020-track
ICFP 2020 Author of Liquid Information Flow Control within the ICFP Program-track
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
PLDI 2019 Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track
LIVE 2018 Author of Espalier: a structured spreadsheet tool for end-user development of organizational applications within the LIVE 2018-track
SPLASH 2018 Author of Espalier: a structured spreadsheet tool for end-user development of organizational applications within the Posters-track
VMCAI 2018 Author of Abstraction-Based Interaction Model for Synthesis within the VMCAI 2018-track
Onward! 2017 Committee Member in Program Committee within the Onward! Papers-track
PLDI 2018 Committee Member in Program Committee
PLDI 2017 Committee Member in Artifact Evaluation Committee
Onward! 2016 Author of Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications within the Onward! Papers-track
PLDI 2016 Author of Verified Lifting of Stencil Computations within the Research Papers-track
SPLASH 2016 Author of Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations within the OOPSLA-track