Insik Shin

Orcid: 0000-0002-9128-2415

According to our database1, Insik Shin authored at least 112 papers between 2001 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
${{\sf S \text{-}UbiTap}}$S-UbiTap: Leveraging Acoustic Dispersion for Ubiquitous and Scalable Touch Interface on Solid Surfaces.
IEEE Trans. Mob. Comput., November, 2023

Battery-aging-aware run-time slack management for power-consuming real-time systems.
J. Syst. Archit., November, 2023

Explore, Select, Derive, and Recall: Augmenting LLM with Human-like Memory for Mobile Task Automation.
CoRR, 2023

SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Message from the Program, Track, and General Chairs.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

MixMax: Leveraging Heterogeneous Batteries to Alleviate Low Battery Experience for Mobile Users.
Proceedings of the 21st Annual International Conference on Mobile Systems, 2023

Diagnosing Kernel Concurrency Failures with AITIA.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

It is Okay to be Distracted: How Real-time Transcriptions Facilitate Online Meeting with Distraction.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

Learning for Spatio-temporal and Relational Data.
Proceedings of the IEEE International Conference on Big Data, 2023

2022
RT-SDN: Adaptive Routing and Priority Ordering for Software-Defined Real-Time Networking.
IEEE Syst. J., 2022

SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis.
Proceedings of the 31st USENIX Security Symposium, 2022

A-mash: providing single-app illusion for multi-app use through user-centric UI mashup.
Proceedings of the ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17, 2022

Online Evasion Attacks on Recurrent Models: The Power of Hallucinating the Future.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

An Efficient Data Analysis For Edge-Enabled Distributed Environments using Tractable Probabilistic Models.
Proceedings of the IEEE International Conference on Big Data, 2022

Hierarchical Scheduling.
Proceedings of the Handbook of Real-Time Computing, 2022

2021
Machine Learning with Electronic Health Records is vulnerable to Backdoor Trigger Attacks.
CoRR, 2021

Formullar: An FPGA-based network testing tool for flexible and precise measurement of ultra-low latency networking systems.
Comput. Networks, 2021

AdCube: WebVR Ad Fraud and Practical Confinement of Third-Party Ads.
Proceedings of the 30th USENIX Security Symposium, 2021

LaLaRAND: Flexible Layer-by-Layer CPU/GPU Scheduling for Real-Time DNN Tasks.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs.
Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

FLUID-XP: flexible user interface distribution for cross-platform experience.
Proceedings of the ACM MobiCom '21: The 27th Annual International Conference on Mobile Computing and Networking, 2021

2020
Learning to Separate Clusters of Adversarial Representations for Robust Adversarial Detection.
CoRR, 2020

HFL: Hybrid Fuzzing on the Linux Kernel.
Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

2019
Fluid: Flexible User Interface Distribution for Ubiquitous Multi-Device Interaction.
GetMobile Mob. Comput. Commun., 2019

MC-SDN: Supporting Mixed-Criticality Real-Time Communication Using Software-Defined Networking.
IEEE Internet Things J., 2019

JMC: Jitter-Based Mixed-Criticality Scheduling for Distributed Real-Time Systems.
IEEE Internet Things J., 2019

Learning to Disentangle Robust and Vulnerable Features for Adversarial Detection.
CoRR, 2019

SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis.
CoRR, 2019

Razzer: Finding Kernel Race Bugs through Fuzzing.
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Battery Aging Deceleration for Power-Consuming Real-Time Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 2019

Fault-Resilient Real-Time Communication Using Software-Defined Networking.
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

OBFUSCURO: A Commodity Obfuscation Engine on Intel SGX.
Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

FLUID: Multi-device Mobile Platform for Flexible User Interface Distribution.
Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

Light-Weight Novel View Synthesis for Casual Multiview Photography.
Proceedings of the Advances in Visual Computing, 2019

2018
Non-Preemptive Scheduling for Mixed-Criticality Real-Time Multiprocessor Systems.
IEEE Trans. Parallel Distributed Syst., 2018

MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling.
IEEE Trans. Computers, 2018

Multi-level contention-free policy for real-time multiprocessor scheduling.
J. Syst. Softw., 2018

UbiTap: Leveraging Acoustic Dispersion for Ubiquitous Touch Interface on Solid Surfaces.
Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems, SenSys 2018, 2018

MC-SDN: Supporting Mixed-Criticality Scheduling on Switched-Ethernet Using Software-Defined Networking.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Enhancing Memory Error Detection for Large-Scale Applications and Fuzz Testing.
Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Pride and Prejudice in Progressive Web Apps: Abusing Native App-like Features in Web Applications.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017
Global EDF Schedulability Analysis for Parallel Tasks on Multi-Core Platforms.
IEEE Trans. Parallel Distributed Syst., 2017

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling.
ACM Trans. Embed. Comput. Syst., 2017

REboost: Improving Throughput in Wireless Networks Using Redundancy Elimination.
IEEE Commun. Lett., 2017

SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs.
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Mobile Plus: Multi-device Mobile Platform for Cross-device Functionality Sharing.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

2016
RETHINKING ENERGYPERFORMANCE TRADE-OFF in Mobile Web Page Loading.
GetMobile Mob. Comput. Commun., 2016

Towards compositional mixed-criticality real-time scheduling in open systems: invited paper.
SIGBED Rev., 2016

Thread-level priority assignment in global multiprocessor scheduling for DAG tasks.
J. Syst. Softw., 2016

GPU-SAM: Leveraging multi-GPU split-and-merge execution for system-wide real-time support.
J. Syst. Softw., 2016

Toward the Holographic Reconstruction of Sound Fields Using Smart Sound Devices.
IEEE Multim., 2016

Fast and accurate cycle estimation through hybrid instruction set simulation for embedded systems.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

FLEXDROID: Enforcing In-App Privilege Separation in Android.
Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

Demo: Mobile Plus: Mobile Platform for Transparent Sharing of Functionalities Across Devices.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

Poster: TapSnoop - Inferring Tapstrokes from Listening to Tap Sound on Mobile Devices.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

2015
Composition of Schedulability Analyses for Real-Time Multiprocessor Systems.
IEEE Trans. Computers, 2015

Capturing urgency and parallelism using quasi-deadlines for real-time multiprocessor scheduling.
J. Syst. Softw., 2015

User Mobility Model Based Computation Offloading Decision for Mobile Cloud.
J. Comput. Sci. Eng., 2015

Priority-Based Network Interrupt Scheduling for Predictable Real-Time Support.
J. Comput. Sci. Eng., 2015

SounDroid: Supporting Real-Time Sound Applications on Commodity Mobile Devices.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Optimal Real-Time Scheduling on Two-Type Heterogeneous Multicore Platforms.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Rethinking Energy-Performance Trade-Off in Mobile Web Page Loading.
Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, 2015

Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014
Contention-free executions for real-time multiprocessor scheduling.
ACM Trans. Embed. Comput. Syst., 2014

Mixed-criticality scheduling on multiprocessors.
Real Time Syst., 2014

Demand-based schedulability analysis for real-time multi-core scheduling.
J. Syst. Softw., 2014

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Mobile maestro: enabling immersive multi-speaker audio applications on commodity mobile devices.
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

Scalable Path and Time Coordination for Robot Formation.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

2013
Scheduling in Heterogeneous Computing Environments for Proximity Queries.
IEEE Trans. Vis. Comput. Graph., 2013

EDZL Schedulability Analysis in Real-Time Multicore Scheduling.
IEEE Trans. Software Eng., 2013

Limited carry-in technique for real-time multi-core scheduling.
J. Syst. Archit., 2013

A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems.
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

GreenBag: Energy-Efficient Bandwidth Aggregation for Real-Time Streaming in Heterogeneous Mobile Wireless Networks.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Global EDF Schedulability Analysis for Synchronous Parallel Tasks on Multicore Platforms.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

User mobility-aware decision making for mobile computation offloading.
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012
Laxity dynamics and LLF schedulability analysis on multiprocessor platforms.
Real Time Syst., 2012

Convex optimization framework for intermediate deadline assignment in soft and hard real-time distributed systems.
J. Syst. Softw., 2012

A checkpoints capturing timing-robust Boolean model of the budding yeast cell cycle regulatory network.
BMC Syst. Biol., 2012

SymPhoney: a coordinated sensing flow execution engine for concurrent mobile sensing applications.
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Schedulability Analysis and Priority Assignment for Global Job-Level Fixed-Priority Multiprocessor Scheduling.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Poster: towards mobile GPU-accelerated context processing for continuous sensing applications on smartphones.
Proceedings of the 10th International Conference on Mobile Systems, 2012

2011
OptiTuner: On Performance Composition and Server Farm Energy Minimization Application.
IEEE Trans. Parallel Distributed Syst., 2011

Implementation of compositional scheduling framework on virtualization.
SIGBED Rev., 2011

Zero-laxity based real-time multiprocessor scheduling.
J. Syst. Softw., 2011

Adaptive trajectory coordination for scalable multiple robot control.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Maximizing Contention-Free Executions in Multiprocessor Scheduling.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Aciom: application characteristics-aware disk and network i/o management on android platform.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Overrun Methods and Resource Holding Times for Hierarchical Scheduling of Semi-Independent Real-Time Systems.
IEEE Trans. Ind. Informatics, 2010

On interrupt scheduling based on process priority for predictable real-time behavior.
SIGBED Rev., 2010

Multiprocessor real-time scheduling considering concurrency and urgency.
SIGBED Rev., 2010

LLF Schedulability Analysis on Multiprocessor Platforms.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Online robust optimization framework for QoS guarantees in distributed soft real-time systems.
Proceedings of the 10th International conference on Embedded software, 2010

2009
A Synchronization Protocol for Temporal Isolation of Software Components in Vehicular Systems.
IEEE Trans. Ind. Informatics, 2009

Optimal virtual cluster-based multiprocessor scheduling.
Real Time Syst., 2009

2008
Compositional real-time scheduling framework with periodic model.
ACM Trans. Embed. Comput. Syst., 2008

A design framework for real-time embedded systems with code size and energy constraints.
ACM Trans. Embed. Comput. Syst., 2008

Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Scheduling of semi-independent real-time components: Overrun methods and resource holding times.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

An Overrun Method to Support Composition of Semi-independent Real-Time Components.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Compositional Real-Time Schedulability Analysis.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Compositional Schedulability Analysis of Hierarchical Real-Time Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006
Incremental schedulability analysis of hierarchical real-time components.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
A Compositional Framework for Real-Time Embedded Systems.
Proceedings of the Service Availability, 2005

2004
Compositional Real-Time Scheduling Framework.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

A Compositional Framework for Real-Time Guarantees.
Proceedings of the Automotive Software, 2004

2003
Periodic Resource Model for Compositional Real-Time Guarantees.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002
Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

2001
Fair Real-Time Traffic Scheduling over a Wireless LA.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001


  Loading...