|
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
|
|
2014-07-03 Seminar Sergey on Innopolos: A New Model for
Academia and Industry Partnership
|
|
Building a partnership between software industry, academic,
and research is a dramatic challenge due to the differences
in the objectives and goals. The paper describes a recent
Russian startup, an ambitious Innopolis project. The new
city is to be erected 20 miles away from Kazan' the capital
of Tatarstan Republic. The idea is the use the synergy of
IT academicians, researchers and practitioners in a single
location. The project will yield to a new powerful IT
cluster of a university and hi-tech companies. By 2030, the
new city is to host around 155,000 inhabitants and provide
high-end residential conditions and recreation facilities
in an ecology-friendly environment. The new IT university
is to train up to 10,000 students, it will acquire the best
experience from world-known computer science and software
engineering schools including Carnegie Mellon, ETH Zurich,
and some others
|
