-
Tweets1K
-
Followers3K
-
Following349
-
Likes4K
Stephanie Weirich retweeted
ESOP 2025 first-round submission deadline is in three weeks! Do not miss it! etaps.org/2025/conferenc…
0
3
8
2K
1
View Details
Stephanie Weirich retweeted
The complete list of accepted papers for ETAPS 2024 main conferences is out! etaps.org/2024/accepted-…
Stephanie Weirich retweeted
deadline for industrial talk proposals for the ETAPS industry day is the 26th Jan More info: etaps.org/2024/industry-…
Stephanie Weirich retweeted
Word of the Day (because it’s about time) is ‘respair’, from the 16th century. It means fresh hope, and a recovery from despair. One of too many lost positives we could do with bringing back. Wishing everyone a gruntled, gormful, ruthful and feckful New Year, full of respair.
Stephanie Weirich retweeted
I am very saddened by this news. Niklaus got me into CS since I became fascinated by the beauty of his language designs and compiler architectures. And later he became the guiding mentor for my doctoral studies at ETH.
We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.
Stephanie Weirich retweeted
Applications are now open for REPL, Penn PLClub's Summer REU! We have a lot of really exciting projects going on at PLClub right now – if you're an undergrad who's interested in PL research, please apply! penn-repl.github.io
@lastland0 @bingzheliu Congratulations!!
Stephanie Weirich retweeted
ICFP'24 will take place on 2-7 September 2024 in Milan, Italy. The call for papers is now available: icfp24.sigplan.org/track/icfp-202… Time to start mining those lambdas!
Stephanie Weirich retweeted
Did you know that you can submit a paper to ESOP 2024 in several formats – Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format? etaps.org/2024/conferenc…
Stephanie Weirich retweeted
Due to various requests, we will allow four more days for submission updates on papers submitted to ETAPS by the deadline. That is, authors needs to submit their papers by October 12 AoE and will be allowed to make changes/updates by October 16, AoE.
Stephanie Weirich retweeted
Can't resist: Liking #ocaml ? Check out #fstarlang. Program with proofs in a general purpose, higher order, strict language and extract to efficient executable code in OCaml. fstar-lang.org
Stephanie Weirich retweeted
ESOP's done well here: "For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format" etaps.org/2024/conferenc…
I wish as academics we could focus on producing evidence and not waste time reformatting. I am glad this has now been quantified. But I would like to think these may reflect a lower bound on the true cost as there is an extensive margin as well. I have a whole trail of perfectly
Stephanie Weirich retweeted
Scholarship applications for PLMW@POPL 2024 are up! Scholarships include travel, lodging, and attendance for both POPL and the Programming Languages Mentoring Workshop. Please, sign up your undergraduate and early graduate students! popl24.sigplan.org/home/PLMW-POPL…
The ESOP 2024 deadline is in a little over one month (Oct 12th). Note the new submission categories (experience reports and fresh perspectives) and lack of formatting requirements for the research papers submission category. More info at: etaps.org/2024/conferenc…
Stephanie Weirich retweeted
Fireside chat with Felix Klock, Greg Morrisett, and Amal Ahmed at #ICFP. Rust, Cyclone, systems programming and functional programming!
Stephanie Weirich retweeted
We are now accepting applications for the 24-25 University of Pennsylvania Provost's Postdoctoral Fellowship for Academic Diversity. Please share with your colleagues! apply.interfolio.com/129592
Stephanie Weirich retweeted
Sad to be missing out on being in the room to listen to @avsm's upcoming keynote: icfp23.sigplan.org/details/icfp-2… Glad to be able to watch the talk live from the other side of the world youtube.com/playlist?list=… 🙏
Stephanie Weirich retweeted
Teaser of my talk at HOPE today. It's at 2:30 -- HOPE to see you there!
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Graham Hutton @haskellhutt
9K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
17K Followers 814 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
naomi (forgetful func... @fixedpointfae
5K Followers 501 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Matt Parsons @mattoflambda
5K Followers 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Tweag by Modus Create @tweagio
7K Followers 304 Following Improving the craft of software engineering.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
JΞM GΞTONGA 0x @jimgitonga1
1K Followers 4K Following EX Bio-Medical Engineer. Mobile App Developer @Asterixsoftware.A random guy who gets paid for googling correctly.Goat Farmer and Api farmer.
lol kao @lol_kao
23 Followers 675 Following
Alistair Bayley @albayley
2 Followers 189 Following
Christian Dzidula Dot... @Solas_Christ
96 Followers 3K Following A Christian who views life with civil eyes and thoughtful playfulness.Expressing the Whole of life in bits and pieces,sometimes in qubits🤣.A Maker of ML Models
Anthony @_faineance
55 Followers 1K Following
Karel Gardas @KarelGardas
143 Followers 538 Following I work with C/C++/Haskell/Java/Python/Rust/Scheme/SmallTalk on Unix(-like) OSes mostly. @[email protected]
anshuman @anshuman0819
76 Followers 4K Following
VegetaAvatar @VeGeTaX29
20 Followers 7K Following
Daniel Ackley Cartoon... @AckleyCartoons
300 Followers 5K Following Daniel Ackley is an award-winning newspaper artist. Born legally blind, he later had lens implant surgery that restored his vision to nearly 20/20.
Tran Dang Hoan @hoanhaiphong
31 Followers 5K Following
rneb @rnebbi
82 Followers 7K Following
Kumar Kartikeya Dwive... @kkdwvd
171 Followers 4K Following
Andrii Nasinnyk @nas1k
127 Followers 332 Following
Gabriela Moreira @bugarela
1K Followers 1K Following Building @quint_lang at @informalinc | Born and living in Brazil 🇧🇷
arda @onmagir
28 Followers 300 Following mathematics undergrad interested in formal methods and logic. nlab fan!
farsi_rumi @farsi_rumi
0 Followers 2K Following
Avneesh Sarwate @AvneeshSarwate
264 Followers 3K Following Music Tech + Misc https://t.co/mMwrzZ0YQ3
this is @__a_username_
505 Followers 3K Following PL enthusiast - polyglot programmer; 160 chars is a lot to describe self. Opinions are own.
sponsianus @sponsianus
1 Followers 2K Following
llvmvsllm @llvmvsllm
52 Followers 1K Following
Sanjay Nadaraja @SanjayNadaraja
236 Followers 1K Following
Hank @Cheezaight
103 Followers 678 Following I like building games with others. Building with Jai, Verse, and Unreal
CoolBasedName @iuAiqsFskk7ixIU
0 Followers 64 Following
Nissan Patel @NissanPatel1012
1 Followers 548 Following
patrick sphinx @SphinxPatrick
7 Followers 230 Following
hojichacastella @hojichacastella
2 Followers 160 Following
James Laird-Smith @JLS_DataScience
230 Followers 336 Following Data Scientist at the @BankofEngland. Previously at the @FinancialTimes and University of Cape Town. 🩴🇿🇦
j k @jahanthemon
4 Followers 159 Following
Preference @Preference82814
29 Followers 4K Following
dreemer @dreeem_er
2 Followers 54 Following
Steve Goguen @sgoguen
632 Followers 1K Following F# flunky, Lean lackey, theorem thief, formalism fanboy
azendus @azendus
35 Followers 697 Following
𝖌𝖎𝖘𝖙 (�... @lfgist
2K Followers 1K Following tired boï - hundsome gang - pfp by @untitled01ipynb - our father in langley hallowed be your name
ardalaan @ardalaaaan
1 Followers 88 Following
Moazin K. @moazinkhatri
155 Followers 736 Following Compilers | FPGAs | Programming Models - Graduate Researcher at SFU, Canada.
Xizao Wang @wangxiz
40 Followers 483 Following Ph.D. student in Computer Science at Nanjing University, focus on program analysis and programming languages.
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Graham Hutton @haskellhutt
9K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
17K Followers 814 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Matt Parsons @mattoflambda
5K Followers 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Erik Meijer @headinthebox
36K Followers 0 Following
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Yaron (Ron) Minsky @yminsky
21K Followers 365 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Ernest Ng @ngernest2
496 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
Sukyoung Ryu @sukyoungryu
591 Followers 237 Following KAIST ICT Endowed Chair Professor Chairperson of Kakao Impact (https://t.co/li80h1SU9L)
Amtrak Northeast @AmtrakNECAlerts
105K Followers 8 Following Real-time service delay information affecting three or more trains in the Northeast Region from VA to ME.
ETAPS Conferences (no... @ETAPSconf
347 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
A Cambridge Diary @acambridgediary
77K Followers 85 Following The original Cambridge Diary. 5,000 continuous daily pictures of Cambridge curated into a trilogy of photographic love letters https://t.co/l30mAx0Yd6
Hank Green @hankgreen
1.5M Followers 1K Following
Lars Bergstrom @larsberg_
3K Followers 3K Following Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)
Brent Yorgey @BrentYorgey
6 Followers 0 Following
Hongseok Yang @hyang144
316 Followers 141 Following Professor at the School of Computational Sciences, KIAS.
Benjamin C Lee @Lee_BenjaminC
314 Followers 62 Following Professor of Electrical Engineering and Computer Science, University of Pennsylvania. Studying computer architecture, data science, algorithmic economics
Bruno Oliveira @bcdsoliveira
241 Followers 122 Following
Nick Rioux @nickrioux
282 Followers 858 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad
Alex Kavvos @lambdabetaeta
761 Followers 980 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
Andrew Head @drewmikehead
2K Followers 844 Following Assistant professor @Penn CS. HCI. Computers as comprehension aids. Interactions for reading code, formulas, medical jargon, and mechanized proofs.
Nachi @modaltype
368 Followers 286 Following "The limits of my language mean the limits of my world" and all that
Center for Safe, Expl... @PennAsset
578 Followers 47 Following A @PennEngineers research center devoted to science and tools for ensuring AI-enabled systems are safe, explainable, and trustworthy
kiniry @kiniry
1K Followers 1K Following Dad. Partner. Scientist. Activist. Maker. — He/Him Mastodon at @[email protected]
Kevin B. Johnson, MD,... @kbjohnsonmd
2K Followers 2K Following Cohen University Professor of Pediatrics, Engineering, Biomedical Informatics, and Communication. Senior Fellow of LDI. Tweets (views) here are my own.
julesh @_julesh_
10K Followers 133 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Neringa Young @NeringaYoung
1K Followers 792 Following Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASH
Nikhil Swamy @lambdaNik
785 Followers 203 Following
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Type Theory Forall @ttforall
4K Followers 323 Following Your favorite type theory podcast! Check our merch store! https://t.co/qiQYj4pnqx
Santosh Nagarakatte @santoshgnag
1K Followers 597 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Eric Sun @_ericsun_
131 Followers 207 Following Assistant Professor at @DrexelCCI. Researching cybercrime, human-centered security, threat intelligence, etc.
Eric Wong @RICEric22
2K Followers 110 Following Assistant professor at University of Pennsylvania. Machine learning, optimization, robustness & interpretability. https://t.co/lcmttvNXAW
Surbhi Goel @SurbhiGoel_
2K Followers 613 Following Assistant Prof @PennCIS | Postdoc @MSFTResearch | PhD @UTCompSci | Co-founder @let4all
Lingjie Liu @LingjieLiu1
5K Followers 1K Following Assistant Professor at UPenn. Research interests: Neural Scene Representation, Neural Rendering, Human Performance Modeling and Capture.
Henry P. Towsner @htowsner
940 Followers 191 Following Associate professor of mathematics @Penn. Logic and related topics. Sometimes distracted by RPGs and Judaism. He/him/his. @[email protected]
Shreya Havaldar @shreyahavaldar
289 Followers 281 Following PhD student @cis_penn | student researcher @googledeepmind | multilingual NLP + cultural psychology | she/her 🌸
Eddie Kohler @xexd
2K Followers 379 Following Ass, Professor. Gay. “Wow, A+++ would rely on the services of Eddie "Monkey Bounty Hunter" Kohler again” —@moyix. They (or he)
Katalin Kariko @kkariko
65K Followers 228 Following I am a scientist, working on the therapeutic use of in vitro transcribed mRNA.
Ryan Marcus @RyanMarcus
2K Followers 1K Following Assistant prof @CIS_Penn. Machine learning for systems, databases.
Max ⊶ New @maxsnew@... @maxstewartnew
1K Followers 199 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Andrew K. Hirsch @andrewkhirsch
581 Followers 916 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
WomenInLogic @WomenInLogic1
1K Followers 177 Following Women in Logic: dismantling inequality tweet by tweet
Rajeev Alur @RajeevAlur
2K Followers 231 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Justin Lê @mstk
2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him
Pardis Pashakhanloo @PashaPardis
192 Followers 141 Following Founding AI Engineer @codemod / ex @CertiK / UPenn CIS PhD / Deep Learning for Code / Program Analysis / Software Security / Tea Enthusiast ☕️
You might like
Graham Hutton
@haskellhutt
9K Followers
Well-Typed
@welltyped
7K Followers
Galois
@galois
6K Followers
Derek Dreyer
@HerrDreyer
3K Followers
Andres Löh
@kosmikus
3K Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Jeremy Gibbons
@jer_gib
2K Followers
Matt Parsons
@mattoflambda
5K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
PLDI
@PLDI
5K Followers
Lennart Augustsson
@Augustsson
2K Followers
gelisam ⏸️
@haskell_cat
1K Followers