|
2014-08-05: Podcast Interview with Len Bass
|
|
Architect Len Bass and author of Software Architecture in
Practice has been interviewed for a
podcast .
|
|
2014-07-29: seL4 is open source!
|
Today seL4 was released as open-source. In addition to
kernel and proofs, sample projects, the CAmkES component
framework, and a test suite were made available.
Details on how to download are at http://sel4.systems/.
|
|
2014-07-26 Paper accepted at OSDI
|
|
Adam Walker and Leonid Ryzhyk of
SSRG have a
paper accepted to OSDI--one of the most
competitive and prestigious conferences in computer
science. The paper describes their Termite device
driver synthesis tool, which uses game theory to automate
the tedious and error-prone task of driver development.
Termite is a joint project with Intel Labs and
University of Toronto. This work is part of the
broader research agenda on using rigorous mathematical
techniques to create better operating systems, pursued by
the OS research group at SSRG
|
|
2014-07-25: Ninth Max-SAT Evaluation
|
Visiting Researcher Nina Narodytska, (University of
Torento) has won 3 awards with her solver Eva500a at the
ninth
Evaluation of Max-Sat Solvers. First place in
the weighted partial MaxSat category and third place in
both partial MaxSAT and the MaxSat (industrial)
category
|
|
2014-07-23: Beagle Theorem Prover
|
|
Peter Baumgartner has won a medal for his beagle theorem
prover for the most improved automated theorem prover in
the annual
world championship of automated theorem
provers
|
