|
Insik
Shin is an associate professor in the Department of Computer Science at
KAIST, Korea. He received a Ph.D. degree from the University of Pennsylvania,
USA, an MS degree from Stanford
University, USA, and a BS degree from
Korea University, Korea, all in Computer (& Information)
Science. Prior to joining KAIST in 2008, he has been a post-doctoral research
fellow at Malardalen University, Sweden, and a visiting scholar at
University of Illinois at Urbana-Champaign, USA. His research interests
include real-time embedded systems, mobile computing, and cyber-physical
systems.
|
2013.4
|
Paper
|
“Mixed-criticality scheduling on
multiprocessors” was accepted to Real-Time
Systems Journal (RTSJ)
|
|
2013.4
|
Service
|
Serving as Publicity Chair of RTSS 2013
|
|
2013.4
|
Service
|
Serving as Vice Chair of ICPADS 2013 (Track Chair of
CPS Track)
|
|
2013.3
|
Paper
|
“Global EDF Schedulability
Analysis for Synchronous Parallel Tasks on
Multicore Platforms” was accepted to ECRTS 2013
|
|
2013.3
|
Paper
|
“Scheduling in Heterogeneous Computing
Environments for Proximity Queries” was accepted to
IEEE Transactions on Visualization and Computer Graphics (TVCG)
|
|
2013.3
|
Service
|
Serving on TPC of RTSS 2013
|
|
2013.1
|
Service
|
Guest Editor, Journal of Systems Architecture, Special
Issue on CPSNA 2013
|
|
2013.1
|
Service
|
Serving on TPC of EMSOFT 2013
|
|
2013.1
|
Media
|
Press Release on Best Paper Award from IEEE RTSS 2012: YTN, 신문기사
|
|
2012.12
|
Paper & Award
|
The Best Paper Award for RTSS 2012 went to our paper “Extending
Task-level to Job-level Fixed Priority Assignment and Schedulability
Analysis Using Pseudo-deadlines”.
|
|
2012.12
|
Service
|
Serving on TPC of RTCSA 2013
|
|
2012.11
|
Paper
|
“EDZL Schedulability
Analysis in Real-Time Multi-Core Scheduling” was
accepted to IEEE Transactions on Software Engineering (TSE)
|
|
2012.11
|
Paper
|
“SymPhoney: A
Coordinated Dataflow Execution Engine for Concurrent Mobile Sensing
Applications” @ ACM SenSys
2012
|
|
2012.11
|
Paper
|
“Laxity
Dynamics and LLF Schedulability Analysis on Multiprocessor Platforms” @ Real-Time
Systems Journal (RTSJ)
|
|
2012.10
|
Service
|
Serving on TPC of RTAS 2013
|
|
2012.10
|
Service
|
Serving as Demo Chair of ICCPS 2013 (ACM/IEEE 4th
International Conference on Cyber-Physical Systems)
|
|
2012.10
|
Service
|
Serving as Publication Chair of CPSNA 2013
|
|
2012.10
|
Service
|
Serving as Workshop/Tutorial Chair of CPSWEEK 2013
|
|
2012.10
|
Paper
|
“Convex
Optimization Framework for Intermediate Deadline Assignment in Soft and
Hard Real-Time Distributed Systems” @ Journal of Systems & Software
|
|
2012.9
|
Paper
|
“A Checkpoints Capturing Timing-robust Boolean Model of Budding
Yeast Cell Cycle Regulatory Network” was accepted
to BMC Systems Biology
|
|
2012.8
|
Service
|
Workshop Co-chair, 2nd Workshop on
Cyber-Physical Systems, Networks, and Applications (CPSNA 2012), Seoul, Korea
|
|
2012.4
|
Service
|
Workshop Co-chair, 4th Workshop on Adaptive
and Reconfigurable Embedded Systems (APRES 2012), Beijing, China
|
|
2012.4
|
Service
|
Tutorial on Compositional Real-Time Analysis for
Cyber-Physical Systems at CPSWeek 2012, Beijing,
China
|
|
2012.4
|
Paper
|
“Schedulability Analysis and Priority Assignment
for Global Job-Level Fixed-Priority Multiprocessor Scheduling” @ IEEE RTAS 2012
|
- Workshop
Co-Chairs, CPSNA 2012, APRES 2012, CRTS 2008
- Vice
Chair (CPS Track Chair), ICPADS 2013
- Workshop/Tutorial
Chair, CPSWeek 2013
- Organizing
Committees, CRTS 2008 – 2012
- Steering
Committee, CPSNA 2013
- Demo
Chair, ICCPS 2013
- Publication
Chair, CPSNA 2013
- Publicity
Co-Chair, RTSS 2013
- Associate
Editor, Journal of Computing Science and Engineering, 2011-2013
- Guest
Editor, Journal of Systems Architecture, Special Issue on CPSNA 2013
- Tutorial,
CPSWeek 2012
- TPC
(2013) - RTSS, RTAS, EMSOFT, RTCSA, CPSNA, ETFA, SOCA, GPC, VtRES, IWSC, ECRTS WIP, SIES WIP
- TPC
(2012) - RTSS, ECRTS, EMSOFT, SOCA
- TPC
(2011) - ECRTS, ETFA, RTCSA, RTSS WIP, ICCPS WIP
- TPC
(2010) - EMSOFT, ECRTS, ETFA, RTCSA, CRTS, RTAS WIP
- TPC
(2009) - RTAS, ETFA, EUC, WCPS
- TPC
(2008) - RTSS
- Best Paper Awards,
RTSS 2003 and 2012
- Best
Student Paper Award, RTAS 2011
- Best Paper Award
Runner-Up, RTSS 2008
- Best Paper Award
Runner-Up, ECRTS 2008
- Morris and Dorothy Rubinoff Award, for the best doctoral dissertation
in computer technology, University of Pennsylvania, 2006
- Bronze Prize, Samsung
Electronics' Humantech Thesis Contest, 2005
- Operating
Systems and Lab. (undergraduate), Fall 2009, Spring 2009, Fall 2010,
Fall 2011, Fall 2012
- Advanced Operating
Systems (graduate), Fall 2009, Spring 2010, Spring 2011, Spring 2012,
Spring 2013
- Special Topics in
Operating Systems – Trustworthy
Computing: Operating Systems and Virtualization, Fall 2009
- Cyber-Physical
Systems, Fall 2008
- Email:
- Phone: +82-42-350-3524
- Fax: +82-42-350-3510
- Office: CS Building (E3-1),
Room 4425
- Office Hours: Wednesday 2:00pm -
4:00pm, Thursday 5:30pm - 6:30pm
- Mailing address
Dept. of Computer Science, KAIST
291 Daehakro, Yuseong-gu,
Daejeon, South Korea 305-701
|
