Benjamin Pierce @PierceBenjamin
Professor of computer science at UPenn. Interests include programming languages, types, software verification, property-based testing, and climate change. cis.upenn.edu/~bcpierce Philadelphia, PA, SA Joined January 2012-
Tweets15
-
Followers316
-
Following20
-
Likes10
It was great fun to develop this course with @PierceBenjamin everyone is welcome to use the course material
For the past few years, @PierceBenjamin and @RajeevAlur have taught a course at Penn called "Writing and Speaking with Style". They've just published the course materials, in the hopes that they could be useful to others! Check it out: docs.google.com/document/d/1_v…
"Penn Offsets Carbon Emissions from Air Travel" courtesy of @Penn Sustainability (@GreenPenn): sustainability.upenn.edu/news/penn-offs…
Property-based testing (PBT) tools like QuickCheck can be astonishingly effective at finding bugs. So why isn't it already part of every working programmer's toolbox? What will it take to put it there? Join Benjamin Pierce at #YLJ22 to learn why: bit.ly/3EjBjHC
@piq9117 Hey Ken -- If you're still looking and would consider using your technical skills to combat climate change by making virtual conferences better, do check out Midspace. midspace.app/careers
@JAldrichPL @TaliaRinger @j_v_66 @michael_w_hicks @emeryberger @HerrDreyer Possibilities for hybrid are starting to get clearer. I used to be one of the ones that thought it would be too hard; now I'm more optimistic that there are things we can do...
@lazerwalker Many thanks for the spot-on list of questions. We have been wrestling with many of them in designing Clowdr.org (a platform for virtual conferences), but there are more that we need to think about!
See you at SPLASH!
For the past few years, @PierceBenjamin and @RajeevAlur have taught a course at Penn called "Writing and Speaking with Style". They've just published the course materials, in the hopes that they could be useful to others! Check it out: docs.google.com/document/d/1_v…
@cristalopes @CalebHelbling @PLDI I’ll try it too.
Over the last 4 weeks, a group of us convened as an ACM task force to write a Best Practices Guide for organizing virtual conferences. The guide is linked from acm.org/virtual-confer…. We hope this will prove useful for conference organizers, at least this year!
@luisggpina Rats -- it isn't! Here's the right one: youtube.com/watch?v=IPNdsn…
Video now online! youtube.com/watch?v=Nu9MDq… x.com/luisggpina/sta…
Benjamin Pierce gave an inspiring keynote today at #splash16 on deep specifications and is looking for people!
@kmett @pavpanchekha @natefoster In particular, "Combinators for Bi-Directional Tree Transformations..." is a good starting point.
@asajeffrey After all, if we get it wrong, it will come out in the soundness or completeness proof. :-)
@asajeffrey @PierceBenjamin Yes, I see. Though, if it's only ALGORITHMIC subtyping that we're considering, then maybe it doesn't matter...
@asajeffrey @PierceBenjamin Hadn't thought about it, but I'm interested to hear what you think it would simplify...
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
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
Ilya Sergey @ilyasergey
8K Followers 978 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Sam Westrick @shwestrick
1K Followers 599 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Guannan Wei @GuannanWei
2K Followers 960 Following Assistant Professor in CS @TuftsUniversity; Ex @Inria @PurdueCS; Bluesky @guannanwei.bsky.social; Programming languages, formal methods, software engineering.
Vinod Grover @vinodg
5K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Matti Palli 🧙�... @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcher
〚Dan R. Ghica〛 @danghica
1K Followers 295 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
ICCQ 2026 @iccq_ru
165 Followers 537 Following We are preparing the 6th International Conference on Code Quality in cooperation with IEEE Computer Society (hopefully) and IIS (Novosibirsk, Russia)
Madhava Sai Teja Jana... @Sai_teja_janaki
57 Followers 262 Following Single-core human in a multi-core world. Wish my thoughts ran in parallel.
Dola Mukherjee @dolamukherjee
40 Followers 182 Following HR leader II Culture II Capability II Diversity & Inclusion II Sports II Travel
𒀭 @3sot3r1c4
9 Followers 30 Following the liveliest thing in this whole dogma the synbol iz NOT claude!!! 🌸
Nissan Patel @NissanPatel1012
1 Followers 551 Following
Abdelrahman Khaled @uni_abdelrahman
2 Followers 55 Following
Bunauez @Bunauez6ll7
125 Followers 6K Following A man is not old until regrets take the place of dreams.
Havid Dilbert @mrdhilbert
0 Followers 19 Following
JbPlayce @prplayce
1 Followers 55 Following I’m not here to follow the rules—I’m here to rewrite them. The gaming industry needs a reset, ’m building it. Follow if you’re ready for something differend
Denys Zavhorodnii @DenisZavgorodny
272 Followers 287 Following uk-ua/en | Software Engineer | @ChernivtsiJS
takun @yum303_
1 Followers 98 Following I love programming languages theory, compilers, emacs and VNs
Xiangrong Bin @xrbin0
1 Followers 132 Following
Xuejing, aka Snow @hxjxsnow
379 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Wangxiz @wangxiz
40 Followers 483 Following
Cas (Stephen Casper) @StephenLCasper
8K Followers 4K Following Computer scientist working on AI safeguards and gov research. Assistant professor @Kennedy_School @Harvard. https://t.co/r76TGxTtBJ
Vivian Ding @vivianyyd
108 Followers 127 Following Enjoyer of ideas. Taking the scenic route. Sometimes I think about computer science
☭NP-cmpppppp☭ @NP2complete
69 Followers 322 Following Workers of the world, unite! You have nothing to lose but your chains!
Maxime Mulder @MaximeMulder
13 Followers 38 Following Aspiring programming language researcher Also at @[email protected]
Charles Zhang @xiaojidan2011
169 Followers 5K Following
Lee Wei @leewei666
27 Followers 313 Following
simeon 🦀 λ @simeondermaats
539 Followers 2K Following studying maths @KULeuven_fwet (mainly interested in logic, categories and types) president of @WinaLeuven I aspire to one day understand the Yoneda lemma
A. J. Kübler 👨�... @ajkuebler
60 Followers 2K Following
ALL-LeonorAlmeida @Ceshit270647
9 Followers 710 Following Não importa onde você esteja,junte-se a All,ganhe mais de 200 por dia,se estiver interessado,por favor,tome a iniciativa de conversar comigo em particular!
Marc Thatcher @MarcThatcher
83 Followers 167 Following 'And you may ask yourself: well, how did I get here?'
Shoatahu @shoatahu51971
2 Followers 410 Following The scenery and people are on the road, and joy touches the bottom of my heart.
Yiyuan Cao @yiiiyuannn
12 Followers 231 Following PhD student in programming languages at Peking University.
𝅙love maker @wc2sunnyside
50 Followers 832 Following
Prof_de_M... @CyrilleDeuss
5 Followers 111 Following
Michael Schwarz @93mSchwarz
117 Followers 280 Following Research Fellow @NUSComputing. PhD from @TU_Muenchen in Static Program Analysis. Also at: https://t.co/cAFeibkYtZ
Huiri Tan @tanhuiri
12 Followers 196 Following Ph.D. student @hkust with interests in Compiler/Program Analysis and Optimization/ML/Systems.
Human Internet Relay @Ryxai
14 Followers 249 Following Sometimes I break my computer, sometimes my computer breaks me. Type theory, ai, maths, tools for thought and persistent existential crises.
PLRG :: Bristol @PLRG_bristol
123 Followers 126 Following This is the twitter of the Programming Languages Research Group at the University of Bristol. https://t.co/TXmuMW96It
Basavesh Ammanaghatta... @basavesh88
206 Followers 1K Following Systems software researcher at @virginia_tech
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
Prof Michael E. Mann @MichaelEMann
209K Followers 2K Following Scientist/Author; Pres. Distinguished Prof/Dir. Center for Science, Sustain. & the Media, U Penn; Nat Acad Sci; Amer Acad Arts & Sci; Royal Society; Tyler Prize
John Burn-Murdoch @jburnmurdoch
475K Followers 6K Following Columnist and chief data reporter @FinancialTimes | Stories, stats & scatterplots | Senior fellow @LSEdataScience | [email protected]
POPL 2027 @poplconf
3K Followers 278 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Maxico City, Mexico, 10-16 January 2027 (#POPL2027).
John Hughes @rjmh
3K Followers 64 Following Professor at Chalmers, long-time functional programmer, founder of Quviq AB.
Bob Wachter @Bob_Wachter
239K Followers 287 Following Chair, UCSF Dept of Medicine. Career: What happens when a poli sci major becomes an academic MD. Author, "A Giant Leap" on Health AI. Hubby/Dad/Grandpa/Golfer.
Joshua B. Plotkin @jplotkin
3K Followers 1K Following Annenberg Professor of Natural Sciences, University of Pennsylvania
Crista Lopes @cristalopes
2K Followers 393 Following Jedi Master @[email protected] @cristalopes.bsky.social
Dr. Angela Rasmussen @angie_rasmussen
510K Followers 8K Following Virologist working at but not speaking for @USask. Co-EIC @Els_Vaccine. Jeopardy! loser. "Disreputable vaccine cheerleader." 🇺🇸in🇨🇦. Opinions mine. she/her
Dr. Majumder is writi... @maiamajumder
27K Followers 405 Following Asst. Professor at @harvardmed & @BOS_CHIP. Upcoming novelist (Rep: @NobleValerie). @MIT-trained engineer & epidemiologist. Spouse to @imran_malek. She/They/Dr.
Trevor Bedford @trvrb
401K Followers 748 Following Scientist @fredhutch, studying viruses, evolution and immunity. Collection of #COVID19 threads here: https://t.co/Yc4fun5rcp
Helen Chu @HelenChuMD
11K Followers 172 Following Physician scientist @UWMedicine studying flu, RSV, and other emerging respiratory viruses
Dr. Tara C. Smith @aetiology
110K Followers 5K Following Infectious disease epidemiologist, writer, mom. Antibiotic resistance, zoonotic disease, scicomm, zombies. She/her. Same handle @ bsky
Marc Lipsitch @mlipsitch
197K Followers 2K Following This place is getting more sinister, maybe on my way out. Director @CCDD_HSPH Tweets in personal capacity. Didn’t pay for blue check
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
DeepSpec Project @deep_spec
872 Followers 0 Following
RJD @MomofBoysPhilly
54 Followers 68 Following
POPL13 @POPL2013
128 Followers 3 Following One of the oldest and most prestigious conference in Computer Science! ...2013 in Rome
CIS@Penn @PennCIS
141 Followers 47 Following The official Twitter account of the unofficial CIS Facebook group. Email [email protected] to request to add your blog to the feed.Trends for United States
You might like
