SPLASH Conference
@splashcon
SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity
#SPLASH2023 #SPLASH23
ID:206278538
https://splashcon.org/ 22-10-2010 16:47:46
3,6K Tweets
2,7K Followers
294 Following
Shriram Krishnamurthi 🟤 🏴☠️ 👨🏽🏫 🚴♂️ 🏏
@ShriramKMurthi
🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketIlya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Alex Potanin
@AlexP_DownUnder
Review Committee Chair for OOPSLA 2024. Always looking for PhD students in PL and SE!Mike Hicks
@michael_w_hicks
Senior principal scientist@AWS & emeritus prof@UMD. Interests in programming languages and security. Co-lead Cedar https://t.co/5X4WKErcqQ, blog https://t.co/BT1KTMI8fhAlastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College LondonAndreas Zeller
@AndreasZeller
Software researcher at @CISPA. Testing, debugging, analyzing, and protecting software for a better world. Also on Mastodon as @[email protected].Laurence Tratt
@laurencetratt
Shopify / Royal Academy of Engineering Research Chair in Language Engineering.Jonathan Aldrich
@JAldrichPL
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo72wR). He/him. Views are mine.Erik Meijer
@headinthebox
Steve Blackburn (@[email protected])
@stevemblackburn
Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVXAlexander Serebrenik
@aserebrenik
Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]Zhendong Su
@zhendongsu
Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]Stefan Marr
@smarr
Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]KC Sivaramakrishnan
@kc_srk
CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Ron Garcia
@rg9119
Transmogrifies coffee into LaTeX at University of British ColumbiaICSE
@ICSEconf
The 46th edition of the premier International Conference on Software Engineering. April 14-20. Official hashtag: #icse2024.Static Analysis Symposium
@symposiumSAS
30th International Static Analysis Symposium, co-located with @splashcon #SAS2023 Tweets by @RustenholzLouis, @mvherme, @notjfmcGilad Bracha
@Gilad_Bracha
http://t.co/grDdm11PzPBhavya Chopra
@BhavyaChopra1
Research Fellow @Microsoft @ProseMsft • previously CS & Design undergraduate @IIITDelhi • interested in HCI+AI researchNischal Shrestha
@nischaldesign
Software engineer, lifter, runner, musician, coffee and beer enjoyer. He/him. @[email protected]John Wickerson
@wicko3
Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @[email protected].Lola Burgueño
@LolaBurgueno
Associate prof at @InfoUMA. Software Engineering and MDE. Testing, uncertainty, AI-enhanced systems, performance & moreDr Kelly Blincoe
@KellyBlincoe
Senior Lecturer in Software Engineering at the University of Auckland's Human Aspects of Software Engineering Lab (she/her) @[email protected]Caterina Urban
@caterinaurban
Research scientist at @Inria, working on enhancing software reliability and understanding complex software systems. I want a dog 🐕.Sukyoung Ryu
@sukyoungryu
Director of the KAIST AI Institute Head of the KAIST School of ComputingPOPL 2024
@poplconf
ACM SIGPLAN Symposium on Principles of Programming Languages. London, England, 17-19 January 2024. Tweets by @afd_icl and @wicko3.Onward! Conference
@onwardconf
VMIL Workshop at SPLASH
@VMIL2023
Virtual Machines and Language Implementations. Co-located with SPLASH'23.Programming Languages Mentoring Workshop
@PLMentoring
PL Mentoring Workshop at POPL, PLDI, ICFP, and SPLASH.Andreea Costea
@andre_costea
formal verification, languages, and OCaml enthusiast @NUSComputingHila Peleg 😷 @ VL/HCC
@HilaCodes
Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)alcides
@alcides
Typing types. Assistant Professor at the University of Lisbon.Grady Booch
@Grady_Booch
scientist, storyteller, philosopherMate Soos
@SoosMate
@[email protected] Hacker, security architect, and researcher. Hobbies: SAT solving, accident investigations, rc modeling, etc.Mehdi Bagherzadeh
@mbagherz
Assistant Professor, Department of Computer Science & Engineering, Oakland UniversityRaffi Khatchadourian
@khatchad
Associate Professor of Computer Science @CUNY @Hunter_College and @GC_CUNY. #StaticAnalysis, #Refactoring, #SoftwareEvolution, and #MachineLearningSystems.Sumit Gulwani
@SumitGulwani
Inventor of @msExcel Flash Fill. Scientist @MSFTResearch leading @ProseMSFT (Program synthesis, AI4Code). Connecting ideas, people, and research & practice. DadYouyou Cong
@yuyuchazuke
TT (Tenure-Track) assistant professor working on TT (Type Theory) at TT (Tokyo Tech). Mastodon: @[email protected]Irene Zhang
@schemeprincess
[email protected] on Mastodon. schemeprincess on Instagram.Neringa Young 🇺🇦 ❤
@NeringaYoung
Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASHashley williams
@ag_dubs
a mess like this is easily five to ten years ahead of its time. former @rustlang core team. working on something new @axodotdev. she/theyJuan Fumero
@snatverk
Research Fellow @OfficialUoM working on Java, VMs, GPU/FPGA computing. Intel Innovator. #TornadoVM team. Formerly @InfAtEd, @oraclelabs, @CERN.APT, UoManchester
@apt_csmcr
The Advanced Processor Technologies (APT) group researches advanced and novel approaches to processing and computation.Christos Kotselidis
@CKotselidis
Chief Engineer @ktm_racing | Associate Professor @OfficialUoM | Project Lead @tornadovmJim Cramer
@jimcramer
Host of @madmoneyoncnbc and I run the CNBC Investing Club. Follow along and join my mailing list at https://t.co/MiPnDUwQ8r…Paul R. La Monica
@LaMonicaBuzz
All stocks and economy. All the time. Except when I mix in references to sports and pop culture too. Ex-@CNNBusiness Digital CorrespondentECOOP'23 Conference
@ECOOPconf
European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP23covid19indiaorg
@covid19indiaorg
Volunteer driven, crowdsourced tracker for Covid19 cases in India. API - https://t.co/BhzfkJHHb5 Blog - https://t.co/LrAe5Z3HR4 Telegram - https://t.co/vRGnChe7guAhmedabad Police અમદાવાદ પોલીસ
@AhmedabadPolice
Official Twitter Account of Ahmedabad Police. Dial 100 in case of Emergency.Dr. S. Jaishankar
@DrSJaishankar
External Affairs Minister of India. Member of Parliament (Rajya Sabha) from Gujarat State.U.S. Ambassador Eric Garcetti
@USAmbIndia
Official account of the U.S. Ambassador in India. Follow @USAndIndia for Embassy updates. Terms of use: https://t.co/2NmFT2CiPUU.S. Embassy India
@USAndIndia
Official account of U.S. Embassy in India. RTs/links are not endorsement. Follow US Ambassador to India at @USAmbIndia. Terms of use: https://t.co/Hz0PCXRUZ7Shamika Ravi
@ShamikaRavi
Mom. Economist. Professor. Member @EACtoPM. Thinking & writing on India’s Growth & Development. Past: @BrookingsInst @ISBedu @NYUniversity @ORFOnlineIAS Association
@IASassociation
Official Twitter handle of IAS(Central)Association. This handle follows only IAS Officers. RT ≠ endorsement.Programming Languages Talks
@PLPresents
We record and upload videos of PL talks. Run by @LeifAndersen and @ckfiniteΔιομήδης Σπινέλλης @[email protected]
@DSpinellis
Καθηγητής στο Τμήμα ΔΕΤ του Οικονομικού Πανεπιστημίου Αθηνών. Account for Greek/Greece tweets. For English/IT tweets in English follow @CoolSWEng.Bruno Oliveira
@bcdsoliveira
Warren Sack
@WarrenSack
Software designer and media theorist, professor at the University of California, Santa CruzFabio Niephaus
@fniephaus
Researcher on the @GraalVM team at @OracleLabs. Dev tools, languages, VMs. Previously at @HPI_DE, @GoogleColab, and @MatonGuitars. Views are my own.Arjun Guha
@ArjunGuha
hacker / CS professor @KhouryCollege @neu_prl / visiting professor @roblox @[email protected]Tomas Petricek
@tomaspetricek
Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CLCWI
@CWInl
Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands since 1946. Tweets Dutch/English.[email protected] 🌻 🕊️
@AndrzejWasowski
An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. https://t.co/SIsNTD3XbDSoftwareLanguagesLab
@softlab_brussel
The Software Languages Lab is a research lab within the Department of Computer Science of the Vrije Universiteit Brussel (VUB).