11 10, 2017

Prof. T. Russell Hsing (Visiting Professor, SUTD) – Fog Computing and Networking: A Key Pillar for Current 5G Engineering to future 6G Research

Abstract Pushing processing and storage into the “cloud” has been a key trend in networking and distributed systems in the past decade. In the next wave of network architecture and technology advance, the cloud is now descending to be diffused among the client devices, often with mobility too: the cloud is becoming “fog.” For example, more than just faster speed, many IoT […]

27 09, 2017

Richard DeMillo (Georgia Institute of Technology) – This Will Go on Your Permanent Record-Blockchain Talk

Blockchain is the technology for decentralized management of distributed data that underpins BitCoin and other cryptocurrencies. [...]

25 09, 2017

Alexander Pretschner (Technical University of Munich) – Testing Cyber-Physical Systems— The Automotive Case

Test automation is a big problem in industry. The bigger problem is that of test case selection: what makes a test case a good test case? [...]

22 09, 2017

Yuan-Fang Li (Monash University) – Extract Access Permissions from Java Programs

Multi-core processors have become the dominant computing platform in recent years. In the concurrency by default programming paradigm, permission-based dependencies have been investigated as an alternative approach to enabling automated parallelisation and avoiding errors that may arise when concurrency constructs are manually added, a common practice in mainstream languages such as Java. [...]

8 09, 2017

Ian Hayes (University of Queensland) – Synchronous Concurrent Refinement Algebra and Fairness

In order to support reasoning about concurrent programs in a rely/guarantee style, we have developed a synchronous refinement algebra similar to Milner's SCCS. [...]

29 08, 2017

Alan Mishchenko (UC Berkeley) – Enhancing PDR/IC3 with Localization Abstraction

Property Directed Reachability (aka PDR/IC3) is the strongest engine presently used in formal verification tools. [...]

25 07, 2017

Srini Devadas (Massachusetts Institute of Technology) – Cybersecurity Challenges for 2020 and Beyond

With the advent of the Internet of Things and ubiquitous computing, our lives are increasingly dependent on computer software and hardware. We depend on computer systems of various types for financial services, [...]

28 04, 2017

Wan Du (Nanyang Technological University) – Building Adaptive and Fast Networked Sensing Systems for Cyber Physical Systems

In a Cyber Physical System (CPS, also known as system of systems), the cyber system and the physical system are connected by a networked sensing system. [...]

27 04, 2017

Machine Learning and Optimization for Cutting Edge Applications in Digital Music

Music generation systems are becoming increasingly important, bolstered by rising global expenditure on digital music which was over 64 billion USD in 2014 alone. [...]

21 04, 2017

John M. Chowning (Stanford University) – Composing Music From the Inside-Out and a Bit of History Along the Way

A lecture demonstration showing how the capacity of computer systems 50 years ago limited composers/researchers to only one of the sound generating/processing tools that are available today: synthesis. [...]