Dongyoon Lee

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Privacy Set: Privacy-Authority-Aware Compiler for Homomorphic Encryption on Edge-Cloud System.
IEEE Internet Things J., November, 2024

Verifiable Sustainability in Data Centers.
IEEE Secur. Priv., 2024

An Intra-Body-Power-Transfer System Energized by an Electromagnetic Energy Harvester for Powering Wearable Sensor Nodes.
Proceedings of the IEEE Symposium on VLSI Technology and Circuits 2024, 2024

DaCapo: Automatic Bootstrapping Management for Efficient Fully Homomorphic Encryption.
Proceedings of the 33rd USENIX Security Symposium, 2024

IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing.
Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Performance-aware Scale Analysis with Reserve for Homomorphic Encryption.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023
Development of Digital twin for Plug-and-Produce of a Machine tending system through ISO 21919 interface.
Int. J. Comput. Integr. Manuf., October, 2023

Automatic Permission Check Analysis for Linux Kernel.
IEEE Trans. Dependable Secur. Comput., 2023

ELASM: Error-Latency-Aware Scale Management for Fully Homomorphic Encryption.
Proceedings of the 32nd USENIX Security Symposium, 2023

DevFuzz: Automatic Device Model-Guided Device Driver Fuzzing.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Improving Developers' Understanding of Regex Denial of Service Tools through Anti-Patterns and Fix Strategies.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Write-Light Cache for Energy Harvesting Systems.
Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023

2022
Monitoring Runtime Metrics of Fog Manufacturing via a Qualitative and Quantitative (QQ) Control Chart.
ACM Trans. Internet Things, 2022

Enabling Volatile Caches for Energy Harvesting Systems.
CoRR, 2022

DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

HECATE: Performance-Aware Scale Optimization for Homomorphic Encryption Compiler.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2021
Using Selective Memoization to Defeat Regular Expression Denial of Service (ReDoS).
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

ReplayCache: Enabling Volatile Cachesfor Energy Harvesting Systems.
Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

2020
Customizable Scale-Out Key-Value Stores.
IEEE Trans. Parallel Distributed Syst., 2020

WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs.
CoRR, 2020

2019
PeX: A Permission Check Analysis Framework for Linux Kernel.
Proceedings of the 28th USENIX Security Symposium, 2019

EdgeWise: A Better Stream Processing Engine for the Edge.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Why aren't regular expressions a lingua franca? an empirical study on the re-use and portability of regular expressions.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Regexes are Hard: Decision-Making, Difficulties, and Risks in Programming Regular Expressions.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Testing Regex Generalizability And Its Implications: A Large-Scale Many-Language Measurement Study.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018
A Sense of Time for JavaScript and Node.js: First-Class Timeouts as a Cure for Event Handler Poisoning.
Proceedings of the 27th USENIX Security Symposium, 2018

The impact of regular expression denial of service (ReDoS) in practice: an empirical study at the ecosystem scale.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

bespoKV: application tailored scale-out key-value stores.
Proceedings of the International Conference for High Performance Computing, 2018

Sampler: PMU-Based Sampling to Detect Memory Errors Latent in Production Software.
Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

nAdroid: statically detecting ordering violations in Android applications.
Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

2017
Compiler-Directed Soft Error Detection and Recovery to Avoid DUE and SDC via Tail-DMR.
ACM Trans. Embed. Comput. Syst., 2017

Node.fz: Fuzzing the Server-Side Event-Driven Architecture.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

The Case of the Poisoned Event Handler: Weaknesses in the Node.js Event-Driven Architecture.
Proceedings of the 10th European Workshop on Systems Security, 2017

ProRace: Practical Data Race Detection for Production Use.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016
Compiler-directed lightweight checkpointing for fine-grained guaranteed soft error recovery.
Proceedings of the International Conference for High Performance Computing, 2016

Low-cost soft error resilience with unified data verification and fine-grained recovery for acoustic sensor based detection.
Proceedings of the 49th Annual IEEE/ACM International Symposium on Microarchitecture, 2016

TxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015
Clover: Compiler Directed Lightweight Soft Error Resilience.
Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

2013
Holistic System Design for Deterministic Replay.
PhD thesis, 2013

Composing OS extensions safely and efficiently with Bascule.
Proceedings of the Eighth Eurosys Conference 2013, 2013

2012
DoublePlay: Parallelizing Sequential Logging and Replay.
ACM Trans. Comput. Syst., 2012

DTAM: dynamic taint analysis of multi-threaded programs for relevancy.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Chimera: hybrid program analysis for determinism.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011
Offline symbolic analysis to infer Total Store Order.
Proceedings of the 17th International Conference on High-Performance Computer Architecture (HPCA-17 2011), 2011

Design of FCM-Based Fuzzy Neural Networks and Its Optimization for Pattern Recognition.
Proceedings of the Grid and Distributed Computing, 2011

2010
Respec: efficient online multiprocessor replayvia speculation and external determinism.
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009
Offline symbolic analysis for multi-processor execution replay.
Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

Web-based Collaborative Engineering for Injection Mold Development.
Proceedings of the ICEIS 2009, 2009

2008
An evolutionary Monte Carlo algorithm for predicting DNA hybridization.
Biosyst., 2008

2007
Business Innovation via Collaboration - e-Manufacturing: Web-based Collaboration Systems for SMEs.
Proceedings of the ICEIS 2007, 2007

2004
The Design of Fuzzy Controller by Means of CI Technologies-Based Estimation Technique.
Proceedings of the Advances in Neural Networks, 2004

The Design Methodology of Fuzzy Controller Based on Information Granulation (IG)-Based Optimization Approach.
Proceedings of the Computational Science, 2004


  Loading...