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...

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

Sam Westrick@shwestrick.bsky.social · last mo.

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/...

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/...

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!

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!

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...

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...

icfp26.sigplan.org

doing camera ready tweaks for a paper, and this tool is amazing for double checking small changes github.com/vslavik/diff...

GitHub - vslavik/diff-pdf: A simple tool for visually comparing two PDF files

A simple tool for visually comparing two PDF files - vslavik/diff-pdf

github.com

a beacon guides me

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

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

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

YouTube video by Gopher Academy

youtu.be

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/...

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

Sam Westrick@shwestrick.bsky.social · 10mo ago

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

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

one day, my apartment will look like this

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

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

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

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

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

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

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

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

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

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

you can follow the live feed here: www.youtube.com/live/8B4VrU_...

Sam Westrick@shwestrick.bsky.social · 10mo ago

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

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

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.

Sam Westrick@shwestrick.bsky.social · 10mo ago

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)

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...

OxCaml Educator :: Jane Street

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

janestreet.com

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)

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 ...

conf.researchr.org

Yaron Minsky@yminsky.bsky.social · 10mo ago

We're going to be at SPLASH/ICFP in Singapore, so if you're going, come talk to us! Richard Eisenberg is an especially good person to ask, but a lot of us will have useful context on this.

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)