PLSE Posts

Mar 12, 2017: How CSS Floats Work by Pavel Panchekha

Mar 7, 2017: Chris Martens by Talia Ringer on The Identity Function

Feb 21, 2017: Exercises on Generalizing the Induction Hypothesis by James R. Wilcox

Feb 5, 2017: A Fine Language by Pavel Panchekha

Jan 16, 2017: ICSE 2017 Most Influential Paper, and supporting your research tools by Michael D. Ernst

Jan 9, 2017: A Port of the Proof of Peterson's Algorithm to Dafny by James R. Wilcox

Dec 9, 2016: Interview with Deb Agarwal by Talia Ringer on The Identity Function

Nov 4, 2016: My SPLASH 2016 Keynote by Andy Ko

Nov 19, 2016: Automated generation of assert statements with Toradocu by Michael D. Ernst

Oct 20, 2016: Rational Rationality by Pavel Panchekha

Oct 12, 2016: Nothing is better than the Optional type by Michael D. Ernst

Sep 26, 2016: JavaOne 2016 Talks by Michael D. Ernst

Sep 26, 2016: HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics by Konstantin Weitz on Homotopy Type Theory

Sep 9, 2016: PLSE Internships 2016 by PLSE on PLSE Posts

Sep 9, 2016: Python Evaluation Rules by Michael D. Ernst

Aug 11, 2016: Building Robust Distributed Systems by Michael D. Ernst

Aug 5, 2016: Interview with Matthew Kay by Talia Ringer on The Identity Function

Jun 10, 2016: Interview with Wren Romano by Talia Ringer on The Identity Function

May 22, 2016: How to take an Industry Break by Talia Ringer

Apr 24, 2016: How to build a simple system in Verdi by James Wilcox

Apr 23, 2016: Interview with Chung-chieh Shan by Talia Ringer on The Identity Function

Apr 11, 2016: What Is The Identity Function? by Talia Ringer on The Identity Function

Mar 31, 2016: How to Flip Your NSF Rejection by Talia Ringer

Feb 17, 2016: Memory Consistency Models: A Primer by James Bornholt

Jan 29, 2016: Designing the PLSE logo by Pavel Panchekha

Oct 25, 2015: Quadrature in Bash by Pavel Panchekha

Oct 16, 2015: Improving Accuracy: A Look at Sums by Alex Sanchez-Stern

Oct 1, 2015: Pratically relevant software engineering research by Michael D. Ernst

Sep 7, 2015: Equal functions in ITT by Pavel Panchekha

Aug 3, 2015: LLVM Debugging Tips and Tricks by Brandon Holt

Aug 3, 2015: Measuring the Error of Floating Point Programs by Alex Sanchez-Stern

Jun 21, 2015: How to move a project from Google Code to GitHub by Michael D. Ernst

Jun 17, 2015: Models from Models by Pavel Panchekha

May 17, 2015: Pedestrian Statistics by Pavel Panchekha

May 8, 2015: A Proof of Peterson's Algorithm by James Wilcox

May 3, 2015: Disciplined Inconsistency by Brandon Holt

Apr 28, 2015: Declarative specification of FSM-inference algorithms by Michael D. Ernst

Apr 13, 2015: NSF GRFs for Pavel Panchekha and Doug Woos by Michael D. Ernst

Apr 16, 2015: Network Semantics for Verifying Distributed Systems by James Wilcox

Feb 23, 2015: Monte Carlo Benchmarking by James Bornholt

Jan 6, 2015: Program Synthesis, Explained by James Bornholt

Nov 17, 2014: How Not to Measure Computer System Performance by James Bornholt

Oct 29, 2014: My love [for cache coherence] is as a fever, longing still by James Bornholt

Oct 20, 2014: Reasoning about Cardinalities for Sums and Products by James Wilcox

Sep 23, 2014: Extracting Coq Lemmas from Proof State in Emacs by Doug Woos

Sep 14, 2014: Dependent Case Analysis in Coq without Axioms by James Wilcox

Sep 4, 2014: run+time = ??? by James Wilcox

Aug 16, 2014: Alembic: Distilling C++ into high-performance Grappa by Brandon Holt

Jul 19, 2014: Paper Statistics with Git by Pavel Panchekha

Jun 12, 2014: More Sums than Differences sets, Part 2: Counting MSTD Sets by James Wilcox

Apr 10, 2014: Tail Recursion Modulo by James Wilcox

Mar 3, 2014: More Sums than Differences Sets, Part 1: A puzzle by James Wilcox

Mar 1, 2014: Prettification II: Javascript Strikes Back by Doug Woos

Mar 1, 2014: Prettifying Coq Buffers in Emacs by Doug Woos

Feb 18, 2014: Fixed points: Stability Part 4 of 4 by Pavel Panchekha

Feb 1, 2014: Pairs in Hindley-Milner Languages by Pavel Panchekha

Jan 6, 2014: Fixed points: Attraction and Orders Part 3 of 4 by Pavel Panchekha

Dec 31, 2013: Easy access to the off-campus proxy by James Wilcox

Dec 28, 2013: Fixed points: Fixed Behaviors Part 2 of 4 by Pavel Panchekha

Dec 27, 2013: Fixed points: What is a fixed point? Part 1 of 4 by Pavel Panchekha

Dec 24, 2013: Posting to Jekyll with Emacs by Doug Woos

Oct 14, 2013: Engineering Taste by Pavel Panchekha

Jul 10, 2011: Programming with Types by Pavel Panchekha