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) 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
