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://bsky.app/profile/shwestrick.bsky.socialhttps://bsky.app/profile/shwestrick.bsky.social/post/3mqelsc7lh22tincredibly 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): https://rhul.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=44250813-06eb-4800-871a-b47a00f9a818&start=3649.52540811 Jul 2026 11:48 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3mqelsc7lh22thttps://bsky.app/profile/shwestrick.bsky.social/post/3mpyiafl6i22bgetting some cool visuals going… https://github.com/nyu-parcour/scheduler-augmentation/tree/graph-viz [contains quote post or other embedded content]06 Jul 2026 16:13 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3mpyiafl6i22bhttps://bsky.app/profile/shwestrick.bsky.social/post/3mpxwmh5x522ndelighted to announce that our SPAA paper received an outstanding paper award! Scheduler Augmentation: A Lightweight, Low-Cost Profiling Technique for Fork-Join Parallel Programs https://cs.nyu.edu/~shw8119/26/schedaug-spaa26.pdf06 Jul 2026 10:57 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3mpxwmh5x522nhttps://bsky.app/profile/shwestrick.bsky.social/post/3moyywhvjhs2vWe'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!24 Jun 2026 03:46 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3moyywhvjhs2vhttps://bsky.app/profile/shwestrick.bsky.social/post/3moyywhvjhs2vWe'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!24 Jun 2026 03:46 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3moyywhvjhs2vhttps://bsky.app/profile/shwestrick.bsky.social/post/3mofxanlky22wthe 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. https://icfp26.sigplan.org/home/mlfamilyworkshop-2026#Call-for-Presentations16 Jun 2026 13:55 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3mofxanlky22whttps://bsky.app/profile/shwestrick.bsky.social/post/3mnknncjt7k23doing camera ready tweaks for a paper, and this tool is amazing for double checking small changes https://github.com/vslavik/diff-pdf05 Jun 2026 17:22 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3mnknncjt7k23https://bsky.app/profile/shwestrick.bsky.social/post/3mcc3vhuc5k2ha beacon guides me13 Jan 2026 08:06 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3mcc3vhuc5k2hhttps://bsky.app/profile/shwestrick.bsky.social/post/3m7aw7buirc2hmy student Seong-Heon talking about one of our new projects at NYU! (We’re at NJPLS today, come say hi)05 Dec 2025 16:36 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m7aw7buirc2hhttps://bsky.app/profile/shwestrick.bsky.social/post/3m76ykce35c2qEnjoying this presentation about performance engineering in the Go GC implementation: youtu.be/gPJkM95KpKo Really fantastic talk! https://youtu.be/gPJkM95KpKo04 Dec 2025 22:12 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m76ykce35c2qhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3xcucmcjs25happy to announce that, earlier this Fall, our QCE'25 paper "Local Optimization of Quantum Circuits" received a Best Paper award! https://cs.nyu.edu/~shw8119/25/qce25-oac.pdf24 Oct 2025 16:40 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3xcucmcjs25https://bsky.app/profile/shwestrick.bsky.social/post/3m3syfw5mic2bfor 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 [contains quote post or other embedded content]22 Oct 2025 23:22 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3syfw5mic2bhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3staql2vc2bthe famous Nissan Leaf slide returns! Laxman Dhulipala emphasizes the benefits of single-node, shared memory parallelism22 Oct 2025 21:50 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3staql2vc2bhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3gnawskzs2lone day, my apartment will look like this18 Oct 2025 01:31 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3gnawskzs2lhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3cuucj2w22bMartin Elsman wraps up the day with Compositional Deep Argument Flattening, a method for summarizing flattening transformations to enable optimizations across compilation unit boundaries16 Oct 2025 13:36 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3cuucj2w22bhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3cuoscyx22bYanni Lefki (together with Arthur Charguéraud) develop “Binding Boolean Expressions”, a core calculus for generalized pattern matching, guards, and case statements16 Oct 2025 13:33 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3cuoscyx22bhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3cucetscc2bSamuel 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, automatically16 Oct 2025 13:26 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3cucetscc2bhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3ctnrc5gs2bYong Kiam overviews the design of CakeML and all of the successes of the project over the years!16 Oct 2025 13:14 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3ctnrc5gs2bhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3cfvqyb4c2bViviana Bono tackles representing structured knowledge databases as CDuce types www.cduce.org16 Oct 2025 09:08 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3cfvqyb4c2bhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3cfonints2bWenhao Tang motivates “Freezing Bidirectional Typing”, a new type inference scheme with some cool 🧊 and spooky 👻 features16 Oct 2025 09:04 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3cfonints2bhttps://bsky.app/profile/shwestrick.bsky.social/post/3m3bzcwku2c2cMizuki 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/LunarML16 Oct 2025 05:23 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3bzcwku2c2chttps://bsky.app/profile/shwestrick.bsky.social/post/3m3brq4wnj22kJohn presents new compiler optimization work inside of SML/NJ —16 Oct 2025 03:07 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3brq4wnj22khttps://bsky.app/profile/shwestrick.bsky.social/post/3m3bq2t72pc2kDave is up! Calling in all the way from the Oregon coast16 Oct 2025 02:38 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3bq2t72pc2khttps://bsky.app/profile/shwestrick.bsky.social/post/3m3boich4vk2oyou can follow the live feed here: https://www.youtube.com/live/8B4VrU_Jch8?si=vzy8dmtw7GE0tVCS [contains quote post or other embedded content]16 Oct 2025 02:09 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3boich4vk2ohttps://bsky.app/profile/shwestrick.bsky.social/post/3m3bhw3g7ec24the 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 you16 Oct 2025 00:12 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m3bhw3g7ec24https://bsky.app/profile/shwestrick.bsky.social/post/3m2crq757ps2ain 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. [contains quote post or other embedded content]03 Oct 2025 19:15 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m2crq757ps2ahttps://bsky.app/profile/shwestrick.bsky.social/post/3m2cahlxco22kabsolutely 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)03 Oct 2025 14:06 +0000at://did:plc:6fcntxe273dbr6q3szao7fjt/app.bsky.feed.post/3m2cahlxco22k