Philip Dexter

Wolt January 2022-present

Engineering Team Lead

Wolt May 2021-December 2021

Backend Programmer

• Using Python at scale

TeamFluent July 2020-May 2021

C.T.O.

Binghamton University June 2019-June 2020

Postdoctoral Researcher

• Researching laziness in large systems
• Researching consistency protocols for approximate computing

Helsinki University December 2018-March 2020

Full-Stack Developer

• Full-stack development on a survey application for developing global competences
• Used technologies such as Python, JavaScript, and Google Cloud

Hofstadter, Inc. 2019

Consultant

• Developed features for a low-code development tool
• Wrote server code to manage client infrastructure
• Developed type-based verification for client configuration files

Klarna 2018

Consultant

• Worked on identification services vital to Klarna's backend system
• Migrated identification services from owned infrastructure to AWS
• Used technologies such as Erlang, PostgreSQL, AWS, and Kafka

Ericsson 2017-2018

Consultant

• Developed features on an Erlang codebase
• Feature development included design, implementation, and testing

University of Cambridge 2016 (Summer)

Visiting Researcher

• Invited to OCaml Labs to work on approximate computing software
• Developed aperf, a loop perforation tool for OCaml

State University of New York at Binghamton

Ph.D., Computer Science 2019
Advisor: Dr. Yu David Liu and Dr. Kenneth Chiu
Dissertation: Lazy High-Performance Big Data Processing

M.S., Computer Science 2014
Advisor: Dr. Yu David Liu and Dr. Kenneth Chiu
Thesis: Delta Graphs with Lazy Updates

Dexter, P., Liu, Y. D., Chiu, K.: "The Essence of Online Data Processing", 2022. Proc. ACM Program. Lang. 6, OOPSLA2 (OOPSLA 2022)

Dexter, P., Sendir, B., Chiu, K.: "Detecting and Reacting to Anomalies in Relaxed Uses of Raft", 2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID 2020)

Eymer, J., Dexter, P., Liu, Y. D.: "Toward Lazy Evaluation in a Graph Database", Second Workshop on Incremental Computing (IC 2019)

Dexter, P., Chiu, K., Sendir, B.: "An Error-Reflective Consistency Model for Distributed Data Stores", 2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019)

Dexter, P., Liu, Y. D., Chiu, K.: "Lazy graph processing in Haskell", Proceedings of the 9th International Symposium on Haskell (Haskell 2016)

Bush, J., Dexter, P., Miller, T., Carpenter, A.: "Nyami: a synthesizable GPU architectural model for general-purpose and graphics-specific workloads", 2015 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS 2015)

Wright, R., Loscalzo, S., Dexter, P., Yu, L.: "Exploiting multi-step sample trajectories for approximate value iteration", Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECMLPKDD 2013)

aperf ‒ Approximate comuting tool for OCaml ‒ github.com/philipdexter/aperf

• Uses metaprogramming features of OCaml to perforate loops in annotated OCaml programs
• Used to perforate loops in custom K-means clustering program, a modified ray tracer, and a modified financial market model

Credo ‒ Static analysis tool for Elixir ‒ github.com/rrrene/credo

• Contributed bug fixes and features

vx ‒ Text editor ‒ github.com/philipdexter/vx

• Tiny text editor core written in C
• Extensions and customization written in Python

PyBoard ‒ Homework submission system ‒ github.com/xtfc/pyboard

• Submission system built in Python for university classes
• Automatic compilation and feedback for Java homework submissions
• Webapp portal for students to view their grades

Teacher

Introduction to Object Oriented Programming 2 semesters

Teaching Assistant

Programming Languages 1 semester
Introduction to Object Oriented Programming 7 semesters

• Languages
• Python
• Haskell
• Erlang/Elixir
• Go
• OCaml
• JavaScript
• Java
• C
• C++
• Rust

• Tools
• Linux
• Git
• Shell
• SQL
• NoSQL
• Web APIs
• Docker
• Kubernetes
• CI/CD

• Interests
• Programming Languages
• Distributed Computing
• Teaching
• Running
• Climbing