Sotabase

Career

· Research Assistant, The University of Texas at Austin2016–
· Engineering Practicum Intern, Google2015–2015
· Software Engineer Internship, Lockheed Martin2014–2014
· BS, Computer Science and Pure Mathematics, The University of Texas at Austin2014–2018
· Head Of Android Development, Apps for Aptitude2013–2014

Publications (10)

Component-based synthesis of table consolidation and transformation tasks from examples
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
183
cited
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Symposium on Operating Systems Principles · 2021
99
cited
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel
USENIX Symposium on Operating Systems Design and Implementation · 2020
67
cited
Synthesizing JIT Compilers for In-Kernel DSLs
International Conference on Computer Aided Verification · 2020
28
cited
Symbolic reasoning for automatic signal placement
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
4
cited
Synthesis-Aided Crash Consistency for Storage Systems
European Conference on Object-Oriented Programming · 2023
3
cited
Program Synthesis for Systems Developers
2023
Program Synthesis for the Modern Programmer
2018
Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
Proc. ACM Program. Lang. · 2025
Sotabase
Jacob Van Geffen | Researcher Profile | Sotabase | Sotabase