설명: 설명: 설명: 설명: 설명: 설명: 신인식1

Insik Shin

Associate Professor
School of Computing, KAIST, Korea

Email:

 

Quick Links:    News  |   Research  |   Publications  |   Awards  |   Teaching  |   Contact   

Biographical Sketch

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, systems security, mobile computing, and cyber-physical systems. He serves on program committees of top international conferences, including RTSS, RTAS and ECRTS. He is a recipient of several best (student) paper awards, including RTSS ’03, RTAS ’12, and RTSS ’12, KAIST Excellence Award, and Naver Young Faculty Award.

News

2018. 8

Paper

“MC-SDN: Supporting Mixed-Criticality Scheduling on Switched-Ethernet Using Software-Defined Networking” @ RTSS 2018

2018. 7

Paper

“Finding Kernel Race Bugs through Fuzzing” @ S&P 2019

2018. 7

Paper

“Pride and Prejudice in Progressive Web Apps: Abusing Native App-like Features in Web Applications” @ CCS 2018 (16.6%; conditionally accepted)

2018. 7

Paper

“UbiTap: Leveraging Acoustic Dispersion for Ubiquitous Touch Interface on Solid Surfaces” @ SenSys 2018 (15.6%; conditionally accepted)

2018. 1

Paper

“Enhancing Memory Error Detection for Large-scale Applications and Fuzz Testing” @ NDSS 2018

2017.12

Award

Technology Innovation Award (School of Engineering, KAIST)

2017.10

Paper

“MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling” @ EMSOFT 2017

2017. 6

Paper

“Mobile Plus: Multi-device Mobile Platform for Cross-device Functionality Sharing” @ MobiSys 2017

2017. 2

Paper

“SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs” @ NDSS 2017

 

Selected Publications

  • “Mobile Plus: Multi-device Mobile Platform for Cross-device Functionality Sharing”, MobiSys 2017
  • "SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs", NDSS 2017
  • "FlexDroid: Enforcing In-App Privilege Separation in Android", NDSS 2016
  • "Rethinking Energy-Performance Trade-Off in Mobile Web Page Loading", MobiCom 2015 (Best Paper Award Runner-Up)
  • "Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines", RTSS 2012 (Best Paper Award Winner)
  • "Periodic Resource Model for Compositional Real-Time Guarantees", RTSS 2003 (Best Paper Award Winner)

 

 

 

Professional Activities

  • Program Co-Chair, RTCSA 2018
  • 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 – 2017
  • Steering Committee,  CPSNA 2013-2016
  • Finance Chair, RTCSA 2016
  • Demo Chair, ICCPS 2013
  • Publication Chair, CPSNA 2013
  • Publicity Co-Chair, RTSS 2013
  • Associate Editor, Journal of Computing Science and Engineering, 2011-2016
  • Tutorial, CPSWeek 2012
  • TPC (2018) – RTSS
  • TPC (2017) – ISORC, ETFA
  • TPC (2016) – RTCSA, ETFA, RTAS Demo
  • TPC (2015) – ECRTS, RTCSA, ETFA
  • TPC (2014) - RTSS, RTAS, ECRTS, RTCSA, ETFA
  • 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

Awards & Honors

  • Technology Innovation Award (School of Engineering, KAIST) 2017
  • KAIST Excellence Award 2016
  • Naver Young Faculty Award 2015
  • Best Paper Award, CPSNA 2014
  • 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

Teaching

  • Operating Systems and Lab. (undergraduate), Fall 2009, Spring 2009, Fall 2010, Fall 2011, Fall 2012, Fall 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2017, Spring 2018
  • Advanced Operating Systems (graduate), Fall 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Fall 2015, Fall 2016, Fall 2017
  • Special Topics in Operating Systems – Trustworthy Computing: Operating Systems and Virtualization, Fall 2009
  • Cyber-Physical Systems, Fall 2008

Contact Information

  • 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