@erlangworkshop.bsky.social on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Post

Erlang Workshop

erlangworkshop.bsky.social

did:plc:t6bwo7p5eliq4gqmjcnpyvhz

Throwback to earlier this year when we got to hear about: “Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects” by Bendegúz Seres, Dániel Horpácsi, and Simon Thompson. Watch the talk here: https://youtu.be/x01k-53LM9o?feature=shared or read the paper here: https://dl.acm.org/doi/10.1145/3677995.3678194

2024-12-16T17:37:49.258Z