SCS Seminars

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

Upcoming seminars

Date Speaker Title/abstract Time
2019-04-29 Jonas Traub Efficient Window Aggregation with General Stream Slicing 11-12
2019-05-23 Dave Clarke TBA 11-12

List of previous seminars

Date Speaker Title/abstract Slides
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)

2018-11-08

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

2018-10-24

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

20181015

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

20181003

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

20180904

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

20180903

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

20180814

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

20180614

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

20180525

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

20180508

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

20180411

Panagiotis Papapetrou Searching and learning from sequential data P. Papapetrou slides (pdf 8,7 MB)

20180328

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

20180307

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

20180207

Martin Isaksson Machine Intelligence Research at Ericsson Not available

20180117

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  

20170425

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  
20170322

Trevor E. Carlson

Memory Level Parallelism: An Overlooked Path to Processor Efficiency  
20170126 Professor Walid Taha Rigorous simulation  
Tillhör: Programvaruteknik och datorsystem
Senast ändrad: 2019-04-16