Shachar Itzhaky -

Registered user since Sat 1 Oct 2016

Name:Shachar Itzhaky

Country:Israel

Affiliation:Technion

Personal website:http://www.cs.technion.ac.il/~shachari

Research interests:Program Synthesis, Automated Reasoning

Contributions

SPLASH 2024	Committee Member in Review Committee within the OOPSLA 2024-track
PLDI 2023	Author of Leveraging Rust Types for Program Synthesis within the PLDI Research Papers-track
ICST 2023	Author of Address-Aware Query Caching for Symbolic Execution within the Previous Editions-track
APLAS 2022	Committee Member in Program Committee
SPLASH 2022	Committee Member in Program Committee within the Onward! Papers-track
ESEC/FSE 2022	Author of A Bounded Symbolic-Size Model for Symbolic Execution within the ESEC/FSE 2021-track
EGRAPHS 2022	Author of Colored E-Graph: Supporting Multiple Equivalence Relations with Resource Sharing within the EGRAPHS 2022-track
SPLASH 2021	Author of Cyclic Program Synthesis within the SIGPLAN Papers-track Author of Liquid Information Flow Control within the SIGPLAN Papers-track
ESEC/FSE 2021	Author of A Bounded Symbolic-Size Model for Symbolic Execution within the Research Papers-track
PLDI 2021	Author of Cyclic Program Synthesis within the PLDI-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
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
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
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
PLDI 2018	Committee Member in Program Committee
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 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
SPLASH 2016	Author of Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations within the OOPSLA-track
PLDI 2016	Author of Verified Lifting of Stencil Computations within the Research Papers-track