Universidade do Porto


Cister - Research Center in Real-Time & Embedded Computing systems


CCTC -Computer Science and Technology Center


INESC Tecnologia e Ciência - INESC TEC


Keynote: Computer Science in the post-cloud era


null Vijay Saraswat, (co-) Chief Scientist, Computing as a Service
IBM TJ Watson Research Center


Abstract: The cyclical nature of Computer Science developments has brought us back once again to centralized computing, but this time at scale: 2 billion users, 1 million developers, 1 computer. This time a number of other developments are also cresting simultaneously: the emergence of powerful open source programming models; the rise of an agile "devops" model; the rise of big data, streaming data, analytics and machine learning.

What does this mean for the future of computer science, and industry? While the "public cloud" has already had a significant impact on the practice of computing, we believe the hybrid cloud (borderless public / on-prem clouds) will have even more impact on the world's governments and businesses. We discuss some challenging computer science issues -- in security, in programming models, in compositional software, in model-based configuration, monitoring, diagnosis and debugging -- that this vision of the future raises.

CV Vijay Saraswat's research interests lie in logic, constraints, concurrency and programming languages. Amongst many other topics, he has worked on concurrent constraint programming, natural language semantics, visual programming, discrete and continuous reactive programming, and network communities. He (co-) initiated the work on the X10 programming language in 2004, and has (co-) led the project since. Vijay is a Research Staff Member at IBM TJ Watson, and manages the Advanced Programming Languages department.



Keynote: Advances in Noise-based Testing of Concurrent Software


null Tomas Vojnar, Professor, Faculty of Information Technology,
Brno University of Technology (Czech Republic)


Abstract: Testing of concurrent software written in programming languages like Java and C/C++ is a highly challenging task due to the many possible interactions among threads. A simple, cheap, and effective approach that addresses this challenge is testing with noise injection which influences the scheduling so that different interleavings of concurrent actions are witnessed.

In the talk, we will review the basic principles of testing based on noise injection as well as various advances achieved in the area in the past few years. These advances range from new noise injection heuristics through new concurrency coverage metrics to using search techniques or data mining for finding suitable parameters of testing based on noise injection.

The presented results are a joint work with J. Fiedor, V. Hruba, B. Krena, Z. Letko, and H. Pluhackova from Brno University of Technology, S. Ur from Shmuel Ur Innovations, and Z. Volkovich and R. Avros from Ort Braude College of Engineering.

CV: Tomas Vojnar received his PhD at the Brno University of Technology (BUT) in 2001. From 2001 to 2003, he worked as a postdoc researcher at LIAFA, Université Paris Diderot. Since 2003, he works at the Faculty of Information Technology of BUT. He defended his habilitation thesis in 2007 and became a full professor in 2012. His research focuses mainly on automated verification, especially over infinite-state and concurrent systems. In the former area, his work has included formal verification of parameterized systems, abstract regular model checking, and shape analysis of programs with pointers and dynamic linked data structures. He has also worked on efficient ways of dealing with various kinds of non-deterministic automata and logics, with applications in the above mentioned verification approaches. As for concurrent programs, he has mainly worked in the area of their noise-based testing and dynamic analysis, self-healing, as well as applications of search techniques in noise-based testing. He has (co-)authored over 100 scientific publications as well as multiple software tool prototypes (e.g., Forester, Predator, SearchBestie, AnaConDA, Spen, or Slide). These works won multiple best paper awards, such as the EATCS Best Theory Paper Award of ETAPS'10, the best tool paper of RV'12, as well as multiple medals in the international software verification competition SV-COMP'12-14, including a Goedel medal at the FLoC Olympic Games 2014.

Acções do Documento