TS News

News

Call for TASTE OF RESEARCH (TOR) Projects 2016/2017
2016-10-30 The submission of projects for the UNSW Taste of Research program for 2016/17 are due May 20th 2016...

Trustworthy Systems wins 1st and 2nd place in SYNTCOMP’16
2016-10-30 The Trustworthy Systems group placed first and and second in the international SYNTCOMP’16 Reactive Synthesis Competition. Synthesis is an approach to software correctness where programs are automatically generated. The tool “Simple BDD Solver” by Adam Walker came first in the sequential realisability track - for the third year in a row, and the the tool “TermiteSAT” by Alexander Legg came second in the parallel realisability track. Both tools come out of Data61’s Trustworthy Systems research in enhancing operating system reliability by automatically synthesising device drivers.

Trustworthy Systems wins 1st and 2nd place in SYNTCOMP’16

2016-10-30 The Trustworthy Systems group placed first and and second in the international SYNTCOMP’16 Reactive Synthesis Competition. Synthesis is an approach to software correctness where programs are automatically generated. The tool “Simple BDD Solver” by Adam Walker came first in the sequential realisability track - for the third year in a row, and the the tool “TermiteSAT” by Alexander Legg came second in the parallel realisability track. Both tools come out of Data61’s Trustworthy Systems research in enhancing operating system reliability by automatically synthesising device drivers.

Endeavour Research Fellowship October 2016
2016-10-30 Researcher Yuval Yarom has been awarded an Endeavour Research Fellowship to support his research into validating cryptographic implementations. The Endeavour Research Fellowships are Federal Government funded fellowships that provide Australian researchers with the opportunity for a 4-6 month research visit at an international institution. Yuval will be visiting Dr Nadia Heninger from U Penn in the coming year

Endeavour Research Fellowship October 2016

2016-10-30 Researcher Yuval Yarom has been awarded an Endeavour Research Fellowship to support his research into validating cryptographic implementations. The Endeavour Research Fellowships are Federal Government funded fellowships that provide Australian researchers with the opportunity for a 4-6 month research visit at an international institution. Yuval will be visiting Dr Nadia Heninger from U Penn in the coming year

Fellow of the Association for Computing Machinery (ACM)
2016-09-01 Professor Steve Blackburn from the Australian National University (ANU) Research School of Computer Science has been placed among the world’s best computer scientists, after being named a Fellow of the Association for Computing Machinery (ACM). In total, 53 ACM members were elevated to Fellow level in 2016, with Professor Blackburn joining Professor Gernot Heiser and between them they make up 2/3 of all the ACM Fellows currently employed in Australia More

Fellow of the Association for Computing Machinery (ACM)

2016-09-01 Professor Steve Blackburn from the Australian National University (ANU) Research School of Computer Science has been placed among the world’s best computer scientists, after being named a Fellow of the Association for Computing Machinery (ACM). In total, 53 ACM members were elevated to Fellow level in 2016, with Professor Blackburn joining Professor Gernot Heiser and between them they make up 2/3 of all the ACM Fellows currently employed in Australia More

Distinguished Paper Award at the 2016 OOPSLA Conference
2016-08-30 Tony Hosking received a Distinguished Paper Award at the 2016 OOPSLA Conference. The paper, Hybrid STM/HTM for Nested Transactions on OpenJDK, was a collaboration with ANU, Purdue University, and the University of Massachusetts More

Show older articles