Skip to main content

SCS Seminars

Location: Room Ada, SCS, Floor 4, Elevator A, Electrum, Kista.

Upcoming seminars

Date Speaker Title/abstract Time

List of previous seminars

Date Speaker Title/abstract Slides
2019-10-10 Mauricio Chimento Combined Static and Dynamic Verification of Object Oriented Software Through Partial Proofs Slides (pdf 1.4 MB)
2019-04-29 Jonas Traub Efficient Window Aggregation with General Stream Slicing Coming soon...
2019-04-11 Ciaran McCreesh Are "Hard" Subgraph Problems Hard? Slides (pdf 7.2 MB)
2019-02-28 Anis Nasir Streaming at King Not available
2019-02-12 Peter Stuckey Certifying Optimality in Constraint Programming Slides (pdf 6.5 MB)
2019-01-24 Artur Podobas

Performance Techniques for Future High-Performance Computers

Slides (pdf 3.6 MB)

2018-12-20 Elias Castegren The Spectre and Meltdown Micro-Architectural Attacks Slides (pdf 5.9 MB)
2018-12-06 Tage Mohammadat Exploring Power and Throughput for Dataflow Applications on Predictable NoC Multiprocessors Slides (pdf 705 kB)


Amine Benelallam From Big Data to Software Engineering, and back! Not available


Damla Turgut Ad hoc, sensor, IoT, fog... - past, current and future research challenges of networking without (heavy) infrastructure Not available


Johan Jansson FEniCS: Automated adaptive high-performance FEM solution of PDE in an open source domain specific software framework Not available


Lotzi Bölöni Apply AI in your field of choice for fun and profit Lotzi 2018-10-04.pdf (pdf 583 kB)


Marie Pelleau AbSolute: From Static Analyzer to Constraint Solver Not available


Laurent Michel A Constraint Programming approach to deliver a Tolerant Algebraic Side-Channel Attack of AES Not available


Jonas Traub Optimized On-Demand Data Streaming from Sensor Nodes 2018-08-14 Seminar (pdf 1.2 MB)


Saranya Natarajan Timed C: An Extension to the C Programming Language for Real-Time Systems Not available


Iolanda Leite Autonomous Social Robots in the Real World: Current Challenges and Future Directions Leite Talk May 2018 (pdf 2.3 MB)


Asterios Katsifodimos Optimizing Across Relational and Linear Algebra in Parallel Analytics Pipelines Asterios Talk (pdf 3.0 MB)


Panagiotis Papapetrou Searching and learning from sequential data P. Papapetrou slides (pdf 8.7 MB)


Ulf Norinder Predicting with Confidence Using Conformal Prediction Ulf Norrinder 03-2018 (pdf 2.7 MB)


Musard Balliu Securing Applications by Information Flow Tracking M.Balliu Talk (pdf 2.2 MB)


Martin Isaksson Machine Intelligence Research at Ericsson Not available


Martin Monperrus The State of the Art of Automatic Program Repair Not available
20171215 Prof. Babak Falsafi Server Architecture for the Post-Moore Era Not available
20171215 Prof. Avi Mendelson NVDRAM a new technological evolution of a new system revolution? Not available
20171204 Keith Clark QuLog: A logic based language for engineering multi-agent applications K.Clark (pdf 423 kB)
20171122 Fredrik Ronquist Probabilistic programming for statistical phylogenetics F. Ronquist (pdf 5.2 MB)
20171108 Benoit Baudry Approximate Loop Unrolling: an illustration of trading accuracy for energy B.Baudry (pdf 1.3 MB)
20171025 Henrik Boström Conformal Prediction H. Boström (pdf 1.1 MB)
20170920 Elias Castegren Relaxed Linear References for Lock-Free Data Structures  
20170913 Ahsan J. Awan Near Data Processing Architectures: Opportunities and Challenges for Big Data Analytics  
20170615 Miguel Correia Cloud File System Security and Dependability with SafeCloud-FS Miguel Correia.pdf (pdf 4.3 MB)
20170607 Masoumeh (Azin) Ebrahimi EbDa: A New Theory on Design and Verification of Deadlock-free ​​​​​​​Interconnection Networks (to appear in ISCA 2017)  
20170531 Magnus Boman Learning Machines for Clinical Applications M. Boman.pdf (pdf 1.6 MB)
20170503 Jana Tumova Formal methods-based robot task and motion planning  


Edward A. Lee Resurrecting Laplace's Demon: The Case for Deterministic Models E.A.Lee.pdf (pdf 3.6 MB)
20170420 David Black-Schaffer Making Memory Systems Efficient  

Trevor E. Carlson

Memory Level Parallelism: An Overlooked Path to Processor Efficiency  
20170126 Professor Walid Taha Rigorous simulation  
Page responsible:Web editors at EECS
Belongs to: Software and Computer Systems
Last changed: Oct 11, 2019