iiinova — where your digital self keeps evolving

Sam Westrick @shwestrick.bsky.social · 01/09/2026

exciting to see my research group grow here at NYU. Two more PhD students starting officially tomorrow: welcome to the ParCour group, Ariel and Atharva!! nyu-parcour.github.io

nyu-parcour.github.io

ParCour

050

Sam Westrick @shwestrick.bsky.social · 28/08/2026

Getting set up for the ML Workshop in Indianapolis! come join us at 9 for Matthew Flatt’s keynote: The Rhombus Programming Language

020

Sam Westrick @shwestrick.bsky.social · 11/07/2026

incredibly honored that our paper on Scheduler Augmentation won this year's _Best Paper Award_ at SPAA! This is joint work with my students Darshan Dinesh Kumar and Seong-Heon Jung. Excellent work Darshan and Seong-Heon!! Check out the talk (starts at ~1hr): rhul.hosted.panopto.com/Panopto/Page...

1102

Sam Westrick @shwestrick.bsky.social · 06/07/2026

getting some cool visuals going… github.com/nyu-parcour/...

020

Sam Westrick @shwestrick.bsky.social · 06/07/2026

delighted to announce that our SPAA paper received an outstanding paper award! Scheduler Augmentation: A Lightweight, Low-Cost Profiling Technique for Fork-Join Parallel Programs cs.nyu.edu/~shw8119/26/...

cs.nyu.edu

130

Reposted by Sam Westrick

Sam Westrick @shwestrick.bsky.social · 24/06/2026

We've extended the deadline for the ML Family Workshop 2026! The new deadline is ** July 1, AoE ** The submission requirements are fairly minimal: only 2 pages. Please consider submitting, and encourage your friends to do so too!

103

Sam Westrick @shwestrick.bsky.social · 24/06/2026

103

Sam Westrick @shwestrick.bsky.social · 16/06/2026

the ML Family Workshop (@ ICFP'26) submission deadline is approaching -- **Wednesday June 24** Please consider submitting! We especially welcome works-in-progress. Submission requirements are minimal -- just 2 pages. icfp26.sigplan.org/home/mlfamil...

icfp26.sigplan.org

ML Family Workshop 2026 - ICFP 2026

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, Flix, MaPLe, and many othe...

1110

Sam Westrick @shwestrick.bsky.social · 05/12/2025

my student Seong-Heon talking about one of our new projects at NYU! (We’re at NJPLS today, come say hi)

1102

Sam Westrick @shwestrick.bsky.social · 04/12/2025

Enjoying this presentation about performance engineering in the Go GC implementation: youtu.be/gPJkM95KpKo Really fantastic talk!

youtu.be

GopherCon 2025 - Advancing Go Garbage Collection with Green Tea - Michael Knyszek

YouTube video by Gopher Academy

030

Sam Westrick @shwestrick.bsky.social · 24/10/2025

happy to announce that, earlier this Fall, our QCE'25 paper "Local Optimization of Quantum Circuits" received a Best Paper award! cs.nyu.edu/~shw8119/25/...

cs.nyu.edu

150

Sam Westrick @shwestrick.bsky.social · 23/10/2025

for even more context: Laxman has been exploring the limits of what is possible on single-node parallel machines. This talk is about a recent SPAA paper. They’re getting great scalability up to 8TB on a single node

100

Sam Westrick @shwestrick.bsky.social · 22/10/2025

the famous Nissan Leaf slide returns! Laxman Dhulipala emphasizes the benefits of single-node, shared memory parallelism

140

Sam Westrick @shwestrick.bsky.social · 18/10/2025

one day, my apartment will look like this

1212

Reposted by Sam Westrick

Anil Madhavapeddy @anil.recoil.org · 17/10/2025

Extremely cool work on a mechanically verified garbage collector for OCaml using F* by Sheera Samsu, @kcsrk.info and colleagues at the OCaml Workshop #icfpsplash25

0257

Sam Westrick @shwestrick.bsky.social · 16/10/2025

Martin Elsman wraps up the day with Compositional Deep Argument Flattening, a method for summarizing flattening transformations to enable optimizations across compilation unit boundaries

000

Sam Westrick @shwestrick.bsky.social · 16/10/2025

Yanni Lefki (together with Arthur Charguéraud) develop “Binding Boolean Expressions”, a core calculus for generalized pattern matching, guards, and case statements

021

Sam Westrick @shwestrick.bsky.social · 16/10/2025

Samuel Vivien presents his recent work (together with Didier Rémy) on Implicit Modules, an important step towards the long-standing Modular Implicits proposal for OCaml: a way to get the compiler to insert the function you need, automatically

081

Sam Westrick @shwestrick.bsky.social · 16/10/2025

Yong Kiam overviews the design of CakeML and all of the successes of the project over the years!

100

Sam Westrick @shwestrick.bsky.social · 16/10/2025

Viviana Bono tackles representing structured knowledge databases as CDuce types www.cduce.org

010

Sam Westrick @shwestrick.bsky.social · 16/10/2025

Wenhao Tang motivates “Freezing Bidirectional Typing”, a new type inference scheme with some cool 🧊 and spooky 👻 features

000

Sam Westrick @shwestrick.bsky.social · 16/10/2025

Mizuki Arata presents LunarML — an impressive implementation!! It compiles standard ML down to either Lua or JavaScript. Tons of features. Check it out! github.com/minoki/LunarML

164

Sam Westrick @shwestrick.bsky.social · 16/10/2025

John presents new compiler optimization work inside of SML/NJ —

010

Sam Westrick @shwestrick.bsky.social · 16/10/2025

Dave is up! Calling in all the way from the Oregon coast

010

Sam Westrick @shwestrick.bsky.social · 16/10/2025

the ML Family Workshop begins in just a few hours! Come find us in Peony NE at 10:30, right next to the dining hall We have a great program with 9 talks! If you are curious about compilers, type systems, module systems, formal proofs, and typed domain modeling, then this is the place for you

141

Sam Westrick @shwestrick.bsky.social · 03/10/2025

in TypeDis (conditionally accepted at POPL!), we develop a type system for enforcing **disentanglement** statically at compile-time. This project was led by Alexandre Moine here at NYU, in close collaboration with Stephanie Balzer at CMU.

120

Reposted by Sam Westrick

Yaron Minsky @yminsky.bsky.social · 03/10/2025

Excited to say that we're looking to hire someone to focus on OxCaml education! We're doing enough to change the language that we have a pretty big internal education task ahead of us, and we want to hire someone to focus on it! Please share this with others! www.janestreet.com/join-jane-st...

janestreet.com

OxCaml Educator :: Jane Street

Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.

1176

Reposted by Sam Westrick

Anil Madhavapeddy @anil.recoil.org · 03/10/2025

And if you’re interested in OxCaml, we have a tutorial on Sunday at ICFP walking through it conf.researchr.org/track/icfp-s... (materials will be online for anyone afterwards. Just the minor detail of finishing writing them first)

conf.researchr.org

ICFP/SPLASH 2025 - Tutorials - ICFP/SPLASH 2025

Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! The registration is now open. Early Registration deadline: 31 August 2025. Activities ...

0103

Sam Westrick @shwestrick.bsky.social · 03/10/2025

absolutely thrilled to announce 2 papers (conditionally) accepted at POPL! TypeDis: A Type System for Disentanglement (Moine, Balzer, Xu, Westrick) All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs (Moine, Westrick, Tassarotti)

170

Sam Westrick @shwestrick.bsky.social · 19/09/2025

parallel Boyer-Moore majority selection is a nice bit of code; here it is in MaPLe. this algorithm seems to be folklore -- the original Boyer-Moore algorithm is sequential, but I've found at least two mentions of the parallel algorithm in the wild: ⬇️

3131

Sam Westrick @shwestrick.bsky.social · 02/09/2025

Looking over this paper today about parallel incremental convex hull: www.cs.ucr.edu/~yihans/pape... An interesting connection from computation geometry is that 2D Delaunay triangulations can be computed as a special case of 3D convex hulls...

cs.ucr.edu

120

Sam Westrick @shwestrick.bsky.social · 21/08/2025

another ML Family Workshop 2025 update! Happy to announce that Yong Kiam Tan (tanyongkiam.github.io) will give an invited talk, titled: From CakeML to Proof Checking, and Back Again See the full program here: conf.researchr.org/home/icfp-sp...

030

Sam Westrick @shwestrick.bsky.social · 13/08/2025

when I first moved to NYC I started making two lists — places to go, and places I’ve been 🚶🏼‍♂️ now, almost exactly a year later, I’ve been to ~250 places and counting love this city… so much to see

090

Sam Westrick @shwestrick.bsky.social · 07/08/2025

came across this nice writeup for managing uninstalls on Unix-like systems, especially for packages that don't provide any sort of `make uninstall` target: gist.github.com/ruario/a3605...

gist.github.com

Uninstalling (removing) a package installed via make install. No make uninstall target required

Uninstalling (removing) a package installed via make install. No make uninstall target required - make-install-remove.md

130

Sam Westrick @shwestrick.bsky.social · 04/08/2025

happy to announce that we have 8 accepted submissions for the ML Family Workshop this year! 🎉 Topics include type systems, type-guided domain modeling, compilers IRs and optimization, module systems, successor MLs, and scripting languages. Check it out! conf.researchr.org/home/icfp-sp...

conf.researchr.org

ML Family Workshop 2025 - Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025 - ICFP/SPLASH 2025

182

Reposted by Sam Westrick

ICFP Conference @icfp-conference.bsky.social · 31/07/2025

ICFP/SPLASH 2025 registration is open! If you register soon, you can catch the early registration discount (by August 31). Register for the whole 7 days and only pay for 6! conf.researchr.org/attending/ic...

conf.researchr.org

Registration - ICFP/SPLASH 2025

The registration is now open. Early Registration deadline: 31 August 2025. Welcome to the website of the joint ICFP/SPLASH 2025 conference! For the first time, the two leading SIGPLAN venues—ICFP and ...

035

Sam Westrick @shwestrick.bsky.social · 29/07/2025

whoops, committed git sins and merged main into feature branch

130

Sam Westrick @shwestrick.bsky.social · 25/07/2025

aha! so, on apple silicon, it turns out that STP can greatly hinder the performance of store-to-load forwarding, and apple explicitly recommends using single-register stores and loads in tight loops...

130

Sam Westrick @shwestrick.bsky.social · 24/07/2025

Alright so here we have two versions of the same loop, compiled on ARM. The loops are identical except for the spilled locations for temps x10 and x11. On the left, they are non-adjacent (see: two `str` near bottom). On the right, they happen to be adjacent (see: `stp`)

fast version of the loop (ARM assembly and profiling counts)

slow version of the loop (ARM assembly and profiling counts)

110

Sam Westrick @shwestrick.bsky.social · 24/07/2025

oof, yep, looks like the (seemingly unrelated) compiler optimization somehow caused a temporary to be reassigned from register to stack, with ~20% additional spilling cost

1110

Reposted by Sam Westrick

Phil Eaton @eatonphil.bsky.social · 13/07/2025

Continuing my mission to feed traveling PhD students Banh Mi in NYC, I had a great time chatting about OCaml and open source with Joe. Joe was one of my favorite speakers at NYC Systems so far. Make sure to check out his talk on youtube!

1183

Reposted by Sam Westrick

Harry Goldstein @harrisongoldste.in · 10/07/2025

Upstate NY folks: Cornell will be hosting Upstate PL (www.cs.cornell.edu/upstate-pl/) on Thursday, August 28th. You should come if you're in the area! Talk proposals are due August 4th, registration closes August 18th.

cs.cornell.edu

Upstate PL August 2025

075

Reposted by Sam Westrick

Kiran @kirancodes.me · 06/07/2025

PSA! Please share around! Due to a limited number of submissions, we're extending the OCaml Workshop deadline by a week to July 10th AoE! Functional programmers! Heed my call! We need your submissions!!

01212

Reposted by Sam Westrick

ICFP Conference @icfp-conference.bsky.social · 03/07/2025

🚨 Call for Volunteers: SPLASH/ICFP 2025 🚨 Join the team that makes it all happen! Meet the PL community, attend for free, and help run an amazing conference. Apply now 👉 tinyurl.com/splashifcp25... More info 👉 conf.researchr.org/track/icfp-s...

022