Congratulations! Calvin Loncaric and Spencer Pearson won gold and bronze, respectively, in the FSE Student Research Competition Graduate Division. And Martin Kellogg and Chris Mackie won gold and bronze respectively, in the Undergraduate Division!
Congratulations! Helgi Sigurbjarnarson, James Bornholt, Emina Torlak and Xi Wang won Best Paper for “Push-Button Verification of File Systems via Crash Refinement” at OSDI 2016.
Luke Nelson and Jared Roesch presented a poster on their work bootstrapping a secure eBPF compiler in Coq at OSDI 2016
Emina Torlak gave the keynote at RacketCon 2016
Alvin Cheung’s paper, Packet Transactions: High-Level Programming for Line-Rate Switches, written with collaborators from MSR, MIT CSAIL, Barefoot Networks, Stanford and VMWare Research is presented at ACM SIGCOMM ‘16
Konstantin Weitz’s paper, Formal Semantics and Automated Verification for the Border Gateway Protocol, part of the Bagpipe project, is presented at the ACM SIGCOMM Workshop on Networking and Programming Languages.
UW had eight papers accepted to FSE 2016 Student Research Competition!! Congratulations to Waylon Huang, Wing Lam, Calvin Loncaric, Martin Kellogg, Chris Mackie, Chandra Nandi, Spencer Pearson, and Joe Santino. Their advisor is Michael D.Ernst.
Michael D. Ernst’s paper, Debugging Distributed Systems, written with collaborators Ivan Beschastnikh, Yuriy Brun, and Patty Wang appears in CACM August 2016 issue
Emina Torlak gives the Junior DN Prize Lecture at ECOOP'16 - Synthesis and Verification for All
John Toman and Dan Grossman win Distinguished Artifact and Distinguished Poster Awards for Staccato at ECOOP ‘16
Zach Tatlock gives an invited talk on Formally Checking Safety Cases for a Radiotherapy Machine at VSTTE ‘16.
Maaz Bin Safeer Ahmad is the winner of the SYNT 2016 Student Travel Award for Best Student Paper Leveraging Parallel Data Processing Frameworks with Verified Lifting with Alvin Cheung.
Ras Bodik wins Influential Paper Award from ISCA for his 2001 paper on Focusing Processor Policies via Critical-Path Predication
We presented our work on file system crash-consistency models today at ASPLOS'16.