Now showing items 1-2 of 2

    • Learning to Adapt: Analyses for Configurable Software 

      Toman, John
      Configurations are powerful tools for end-user customization of software. For example, non-expert software users may customize the behavior of programs via option menus, system administrators may tune server behavior by ...
    • Pushing the Limits of Compiler Verification 

      Mullen, Eric Alexander
      Modern computer systems rely on the correctness of at least one compiler for correct operation. Formal verification is a powerful technique for constructing correct systems. While there have been many efforts to develop ...