Meta tags:

Headings (most frequently used words):

and, sam, westrick, news, maple, mpl, publications, preprints, ph, thesis, talks, presentations, teaching, mentoring, advising, professional, service, collaborators, other,

Text of the page (most frequently used words):
and (56), parallel (33), abstract (23), sam (22), #westrick (22), for (21), 2025 (21), the (19), popl (18), 2024 (18), efficient (18), 2026 (16), pdf (16), umut (15), acar (15), acm (15), program (14), programming (14), slides (14), paper (14), committee (13), member (13), with (11), 2023 (11), 2022 (11), icfp (10), phd (10), disentanglement (10), workshop (9), present (9), functional (9), provably (9), parallelism (9), maple (9), video (8), chair (7), spaa (7), student (7), mpl (7), jatin (6), arora (6), reviewer (6), management (6), automatic (6), university (6), award (6), distinguished (6), best (6), code (5), have (5), all (5), kumar (5), alexandre (5), moine (5), mike (5), pldi (5), family (5), cmu (5), 2020 (5), master (5), thesis (5), independent (5), study (5), carnegie (5), mellon (5), programs (5), september (5), qce (5), quantum (5), circuits (5), undergraduate (4), rainey (4), matthew (4), fluet (4), invited (4), external (4), artifact (4), 2018 (4), research (4), now (4), 2019 (4), scalable (4), through (4), one (4), new (4), york (4), two (4), board (3), music (3), other (3), this (3), computer (3), science (3), wang (3), seong (3), heon (3), jung (3), darshan (3), dinesh (3), joseph (3), tassarotti (3), pengyu (3), liu (3), mingkuan (3), yongshan (3), ding (3), yue (3), rohan (3), yadav (3), daniel (3), anderson (3), stephanie (3), balzer (3), guy (3), blelloch (3), plmw (3), computation (3), algorithms (3), semesters (3), teaching (3), dynamic (3), via (3), january (3), ppopp (3), cost (3), grafeyn (3), sparse (3), simulation (3), tutorial (3), institute (3), languages (3), work (3), docker (3), out (3), see (3), accepted (3), wrote (2), some (2), game (2), maracaibo (2), professional (2), not (2), here (2), including (2), lawrence (2), sundara (2), vishnu (2), satish (2), karan (2), gangadhar (2), ulysses (2), butler (2), anirudh (2), sivaraman (2), byeongjee (2), kang (2), colin (2), mcdonald (2), dantong (2), enrico (2), deiana (2), brian (2), suchy (2), wilkins (2), simone (2), campanoni (2), nikos (2), hardavellas (2), peter (2), dinda (2), yao (2), adrien (2), guatto (2), ram (2), raghunathan (2), laxman (2), dhulipala (2), stefan (2), muller (2), evaluation (2), fhpnc (2), padl (2), steering (2), chaired (2), workshops (2), sigplan (2), service (2), summer (2), post (2), doc (2), stanford (2), mentoring (2), sessions (2), data (2), was (2), assistant (2), csci (2), 2017 (2), brief (2), announcement (2), tree (2), contraction (2), self (2), adjusting (2), june (2), hierarchical (2), memory (2), nested (2), march (2), 2021 (2), april (2), block (2), delayed (2), sequences (2), entanglement (2), detection (2), near (2), zero (2), simons (2), managing (2), talks (2), reynolds (2), doctoral (2), dissertation (2), arxiv (2), space (2), alex (2), high (2), level (2), separation (2), logic (2), local (2), optimization (2), logics (2), exploiting (2), internal (2), determinism (2), typedis (2), type (2), system (2), time (2), scheduler (2), augmentation (2), join (2), publications (2), shwestrick (2), bin (2), examples (2), check (2), github (2), language (2), year (2), lead (2), short (2), performance (2), garbage (2), collection (2), granularity (2), control (2), our (2), papers (2), list (2), below (2), nov (2), jan (2), sep (2), come (2), dec (2), about (2), news (2), bot, opponents, random, generation, mobile, word, hexicon, online, version, snippets, digital, nowadays, like, keep, learning, covers, vulfpeck, composing, doing, silly, stuff, dean, town, been, nearly, ended, becoming, tuba, player, long, before, switched, major, 2013, playing, whole, life, fortunate, worked, sorts, incredible, people, sanil, rao, many, others, troels, henriksen, pascal, costanza, niu, collaborators, panelist, topc, tqc, selection, src, asplos, area, splash, 2027, publicity, advisory, multiple, served, committees, review, panels, variety, conferences, journals, intern, berkeley, yifan, qiao, candidate, drake, adams, benjamin, scharlemann, patrick, collins, chen, advised, atharva, sharma, ariel, advising, 122, principles, imperative, n14, n13, m13, m14, 210, sequential, structures, f13, s14, f14, s15, f15, s16, f18, s19, s20, following, courses, s25, f25, f26, 3033, 121, special, topic, s26, 2130, compiler, construction, nyu, july, rit, mit, fast, seminar, cornell, keynote, seattle, ljubljana, how, thrive, london, montreal, denver, recording, october, presentations, august, info, john, larry, depa, simple, practical, order, maintenance, task, preprints, vitaly, aksenov, mutable, state, fairness, responsive, esa, drops, dagstuhl, batch, trees, change, propagation, cgo, michael, vijay, kandiah, bernat, armenio, warden, specializing, cache, coherence, effects, dislog, extended, complexity, span, credits, lightweight, customizable, low, profiling, technique, fork, pull, run, bash, primes, procs, open, source, try, project, makes, easy, avoid, races, unintended, race, conditions, currently, being, used, help, teach, hundreds, students, every, development, offers, excellent, multicore, combination, across, wide, range, benchmarks, shown, that, can, compete, such, terms, efficiency, benchmark, suite, recipient, will, giving, hands, dive, into, three, hours, total, description, available, sun, gave, talk, automatically, controlling, overheads, oct, jun, jul, find, elsewhere, web, twitter, mastodon, bsky, blog, previously, working, completed, focuses, especially, goal, make, simpler, safer, develop, software, providing, strong, guarantees, only, safety, but, also, from, include, based, safe, implementations, professor, courant, where, lab, acsys, parcour, stric, fifth, ave, room, 308, cims, department, robots, luck, good,

Text of the page (random words):
sam westrick about news maple publications talks teaching mentoring service other sam westrick s do good t we stric luck k a t ny robots u do t ed u 60 fifth ave room 308 cims computer science department new york university new york ny i am an assistant professor of computer science in the courant institute at new york university where i lead the parcour lab and am a member of acsys my research focuses on provably efficient and safe implementations of high level programming languages especially for parallel programming the goal is to make it simpler and safer to develop parallel software by providing strong guarantees on not only safety but also performance two examples from my work include 1 provably efficient parallel garbage collection based on disentanglement and 2 provably efficient automatic granularity control previously i was a post doc at carnegie mellon university working with umut acar i completed my phd at carnegie mellon in 2022 check out my blog and come find me elsewhere on the web bsky mastodon github twitter news jul 7 2026 scheduler augmentation is this year s best paper at spaa 26 jun 11 2026 two papers accepted at spaa 26 and icfp 26 see paper list below dec 15 2025 all for one and one for all program logics for exploiting internal determinism in parallel programs is a distinguished paper at popl 26 nov 6 2025 typedis a type system for disentanglement is accepted at popl 26 oct 22 2025 i gave a talk at the simons institute managing parallelism workshop about our work on automatically controlling parallelism overheads in maple video slides sep 3 2025 local optimization of quantum circuits is a best paper at qce 25 dec 12 2024 i will be giving at tutorial at popl 25 come join us on sun jan 19 for a hands on dive into mpl provably efficient parallel programming two sessions three hours total a short description of the tutorial is available here sep 16 2024 grafeyn efficient parallel sparse simulation of quantum circuits is a best paper at qce 24 jan 1 2024 automatic parallelism management is a distinguished paper at popl 24 nov 17 2023 we have two papers accepted at popl 24 see paper list below june 21 2023 i am the 2023 recipient of the sigplan reynolds doctoral dissertation award maple mpl i lead development of maple mpl for short an efficient and scalable parallel functional programming language maple offers excellent multicore performance through a combination of provably efficient parallel garbage collection and automatic granularity control across a wide range of parallel algorithms and benchmarks see our benchmark suite we have shown that maple can compete with languages such as c c in terms of time and space efficiency as a functional language maple makes it easy to avoid data races and unintended race conditions maple is currently being used at new york university and carnegie mellon university to help teach parallel programming to hundreds of students every year maple is open source check out the project on github or try it out now with docker docker pull shwestrick mpl docker run it shwestrick mpl bin bash examples bin primes mpl procs 4 publications best paper award scheduler augmentation a lightweight customizable low cost profiling technique for fork join parallel programs sam westrick darshan dinesh kumar and seong heon jung spaa 2026 pdf code dl acm a separation logic for parallel time complexity with work and span credits alexandre moine sam westrick and joseph tassarotti icfp 2026 dl acm code typedis a type system for disentanglement alexandre moine stephanie balzer alex xu and sam westrick popl 2026 pdf artifact dl acm distinguished paper all for one and one for all program logics for exploiting internal determinism in parallel programs alexandre moine sam westrick and joseph tassarotti popl 2026 pdf artifact dl acm best paper award local optimization of quantum circuits jatin arora mingkuan xu sam westrick pengyu liu dantong li yongshan ding and umut a acar qce 2025 pdf extended best paper award grafeyn efficient parallel sparse simulation of quantum circuits sam westrick pengyu liu byeongjee kang colin mcdonald mike rainey mingkuan xu jatin arora yongshan ding and umut a acar qce 2024 pdf abstract distinguished paper automatic parallelism management sam westrick matthew fluet mike rainey and umut a acar popl 2024 pdf abstract dl acm dislog a separation logic for disentanglement alexandre moine sam westrick and stephanie balzer popl 2024 pdf abstract dl acm efficient parallel functional programming with effects jatin arora sam westrick and umut a acar pldi 2023 pdf abstract dl acm warden specializing cache coherence for high level parallel languages michael wilkins sam westrick vijay kandiah alex bernat brian suchy enrico armenio deiana simone campanoni umut a acar peter dinda and nikos hardavellas cgo 2023 abstract dl acm distinguished paper entanglement detection with near zero cost sam westrick jatin arora and umut a acar icfp 2022 pdf abstract dl acm parallel block delayed sequences sam westrick mike rainey daniel anderson and guy e blelloch ppopp 2022 pdf abstract dl acm distinguished paper provably space efficient parallel functional programming jatin arora sam westrick and umut a acar popl 2021 pdf abstract dl acm parallel batch dynamic trees via change propagation umut a acar daniel anderson guy e blelloch laxman dhulipala and sam westrick esa 2020 pdf abstract drops dagstuhl disentanglement in nested parallel programs sam westrick rohan yadav matthew fluet and umut a acar popl 2020 pdf abstract dl acm fairness in responsive parallelism stefan k muller sam westrick and umut a acar icfp 2019 pdf abstract dl acm hierarchical memory management for mutable state adrien guatto sam westrick ram raghunathan umut a acar and matthew fluet ppopp 2018 pdf abstract dl acm arxiv brief announcement parallel dynamic tree contraction via self adjusting computation umut a acar vitaly aksenov and sam westrick spaa 2017 abstract dl acm preprints depa simple provably efficient and practical order maintenance for task parallelism sam westrick larry wang and umut a acar 2022 abstract arxiv ph d thesis john c reynolds doctoral dissertation award efficient and scalable parallel functional programming through disentanglement sam westrick carnegie mellon university august 2022 pdf abstract award info talks and presentations automatic parallelism management simons institute managing parallelism workshop october 2025 video slides mpl provably efficient parallel programming tutorial popl denver january 2025 code recording slides grafeyn efficient parallel sparse simulation of quantum circuits qce montreal september 2024 slides automatic parallelism management popl london january 2024 video slides how to thrive as a phd student plmw seattle september 2023 plmw ljubljana september 2022 slides keynote efficient and scalable parallel functional programming through disentanglement ml workshop september 2022 video abstract slides entanglement detection with near zero cost icfp september 2022 video abstract slides parallel block delayed sequences ppopp april 2022 video abstract slides efficient and scalable parallel functional programming through disentanglement stanford march 2022 cornell april 2022 abstract slides disentanglement provably efficient parallel functional programming mit fast code seminar march 2021 video abstract slides disentanglement in nested parallel programs popl january 2020 video abstract slides efficient parallel functional programming with hierarchical memory management rit june 2019 abstract slides brief announcement parallel dynamic tree contraction via self adjusting computation spaa july 2017 abstract slides teaching at nyu csci ga 2130 compiler construction semesters s26 csci ga 3033 121 special topic programming parallel algorithms semesters f26 f25 s25 i was a teaching assistant for the following courses at carnegie mellon 15 210 parallel and sequential data structures and algorithms semesters s20 s19 f18 s16 f15 s15 f14 s14 f13 15 122 principles of imperative computation summer sessions n14 m14 n13 m13 mentoring and advising 2025 present sundara vishnu satish phd student 2025 present seong heon jung phd student 2026 present ariel uy phd student 2026 present atharva sharma phd student 2024 present ulysses butler phd student co advised with anirudh sivaraman 2025 present ed chen phd independent study 2026 present patrick collins master s thesis and independent study 2026 benjamin scharlemann master s independent study 2025 2026 darshan dinesh kumar master s thesis and independent study 2024 2025 karan kumar gangadhar master s independent study 2024 2025 drake adams undergraduate research 2019 2020 lawrence wang undergraduate research cmu 2018 2019 rohan yadav undergraduate thesis cmu now phd candidate at stanford 2018 2020 yue yao master s thesis cmu now phd student at cmu 2018 yifan qiao cmu summer research intern now post doc at uc berkeley professional service i am a member of the icfp steering committee publicity chair 2024 present the ml family workshop steering committee 2025 present and the sigplan m advisory board i have chaired or co chaired multiple workshops including fhpnc co chair 2023 and the ml family workshop program co chair 2025 and 2026 and have served on the program committees and review panels of a variety of conferences journals and workshops popl 2027 program committee member icfp 2026 program committee member ml family workshop 2026 program co chair popl 2026 invited external reviewer padl 2026 program committee member ml family workshop icfp splash 2025 program chair pldi 2025 program committee member spaa 2025 pl area chair and program committee member asplos 2025 program committee member popl src 2025 selection committee member padl 2025 program committee member tqc reviewer 2024 topc reviewer 2024 ml family workshop icfp 2024 program committee member spaa 2024 invited external reviewer pldi 2024 artifact evaluation committee member plmw popl 2024 panelist fhpnc workshop icfp 2023 co chair sc 2023 invited external reviewer pldi 2023 artifact evaluation committee member pldi 2023 invited external reviewer collaborators i m fortunate to have worked with all sorts of incredible people including umut acar guy blelloch matthew fluet stefan muller stephanie balzer daniel anderson laxman dhulipala mike rainey rohan yadav jatin arora ram raghunathan adrien guatto yue yao lawrence wang yue niu peter dinda nikos hardavellas simone campanoni mike wilkins brian suchy enrico deiana pascal costanza alexandre moine yongshan ding dantong li sanil rao troels henriksen colin mcdonald byeongjee kang mingkuan xu pengyu liu joseph tassarotti anirudh sivaraman ulysses butler darshan dinesh kumar karan kumar gangadhar sundara vishnu satish seong heon jung and many others other i ve been playing music my whole life and nearly ended up becoming a professional tuba player here s me in 2013 not long before i switched my undergraduate major to computer science nowadays i like to keep up with music by learning covers e g dean town by vulfpeck composing e g this and this and doing other silly stuff i wrote the music for maracaibo digital the online version of the maracaibo board game some snippets 1 2 i wrote some of the code ai for bot opponents and random board generation for hexicon a mobile word game