Meta tags:
description=Welcome Welcome to SPLASH 2021, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. SPLASH took place Sunday October 17th to Friday 22th in Chicago as well as virtually. Thank you speakers, student volunteers, and attendees for making SPLASH a great conference. SPLASH 2021 required in-person attendees to be fully vaccinated, ...;

Headings (most frequently used words):

invited, and, splash, 2021, chicago, of, for, speaker, programming, co, analysis, language, the, workshops, conferences, august, hosted, scientific, keynote, end, jonathan, latest, news, lake, michigan, river, ride, navy, pier, museum, hotel, room, in, person, conference, venue, welcome, schedule, keynotes, ask, me, anything, speakers, located, early, registration, open, 24, state, 20, tracks, symposia, attending, integrated, modeling, lab, automation, designing, safe, programmed, molecular, systems, exascale, then, what, hpc, ai, discovery, graalvm, native, image, large, scale, static, java, software, as, computational, media, gpce, live, by, example, better, together, specification, to, proof, reactive, its, compiler, talk, oracle, parfait, flavour, real, world, vulnerability, detection, intelligent, configuration, reflections, on, decade, moarvm, runtime, raku, cross, domain, compilation, exploiting, synergies, across, cs, community, pointer, bytecode, programs, effective, formal, verification, smart, contracts, interactive, code, sle, integrating, usability, into, design, luca, cardelli, robyn, lutz, rick, stevens, ashley, williams, martin, abadi, robert, rand, heidy, khlaaf, leslie, lamport, christian, wimmer, clemens, nylandsted, klokmose, sorin, lerner, timothy, bourke, cristina, cifuentes, worthington, tobias, grosser, mooly, sagiv, gerard, holzmann, aldrich,

Text of the page (most frequently used words):
splash (49), committee (44), 2021 (37), oopsla (27), #program (21), for (17), the (16), papers (15), keynote (15), organizing (14), and (13), onward (13), chicago (12), virtual (12), oct (12), invited (11), student (9), sigplan (9), supporter (9), attendees (8), workshops (8), aplas (8), ama (8), photo (8), steering (8), programming (7), zurich (7), previous (7), year (7), guide (6), registration (6), hosted (6), sle (6), sas (6), gpce (6), posters (6), plmw (6), conference (6), fully (6), vaccinated (6), dose (6), venue (5), live (5), conferences (5), cares (5), volunteers (5), research (5), person (5), speaker (5), attendance (4), swissotel (4), scala (4), vmil (4), rebls (4), hatra (4), dsm (4), conflang (4), bcnc (4), agere (4), dls (4), closing (4), awards (4), faculty (4), mentorship (4), roundtable (4), pltea (4), ask (4), anything (4), keynotes (4), competition (4), doctoral (4), symposium (4), rebase (4), essays (4), artifacts (4), business (4), tracks (4), bronze (4), silver (4), cdc (4), are (4), weeks (4), after (4), series (4), such (4), vaccine (4), johnson (4), you (4), wed (4), talk (4), software (4), speakers (4), about (4), start (4), organizers (3), code (3), online (3), symposia (3), opening (3), mon (3), all (3), language (3), analysis (3), welcome (3), fri (3), sun (3), languages (3), certificate (2), session (2), chairs (2), workshop (2), presenters (2), conduct (2), sponsoring (2), students (2), attending (2), using (2), form (2), posts (2), sponsor (2), news (2), defined (2), according (2), considered (2), their (2), second (2), pfizer (2), moderna (2), vaccines (2), single (2), janssen (2), don (2), meet (2), these (2), requirements (2), regardless (2), center (2), disease (2), control (2), august (2), sep (2), hridesh (2), rajan (2), open (2), early (2), this (2), jonathan (2), end (2), scientific (2), systems (2), tue (2), room (2), was (2), required (2), not (2), validation (2), acm (2), your (2), applications (2), october (2), max (2), bender (2), sign (2), artifact (2), evaluation (2), external (2), review (2), committees (2), support, page, conf, researchr, org, contact, jun, facebook, splashcon, show, recent, paper, presentations, gold, supporters, articles, read, full, article, will, require, state, now, please, register, closes, september, latest, aldrich, integrating, usability, into, design, gerard, holzmann, interactive, mooly, sagiv, pointer, bytecode, programs, effective, formal, verification, smart, contracts, tobias, grosser, cross, domain, compilation, exploiting, synergies, across, community, worthington, reflections, decade, moarvm, runtime, raku, cristina, cifuentes, oracle, parfait, flavour, real, world, vulnerability, detection, intelligent, configuration, timothy, bourke, specification, proof, reactive, its, compiler, sorin, lerner, example, better, together, clemens, nylandsted, klokmose, computational, media, christian, wimmer, graalvm, native, image, large, scale, static, java, located, leslie, lamport, heidy, khlaaf, robert, rand, martin, abadi, ashley, williams, rick, stevens, exascale, then, what, hpc, discovery, robyn, lutz, designing, safe, programmed, molecular, luca, cardelli, integrated, modeling, lab, automation, src, thur, schedule, option, available, unvaccinated, offered, options, those, individuals, who, vaccination, conducted, vendor, contracted, perform, masks, were, age, embraces, aspects, construction, delivery, make, premier, intersection, engineering, took, place, sunday, 17th, friday, 22th, well, virtually, thank, making, great, humanity, hotel, museum, chris, nguyen, navy, pier, grace, river, ride, solstice, hannan, lake, michigan, sawyer, bengtson, tim, gouw, lance, anderson, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2022, 2023, 2024, 2025, 2026, search, organising, people, index, contributors, judges, reviewers, commitee, mentors, panelists, track, organization, talks, future, thu, toggle, navigation, illinois, united, states,

Text of the page (random words):
splash 2021 splash 2021 sun 17 fri 22 october 2021 chicago illinois united states toggle navigation attending venue swissotel chicago venue online students registration sponsoring code of conduct guide for attendees guide for presenters guide for session chairs and workshop organizers certificate of attendance program splash program your program sun 17 oct mon 18 oct tue 19 oct wed 20 oct thu 21 oct fri 22 oct tracks splash 2021 oopsla sigplan papers sigplan business future of conferences oopsla artifacts onward essays onward papers rebase doctoral symposium plmw posters splash e student research competition student volunteers workshops keynotes ask me anything ama pltea faculty mentorship roundtable cares awards opening closing co hosted conferences aplas aplas aplas keynote talks aplas research papers dls gpce sas sle workshops agere bcnc conflang dsm hatra live rebls vmil co hosted symposia scala organization splash 2021 committees organizing committee steering committee track committees oopsla review committee external review committee sigplan papers sigplan business oopsla artifacts onward essays program committee onward steering committee onward papers program committee onward steering committee doctoral symposium plmw organizing committee speakers panelists mentors posters splash e program commitee steering committee student research competition organizers reviewers judges student volunteers workshops pltea faculty mentorship roundtable cares contributors people index co hosted conferences aplas organising committee program committee dls program committee external program committee steering committee gpce organizing committee program committee steering committee sas invited speakers organizing committee program committee artifact evaluation committee sle organizing committee program committee artifact evaluation committee steering committee workshops agere organizing committee program committee bcnc organizing committee program committee conflang organizing committee program committee dsm organizing committee program committee hatra organizing committee program committee live organizing committee program committee rebls organizing committee program committee steering committee vmil organizing committee program committee co hosted symposia scala keynote organizing committee program committee search series series splash 2026 splash 2025 splash 2024 splash 2023 splash 2022 splash 2021 splash 2020 splash 2019 splash 2018 splash 2017 splash 2016 splash 2015 splash 2014 splash 2013 splash 2012 splash 2011 splash 2010 oopsla 2009 oopsla 2008 oopsla 2007 oopsla 2006 oopsla 2005 oopsla 2004 oopsla 2003 oopsla 2002 oopsla 2001 oopsla 2000 sign in sign up photo by lance anderson chicago splash is about to start photo by tim gouw chicago splash is about to start photo by max bender chicago splash is about to start photo by sawyer bengtson chicago splash is about to start photo by max bender lake michigan photo by solstice hannan chicago river ride photo by grace ho navy pier photo by chris nguyen chicago museum hotel room swissotel chicago in person conference venue swissotel chicago splash 2021 welcome welcome to splash 2021 the acm sigplan conference on systems programming languages and applications software for humanity splash embraces all aspects of software construction and delivery to make it the premier conference on the applications of programming languages at the intersection of programming languages and software engineering splash took place sunday october 17th to friday 22th in chicago as well as virtually thank you speakers student volunteers and attendees for making splash a great conference splash 2021 required in person attendees to be fully vaccinated as defined by the center for disease control cdc according to the cdc attendees are considered fully vaccinated a 2 weeks after their second dose in a 2 dose series such as the pfizer or moderna vaccines or b 2 weeks after a single dose vaccine such as johnson johnson s janssen vaccine if you don t meet these requirements regardless of your age you are not fully vaccinated splash 2021 offered virtual attendance options for those individuals who are not fully vaccinated vaccination validation was conducted by a vendor contracted by the acm to perform this validation for the splash 2021 conference masks were required at splash 2021 the virtual attendance option was available to unvaccinated attendees splash schedule room sun oct 17 mon oct 18 tue oct 19 wed oct 20 thur oct 21 fri oct 22 zurich d aplas aplas sas welcome keynote oopsla oopsla posters virtual awards oopsla closing zurich b sas sas rebase oopsla oopsla oopsla zurich c gpce sle gpce sle dls plmw oopsla onward oopsla onward oopsla onward zurich e scala conflang hatra splash e previous year s papers previous year s papers zurich f agere dsm live cares plmw previous year s papers previous year s papers zurich g bcnc rebls vmil previous year s papers previous year s papers previous year s papers zurich a src posters splash keynotes keynote integrated scientific modeling and lab automation luca cardelli virtual keynote designing safe programmed molecular systems robyn lutz keynote exascale and then what hpc and ai for scientific discovery rick stevens ask me anything ama virtual invited speaker ashley williams ama virtual invited speaker martin abadi ama in person invited speaker robert rand ama virtual invited speaker heidy khlaaf ama virtual invited speaker leslie lamport invited speakers workshops co located conferences keynote graalvm native image large scale static analysis for java christian wimmer keynote software as computational media clemens nylandsted klokmose virtual keynote gpce keynote live programming and programming by example better together sorin lerner keynote specification and end to end proof of a reactive language and its compiler invited talk timothy bourke invited talk virtual oracle parfait the flavour of real world vulnerability detection and intelligent configuration cristina cifuentes keynote reflections on a decade of moarvm a runtime for the raku programming language jonathan worthington keynote cross domain compilation exploiting synergies across the cs community tobias grosser invited talk virtual pointer analysis of bytecode programs for effective formal verification of smart contracts mooly sagiv invited talk virtual interactive code analysis gerard holzmann in person keynote sle keynote integrating usability into programming language design jonathan aldrich latest news wed 8 sep 2021 by hridesh rajan early registration open for splash 2021 august 24 2021 splash 2021 registration is now open please register using this online registration form early registration closes on september 18 2021 wed 8 sep 2021 by hridesh rajan state of splash 2021 august 20 2021 splash 2021 will require in person attendees to be fully vaccinated as defined by the center for disease control cdc according to the cdc attendees _ are considered fully vaccinated a 2 weeks after their second dose in a 2 dose series such as the pfizer or moderna vaccines or b 2 weeks after a single dose vaccine such as johnson johnson s janssen vaccine if you don t meet these requirements regardless read full article all news articles supporters gold supporter silver supporter silver supporter silver supporter silver supporter bronze supporter bronze supporter bronze supporter bronze supporter sponsor sponsor splash 2021 tracks oopsla recent sigplan conference paper presentations sigplan business oopsla artifacts onward essays onward papers rebase doctoral symposium plmw splash posters splash e student research competition student volunteers workshops keynotes ask me anything ama pltea faculty mentorship roundtable cares awards opening closing show all tracks posts splashcon posts facebook x mon 15 jun 21 36 splash 2021 contact form using conf researchr org v1 73 2 support page tracks oopsla sigplan papers sigplan business oopsla artifacts onward essays onward papers rebase doctoral symposium plmw posters splash e student research competition student volunteers workshops keynotes ask me anything ama pltea faculty mentorship roundtable cares awards opening closing co hosted conferences aplas 2021 dls 2021 gpce 2021 sas 2021 sle 2021 workshops agere 2021 bcnc 2021 conflang 2021 dsm 2021 hatra 2021 live 2021 rebls 2021 vmil 2021 co hosted symposia scala 2021 attending venue swissotel chicago venue online students registration sponsoring code of conduct guide for attendees guide for presenters guide for session chairs and workshop organizers certificate of attendance