Professor of computer science at UPenn. Interests include programming languages, types, software verification, property-based testing, and climate change.
Philadelphia, PA, SA
Joined January 2012
- Tweets15
- Following20
- Followers313
- Likes10
Benjamin Pierce retweeted
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…
Benjamin Pierce retweeted
"Penn Offsets Carbon Emissions from Air Travel" courtesy of @Penn Sustainability (@GreenPenn):
sustainability.upenn.edu/new…
Benjamin Pierce retweeted
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
Benjamin Pierce retweeted
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!
Video now online! youtube.com/watch?v=Nu9MDqGh… xitter.cf/luisggpina/status/7937…
Benjamin Pierce gave an inspiring keynote today at #splash16 on deep specifications and is looking for people!
