Department of Information Technology
Department of Information Technology
Uppsala UniversityInformation TechnologyThe DepartmentComputer SystemsSeminars
Denna sida på svenska
Listen

The DoCS/CSD Seminar

The DoCS/CSD seminars take place roughly once a month. Our seminars can feature both internal and external speakers and cover all research areas Computer Systems and Science.

The goal of the seminar is to bring together all researchers and teachers in DoCS/CSD on a regular basis, foster exchange of ideas and increased collaboration.

If you are interested in presenting in the seminar series, or have a visitor who could present, please contact Amanda Stjerna or Kostis Sagonas.

Course credits: The possibility exists to count the DoCS/CSD seminars as a PhD course, and PhD students can earn course credits by regularly attending the seminars. The responsibility to award credits lies with the PhD advisor, as does the decision how many credits attending seminars on a regular basis corresponds to. Interested PhD students are invited to discuss this with their PhD advisers.

Zoom Link: The Zoom link for the seminar as of now (April 15th 2021) is: https://uu-se.zoom.us/j/61183647419.

Syndicated seminars outside of the regular schedule are marked with (*).

Previous Seminars (2021)

Date Time Place Speaker Title
Tuesday June 15th 14:15 - 15:15 Zoom Dejan Kostic Running NFV Service Chains at the True Speed of the Underlying Hardware
Wednesday Oct 13 13:15 - 14:00 Zoom Didem Gürdür Broo Human-centred Cyber-physical Systems: How can we build better intelligent systems? *
Wednesday Oct 13 15:15 - 16:00 Zoom Amr Alanwar Data-Driven Safety Verification using Reachability Analysis *
Thursday Oct 14 15:15 - 16:00 Zoom Debayan Roy Multi-Domain Coupling in Cyber-Physical Systems Design *

Previous Seminars (2020)

Date Time Place Speaker Title
Friday May 21st 14:15 - 15:15 Zoom Parosh Abdulla Consistency and Persistency: Challenges and Opportunities in Program Verification
Friday March 19th 14:15 - 15:00 Zoom Umang Mathur Dynamic Data Race Prediction
Tuesday September 8 13:15 - 14:00 Zoom Riccardo De Masellis Verification of dynamic multi-agent systems: concepts, challenges and a concrete solution
Thursday June 4 15:00 Zoom David Black-Schaffer Delay and Bypass: Ready and Criticality Aware Instruction Scheduling in Out-of-Order Processors (20 min, with fika)
Wednesday May 27 14:15 CANCELLED Elias Castegren Building Programming Languages with Composable Language Fragments CANCELLED
Friday May 8 10:15 - 11:00 Zoom Albert Mingkun Yang Improving Program Locality in the GC using Hotness
Freday Feb 28 14:15-15:00 ITC 1211 Mohamed Faouzi Atig On Solving String Constraints
Friday Jan 17 14:15 - 15:00 ITC 1211 Martin Stigge TACC - A Programming Model for an Embedded System

Previous Seminars (2019)

Date Time Place Speaker Title
Friday Dec 13 10:15 - 11:00 ITC 4306 Musard Balliu Securing Web Applications across Tiers (Video)
Friday Nov 29 14:15 - 15:00 ITC 1211 Magnus Norgren Impact from research using intellectual property rights
Friday Nov 22 14:15 - 15:00 ITC 1311 Luca Mottola Mobile Drone Computing
Friday Oct 18 14:15 - 15:00 ITC 1311 Luca Mottola The What and What Not of Intermittent Computing
Friday Oct 11 14:15 - 15:00 ITC 1311 Sam Hylamia Two-tier Authentication and Key Distribution for Wearable Devices
Friday Sep 27 14:15 - 15:00 ITC 1211 Vera van Zoest Using urban sensor network data for spatio-temporal modelling of air quality risks
Friday Sep 20 14:15 - 15:00 ITC 2446 Parosh Abdulla On Program Verification under the Release-Acquire Semantics
Monday Sep 9 13:15 - 14:00 ITC 4308 Dines Bjørner Domain Analysis & Description: A Philosophy Basis?
Wednesday Jun 12 15:15 - 16:00 ITC 1211 Joost-Pieter Katoen On Probabilistic Termination
Friday Apr 12 14:15 - 15:00 ITC 1245 Alberto Ros Non-Speculative and Invisible Reordering of Memory Operations
Friday Mar 1 14:15 - 15:00 ITC 1111 Andreas Johnsson Intelligent performance management in the world of 5G
Friday Feb 8 14:15 - 15:00 ITC 1311 Peter J. Stuckey Multi-Agent Path Finding

Previous Seminars (2018)

Date Time Place Speaker Title
Wednesday Dec 12 9:15 - 10:00 ITC 2446 Pavel Krcal Algorithmic Challenges in Safety Assessment of Technical Utilities
Thursday Nov 22 15:15 - 16:00 ITC 1113 Marc Brockschmidt Learning from Programs with Graphs
Friday Nov 23 14:15 - 15:00 ITC 1113 Murali Annavara Distributed Machine Learning at the Edge
Friday Nov 30 14:15 - 15:00 ITC 1111 Pierre Flener Solving Combinatorial Problems Without Knowing How to Solve Them
Friday Oct 26 14:15 - 15:30 1211 Joachim Parrow What's in a Name? Nominal Modal Logic for Complete Expressiveness
Friday Oct 19 14:15 - 15:00 1146 Martin Monperrus Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Friday Oct 12 14:15 - 15:00 1213 Philipp Ruemmer SMT solving for strings and security: an overview
Thursday Sep 20 10:15 - 11:00 ITC 1111 Andrey Mokhov Distributed Drug Discovery
Friday Sept 7 14:15 - 15:00 ITC 1245 Marjan Sirjani Building Dependable Cyberphysical Systems
Wednesday May 30 15:15 - 16:00 ITC 1212 Roberto Castañeda Lozano Combinatorial Register Allocation and Instruction Scheduling
Friday April 27 14:15 - 15:00 ITC 1245 Dilian Gurov Deductive Verification of Automotive Embedded C-code
Friday Jan 26 14:15 - 15:00 ITC 1111 Stefanos Kaxiras Speculative Side Channel Attacks: Meltdown and Spectre (Videos)

Previous Seminars (2017)

Date Time Place Speaker Title
Friday Nov 24 14:15 - 15:00 ITC 1245 Bengt Jonsson Model Learning: Generating Automata Models from Tests
Monday Nov 6 14:15 - 15:00 ITC 2345 Dan Wang Interdiscipline Research in Smart Buildings/Smart Cities: A Perspective from Computer Science
Friday Oct 20 13:15 - 14:00 ITC 1211 Adnan Al-Anbuky Software Defined Wireless Sensor Network Systems: Towards CPS Intelligence
Friday Sept 8 14:15 - 15:00 ITC 1111 Wang Yi Customisable Embedded Real-Time Systems
Friday Jun 2 14:15 - 15:00 ITC 1245 Stefanos Kaxiras Non-Speculative Load-Load Reordering in TSO
Friday May 12 14:15 - 15:00 ITC 1146 Mats Daniels Openness in Education
Wednesday May 10 15.30 - 16.30 ITC 1245 Panagiotis Papadimitratos Secure communication in wireless networks: scalable protocols and fundamental limits
Friday Mar. 24 14:15 - 15:00 ITC 1145 Parosh Abdulla Dual Semantics for Total Store Order
Friday Feb. 24 14:15 - 15:00 ITC 1211 Chenyang Lu Towards Real-Time Cloud Computing
Friday Jan. 13 14:15 - 15:00 ITC 1211 Per Gunningberg The Factory-in-the Cloud project: Providing industrial product services in the cloud and fog.
Updated  2022-09-23 10:04:42 by Victor Kuismin.