Ringer: Web Automation by Demonstration.
Shaon Barman, Sarah Chasins, Ras Bodik and Sumit Gulwani. OOPSLA 2016.

Automated Reasoning for Web Page Layout.
Pavel Panchekha and Emina Torlak. OOPSLA 2016.

Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver.
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy and Zachary Tatlock. OOPSLA 2016.

AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems.
Talia Ringer, Dan Grossman and Franziska Roesner. ACM CCS 2016.

PipeGen: Data Pipe Generator for Hybrid Analytics.
Brandon Haynes, Alvin Cheung, Magdalena Balazinska. SOCC 2016.

Disciplined Inconsistency with Consistency Types.
Brandon Holt, James Bornholt, Irene Zhang, Dan Ports, Mark Oskin and Luis Ceze. SOCC 2016.

Evaluating and Improving Fault Localization Techniques.
Spencer Pearson, Jose Campos, Rene Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang and Benjamin Keller. University of Washington Technical Report.

Packet Transactions: High-level Programming for Line-Rate Switches.
Anirudh Sivaraman, Mihai Budiu, Alvin Cheung, Changhoon Kim, Steve Licking, George Varghese, Hari Balakrishnan, Mohammad Alizadeh and Nick McKeown. SIGCOMM 2016.

Formal Semantics and Automated Verification for the Border Gateway Protocol.
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy and Zachary Tatlock. NetPL 2016.

Summarizing Source Code using a Neural Attention Model.
Srinivasan Iyer, Ioannis Konstas, Alvin Cheung, Luke Zettlemoyer. ACL 2016.

Staccato: A Bug-Finder for Dynamic Configuration Updates.
John Toman and Dan Grossman. ECOOP 2016.

Automatic Generation of Oracles for Exceptional Behaviors.
Michael D. Ernst, Alberto Goffi, Alessandra Gorla and Mauro Pezzè. ISSTA 2016.

Leveraging Parallel Data Processing Frameworks with Verified Lifting.
Maaz Bin Safeer Ahmad and Alvin Cheung. SYNT 2016.

Sloth: Being Lazy is a Virtue (When Issuing Database Queries).
Alvin Cheung, Samuel Madden and Armando Solar-Lezama. Transactions on Database Systems, Vol.41 No.2.

Computer-Assisted Query Formulation.
Alvin Cheung and Armando Solar-Lezama. Foundations and Trends in Programming Languages, Vol.3 No.3.

Swift: Compiled Inference for Probablistic Programming Languages.
Yi Wu, Lei Li, Stuart Russel, Rastislav Bodik. IJCAI 2016.

Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture.
Phitchaya Mangpo Phothilimthana, Michael Schuldt, and Rastislav Bodik. LCTES 2016.

A Framework for Parameterized Design of Rule Systems Applied to Algebra.
Eric Butler, Emina Torlak, and Zoran Popovic. ITS 2016.

Fast Synthesis of Fast Collections.
Calvin Loncaric, Emina Torlak and Michael D. Ernst. PLDI 2016.

Verified Lifting of Stencil Computations.
Kamil Shoaib, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama. PLDI 2016.

Verified Peephole Optimizations for CompCert.
Eric Mullen, Daryl Zuniga, Zachary Tatlock and Dan Grossman. PLDI 2016.

Semantics for Locking Specifications.
Michael D. Ernst, Damiano Macedonio, Massimo Merro and Fausto Spoto. NFM 2016.

Locking discipline inference and checking.
Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, and Javier Thaine. ICSE 2016.

High-Density Image Storage Using Approximate Memory Cells.
Qing Guo, Karin Strsauss, Luis Ceze, Henrique Malvar. ASPLOS 2016.

Specifying and Checking File System Crash-Consistency Models.
James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, and Xi Wang. ASPLOS 2016.

Programming with models: writing statistical algorithms for general model structures with NIMBLE.
Perry de Valpine, Daniel Turek, Christopher J. Paciorek, Clifford Anderson-Bergman, Duncan Temple Lang, and Rastislav Bodik. Journal of Computational and Graphical Statistics.

Debugging distributed systems: Challenges and options for validation and debugging.
Ivan Beschastnikh, Patty Wang, Yuriy Brun, and Michael D. Ernst. ACM Queue March-April 2016.

Planning for Change in a Formal Verification of the Raft Consensus Protocol.
Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, and Thomas Anderson. CPP 2016.

Optimizing Synthesis with Metasketches.
James Bornholt, Emina Torlak, Dan Grossman, and Luis Ceze. POPL 2016.

Bagpipe: Verified BGP Configuration Checking.
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy and Zachary Tatlock. University of Washington Technical Report.

Verdi: A Framework for Implementing and Verifying Distributed Systems.
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson. PLDI 2015.