|
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
|
|
2014-07-23: SYNTCOMP
|
|
Student Adam Christopher Walker received first place with
his game solver in a sequential realisability track of the
SYNTCOMP competition.
The competitions goal is to collect benchmarks and foster
research in new tools for automatic synthesis of
systems
|
