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)

ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
183
cited
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
International Conference on Computer Aided Verification · 2020
28
cited
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
4
cited
European Conference on Object-Oriented Programming · 2023
3
cited
Program Synthesis for Systems Developers
2023
Program Synthesis for the Modern Programmer
2018
Sotabase
Jacob Van Geffen | Researcher Profile | Sotabase | Sotabase