Modeling South African Service Protests Using the National Operational Environment Model. - Chris Thron; John Salerno; Adam Kwiat; Philip Dexter; Jason Smith (SBP, 2012)

Exploiting Multi-step Sample Trajectories for Approximate Value Iteration. - Robert William Wright; Steven Loscalzo; Philip Dexter; Lei Yu 001 (ECML/PKDD (1), 2013)

Nyami: a synthesizable GPU architectural model for general-purpose and graphics-specific workloads. - Jeff Bush; Philip Dexter; Timothy N. Miller; Aaron Carpenter (ISPASS, 2015)

Lazy graph processing in Haskell. - Philip Dexter; Yu David Liu; Kenneth Chiu (Haskell, 2016)

An Error-Reflective Consistency Model for Distributed Data Stores. - Philip Dexter; Kenneth Chiu; Bedri Sendir (IPDPS, 2019)

A Foundation of Lazy Streaming Graphs. - Philip Dexter; Yu David Liu; Kenneth Chiu (CoRR, 2019)

Detecting and Reacting to Anomalies in Relaxed Uses of Raft. - Philip Dexter; Bedri Sendir; Kenneth Chiu (CCGRID, 2020)

The essence of online data processing. - Philip Dexter; Yu David Liu; Kenneth Chiu (Proc. ACM Program. Lang., 2022)

A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism. - Jeff Eymer; Philip Dexter; Joseph Raskind; Yu David Liu (Proc. ACM Program. Lang., 2024)