세미나

2017

9/1 (금)

Toni Susin

[Seminar] The problem of inverted elements when simulating deformable objects
8/29 (화)

이경우(Kyoungwoo Lee)

[Seminar] Guidelines to Design Parity Protect Write-back L1 Data Cache
8/8 (화)

이용재

[Seminar] Discovering where to look for weakly-supervised visual recognition
7/25 (화)

이중희(Junghee Lee)

[Seminar] Hardware & Security
7/20 (목)

Florian Negele

[Seminar] Combining Lock-Free Programming with Cooperative Multitasking for a Portable Multiprocessor Runtime System
7/10 (월)

이동헌

[Seminar] Correcting Algorithmic Bias in Q-learning and its Variants
6/26 (월)

My T. Thai

[Seminar] Socialize Strategies for Bots: when incomplete topology meets efficiency
6/16 (금)

Jay Myung

[Seminar] Robust Adaptive Optimal Experimentation
6/14 (수)

Taejoong Chung

[Semiar] A Longitudinal, End-to-End View of the DNSSEC Ecosystem
6/13 (화)

김태훈

[Seminar] 반도체 설비/공정에서의 Data 분석 및 Software 기술 활용
6/1 (목)

Steven Euijong Whang (황의종)

[Seminar] Big Data and AI: Essential Technologies for the Fourth Industrial Revolution
5/31 (수)

Ji-Yong Shin

[Seminar] Redesigning the software stack for the cloud
5/30 (화)

Minjoon Seo

[Seminar] Learning to reason by reading text and answering questions
5/29 (월)

하순회

[CSE Faculty Lunch Talk] SoPIoT: Service-oriented Platform for Internet of Things
5/25 (목)

Chang-Hwan Im

[Seminar] Brain-Computer Interface as an Emerging Computer Technology
5/24 (수)

Meeyoung Cha

[Seminar] Measurement and Analysis of Social Computing Systems
5/23 (화)

최진호

[Seminar] Character Mining: Machine Comprehension on Multiparty Dialogues
5/18 (목)

류민수

[Seminar] Accelerator-Centric Systems for Scalable and Energy-Efficient Deep Learning
5/18 (목)

정지훈

[Seminar] Future of Artificial Intelligence: Myths and Reality
5/17 (수)

한진영(Jinyoung Han)

[Seminar] Predicting Content Propagation in Social Media
5/17 (수)

Seong-Whan Lee

[DLS] 뇌-컴퓨터 인터페이스 기술: 인공지능과 뇌과학의 만남
5/17 (수)

김태수(Taesoo Kim)

[Seminar] Attacking Intel SGX
5/10 (수)

Robert Mullins

[Seminar] Towards Efficient On-Device Inferencing and Learning
5/1 (월)

임희웅

[Seminar] Critical Role of Histone Deacetylase 3 for Acute Adaptive Thermogenesis in Brown Adipose Tissue
4/4 (화)

Andreas Moshovos

[Semiar] High performance deep neural network processor
3/30 (목)

박상언

[Seminar] Social Computing for Health Informatics
3/24 (금)

박일

[Seminar] SK 하이닉스 메모리 연구소 소개
2/13 (월)

이정근(Jeongkeun Lee)

[Seminar] Fast and Programmable: Networking and Beyond
1/31 (화)

Kim, Nam Sung (김남승)

[Seminar] Chameleon: Versatile and practical near-DRAM acceleration architecture for large memory systems
1/25 (수)

Yale Song

[Seminar] Video Highlight Detection at Yahoo!
1/24 (화)

차미영

[Seminar] 온라인 미디어 내의 사용자 감성과 행동패턴 분석연구
1/12 (목)

한재권

[Seminar] Robotics and Future Industry
1/12 (목)

안성진

[Seminar] Recurrent Neural Networks: Recent Advances and the Future
1/11 (수)

이의웅 (Euiwoong Lee)

[Seminar] Partitioning a Graph into Small Pieces with Applications to Path Transversal
1/10 (화)

이병영

[Seminar] Toward Secure Trusted Computing
1/10 (화)

권태경(Taekyoung Kwon)

[Seminar] 2017 international event list submission’ (held in Korea).
1/9 (월)

Seok-Hee Hong

[Seminar] New Quality Metrics for Graph Visualisation
1/3 (화)

조인제

[Seminar] 연구와 창업

2016

12/13 (화)

김용덕

[Seminar] Compression of Deep Convolutional Neural Networks for Fast and Low Power Mobile Applications
12/9 (금)

MRIDUL AANJANEYA

[Seminar] Simulation-Enhanced Visual Computing for Real World Applications
11/9 (수)

Koji Inoue

[Seminar] Towards to Power Constrained High Performance Computing
10/20 (목)

Cyrus Shahabi

[Seminar] Effectively Crowdsourcing the Acquisition and Analysis of Visual Data for Disaster Response
10/20 (목)

최예진

[Seminar] Procedural Language and Knowledge
10/17 (월)

신홍식

[Seminar] Futurable - True AI Game (as one of Google Play Top 30 Indie Games)
10/14 (금)

Artem Burmyakov

[Seminar] Schedulability Analysis of Multiprocessor Real-time Systems Using Pruning
9/19 (월)

Limsoon Wong

[Seminar] Some issues that are often overlooked in big data analytics
8/31 (수)

Jakub Szefer

[Seminar] Run-time Accessible DRAM PUFs in Commodity Devices
8/19 (금)

Heechul Yun

[Seminar] Computing Infrastructure Support for Intelligent and Safe Cyber-Physical Systems
8/16 (화)

Enrico Bini

[Seminar] Adaptive Fair Scheduler (AFS): Fairness with Disturbances
8/12 (금)

Changhee Jung

[Seminar] Compiler Directed Lightweight Soft Error Resilience
7/20 (수)

Jay Myung

[Seminar] A Hierarchical Bayesian Approach to Optimal Experimental Design: A Case of Adaptive Vision Testing
7/12 (화)

김동규

[Seminar] Data Engineering in Clinical and Translational Science
7/7 (목)

Minsik Cho

[Seminar] Accelerating Machine-Learning and Big Data Workload on Heterogeneous Computing Platform
7/6 (수)

Joseph Lim

[Seminar] Visual Understanding of the Physical World for Interaction
6/29 (수)

Hyojin Sung

[Seminar] DeNovo: A Software-Driven Rethinking of the Memory Hierarchy
6/23 (목)

Josep Torrellas

[Seminar] Toward Extreme-Scale Processor Chips
6/14 (화)

백종섭

[Seminar] Innovation, Silicon Valley, Seoul
6/10 (금)

Jungwon Kim

[Seminar] OpenACC for Heterogeneous Computing
6/7 (화)

Jinyoung Han

[Seminar] Multi-Dimensional Data Analytics on Online Social Networks
5/16 (월)

Woo-Suck HAN / Bernard DHALLUIN

[Seminar] Presentation of Ecole des Mines de Saint-Etienne: Educational system for engineers and researchers on microelectronics
4/20 (수)

김건희

딥러닝과 컴퓨터 비전의 응용
4/15 (금)

이철남

[Seminar] 오픈소스커뮤니티의 법적 쟁점들
4/12 (화)

이동헌

[Seminar] 알파고 해부하기
4/12 (화)

장병탁

딥러닝 인공지능 발전과 미래 컴퓨터공학
4/11 (월)

Pan Hui

[Seminar] Mobile Augmented Reality
3/31 (목)

Seungryul Choi

The Lifecycle of Software Engineers in Silicon Valley
3/21 (월)

Simon J. Puglisi

[Seminar] Indexing by Kernelization
3/21 (월)

Simon J. Puglisi

[Seminar] Lempel-Ziv Decoding in External Memory
3/16 (수)

Jongsoo Park

[Seminar] Efficient processing of sparse data structures with many cores and heterogeneous memory systems
2/26 (금)

이창훈

[Seminar] Venture 펀딩

2015

12/30 (수)

김남승

[Seminar] DUANG: Lightweight Page Migration and Adaptive Asymmetry in Memory System
12/23 (수)

이상근

[Seminar] Fast Proximal Point Optimization for Solving Penalized Regression Problems
12/16 (수)

최형진

[Seminar] Biomedical Big Data and Research/Clinical Applications
12/3 (목)

Seungyeop Han

[Seminar] MCDNN: An Execution Framework for Deep Neural Networks on Resource-Constrained Devices
11/23 (월)

Myunghwan Kim

[Seminar] Usage of machine learning and its challenges in the real-world IT product
10/20 (화)

Norbert Egi

[Seminar] NUWA: A Novel Hardware Accelerated Datacenter Platform
10/15 (목)

조상연 (Sangyeun Cho)

[Seminar] Interaction of OS and flash storage system
10/6 (화)

Daniel Reed

[DLS] Big Data meets HPC
9/18 (금)

Prof. Hongseok Yang

[Seminar] Probabilistic Programming
9/8 (화)

박찬익

[Seminar] 데이터센터향 SSD 기술 소개 및 방향
7/21 (화)

이주석 전무/유현곤차장

[Seminar] Deep Learning을 위한 GPU 솔루션 및 활용 방안
7/10 (금)

Boris Grot

[Seminar] Memory System Support for Online Data-Intensive Services
7/7 (화)

하정우(Jungwoo Ha)

[Seminar] Java Garbage Collection on the Cloud
7/7 (화)

김태수(Taesoo Kim)

[Seminar] Automatic intrusion recovery with system-wide history
7/3 (금)

박상호

[Seminar] 메모리 제품 개발을 위한 System-level 모델링 및 시뮬레이션 활용 현황
7/1 (수)

Seonho Choi

[Seminar] Multi-Source Broadcast Authentication with Combined Key Chains for Wireless Ad Hoc Networks
6/16 (화)

Scott A. Klasky

[Seminar] Creating a Software Ecosystem for Data Intensive Science
6/5 (금)

이성진(Sungjin Lee)

[Seminar] The Design and Implementation of a Software Platform for BlueDBM
6/3 (수)

신동준

[Seminar] IoT 기술소개 및 업계 동향
5/28 (목)

Arvind

[Seminar] BlueDBM: A Multi-access, Distributed Flash Store for Big Data
5/19 (화)

조상연

[Seminar] Recent Advances in Flash Solutions
5/8 (금)

Zhengping Qian

[Seminar] Systems Research on Big-Data Platforms at Microsoft
5/7 (목)

Dr. Xavier Rival

[Seminar] Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
4/28 (화)

조민수

[Seminar] HPC 및 Big Data 기반 재난•재해 대응 의사결정지원시스템 개발 현황 및 계획
4/21 (화)

Brandon Myers

[Seminar] Integrating query processing with parallel languages
4/17 (금)

Chris Douglas

[Seminar] YARN and Beyond
4/17 (금)

Christopher Raphael

[Seminar] The Informatics Philharmonic
2/4 (수)

Sunghwan Ihm

[Seminar] Data Processing and Analysis at Google
1/7 (수)

임의철

[Seminar] Mobile SoC Technologies

2014

12/17 (수)

최은경 (Eun Kyoung Choe)

[Seminar] Self-monitoring Technology for Data Capture and Reflection
12/16 (화)

Daniela Rosner

[Seminar] Design as Inquiry: Tactile and Tactical Design
12/16 (화)

Jeffrey Heer

[Seminar] Visualization and Interactive Data Analysis
12/16 (화)

김원호 (Wonho Kim)

[Seminar] Automated Load Testing at Facebook's Scale
12/8 (월)

유환조(Hwanjo Yu)

[Seminar] Search and Mining for Big Data
12/2 (화)

Dr. Gabriel H. Loh

[Seminar] Technology Revolutions: A Story of Die Stacking (So Far)
12/2 (화)

강유(U Kang)

[Seminar] Big Graph Mining: Theory, Engineering and Discoveries
11/28 (금)

김녹원(Lok-Won Kim)

[Seminar] Ensuring Reliability of Computer Hardware Systems
11/27 (목)

유승주(Sungjoo Yoo)

[Seminar] How to Better Use Memory in Smartphone, GraphComputation and Deep Learning?
11/24 (월)

Christophe Dubach

[Seminar] Towards Performance Portability for Heterogeneous Systems
11/19 (수)

이병영(Byoungyoung Lee)

[Seminar] Abusing Performance Optimization Weaknesses to Bypass ASLR
10/20 (월)

Seungyeop Han

[Seminar] MetaSync: File Synchronization Across Multiple Untrusted Storage Services
10/17 (금)

이근배(Geunbae Lee)

[S-Talk] Siri, Watson, and natural language processing
10/16 (목)

Dr. Julian Dolby

[Seminar] To Dream the Impossible Dream: Toward Security Analysis for JavaScript
10/13 (월)

Jim Whitehurst

[DLS] Open innovation for global success
9/15 (월)

YongChul Kwon

[Seminar] Big Data: Challenges and Opportunities at Microsoft
9/1 (월)

Jiwon Seo

[Seminar] SociaLite: A Datalog-based query language for large-scale graph analysis
8/25 (월)

Mohamed F. Mokbel

[Seminar] SpatialHadoop: A MapReduce Framework for Spatial Data
8/20 (수)

Inhyok Cha

[CSE Industry Seminar] Technology Trend: Business use case and prospect for the latest research areas in ICT industry
7/8 (화)

Ji Soo Yi

[Seminar] Information Visualization for Decision Making
7/4 (금)

Jaeyeon Jung / Stuart Schechter

[DLS] Driving apps to test the security of third-party components / Towards reliable storage of 56-bit secrets in human memory
6/10 (화)

John Kim

[Seminar] Communication: From Bits to Words
6/3 (화)

Cyrus Shahabi 교수 외 1인

[S-Talk] Big Data & Mobile Research at Integrated Media Systems Center (IMSC) University of Southern California
5/23 (금)

Alan Mycroft

[DLS] Isolation Types and Multi-core Processors
5/21 (수)

김문진

[Seminar] Application Hacking 및 GCPS(Global Cyber Patrol System) 소개
5/16 (금)

Sungjoo Yoo

[Seminar] Addressing Challenges and Opportunities in Memory Subsystem
5/9 (금)

Phillip C.-Y. Sheu

[S-Talk] The Semantic Computing Consortium and Semantic Problem Solving Engine
5/1 (목)

이상진(Sangjin Lee)

[Seminar] 디지털 포렌식 소개 및 R/D 전략
4/29 (화)

KyoChul Kang

[DLS] Software Product Line Engineering:A New SE Paradigm
4/17 (목)

Gabriel H. Loh

[Seminar] Memory Organizations for 3D Die Stacking
4/17 (목)

Song Chong

[DLS] Human mobility patterns and their impact on mobile network performance
4/16 (수)

Xing Xie

[Seminar] Building a User Knowledge Graph Based on Human Behavioral Data
4/15 (화)

Monica S. Lam

[Seminar] Omlet: a platform for a Programmable Open Mobile Internet (POMI)
3/19 (수)

Hojung Cha

[DLS] Mobile Sensing System
3/6 (목)

Ansuman Banerjee

[Seminar] Counterexample ranking using mined invariants

2013

12/31 (화)

배경민( Kyungmin Bae)

Formal Specification and Verification of Distributed Cyber-Physical Systems
12/27 (금)

Taehwan Kim

Machine learning approach for human motion analysis
12/27 (금)

Yung-Kyun Noh

Machine Learning with Nearest Neighbors
12/27 (금)

양홍석(Hongseok Yang)

Understanding Eventual Consistency
12/10 (화)

Sheldon X-.D. Tan

ARCHITECTURE LEVEL THERMAL MODELING, MANAGEMENT FOR MULTI-COREAND 3D MICROPROCESSORS
12/9 (월)

Krishnendu Chakrabarty

Digital Microfluidic Biochips: Towards Functional Diversity, More than Moore, and Cyberphysical Integration
11/21 (목)

Hsiao-Wuen Hon

[DLS] Transforming the Impossible to the Natural
11/18 (월)

황의종

Data Analytics: Integration, Privacy, and Knowledge
11/15 (금)

한재선

[CSE Industry Seminar]기업 현장에서의 빅데이터 구축 사례와 기술 이슈
11/13 (수)

Daekyeong Moon

Designing a pragmatic back-end service for mobile games
11/12 (화)

Lei Chen

Crowdsourcing over Big Data, are we there yet?
11/5 (화)

Luis Ceze

Disciplined Approximate Computing: From Language to Hardware, and Beyond
11/5 (화)

장래혁

Hybrid Energy Storage Systems: A Computer Systems Design Approach
10/29 (화)

이호수

[CSE Industry Seminar]Software as Innovation Enabler
10/22 (화)

장덕현

[CSE Industry Seminar]Flash 메모리 기반 Mobile/Server Storage 기술 동향 및 도전
10/10 (목)

홍원기

[CSE Industry Seminar]What does 'Computer Science and Engineering' mean to Telcos?
9/12 (목)

Hermann Härtig

[Seminar] Towards Smaller Trusted Computing Bases
7/22 (월)

Junghoo "John" Cho

[DLS] Learning from Data: Popularity-Aware Topic Model
7/8 (월)

Jiawei Han

[DLS] Mining Heterogeneous Information Networks
5/31 (금)

Michael Sahngwon Ryoo (유상원)

[Seminar] First-Person Computer Vision: Understanding Egocentric Video Observations
5/30 (목)

최양희 교수(서울대), 김성태 원장(한국정보화진흥원), 김상헌 대표(NHN) 외 다수

[SNU Big Data Forum] 빅데이터 시대의 국가전략
5/27 (월)

Byung G. Kim

[Seminar] DNA Sequencing with Longer Reads
5/23 (목)

Srinivasa Rao Satti

Succinct data structures: Towards optimal representation of massive data
5/23 (목) – 5/24 (금)

연사: 장래혁교수 외 다수

SNU-IBM ARL Workshop 개최 안내
5/16 (목)

Sangmin Park (박상민)

[Seminar] Localizing and Explaining Non-deadlock Concurrency Bugs
5/15 (수)

백은옥 교수님

[Seminar] 생물정보학 소개 – 서열비교를 중심으로
5/13 (월)

송용호 교수님

[Seminar] Improving Responsiveness of NAND-based Storage Systems by Employing Effective Preemption of Garbage Collection Operations
4/25 (목)

Lars Runov, Michael Edmonds, Will Goldstone, Beeling Chua

[Seminar] Unity 게임엔진 소개와 비전, 국내 게임 시장의 흐름
4/16 (화)

Prof. Dr. Bernard DHALLUIN

[Seminar] Training and research activities of Microelectronics Center of Provence
4/11 (목)

원유집 교수님

[Seminar] 안드로이드 입출력 시스템의 특성분석
4/2 (화)

김성국 교수

[Seminar] Cloud Services: computing and networking
3/29 (금)

김정한 소장/전무

삼성전자 소프트웨어연구소 Vision & Strategy
3/25 (월)

Sangyeun Cho

How Smart Can Your SSD Be?
3/21 (목)

Dr. KyungDong Ryu

Towards Exascale Computing: Blue Gene and Beyond
2/6 (수)

Eriko Nurvitadhi

[Seminar] GraphGen : Design Compiler for Graph Computations
1/21 (월)

Honglak Lee

[Seminar] Learning Representations from Data

2012

12/26 (수)

Pierre-Yves Laffont

[Seminar] Intrinsic image decomposition from multiple photographs
12/18 (화)

김 주호(Juho Kim)

[Seminar] Crowdsourcing Video Annotations to Enhance the Learning Experience of How-to Videos
12/13 (목)

Yongjun Park

[Seminar] Libra: Tailoring SIMD Execution using Heterogeneous Hardware and Dynamic Configurability
12/5 (수)

Andrew Watson

[DLS] Vision Models and Visual Quality
11/26 (월)

이상욱

[글로벌공학교육센터]공대생을 위한 융합과 창의성 강좌
11/21 (수)

장문석 상무

[Seminar] Virtualization meets Cloud
11/6 (화)

Sebastian Seung

[DLS] Mapping the retinal connectome with EyeWire, an online community for "citizen neuroscience"
11/5 (월)

Fiona N. Newell

[Seminar] Using principles of multisensory integration in the development of targeted interventions, games and entertainment
10/26 (금)

홍준성

[Seminar] 좋은 소프트웨어 엔지니어 되기
10/24 (수)

Isabelle Buelthoff

[Seminar]Face Perception. using a morphable face model to determine what makes a face look Asian or Caucasian and what makes a face attractive and why?
10/23 (화)

Carol O'Sullivan

[Seminar] Perceptually guided animation of humans and crowds.
10/22 (월)

Kei Hiraki

[DLS] Speculative aspects of high-speed processor design
10/19 (금)

장우석

[Seminar] Cloud Computing을 위한 Flash Storage 기술
10/17 (수)

Ulrika Jaresund

Exchange Student Program between Uppsala University and Seoul National University
10/17 (수)

이주식

[Seminar] 소셜네트웍이 주도하는 미래 인터넷 시장
10/5 (금)

송효정

[Seminar] 모바일 Web 소개
10/4 (목)

Anders Møller

[Seminar] Static Analysis for JavaScript
9/14 (금)

Kwei-Jay Lin

[DLS] Design of an Intelligent Middleware for Flexible Sensor Configuration in M2M Systems
8/23 (목)

김 제 성 박사

[Seminar] Three Tips for Building Robust Software in C++
8/16 (목)

Xiang Cao

[Seminar] Creating Technologies and Technologies for Creating
8/3 (금)

Jin Song Dong

[Seminar] Pervasive Model Checking
7/24 (화)

Feng Zhao

[DLS] Mobile Sensing
6/20 (수)

Jungwoo Ha

[Seminar] Accurate and Scalable Managed Runtime Monitoring and Analysis
6/18 (월)

Prof. Onur Mutlu

[Seminar] Scalable Memory Systems in the Multi-Core Era(6/18 2pm~6pm, 6/20 2pm~6pm)
6/12 (화)

황준석

[Seminar] Smart Media Research and Smart Age Philosophy: New Enlightenment M+ for Renaissance & DIGITALOGY 2012 +
6/8 (금)

Prof. Byeongcheol Lee

[Seminar] "Marco: Safe, Expressive Macros for Any Language"
6/1 (금)

이수원

[Seminar] 지식재산의 경제발전
5/25 (금)

Dr. Christophe Dubach

[Seminar] LiquidMetal: a Unified Programming Language and Runtime for Heterogeneous Platforms
5/25 (금)

고경곤

[Seminar] 소셜 미디아 Trend와 마케팅 전략
5/24 (목)

고경곤

[Seminar] 소셜 미디아 Trend와 마케팅 전략
5/23 (수)

Werner Vogels

[DLS] Data without Limits
5/21 (월)

Prof. Hsiang-Tsung Kung

[Seminar] Big Data and Compressive Sensing
5/21 (월)

Prof. Lawrence Rauchwerger

[Seminar] STAPL : An Adaptive Parallel Programming Environment
5/16 (수)

장 우 석

[Seminar] Smart Car 시장/기술의 현황 및 전망
5/15 (화)

Prof.Deepak Kapur

[Seminar] Program Analysis using Quantifier Elimination Heuristics
4/24 (화)

윤주현

UX 트렌드와 디자인
4/23 (월)

Duckki Oe

Formally Certified Satisfiability Solving
4/13 (금)

김재범

Genome Sequence Alignment and Reliability
4/6 (금)

John Stasko

Visual Analytics for Investigative Analysis and Exploration of Documents and Data
4/5 (목)

김종원

로봇공학과 창의적 공학설계
3/28 (수)

김미성

백전불패 프레젠테이션
3/21 (수)

Sudhakar Yalamanchili

The Era of Heterogeneous Compute: Challenges and Opportunities
3/15 (목)

송길태

Revealing mammalian evolutionary relationships by comparative analysis of gene clusters
3/14 (수)

Alan Fekete

Weak Isolation: Theory and Its Impact
3/12 (월)

Mattan Erez

Heterogeneity and Proportionality for Extreme-Scale Systems
2/28 (화)

Kwan-Liu Ma

Advanced Concepts for Large Data Visualization
2/28 (화)

Ben Shneiderman

Information Visualization for Knowledge Discovery
1/12 (목)

김기호

삼성전자 SW 비전

2012 - 2013

11/21 (수) – 1/7 (월)

장동영

제 2회 “2013 스마트프로덕트 창업경진대회”

2011

12/15 (목)

허염

실리콘마이터스 창업과 글로벌 도전
11/21 (월)

김형준

NoSQL 개요 및 주요 시스템
11/14 (월)

Sun Kim

Cancer Informatics and Personalized Medicine
10/12 (수)

김진형

다시 소프트웨어를 돌아본다
9/27 (화)

Josep Torrellas

Designing Multicores for Programmability: The Bulk Multicore Architecture
9/27 (화)

Charles Hymans

Software Development, Learning from the Trenches
9/26 (월)

Bernhard Egger

Performance Estimation for GPUs
9/5 (월)

Jehee Lee

Principles vs Observation: How do people move?
8/29 (월)

이광근

SW의 오류 찾기
8/8 (월)

Arvind

Recent Changes in MIT EECS and CSAIL administration
8/1 (월)

Sang Lyul Min

Reliability Issues in Flash Memory Storage Devices
6/10 (금)

Peter Chen

Active Conceptual Modeling: A New Frontier for Research and Applications
5/23 (월)

John A. Stankovic

Wireless Sensor Networks for Home Medical Care
4/27 (수)

Jong-Deok Choi

Embedded S/W for Semiconductor Solutions at Samsung Electronics
4/22 (금)

Byeong-hun Min

R&D Leadership (Optical Storage)

2010

12/13 (월)

Matt Franklin

Algorithmic Aspects of Secure Computation and Communication
11/5 (금)

Arvind

Unvalidated Simulations and the Quantitative Approach to Computer Architecture
11/4 (목)

David Schmidt

Namespace-based Language Modelling
11/3 (수)

Vijaykrishnan Narayanan

Architectural Innovations Using Non-Volatile Memory Technology
10/7 (목)

Massoud Pedram

Energy Efficient Enterprise Computing and Green Datacenters
3/12 (금)

Fran Allen

The Challenge of the Multicores

2009

11/23 (월)

Raymond T. Ng

Towards multi-modal extraction and summarization of conversations
10/16 (금)

Kang G. Shin

CPS Assurance: Definitions, Examples, and Research Issues
10/7 (수)

Arvind

Is Hardware Innovation Over?
9/22 (화)

Alfred Spector

Research and Innovation at Google
5/11 (월)

Peter O'Hearn

From Separation Logic to Systems Code

2008

12/18 (목)

Akira Namatame

Evolutionary Optimization in Networked Systems
10/21 (화)

Giuseppe Bianchi

Fundamental delay bounds in peer-to-peer chunk-based real-time streaming systems
10/14 (화)

Reinhard Wilhelm

Timing Analysis and Timing Predictability
10/7 (화)

David Padua

Programming in the era of parallelism
9/30 (화)

Patrick Cousot

Abstract Interpretation and Application to the Static Analysis of Safety-Critical Embedded Computer Software