Sotabase

Career

· Postdoctoral Researcher, MIT CSAIL
· Technion
· Associate Professor / Senior Lecturer, Technion - Israel Institute of Technology

Publications (94)

VeriCon: towards verifying controller programs in software-defined networks
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2014
198
cited
Verified lifting of stencil computations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
94
cited
Property-Directed Inference of Universal Invariants or Proving Their Absence
International Conference on Computer Aided Verification · 2015
75
cited
A simple inductive synthesis methodology and its applications
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2010
66
cited
Effectively-Propositional Reasoning about Reachability in Linked Data Structures
International Conference on Computer Aided Verification · 2013
59
cited
Property-Directed Shape Analysis
International Conference on Computer Aided Verification · 2014
43
cited
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2016
37
cited
Modular reasoning about heap paths via effectively propositional formulas
ACM-SIGACT Symposium on Principles of Programming Languages · 2014
33
cited
Cyclic program synthesis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
31
cited
Liquid information flow control
Proc. ACM Program. Lang. · 2016
24
cited
On the automated verification of web applications with embedded SQL
International Conference on Database Theory · 2016
21
cited
Theory Exploration Powered By Deductive Synthesis
International Conference on Computer Aided Verification · 2020
20
cited
Verifying Equivalence of Spark Programs
International Conference on Computer Aided Verification · 2017
20
cited
Programming with a read-eval-synth loop
Proc. ACM Program. Lang. · 2020
19
cited
Object spreadsheets: a new computational model for end-user development of data-centric web applications
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software · 2016
17
cited
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning
Logic Programming and Automated Reasoning · 2013
17
cited
Computing summaries of string loops in C for better testing and refactoring
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2019
16
cited
Leveraging Rust Types for Program Synthesis
Proc. ACM Program. Lang. · 2023
13
cited
Abstraction-Based Interaction Model for Synthesis
International Conference on Verification, Model Checking and Abstract Interpretation · 2018
12
cited
AmiGo: Computational Design of Amigurumi Crochet Patterns
Symposium on Computational Fabrication · 2022
12
cited
Sotabase