Page Information

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Note: topics are listed in reverse chronological order.

Topics from 2017 

 Predicate Abstraction

 On December 1 we discussed the first part of the paper Constructing Quantified Invariants via Predicate Abstraction by Lahiri and Bryant.

The Contextual library for Scala

 On November 24 we discussed the design and implementation of the Contextual library which 'is a small Scala library for defining your own string interpolators—prefixed string literals like url"" which determine how they are interpreted at compile-time, including any custom checks and compile errors that should be reported, while only writing very ordinary "user" code: no macros!'.