Professor of computer science at UPenn. Interests include programming languages, types, software verification, property-based testing, and climate change.
Joined January 2012
- Tweets 15
- Following 20
- Followers 318
- Likes 10
2 Photos and videos
Benjamin Pierce retweeted
22 Jun 2023
It was great fun to develop this course with @PierceBenjamin everyone is welcome to use the course material
21 Jun 2023
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…
8
39
8,318
Benjamin Pierce retweeted
2 Nov 2022
"Penn Offsets Carbon Emissions from Air Travel" courtesy of @Penn Sustainability (@GreenPenn):
sustainability.upenn.edu/new…
2
5
18
Benjamin Pierce retweeted
19 Apr 2022
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
ALT YOW! Lambda Jam 2022 speaker Benjamin Pierce
6
20
Benjamin Pierce retweeted
10 Apr 2020
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-conferences. We hope this will prove useful for conference organizers, at least this year!
3
72
127
22 Nov 2016
Video now online! youtube.com/watch?v=Nu9MDqGh… x.com/luisggpina/status/7937…
2 Nov 2016
Benjamin Pierce gave an inspiring keynote today at #splash16 on deep specifications and is looking for people!
1
1