Computer Engineering Seminar

Sep 24

2:30 pm

Designing Commercial Servers and Token Coherence

Oct 6

12:30 pm

Low-power interconnection networks

Oct 7

2:30 pm

Voodoo – Architectural support for composing fast/secure software

Oct 15

11:00 am

Defect Aware Tests

Oct 29

11:00 am

The Pros and Cons of Very-Low-Voltage Testing

Dec 1

1:00 pm

Transactional Coherence and Consistency (TCC)

Feb 23

12:00 pm

Embedded Streaming Multimedia Computation with the RSVP(TM) Architecture

Mar 9

12:00 pm

Hardware and Software Design for 10 Gigabit Network Servers

Mar 16

12:00 pm

Checkpointed Processor Architecture

May 4

12:00 pm

Liberating Threads from Sequential Programs

Sep 21

2:00 pm

Reading group: Synthesis, Verification and Test

Sep 28

2:00 pm

Fast Multilevel Logic Optimization using Local Transformations

Oct 13

1:30 pm

Crossbow – Network stack virtualization & Resource control

Oct 13

2:00 pm

Designing NICs in CMT Environment

Oct 21

1:30 pm

Patents, and Their Importance to Computer Engineers

Jan 20

2:00 pm

Fault Diagnosis and Logic Debugging Using Boolean Satisfiability

Feb 24

2:00 pm

Thermal Design and Gate Sizing for Fin FETs

Apr 6

12:30 pm

Decentralized Control and Optimization Techniques for Autonomic Performance Management of Distributed Computing Systems

Sep 14

12:30 pm

How Does Miss Clustering Affect The Cost of A Cache Miss

Sep 15

11:30 am

Slaying Trolls: Market Based Patent Reform and High Tech Inventors

Sep 15

12:30 pm

Niagara 2 and Paralleo Programing with Transactional Memory

Sep 15

3:30 pm

Computer Architecture Research: Some Criticisms and Some Opportunities

Sep 20

12:00 pm

Synthesis, Verification, and Test Reading Group

Jan 10

12:30 pm

Future CPU Architectures – The Shift from Traditional Models

Feb 6

12:30 pm

The ARM MPCore multicore technology

Feb 7

12:30 pm

Multi-Core Microprocessor Chips: Motivation & Challenges

Mar 9

2:00 pm

Design of Clock Distribution in High Performance Processors

Apr 13

12:00 pm

Log-based Transactional Memory

Sep 17

2:00 pm

Architectural Acceleration of Real-Time Physics

Oct 31

12:00 pm

Multi-Core Chips for Networking and Security

Jan 30

4:30 pm

Out-of-order processing-History of the IBM System/360 Mode 91

Mar 4

12:00 pm

A Non-Linear Neural Classifier and its Applications in Testing Analog/RF Circuits

Apr 9

12:00 pm

Combining Circuits + Architecture to Combat Variability in Nanoscale CMOS

May 7

4:00 pm

Why Tools Matter

Oct 14

4:00 pm

Design-for-reliability for scaled electronic technologies: Opportunities and challenges

Dec 9

4:30 pm

Problem Solving in Visual Effects: Spider-Man 3

Feb 4

12:00 pm

Secure Vehicle-to-Vehicle Communication

Mar 13

1:30 pm

Variations – and Aging Tolerant 6T SRAM Designs

Mar 20

2:00 pm

Low Voltage Circuit Design Techniques for 32nm and Beyond

Mar 30

11:30 am

Robust Computation with Subthreshold Leakage Currents

Jun 3

12:00 pm

Threads Should Not Play Dice: Determinism and Bug Avoidance for Multithreaded Programs

Oct 2

2:30 pm

Secure Low-Level Programming via Hardware-Assisted Memory-Safe C

Oct 9

2:00 pm

Scalable Montgomery Multipliers for Cryptography Accelerators

Oct 23

3:30 pm

The Talking Book: a $10 Rural Audio Computer to Improve
Health and Literacy in Developing Countries

Mar 17

12:30 pm

Exploiting Parallel Execution Models in OS Design – A Report on IBM Cyclops-64 System Software Model and Design

Mar 30

2:00 pm

Dynamic Thermal Estimation and Management in Nanoscale Systems

Apr 7

12:00 pm

Designing Multicores for Programmability: The Bulk Multicore Architecture

Apr 21

12:00 pm

Converging Architecture, Implementation, and Software Development through Parallelized Simulators

Apr 28

12:00 pm

Efficient Processor Fault Tolerance

May 11

3:00 pm

Building Brains

Jun 23

2:00 pm

DLP Lecture: Ultra‐low power logic circuits: from voltage‐mode to current‐mode

Aug 12

3:00 pm

Programming models for the Barrelfish multi-kernel operating system

Nov 30

11:00 am

Integrated Circuit Design at Aalto University Department of Micro and Nano Sciences

Jan 5

4:30 pm

MINIX 3: A Reliable and Secure Operating System

May 20

2:00 pm

Run-time adaptive performance control and design issues in subthreshold SRAM

Jul 7

12:00 pm

Proportional Error Tolerance for Efficient and Effective Performance and Reliability

Sep 28

12:00 pm

GreenDroid: An Architecture for the Dark Silicon Era

Nov 2

12:30 pm

Moneta: Engineering Storage for the Data Age

Dec 12

12:00 pm

SST: A modelling framework integrating Gem5, DRAMSim, McPAT and other components

Feb 17

10:30 am

Its All about the Memory (again)

Mar 27

10:00 am

Evolving Methodologies in Electronic Design Automation

Apr 25

12:00 pm

Efficient and Predictable Execution of Object-Oriented Code on the SHAP Platform

Nov 2

12:00 pm

Disciplined Approximate Computing: From Language to Hardware

Feb 12

4:00 pm

Optimizations for Cache-Coherent Networks-on-Chip

Feb 14

4:30 pm

Synthesis Problems for Reliable Clock Network Design

Mar 29

12:00 pm

Cyber-Physical Systems at Small and Large Scales

May 6

2:00 pm

Operating system support for high-throughput processors

May 31

1:00 pm

Safe asynchronous event-driven programming in P

Jul 2

4:00 pm

BigData and Dark Silicon: Taming Two IT Inflection Points on a Collision Course

Sep 18

12:30 pm

Compilation for SPM-based Manycore Architectures

Oct 2

12:30 pm

Design for Security

Oct 11

10:00 am

Deriving Neurological Connectomes to Better Understand Complex Brain Functionality

Oct 16

2:00 pm

Cyber-Physical Systems: A Rehash or A New Intellectual Challenge?

Oct 23

12:30 pm

Practical Language and System Support for Reliable Concurrent Software

Apr 25

10:00 am

Economic Mechanisms for Managing Risk in Heterogeneous Datacenters

Jul 15

10:00 am

Execution Stream Fingerprinting for Low-cost Safety-critical System Design

Nov 19

10:30 am

Towards a Watt-Wise Web: Architecting for a Responsive and Energy-Efficient Mobile Web

Nov 19

12:30 pm

Enabling dedicated single-cycle connections over a shared Network-on-Chip

Jan 20

11:00 am

Physically Dense Server Architectures

Apr 1

1:00 pm

Dynamic Hardware Resource Management for Efficient Throughput Processing

Oct 22

12:00 pm

Data Storage and Querying for Resource Constrained Computing Devices

Apr 12

11:30 am

Chupja–PHY Covert Channels: Can you see the Idles?

Nov 9

3:30 pm

Design and Synthesis of Approximate Computing Circuits

Feb 7

12:00 pm

Harnessing Data Science for the HW Verification Process

Aug 13

12:00 pm

Server Architecture for the Post-Moore Era

Oct 18

12:00 pm

New Paradigms in Cache Architectures

Apr 24

12:00 pm

System and Architecture Design for Safe and Reliable Smart Applications

Nov 6

12:30 pm - 1:30 pm

Getting Computer Systems Ready for Visual Computing in Ten Years

Nov 13

12:30 pm - 1:30 pm

A Graph-Based Dataflow Architecture for Executing Neural Networks

Dec 5

10:30 am - 12:00 pm

Principled Secure Processor Design

Jan 15

12:00 pm - 1:00 pm

Enabling Continuous Learning through Synaptic Plasticity in Hardware

Nov 12

12:00 pm - 1:30 pm

Towards General Purpose Specialization

Oct 1

10:00 am - 11:00 am

Me, AI; You, Human—Advances in Human-AI Cooperation

Apr 4

12:30 pm - 1:30 pm

Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms

May 17

2:30 pm - 3:30 pm

SafeBet: A Simple, Secure and Fast Solution for Spectre and Meltdown

Jun 12

11:00 am - 12:00 pm

Let’s Go Sparse: Towards Sparse-Aware Computing System Design

Sep 20

3:30 pm - 4:30 pm

Innovating at the Intersection of Architecture and Emerging Workload Paradigms

Apr 11

1:30 pm - 3:00 pm

Chips for AI and AI for Chips: The Symbiotic Future of Computer Hardware

May 15

12:00 pm - 1:00 pm

A Holistic approach to Processing in Memory: From devices to systems