15.01.2019:
Haibo Chen, Huawei
"Virtualization Security: The Good, The Bad and The Ugly"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Virtualization Security: The Good, The Bad and The Ugly"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
22.01.2019:
Florian Frohn, RWTH Aachen
"Automated Complexity Analysis of Rewrite Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Automated Complexity Analysis of Rewrite Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
01.02.2019:
Helmut Seidl, TUM
"How to Win a First-Order Safety Game"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"How to Win a First-Order Safety Game"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
07.02.2019:
Cristian Cadar, Imperial College London
"Dynamic Symbolic Execution for Software Analysis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Dynamic Symbolic Execution for Software Analysis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
18.02.2019:
Malte Schwarzkopf, MIT CSAIL
"New Abstractions for High-Performance Datacenter Applications"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"New Abstractions for High-Performance Datacenter Applications"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
20.02.2019:
Theodoros Gkountouvas, Cornell University
"Improving Data Analysis by Exploiting Temporal Information"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Improving Data Analysis by Exploiting Temporal Information"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
28.02.2019:
Natacha Crooks, University of Texas at Austin
"A client-centric approach to transactional datastores"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"A client-centric approach to transactional datastores"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
05.03.2019:
Mrinmaya Sachan, Carnegie Mellon University
"Towards Literate Artificial Intelligence"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Towards Literate Artificial Intelligence"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
07.03.2019:
Oana Goga, Université Grenoble Alpes
"Privacy, Transparency and Trust in the User-Centric Internet"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Privacy, Transparency and Trust in the User-Centric Internet"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
08.03.2019:
Matthias Becker, KTH Royal Institute of Technology
"Predictable Execution of Real-Time Applications on Many-Core Platforms"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Predictable Execution of Real-Time Applications on Many-Core Platforms"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
11.03.2019:
Sangeetha Abdu Jyothi, University of Illinois in Urbana-Champaign
"Automated Resource Management in Large-Scale Networked Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Automated Resource Management in Large-Scale Networked Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
12.03.2019:
Rodrigo Alves, AG Machine Learning, Prof. Kloft
"Matrix Completion and Learning for the Sciences: When a blockbuster helps coefficient predictions"
"Matrix Completion and Learning for the Sciences: When a blockbuster helps coefficient predictions"
13.03.2019:
Martina Maggio, Lund University
"Feedback-Control for Self-Adaptive Predictable Computing"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Feedback-Control for Self-Adaptive Predictable Computing"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
26.03.2019:
Paulo Sérgio Almeida, University of Minho
"Efficient Synchronization of State-based Conflict-Free Replicated Datatypes"
"Efficient Synchronization of State-based Conflict-Free Replicated Datatypes"
04.04.2019:
Marvin Damschen, Karlsruhe Institute of Technology (KIT)
"Worst-Case Execution Time Guarantees for Runtime-Reconfigurable Architectures"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Worst-Case Execution Time Guarantees for Runtime-Reconfigurable Architectures"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
05.04.2019:
Sylvain Schmitz, École Normale Supérieure Paris-Saclay
"The complexity of reachability in vector addition systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"The complexity of reachability in vector addition systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
02.05.2019:
Sandhya Dwarkadas, University of Rochester
"Sharing-Aware Resource Management for Performance and Protection"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Sharing-Aware Resource Management for Performance and Protection"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
15.05.2019:
Martin Kleppmann, University of Cambridge, Digital Technology Group
"Local-first software: Returning data ownership to users"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Local-first software: Returning data ownership to users"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
17.05.2019:
Jinyang Li, New York University
"Transparent Scaling of Deep Learning Systems through Dataflow Graph Analysis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Transparent Scaling of Deep Learning Systems through Dataflow Graph Analysis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
20.05.2019:
Giovani Gracioli, Technical University Munich
"On the Predictability of Heterogeneous SoC Multicore Platforms"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"On the Predictability of Heterogeneous SoC Multicore Platforms"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
21.05.2019:
Moritz Lichter, AG Algorithms and Complexity, Prof. Schweitzer
"Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm"
"Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm"
21.05.2019:
Rene Schuster, DFKI, Prof. Stricker
"Advances in 3D Motion Estimation for Driving Scenarios"
"Advances in 3D Motion Estimation for Driving Scenarios"
23.05.2019:
Theophilus Benson, Brown University
"Systematic Approach to Managing Software Defined Networks"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Systematic Approach to Managing Software Defined Networks"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
24.05.2019:
Kuldeep Meel,
"Towards Verifying AI Systems: Testing of Samplers"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Towards Verifying AI Systems: Testing of Samplers"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
04.06.2019:
Koushik Sen, UC Berkeley
"Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
04.06.2019:
Kilian Werner, AG Scientific Visualization, Prof. Garth
"Task-Based Visualization Methods for Scalable Analysis of Large Data"
"Task-Based Visualization Methods for Scalable Analysis of Large Data"
04.06.2019:
Bo Zhou, DFKI, Embedded Intelligence, Prof. Paul Lukowicz
"Textile Pressure Mapping (TPM) for Pervasive and Wearable Activity Recognition: Sensing, Framework and Applications"
"Textile Pressure Mapping (TPM) for Pervasive and Wearable Activity Recognition: Sensing, Framework and Applications"
08.07.2019:
Abhik Roychoudhury, National University of Singapore
"Automated Program Repair"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Automated Program Repair"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
15.07.2019:
Mary Baker, HP Labs at Palo Alto
"Design Problems: Trustworthy Smart Devices and 3D Printed Lace"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Design Problems: Trustworthy Smart Devices and 3D Printed Lace"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
16.07.2019:
Jens Froemmer, Robert Bosch GmbH, Prof. Grimm
"An Automotive CGRA and its Model-Based Configuration"
"An Automotive CGRA and its Model-Based Configuration"
16.07.2019:
Sarwar Hussain Paplu, AG Robotics, Prof. Berns
"Emotional Intelligence in Human-Robot Interaction"
"Emotional Intelligence in Human-Robot Interaction"
16.07.2019:
Sungho Suh, AG Embedded Intelligence, Prof. Lukowicz
"Improving Classification Performance under Imbalanced Data Conditions"
"Improving Classification Performance under Imbalanced Data Conditions"
25.07.2019:
Marc Schwalbach, Karman Institute for Fluid Dynamics/TU Kaiserslautern, Prof. Gauger
"CAD-Based Adjoint Multidisciplinary Optimization Framework for Turbomachinery Design"
"CAD-Based Adjoint Multidisciplinary Optimization Framework for Turbomachinery Design"
14.08.2019:
Stephan Mandt, University of California
"Variational Inference and Probabilistic Embeddings"
"Variational Inference and Probabilistic Embeddings"
21.08.2019:
Tanja Käser, Swiss Data Science Center (SDSC)
"Modeling and Individualizing Learning in Computer-Based Environments"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Modeling and Individualizing Learning in Computer-Based Environments"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
24.09.2019:
YoungGyoun Moon, KAIST
"Accelerating Network Applications with Stateful TCP Offloading"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Accelerating Network Applications with Stateful TCP Offloading"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
07.10.2019:
Stefan Saroiu, Microsoft Research, Redmond
"Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
04.11.2019:
Jessica Hoffmann, University of Texas, Austin
"Dealing with Epidemics under Uncertainty"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Dealing with Epidemics under Uncertainty"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
18.11.2019:
Alireza Koochali, DFKI, Prof. Dengel
"The application of generative models in probabilistic machine learning"
"The application of generative models in probabilistic machine learning"
18.11.2019:
Peter Zeller, AG Software Technology
"Tool Supported Specification and Verification of Highly Available Applications"
"Tool Supported Specification and Verification of Highly Available Applications"
02.12.2019:
Mareike Bockholt, Algorithm Accountability Lab
"Towards a process-driven network analysis"
"Towards a process-driven network analysis"
16.12.2019:
Işıl Dillig, CSU of Texas, Austin
"Computer-Aided Programming Across the Software Stack"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Computer-Aided Programming Across the Software Stack"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
16.12.2019:
Hannan Ejaz Keen, AG Robotik, Prof. Berns
"Autonomous Navigation and Mapping in Disastrous Environment using Unmanned Aerial Vehicle"
"Autonomous Navigation and Mapping in Disastrous Environment using Unmanned Aerial Vehicle"
16.12.2019:
Yongzhi Su, DFKI, Prof. Stricker
"Multi-State Object Pose Estimation for AR Assisted Assembly"
"Multi-State Object Pose Estimation for AR Assisted Assembly"
Germany.29.04.2020:
Moses Ganardi, University of Siegen
"Querying Regular Languages over Sliding Windows"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Querying Regular Languages over Sliding Windows"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)