Upcoming ERTOS Events
Future Events (2012) | ||
| When | Who | What |
|---|---|---|
| 3rd February | Simon Peter, ETH Zurich | Operating System Scheduler Design for Multicore Architectures |
Recent Events | When | Who | What |
| 20th January | NICTA Workshop on Programming Languages and Operating Systems (PLOS) | Workshop webpage |
| 12th December | Antônio Augusto Fröhlich, the Federal University of Santa Catarina (UFSC) | Application-driven Embedded System Design: from HW IPs through the OS up to the API |
Past Events | ||
2011 | ||
| 15th August | Dr Robert Grimm, NYU, New York, USA | Parsing All of C by Taming the Preprocessor |
| 3rd June | Dr Franck Cassez, Research Scientist, CNRS, France | Computation of WCET using Program Slicing and Real-Time Model-Checking |
| 4th February | Peter Strazdins, PhD, School of Computer Science, ANU College of Engineering and Computer Science | From Efficient Cloud Infrastructure to Simulating Clouds Efficiently |
| 6th January | Jasmin Blanchette, PhD student in Tobias Nipkow's theorem proving group at TU Munich, Germany | Sledgehammer and Nitpick: Proofs and Refutations for Isabelle/HOL |
2010 | ||
| When | Who | What |
| 5th November | Dr Daniel Freedman, Cornell University | Exact Temporal Characterization of 10 Gbps Optical Wide-Area Network |
| 6th September | Dr Rich Uhlig, Intel | An Overview of Systems Research at Intel Labs |
| 10th March | Dr Tomas Kalibera, Charles University, Czech Republic | Real-time Java and Real-time Garbage Collection |
| 15th February | Timo Hoenig, Friedrich-Alexander University Erlangen-Nuremberg | Extending Limited Mobile Devices by Exploiting Remote Resources |
2009 | ||
| When | Who | What |
| 28th October | Toby Murray (Oxford Uni) | Analysing the Information Flow Properties of Object-Capability Patterns |
| 22 June | Sameh Elnikety (Microsoft Research) | Scalable database replication |
| 13 March | Paul A. Karger (IBM Research) | High Assurance Smart Cards for Multinational Coalitions and Other Applications of National Security |
| 27 January | Toby Myers (Griffith University) | From Requirements to Embedded Software - Formalising the Key Steps |
2008 | ||
| 18 December | Andrew Baumann (ETH Zurich) | The Barrelfish OS for Heterogeneous Multicore Systems |
| 18 August | Huebner (UWS) | The Role of Operating Systems in Computer Forensics |
| 08 July | Professor Yukikazu (Yuki) Nakamoto | Research on Dependable OS for Integrated Services of Control and Multimedia in Vehicles |
| 01 May | (ERTOS) | NICTA Techfest |
| 21 April | Andronick (Gemalto) | Formal Modeling and Verification of Smart Cards Embedded Systems |
| 14 Mar | Petters (NICTA), Bate (UoY) | DATE Friday Workshop: Dependable Software Systems |
| 11 Feb | Härtig (TUD) | Seminar L4/Nizza and VPFS, its Secure Storage Component |
| 08 Feb | McKinley (UTexas) | Seminar on Compiling for EDGE Architectures: The TRIPS Prototype Compiler |
2007 | ||
| When | Who | What |
| 16 Apr | NICTA | Seminar day: The Future of Embedded Software |
| 16 Jan | NICTA | First International Workshop on MicroKernels for Embedded Systems MIKES 2007 |
2006 | ||
| When | Who | What |
| 28 Nov | Zwaenepoel (EPFL) | Seminar on Improving the performance of network virtualization |
| 24 Oct | Chelf (Coverity Inc.) | Seminar on Detecting Critical Defects on the Developer's Desktop |
| 18 Oct | NICTA, CSIRO, DSTO | ICT Outlook Forum Featuring demonstrations of ERTOS technology and a talk by ERTOS Program Leader Gernot Heiser entitled Trustworthy Embedded Systems — How Australian Research Can Have an Impact. |
| 09 Oct | Brandt (UCSC) | Seminar on Integrating Real-Time and General-Purpose Computing |
| 23 Aug | Andersson (IPP) | Seminar on Real-time Scheduling on Multiprocessors |
| 16–18 Aug | Petters (NICTA) | 12thIEEE International Conference on Embedded and Real-Time Computing and Applications - RTCSA 2006 |
| 15 Aug | Vardanega (UoP) | Seminar on A Property-Preserving Reuse-Geared Approach to Model-Driven Development |
| 15 Aug | ASK-OSS, QUT, NICTA | Open Source Legal and Research
Seminar at ATP Further details and registration |
| 31 May | ERTOS | NICTA Techfest. We had our own boothand displayed several demonstrations of ERTOS technology. |
| 9–11 May | ERTOS | CeBit. We had a demo of ERTOS technology in the Open Source Demo Zone |
| 09 Feb | Wu (UNSW) | Seminar on Minimising the Energy Consumption of Real-Time Tasks withPrecedence Constraints on A Single Processor |
2005 | ||
| When | Who | What |
| 5–8 Dec | Petters (NICTA) | RTSS Student Competition |
| 5 Dec | Taufer (UTEP) | Seminar on Metrics for effective resource management in global computing environments |
| 19 Oct | Cantrill (Sun) | Seminar on Solaris DTrace |
| 17 Oct | Goodwin (SGI) | Seminar on Scaling Linux to 512 processors and beyond on SGI Altix IA64 machines |
| 13 Oct | Rasmussen (Google) | Seminar on Google Maps |
| 11 Oct | Wedde (Dortmund) | Seminar on Decentralised electric power management |