2024
- Serving as the OOPSLA 2024 Artifact Evaluation Committee co-chair. September 17
2023
- Serving as the OOPSLA 2024 Artifact Evaluation Committee co-chair. September 13
- Started as an Assistant Professor at The University of Kansas EECS Department. July 17
- I defended my PhD! May 05
- Absynthe: Abstract Interpretation-Guided Synthesis to appear at PLDI 2023. February 25
2022
- Member of OOPSLA 2023 External Review / Artifact Evaluation Committee. October 25
- Presented my research at the Berkeley Programming Systems Seminar. July 25
- RbSyn was features in the Ruby Rogues podcast and Ruby Weekly Newsletter. July 06
- Presented my ongoing work on Absynthe at NJPLS. May 06
- Galois wrote a blog post announcing ANOSY. April 05
- ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification to appear at PLDI 2022. March 23
2021
- Proposed my thesis and advanced to candidacy. December 02
- Interning this summer at Facebook — working on the Hack language. May 24
- RbSyn: Type- and Effect-Guided Program Synthesis to appear at PLDI 2021. March 30
- Member of PLDI 2021 Artifact Evaluation Committee. February 05
2020
- Member of PLDI 2020 Artifact Evaluation Committee. January 20
2019
- Member of POPL 2020 Artifact Evaluation Committee. July 13
- RDL 2.2.0 released with type-level computations. June 09
- At Synthetic Minds as a research intern this summer. May 28
- Type-Level Computations for Ruby Libraries to appear at PLDI 2019. April 02
2017
- New post: 2017: Year in reviewDecember 31
- New post: Partial Evaluation of Bash ScriptsJanuary 18
2016
- New post: Ruby meta-hacking: Looking under the hoodOctober 28
- New post: Some thoughts on sandboxing programsOctober 10
- New post: HyperLogLog: Counting things efficientlyAugust 24
- New post: Take care, it’s Floating Point ArithmeticJuly 04
- New post: A Brainf*ck JITApril 03
- New post: Malloc and RSS memory usageMarch 31
- New post: Be cautious about Content-Length HTTP headersMarch 17
- New post: Webdriver over WebsocketsFebruary 20
2015
- New post: Hello WorldNovember 01