Thursday, December 17, 2015
Sebastian Faust, Assistant Professor, Ruhr-University of Bochum, GermanyLeakage Resilient Masking Schemes
Abstract: Masking schemes are widely used in practice to defeat side-channel attacks, which exploit the power consumption of devic...
Friday, October 30, 2015
Günes Acar, PhD Student, KU Leuven, BelgiumAdvanced Web Tracking Mechanisms
Abstract: In this talk, we give an overview of three recent studies on advanced web tracking mechanisms, namely browser fingerprin...
Tuesday, September 29, 2015
Elena Pagnin, PhD Student, Chalmers University of Technology, Göteborg, SwedenAttacks against Privacy-Preserving Biometric Authentication systems
Abstract: In biometric authentication protocols, a user is authenticated or granted access to a service if her fresh biometric tra...
Monday, September 7, 2015
Klaus von Gleissenthall, PhD Student, TU MunichSynthesizing Cardinality Invariants for Parameterized Systems
Abstract: The cardinality operator is indispensable when specifying and reasoning about parameterized concurrent/distributed syste...
Wednesday, September 2, 2015
Joost-Pieter Katoen, Full Professor, RWTH Aachen, GermanyUnderstanding and Analyzing Probabilistic Programs
Abstract: We present two semantic views of probabilistic programs and their relationship. An operational interpretation as well as...
Tuesday, September 1, 2015
Sriram Sankaranarayanan, Professor, University of Colorado Boulder, USAInvariants on expected values in probabilistic programs
Abstract: In this talk, we will describe progress on computing invariants involving expected values of program variables in probab...
Monday, July 13, 2015
Adam Chlipala, Associate Professor, Languages & Verification Group, MITPhantom Monitors: A Simple Foundation for Modular Proofs of Fine-Grained Concurrent Programs
Abstract: I’ll present the first stages of an investigation into how simple we can get away with making the foundations of m...
Friday, July 10, 2015
Jose Miguel Rojas, Research Associate, University of Sheffield, United KingdomAutomated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations
Abstract: Automated unit test generation tools can produce tests that are superior to manually written ones in terms of code cover...
Friday, July 10, 2015
Sina Shamshiri, PhD Student, University of Sheffield, United KingdomRandom or Genetic Algorithm Search for Object-Oriented Test Suite Generation?
Abstract: Achieving high structural coverage is an important aim in software testing. Several search-based techniques have proved ...
Tuesday, July 7, 2015
Radu Iosif, CNRS Researcher (CR1), Distributed and Complex Systems Group, VERIMAG/CNRS, Grenoble, FranceDecidable Horn Systems with Difference Constraints Arithmetic
Abstract: In this, we tackle the problem of the existence of solutions for recursive systems of Horn clauses with second-order var...
Friday, June 26, 2015
Cheng Li, PhD Student, Max Planck Institute for Software Systems, GermanyAutomating the Choice of Consistency Levels in Replicated Systems
Abstract: Online services often use replication for improving the performance of user-facing services. However, using replication ...
Friday, June 19, 2015
Alberto Goffi and Andrea Mattavelli, PhD Students, Università della Svizzera Italiana, Lugano, SwitzerlandExploiting Intrinsic Redundancy to Automatically Generate Test Oracles
Abstract: Software is sometimes redundant, in the sense that some operations are designed to behave like others but their executio...
Wednesday, June 17, 2015
Luis Maria Ferrer Fioriti, PhD Student, Saarland University, GermanyProbabilistic termination
Abstract: We propose a framework to prove almost sure termination for probabilistic programs with real valued variables. It is bas...
Wednesday, June 10, 2015
Andreas Zeller, Full Professor, Saarland University, GermanyMining Sandboxes
Abstract: Modern test generation techniques allow to generate as many executions as needed; combined with dynamic analysis, they a...
Wednesday, May 13, 2015
Jose Manuel Fernandez de Labastida, Head of Scientific Management Department, European Research CouncilFunding opportunities in the European Research Council
Abstract: Set up by the European Union in 2007, the European Research Council (ERC) is implementing its second work program in H20...
Wednesday, April 8, 2015
David Atienza, Associate Professor, EPFL, SwitzerlandUltra-Low Power Design of Multimodal BioSignal Wearable Systems
Abstract: The progress in microelectronics has enabled the miniaturization of processing elements, radio transceivers, and sensing...
Thursday, March 12, 2015
Ben Livshits, Research Scientist, Microsoft ResearchPrePose: Security and Privacy for Gesture-Based Programming
Abstract: With the rise of sensors such as the Microsoft Kinect, Leap Motion, and hand motion sensors in phones (i.e., Samsung Gal...
Friday, March 6, 2015
Beta Ziliani, PhD Student, Max Planck Institute for Software Systems, Saarbruecken, GermanyA Predictable Unification Algorithm for Coq Featuring Universe Polymorphism and Overloading
Abstract: Unification is a core component of every proof assistant or programming language featuring dependent types. In many case...
Friday, March 6, 2015
Markku Oivo, Professor, University of Oulu, FinlandOverview of working lines of the M-GROUP: Department of Information Processing Science (University of Oulu, FI)
Abstract: M-Goup focus is in empirical software engineering in software and data intensive systems and services. It is a research ...
Wednesday, February 25, 2015
Ben Livshits, Research Scientist, Microsoft ResearchPROGRAM BOOSTING: PROGRAM SYNTHESIS VIA CROWD-SOURCING (based on our POPL'15 paper)
Abstract: A great deal of effort has been spent on both trying to specify software requirements and on ensuring that software actu...
Monday, January 12, 2015
Juan P. Galeotti, Post-doctoral Researcher, Saarland University, GermanyAutomated test generation for classes with environment dependencies
Abstract: Automated test generation for object-oriented software typically consists of producing sequences of calls aiming at high...