Fair Real-Time Traffic Scheduling over a Wireless LA. - Maria Adamou; Sanjeev Khanna; Insup Lee 001; Insik Shin; Shiyu Zhou (RTSS, 2001)

Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements. - Insik Shin; Insup Lee 001; Sang Lyul Min (RTSS, 2002)

Periodic Resource Model for Compositional Real-Time Guarantees. - Insik Shin; Insup Lee 001 (RTSS, 2003)

A Compositional Framework for Real-Time Guarantees. - Insik Shin; Insup Lee 001 (ASWSD, 2004)

Compositional Real-Time Scheduling Framework. - Insik Shin; Insup Lee 001 (RTSS, 2004)

A Compositional Framework for Real-Time Embedded Systems. - Insik Shin; Insup Lee 001 (ISAS, 2005)

Incremental schedulability analysis of hierarchical real-time components. - Arvind Easwaran; Insik Shin; Oleg Sokolsky; Insup Lee 001 (EMSOFT, 2006)

SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems. - Moris Behnam; Insik Shin; Thomas Nolte; Mikael Nolin (EMSOFT, 2007)

Compositional Schedulability Analysis of Hierarchical Real-Time Systems. - Arvind Easwaran; Insup Lee 001; Insik Shin; Oleg Sokolsky (ISORC, 2007)

Compositional Real-Time Schedulability Analysis. - Insik Shin; Insup Lee 001 (Handbook of Real-Time and Embedded Systems, 2007)

An Overrun Method to Support Composition of Semi-independent Real-Time Components. - Moris Behnam; Insik Shin; Thomas Nolte; Mikael Nolin (COMPSAC, 2008)

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors. - Insik Shin; Arvind Easwaran; Insup Lee 001 (ECRTS, 2008)

Scheduling of semi-independent real-time components: Overrun methods and resource holding times. - Moris Behnam; Insik Shin; Thomas Nolte; Mikael Nolin (ETFA, 2008)

Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources. - Insik Shin; Moris Behnam; Thomas Nolte; Mikael Nolin (RTSS, 2008)

A design framework for real-time embedded systems with code size and energy constraints. - Sheayun Lee; Insik Shin; Woonseok Kim; Insup Lee 001; Sang Lyul Min (ACM Trans. Embed. Comput. Syst., 2008)

Compositional real-time scheduling framework with periodic model. - Insik Shin; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2008)

Optimal virtual cluster-based multiprocessor scheduling. - Arvind Easwaran; Insik Shin; Insup Lee 001 (Real Time Syst., 2009)

A Synchronization Protocol for Temporal Isolation of Software Components in Vehicular Systems. - Thomas Nolte; Insik Shin; Mikael Sjödin; Moris Behnam (IEEE Trans. Ind. Informatics, 2009)

Online robust optimization framework for QoS guarantees in distributed soft real-time systems. - Jinkyu Lee 001; Insik Shin; Arvind Easwaran (EMSOFT, 2010)

LLF Schedulability Analysis on Multiprocessor Platforms. - Jinkyu Lee 001; Arvind Easwaran; Insik Shin (RTSS, 2010)

Multiprocessor real-time scheduling considering concurrency and urgency. - Jinkyu Lee 001; Arvind Easwaran; Insik Shin; Insup Lee 001 (SIGBED Rev., 2010)

On interrupt scheduling based on process priority for predictable real-time behavior. - Minsub Lee; Juyoung Lee; Andrii Shyshkalov; Jaevaek Seo; Intaek Hong; Insik Shin (SIGBED Rev., 2010)

Overrun Methods and Resource Holding Times for Hierarchical Scheduling of Semi-Independent Real-Time Systems. - Moris Behnam; Thomas Nolte; Mikael Sjödin; Insik Shin (IEEE Trans. Ind. Informatics, 2010)

Aciom: application characteristics-aware disk and network i/o management on android platform. - Hyosu Kim; Minsub Lee; Wookhyun Han; Kilho Lee; Insik Shin (EMSOFT, 2011)

Maximizing Contention-Free Executions in Multiprocessor Scheduling. - Jinkyu Lee 001; Arvind Easwaran; Insik Shin (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Adaptive trajectory coordination for scalable multiple robot control. - Hoon Sung Chwa; Andrii Shyshkalov; Jinkyu Lee 001; Kilho Lee; Hyoungbu Back; Insik Shin (SOCA, 2011)

Zero-laxity based real-time multiprocessor scheduling. - Jinkyu Lee 001; Arvind Easwaran; Insik Shin; Insup Lee 001 (J. Syst. Softw., 2011)

Implementation of compositional scheduling framework on virtualization. - Jungwoo Yang; Hyungseok Kim 002; Sangwon Park; Changki Hong; Insik Shin (SIGBED Rev., 2011)

OptiTuner: On Performance Composition and Server Farm Energy Minimization Application. - Jin Heo; Praveen Jayachandran; Insik Shin; Dong Wang 002; Tarek F. Abdelzaher; Xue Liu 001 (IEEE Trans. Parallel Distributed Syst., 2011)

Poster: towards mobile GPU-accelerated context processing for continuous sensing applications on smartphones. - Chulhong Min; Wookhyun Han; Inseok Hwang 001; Sang Jeong Lee; Youngki Lee 001; Insik Shin; Junehwa Song (MobiSys, 2012)

Schedulability Analysis and Priority Assignment for Global Job-Level Fixed-Priority Multiprocessor Scheduling. - Hyoungbu Back; Hoon Sung Chwa; Insik Shin (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines. - Hoon Sung Chwa; Hyoungbu Back; Sanjian Chen; Jinkyu Lee 001; Arvind Easwaran; Insik Shin; Insup Lee 001 (RTSS, 2012)

SymPhoney: a coordinated sensing flow execution engine for concurrent mobile sensing applications. - Younghyun Ju; Youngki Lee 001; Jihyun Yu; Chulhong Min; Insik Shin; Junehwa Song (SenSys, 2012)

A checkpoints capturing timing-robust Boolean model of the budding yeast cell cycle regulatory network. - Changki Hong; Minho Lee 002; Dongsup Kim; Dong San Kim; Kwang-Hyun Cho; Insik Shin (BMC Syst. Biol., 2012)

Convex optimization framework for intermediate deadline assignment in soft and hard real-time distributed systems. - Jinkyu Lee 001; Insik Shin; Arvind Easwaran (J. Syst. Softw., 2012)

Laxity dynamics and LLF schedulability analysis on multiprocessor platforms. - Jinkyu Lee 001; Arvind Easwaran; Insik Shin (Real Time Syst., 2012)

User mobility-aware decision making for mobile computation offloading. - Kilho Lee; Insik Shin (CPSNA, 2013)

Global EDF Schedulability Analysis for Synchronous Parallel Tasks on Multicore Platforms. - Hoon Sung Chwa; Jinkyu Lee 001; Kieu-My Phan; Arvind Easwaran; Insik Shin (ECRTS, 2013)

GreenBag: Energy-Efficient Bandwidth Aggregation for Real-Time Streaming in Heterogeneous Mobile Wireless Networks. - Duc Hoang Bui; Kilho Lee; Sangeun Oh; Insik Shin; Hyojeong Shin; Honguk Woo; Daehyun Ban (RTSS, 2013)

A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems. - Sung-Soo Lim; Eun-Jin Im; Nikil D. Dutt; Kyung-Woo Lee; Insik Shin; Chang-Gun Lee; Insup Lee 001 (SOCA, 2013)

Limited carry-in technique for real-time multi-core scheduling. - Jinkyu Lee 001; Insik Shin (J. Syst. Archit., 2013)

EDZL Schedulability Analysis in Real-Time Multicore Scheduling. - Jinkyu Lee 001; Insik Shin (IEEE Trans. Software Eng., 2013)

Scheduling in Heterogeneous Computing Environments for Proximity Queries. - Duksu Kim; Jinkyu Lee 001; Junghwan Lee; Insik Shin; John Kim 001; Sung-Eui Yoon (IEEE Trans. Vis. Comput. Graph., 2013)

Scalable Path and Time Coordination for Robot Formation. - Hoon Sung Chwa; Andrii Shyshkalov; Kilho Lee; Insik Shin (CPSNA, 2014)

Mobile maestro: enabling immersive multi-speaker audio applications on commodity mobile devices. - Hyosu Kim; Sang Jeong Lee; Jung-Woo Choi; Hwidong Bae; Jiyeon Lee; Junehwa Song; Insik Shin (UbiComp, 2014)

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors. - Jaewoo Lee; Kieu-My Phan; Xiaozhe Gu; Jiyeon Lee; Arvind Easwaran; Insik Shin; Insup Lee 001 (RTSS, 2014)

Demand-based schedulability analysis for real-time multi-core scheduling. - Jinkyu Lee 001; Insik Shin (J. Syst. Softw., 2014)

Mixed-criticality scheduling on multiprocessors. - Sanjoy K. Baruah; Bipasa Chattopadhyay; Haohan Li; Insik Shin (Real Time Syst., 2014)

Contention-free executions for real-time multiprocessor scheduling. - Jinkyu Lee 001; Arvind Easwaran; Insik Shin (ACM Trans. Embed. Comput. Syst., 2014)

Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling. - Xiaozhe Gu; Arvind Easwaran; Kieu-My Phan; Insik Shin (ECRTS, 2015)

Rethinking Energy-Performance Trade-Off in Mobile Web Page Loading. - Duc Hoang Bui; Yunxin Liu 001; Hyosu Kim; Insik Shin; Feng Zhao 001 (MobiCom, 2015)

Optimal Real-Time Scheduling on Two-Type Heterogeneous Multicore Platforms. - Hoon Sung Chwa; Jaebaek Seo; Jinkyu Lee 001; Insik Shin (RTSS, 2015)

SounDroid: Supporting Real-Time Sound Applications on Commodity Mobile Devices. - Hyosu Kim; Sang Jeong Lee; Wookhyun Han; Daehyeok Kim; Insik Shin (RTSS, 2015)

Priority-Based Network Interrupt Scheduling for Predictable Real-Time Support. - Minsub Lee; Hyosu Kim; Insik Shin (J. Comput. Sci. Eng., 2015)

User Mobility Model Based Computation Offloading Decision for Mobile Cloud. - Kilho Lee; Insik Shin (J. Comput. Sci. Eng., 2015)

Capturing urgency and parallelism using quasi-deadlines for real-time multiprocessor scheduling. - Hoon Sung Chwa; Hyoungbu Back; Jinkyu Lee 001; Kieu-My Phan; Insik Shin (J. Syst. Softw., 2015)

Composition of Schedulability Analyses for Real-Time Multiprocessor Systems. - Jinkyu Lee 001; Kang G. Shin; Insik Shin; Arvind Easwaran (IEEE Trans. Computers, 2015)

Poster: TapSnoop - Inferring Tapstrokes from Listening to Tap Sound on Mobile Devices. - Hyosu Kim; Daehyeok Kim; Byunggill Joe; Yunxin Liu 001; Insik Shin (MobiSys (Companion Volume), 2016)

Demo: Mobile Plus: Mobile Platform for Transparent Sharing of Functionalities Across Devices. - Sangeun Oh; Hyuck Yoo; Daelyong Jeong; Sooyoung Park; Duc Hoang Bui; Sungsoo Moon; Insik Shin (MobiSys (Companion Volume), 2016)

FLEXDROID: Enforcing In-App Privilege Separation in Android. - Jaebaek Seo; Daehyeok Kim; Donghyun Cho; Insik Shin; Taesoo Kim (NDSS, 2016)

Fast and accurate cycle estimation through hybrid instruction set simulation for embedded systems. - Kilho Lee; Wookhyun Han; Jaewoo Lee; Hoon Sung Chwa; Insik Shin (RTSS, 2016)

Toward the Holographic Reconstruction of Sound Fields Using Smart Sound Devices. - Jung-Woo Choi; Byung Jin Cho; Insik Shin (IEEE Multim., 2016)

GPU-SAM: Leveraging multi-GPU split-and-merge execution for system-wide real-time support. - Wookhyun Han; Hoon Sung Chwa; Hwidong Bae; Hyosu Kim; Insik Shin (J. Syst. Softw., 2016)

Thread-level priority assignment in global multiprocessor scheduling for DAG tasks. - Jiyeon Lee; Hoon Sung Chwa; Jinkyu Lee 001; Insik Shin (J. Syst. Softw., 2016)

Towards compositional mixed-criticality real-time scheduling in open systems: invited paper. - Jaewoo Lee; Hoon Sung Chwa; Arvind Easwaran; Insik Shin; Insup Lee 001 (SIGBED Rev., 2016)

RETHINKING ENERGYPERFORMANCE TRADE-OFF in Mobile Web Page Loading. - Duc Hoang Bui; Yunxin Liu 001; Hyosu Kim; Insik Shin; Feng Zhao 001 (GetMobile Mob. Comput. Commun., 2016)

Mobile Plus: Multi-device Mobile Platform for Cross-device Functionality Sharing. - Sangeun Oh; Hyuck Yoo; Dae R. Jeong; Duc Hoang Bui; Insik Shin (MobiSys, 2017)

SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs. - Jaebaek Seo; Byoungyoung Lee; Seong-Min Kim; Ming-Wei Shih; Insik Shin; Dongsu Han; Taesoo Kim (NDSS, 2017)

REboost: Improving Throughput in Wireless Networks Using Redundancy Elimination. - Kilho Lee; Daehyeok Kim; Insik Shin (IEEE Commun. Lett., 2017)

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling. - Jaewoo Lee; Hoon Sung Chwa; Linh T. X. Phan; Insik Shin; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2017)

Global EDF Schedulability Analysis for Parallel Tasks on Multi-Core Platforms. - Hoon Sung Chwa; Jinkyu Lee 001; Jiyeon Lee; Kiew-My Phan; Arvind Easwaran; Insik Shin (IEEE Trans. Parallel Distributed Syst., 2017)

Pride and Prejudice in Progressive Web Apps: Abusing Native App-like Features in Web Applications. - Jiyeon Lee; Hayeon Kim; Junghwan Park; Insik Shin; Sooel Son (CCS, 2018)

Enhancing Memory Error Detection for Large-Scale Applications and Fuzz Testing. - Wookhyun Han; Byunggill Joe; Byoungyoung Lee; Chengyu Song; Insik Shin (NDSS, 2018)

MC-SDN: Supporting Mixed-Criticality Scheduling on Switched-Ethernet Using Software-Defined Networking. - Kilho Lee; Taejune Park; Minsu Kim; Hoon Sung Chwa; Jinkyu Lee 001; Seungwon Shin 001; Insik Shin (RTSS, 2018)

UbiTap: Leveraging Acoustic Dispersion for Ubiquitous Touch Interface on Solid Surfaces. - Hyosu Kim; Anish Byanjankar; Yunxin Liu 001; Yuanchao Shu; Insik Shin (SenSys, 2018)

Multi-level contention-free policy for real-time multiprocessor scheduling. - Hyeongboo Baek; Jinkyu Lee 001; Insik Shin (J. Syst. Softw., 2018)

MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling. - Jaewoo Lee; Saravanan Ramanathan; Kieu-My Phan; Arvind Easwaran; Insik Shin; Insup Lee 001 (IEEE Trans. Computers, 2018)

Non-Preemptive Scheduling for Mixed-Criticality Real-Time Multiprocessor Systems. - Hyeongboo Baek; Namyong Jung; Hoon Sung Chwa; Insik Shin; Jinkyu Lee 001 (IEEE Trans. Parallel Distributed Syst., 2018)

Light-Weight Novel View Synthesis for Casual Multiview Photography. - Inchang Choi; Yeong Beum Lee; Dae R. Jeong; Insik Shin; Min H. Kim 001 (ISVC (1), 2019)

FLUID: Multi-device Mobile Platform for Flexible User Interface Distribution. - Sangeun Oh; Ahyeon Kim; Sunjae Lee; Kilho Lee; Dae R. Jeong; Steven Y. Ko; Insik Shin (MobiCom, 2019)

OBFUSCURO: A Commodity Obfuscation Engine on Intel SGX. - Adil Ahmad; Byunggill Joe; Yuan Xiao 001; Yinqian Zhang; Insik Shin; Byoungyoung Lee (NDSS, 2019)

Fault-Resilient Real-Time Communication Using Software-Defined Networking. - Kilho Lee; Minsu Kim; Hayeon Kim; Hoon Sung Chwa; Jinkyu Lee 001; Insik Shin (RTAS, 2019)

Battery Aging Deceleration for Power-Consuming Real-Time Systems. - Jaeheon Kwak; Kilho Lee; Taehee Kim; Jinkyu Lee 001; Insik Shin (RTSS, 2019)

Razzer: Finding Kernel Race Bugs through Fuzzing. - Dae R. Jeong; Kyungtae Kim; Basavesh Shivakumar; Byoungyoung Lee; Insik Shin (IEEE Symposium on Security and Privacy, 2019)

SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis. - Wookhyun Han; Md. Lutfor Rahman; Yuxuan Chen; Chengyu Song; Byoungyoung Lee; Insik Shin (CoRR, 2019)

Learning to Disentangle Robust and Vulnerable Features for Adversarial Detection. - Byunggill Joe; Sung Ju Hwang; Insik Shin (CoRR, 2019)

JMC: Jitter-Based Mixed-Criticality Scheduling for Distributed Real-Time Systems. - Kilho Lee; Minsu Kim; Hayeon Kim; Hoon Sung Chwa; Jaewoo Lee; Jinkyu Lee 001; Insik Shin (IEEE Internet Things J., 2019)

MC-SDN: Supporting Mixed-Criticality Real-Time Communication Using Software-Defined Networking. - Kilho Lee; Minsu Kim; Taejune Park; Hoon Sung Chwa; Jinkyu Lee 001; Seungwon Shin 001; Insik Shin (IEEE Internet Things J., 2019)

Fluid: Flexible User Interface Distribution for Ubiquitous Multi-Device Interaction. - Sangeun Oh; Ahyeon Kim; Sunjae Lee; Kilho Lee; Dae R. Jeong; Insik Shin; Steven Y. Ko (GetMobile Mob. Comput. Commun., 2019)

HFL: Hybrid Fuzzing on the Linux Kernel. - Kyungtae Kim; Dae R. Jeong; Chung Hwan Kim; Yeongjin Jang; Insik Shin; Byoungyoung Lee (NDSS, 2020)

Learning to Separate Clusters of Adversarial Representations for Robust Adversarial Detection. - Byunggill Joe; Jihun Hamm; Sung Ju Hwang; Sooel Son; Insik Shin (CoRR, 2020)

FLUID-XP: flexible user interface distribution for cross-platform experience. - Sunjae Lee; Hayeon Lee; Hoyoung Kim; Sangmin Lee; Jeong Woon Choi; Yuseung Lee; Seono Lee; Ahyeon Kim; Jean Y. Song; Sangeun Oh; Steven Y. Ko; Insik Shin (MobiCom, 2021)

CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs. - Adil Ahmad; Juhee Kim; Jaebaek Seo; Insik Shin; Pedro Fonseca 001; Byoungyoung Lee (NDSS, 2021)

LaLaRAND: Flexible Layer-by-Layer CPU/GPU Scheduling for Real-Time DNN Tasks. - Woo-Sung Kang; Kilho Lee; Jinkyu Lee 001; Insik Shin; Hoon Sung Chwa (RTSS, 2021)

AdCube: WebVR Ad Fraud and Practical Confinement of Third-Party Ads. - Hyunjoo Lee; Jiyeon Lee; Daejun Kim; Suman Jana; Insik Shin; Sooel Son (USENIX Security Symposium, 2021)

Formullar: An FPGA-based network testing tool for flexible and precise measurement of ultra-low latency networking systems. - Taejune Park; Seungwon Shin 001; Insik Shin; Kilho Lee (Comput. Networks, 2021)

Machine Learning with Electronic Health Records is vulnerable to Backdoor Trigger Attacks. - Byunggill Joe; Akshay Mehra; Insik Shin; Jihun Hamm (CoRR, 2021)

Hierarchical Scheduling. - Jin Hyun Kim; Deepak Gangadharan; Kyong Hoon Kim; Insik Shin; Insup Lee 001 (Handbook of Real-Time Computing, 2022)

An Efficient Data Analysis For Edge-Enabled Distributed Environments using Tractable Probabilistic Models. - Kihyuk Nam; Taewhi Lee; Sung-Soo Kim; Choon Seo Park; Taek Yong Nam; Insik Shin (IEEE Big Data, 2022)

Online Evasion Attacks on Recurrent Models: The Power of Hallucinating the Future. - Byunggill Joe; Insik Shin; Jihun Hamm (IJCAI, 2022)

A-mash: providing single-app illusion for multi-app use through user-centric UI mashup. - Sunjae Lee; Hoyoung Kim; Sijung Kim; Sangwook Lee; Hyosu Kim; Jean Y. Song; Steven Y. Ko; Sangeun Oh; Insik Shin (MobiCom, 2022)

SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis. - Ju Chen; Wookhyun Han; Mingjun Yin; Haochen Zeng; Chengyu Song; Byoungyoung Lee; Heng Yin 001; Insik Shin (USENIX Security Symposium, 2022)

RT-SDN: Adaptive Routing and Priority Ordering for Software-Defined Real-Time Networking. - Sangeun Oh; Insik Shin; Kilho Lee (IEEE Syst. J., 2022)

Learning for Spatio-temporal and Relational Data. - Kihyuk Nam; Taewhi Lee; Sung-Soo Kim; Insik Shin (IEEE Big Data, 2023)

It is Okay to be Distracted: How Real-time Transcriptions Facilitate Online Meeting with Distraction. - Seoyun Son; Junyoug Choi; Sunjae Lee; Jean Y. Song; Insik Shin (CHI, 2023)

Diagnosing Kernel Concurrency Failures with AITIA. - Dae R. Jeong; Minkyu Jung; Yoochan Lee; Byoungyoung Lee; Insik Shin; Youngjin Kwon (EuroSys, 2023)

MixMax: Leveraging Heterogeneous Batteries to Alleviate Low Battery Experience for Mobile Users. - Jaeheon Kwak; Sunjae Lee; Dae R. Jeong; Arjun Kumar; Dongjae Shin; Ilju Kim; Donghwa Shin; Kilho Lee; Jinkyu Lee 001; Insik Shin (MobiSys, 2023)

Message from the Program, Track, and General Chairs. - Insik Shin; Nan Guan; Renato Mancuso 001; Hyoseung Kim 001; Jian-Jia Chen (RTSS, 2023)

SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing. - Dae R. Jeong; Byoungyoung Lee; Insik Shin; Youngjin Kwon (SP, 2023)

Explore, Select, Derive, and Recall: Augmenting LLM with Human-like Memory for Mobile Task Automation. - Sunjae Lee; Junyoung Choi; Jungjae Lee; Hojun Choi; Steven Y. Ko; Sangeun Oh; Insik Shin (CoRR, 2023)

Battery-aging-aware run-time slack management for power-consuming real-time systems. - Jaeheon Kwak; Kyunghoon Kim; Youngmoon Lee; Insik Shin; Jinkyu Lee 001 (J. Syst. Archit., 2023)

${{ sf S text{-}UbiTap}}$S-UbiTap: Leveraging Acoustic Dispersion for Ubiquitous and Scalable Touch Interface on Solid Surfaces. - Anish Byanjankar; Yunxin Liu 001; Yuanchao Shu; Insik Shin; Myeongwon Choi; Hyosu Kim (IEEE Trans. Mob. Comput., 2023)

FLUID-IoT : Flexible and Fine-Grained Access Control in Shared IoT Environments via Multi-user UI Distribution. - Sunjae Lee; Minwoo Jeong; Daye Song; Junyoung Choi; Seoyun Son; Jean Y. Song; Insik Shin (CHI, 2024)

MobileGPT: Augmenting LLM with Human-like App Memory for Mobile Task Automation. - Sunjae Lee; Junyoung Choi; Jungjae Lee; Munim Hasan Wasi; Hojun Choi; Steven Y. Ko; Sangeun Oh; Insik Shin (MobiCom, 2024)

OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering. - Dae R. Jeong; Yewon Choi; Byoungyoung Lee; Insik Shin; Youngjin Kwon (SOSP, 2024)

SERENUS: Alleviating Low-Battery Anxiety Through Real-time, Accurate, and User-Friendly Energy Consumption Prediction of Mobile Applications. - Sera Lee; Dae R. Jeong; Junyoung Choi; Jaeheon Kwak; Seoyun Son; Jean Y. Song; Insik Shin (UIST, 2024)

Supporting Flexible and Transparent User Interface Distribution Across Mobile Devices. - Sangeun Oh; Ahyeon Kim; Sunjae Lee; Kilho Lee; Dae R. Jeong; Steven Y. Ko; Insik Shin (IEEE Trans. Mob. Comput., 2024)

Safeguarding Mobile GUI Agent via Logic-based Action Verification. - Jungjae Lee; Dongjae Lee; Chihun Choi; Youngmin Im; Jaeyoung Wi; Kihong Heo; Sangeun Oh; Sunjae Lee; Insik Shin (CoRR, 2025)

mCardiacDx: Radar-Driven Contactless Monitoring and Diagnosis of Arrhythmia. - Arjun Kumar; Noppanat Wadlom; Jaeheon Kwak; Si-Hyuck Kang; Insik Shin (CoRR, 2025)