Shachar Itzhaky

Registered user since Sat 1 Oct 2016

Name: Shachar Itzhaky

Country: Israel

Affiliation: Technion, Israel

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

Research interests: Program Synthesis, Automated Reasoning

Contributions

SPLASH 2010
SPLASH 2020Author 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 2020Author 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 2020Author of Liquid Information Flow Control within the ICFP Program-track
PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
PLDI 2019Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track
LIVE 2018Author of Espalier: a structured spreadsheet tool for end-user development of organizational applications within the LIVE 2018-track
SPLASH 2018Author of Espalier: a structured spreadsheet tool for end-user development of organizational applications within the Posters-track
VMCAI 2018Author of Abstraction-Based Interaction Model for Synthesis within the VMCAI 2018-track
Onward! 2017Committee Member in Program Committee within the Onward! Papers-track
PLDI 2018Committee Member in Program Committee
PLDI 2017Committee Member in Artifact Evaluation Committee
Onward! 2016Author of Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications within the Onward! Papers-track
PLDI 2016Author of Verified Lifting of Stencil Computations within the Research Papers-track
SPLASH 2016Author of Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations within the OOPSLA-track