Yong-Kee Jun

J. Syst. Softw., 2016

2015

An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique.

[BibT_eX]

[DOI]

Sci. Program., 2015

Supporting fault-tolerance in a compositional real-time scheduling framework.

[BibT_eX]

[DOI]

SIGBED Rev., 2015

Power-aware scheduling of compositional real-time frameworks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Compositional power-aware real-time scheduling with discrete frequency levels.

[BibT_eX]

[DOI]

J. Syst. Archit., 2015

2014

VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs.

[BibT_eX]

[DOI]

Sejun Song

Int. J. Parallel Program., 2014

Real-Time 3D Simulation for the Trawl Fishing Gear Based on Parallel Processing of Sonar Sensor Data.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2014

An Intrusive Analyzer for Hadoop Systems Based on Wireless Sensor Networks.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2014

2013

Compositional real-time scheduling framework for periodic reward-based task model.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Verification of Data Races in Concurrent Interrupt Handlers.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2013

2012

An Optimal Resource Sharing in Hierarchical Virtual Organizations in the Grid.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2012

A New Compositional Scheduling Framework for Power-Aware Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

On-the-fly detection of data races in OpenMP programs.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

Dynamic Race Detection Techniques for Interrupt-Driven Programs.

[BibT_eX]

[DOI]

Proceedings of the Future Generation Information Technology - 4th International Conference, 2012

Detecting First Races in Shared-Memory Parallel Programs with Random Synchronization.

[BibT_eX]

[DOI]

Hee-Dong Park

Proceedings of the Computer Applications for Graphics, Grid Computing, and Industrial Environment, 2012

Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs.

[BibT_eX]

[DOI]

Ying Meng

Proceedings of the Future Generation Information Technology - 4th International Conference, 2012

Efficient Detection of First Races in Concurrent Signal Handlers.

[BibT_eX]

[DOI]

Sahaja Dorankula

Proceedings of the Computer Applications for Graphics, Grid Computing, and Industrial Environment, 2012

Dynamic Voltage Scaling for Power-aware Hierarchical Real-Time Scheduling Framework.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011

Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers.

[BibT_eX]

[DOI]

Proceedings of the Ubiquitous Computing and Multimedia Applications, 2011

Space-Efficient On-the-fly Race Detection Using Loop Splitting.

[BibT_eX]

[DOI]

Yong-Cheol Kim

Sang-Soo Jun

Proceedings of the Ubiquitous Computing and Multimedia Applications, 2011

Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism.

[BibT_eX]

[DOI]

Sun-Sook Kim

Proceedings of the Ubiquitous Computing and Multimedia Applications, 2011

ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs.

[BibT_eX]

[DOI]

Sejun Song

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2011

A Taxonomy of Concurrency Bugs in Event-Driven Programs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism.

[BibT_eX]

[DOI]

Mun-Hye Kang

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

2010

A Race Healing Framework in Simulated ARINC-653.

[BibT_eX]

[DOI]

Proceedings of the Communication and Networking, 2010

Program Visualization for Debugging Deadlocks in Multithreaded Programs.

[BibT_eX]

[DOI]

Byung-Chul Kim

Proceedings of the Advances in Software Engineering, 2010

Efficient Thread Labeling for Monitoring Programs with Nested Parallelism.

[BibT_eX]

[DOI]

Sun-Sook Kim

Proceedings of the Communication and Networking, 2010

Hierarchical Real-Time Scheduling Framework for Imprecise Computations.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

2009

Visualizing Potential Deadlocks in Multithreaded Programs.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

A Tool for Detecting First Races in OpenMP Programs.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

Empirical Comparison of Race Detection Tools for OpenMP Programs.

[BibT_eX]

[DOI]

Proceedings of the Grid and Distributed Computing, 2009

2008

An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs.

[BibT_eX]

[DOI]

Daeyoung Kim

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2007

Foreword from Guest Editors.

[BibT_eX]

[DOI]

Kuan-Ching Li

J. Supercomput., 2007

Efficient Race Verification for Debugging Programs with OpenMP Directives.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2007

MPIRace-Check: Detection of Message Races in MPI Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Grid and Pervasive Computing, 2007

Scalable Thread Visualization for Debugging Data Races in OpenMP Programs.

[BibT_eX]

[DOI]

Jae-Seon Lim

Proceedings of the Advances in Grid and Pervasive Computing, 2007

Visualization of Message Races in MPI Parallel Programs.

[BibT_eX]

[DOI]

Nguyen Cao Truong Hai

Hyuk-Ro Park

Proceedings of the Seventh International Conference on Computer and Information Technology (CIT 2007), 2007

2006

A GDB-Based Real-Time Tracing Tool for Remote Debugging of SoC Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Hybrid Information Technology, 2006

Detecting Unaffected Message Races in Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Grid and Pervasive Computing, 2006

2005

A Practical Tool for Detecting Races in OpenMP Programs.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2005

2004

Detecting Unaffected Race Conditions in Message-Passing Programs.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2004

2001

A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs.

[BibT_eX]

[DOI]

So-Hee Park

Proceedings of the OpenMP Shared Memory Parallel Programming, 2001

2000

Scalable Monitoring Technique for Detecting Races in Parallel Programs.

[BibT_eX]

[DOI]

Charles E. McDowell

Proceedings of the Parallel and Distributed Processing, 2000

1999

Restructuring Parallel Programs for On-the-Fly Race Detection.

[BibT_eX]

[DOI]

Young-Cheol Kim

Proceedings of the Parallel Computing Technologies, 1999

1998

Two-pass on-the-fly detection of the first races in shared-memory parallel.

[BibT_eX]

[DOI]

Hee-Dong Park

Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, 1998

Scalable On-the-fly Detection of the First Races in Parallel Programs.

[BibT_eX]

[DOI]

Jeong-Si Kim

Proceedings of the 12th international conference on Supercomputing, 1998

Detecting the First Races in Parallel Programs with Ordered Synchronization.

[BibT_eX]

[DOI]

Hee-Dong Park

Proceedings of the International Conference on Parallel and Distributed Systems, 1998

1997

An Effective Tool for Debugging Races in Parallel Programs.

[BibT_eX]

Dong-Gook Kirn

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Space-efficient On-the-fly Race Detection for Programs with Nested Parallelism.

[BibT_eX]

Dong-Gook Kim

Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

1996

On-the-fly Detection of the First Races in Programs with Nested Parallelism.

[BibT_eX]

Charles E. McDowell

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

1993

On-the-Fly Detection of Access Anomalies in Nested Parallel Loops.

[BibT_eX]

[DOI]