Sam Westrick
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
https://cs.nyu.edu/~shw8119/
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/~shw8119/25/...
cs.nyu.edu
October 24, 2025 at 4:40 PM
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/~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
They’re getting great scalability up to 8TB on a single node
October 22, 2025 at 11:22 PM
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
They’re getting great scalability up to 8TB on a single node
the famous Nissan Leaf slide returns!
Laxman Dhulipala emphasizes the benefits of single-node, shared memory parallelism
Laxman Dhulipala emphasizes the benefits of single-node, shared memory parallelism
October 22, 2025 at 9:50 PM
the famous Nissan Leaf slide returns!
Laxman Dhulipala emphasizes the benefits of single-node, shared memory parallelism
Laxman Dhulipala emphasizes the benefits of single-node, shared memory parallelism
one day, my apartment will look like this
October 18, 2025 at 1:31 AM
one day, my apartment will look like this
Reposted by Sam Westrick
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
October 17, 2025 at 3:32 AM
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
October 16, 2025 at 1:36 PM
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
October 16, 2025 at 1:33 PM
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
October 16, 2025 at 1:26 PM
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!
October 16, 2025 at 1:15 PM
Yong Kiam overviews the design of CakeML and all of the successes of the project over the years!
October 16, 2025 at 9:09 AM
Wenhao Tang motivates “Freezing Bidirectional Typing”, a new type inference scheme with some cool 🧊 and spooky 👻 features
October 16, 2025 at 9:05 AM
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
October 16, 2025 at 5:23 AM
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 —
October 16, 2025 at 3:08 AM
John presents new compiler optimization work inside of SML/NJ —
Dave is up! Calling in all the way from the Oregon coast
October 16, 2025 at 2:38 AM
Dave is up! Calling in all the way from the Oregon coast
October 16, 2025 at 2:10 AM
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
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
October 16, 2025 at 12:12 AM
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
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.
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)
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)
October 3, 2025 at 7:15 PM
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.
Reposted by Sam Westrick
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...
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.
www.janestreet.com
October 3, 2025 at 2:19 PM
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...
Please share this with others!
www.janestreet.com/join-jane-st...
Reposted by Sam Westrick
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)
October 3, 2025 at 2:32 PM
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)
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)
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)
October 3, 2025 at 2:06 PM
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)
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)
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: ⬇️
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: ⬇️
September 19, 2025 at 1:15 PM
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: ⬇️
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: ⬇️
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...
An interesting connection from computation geometry is that 2D Delaunay triangulations can be computed as a special case of 3D convex hulls...
www.cs.ucr.edu
September 2, 2025 at 2:48 PM
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...
An interesting connection from computation geometry is that 2D Delaunay triangulations can be computed as a special case of 3D convex hulls...
goals
Office biodiversity getting slightly out of control but I’m rolling with the ecosystem flow you know
August 28, 2025 at 4:34 PM
goals
August 27, 2025 at 5:55 PM
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...
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...
August 21, 2025 at 3:06 PM
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...
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...