Name (Korean) | 기마틴 참궤 | |
---|---|---|
Name (English) | Guy Martin Tchamgoue | |
tchaguy@gmail.com | ||
Status | Ph.D | |
Graduate | 2013 | |
Graduation thesis | Efficient Verification of Data Races in Interrupt-Driven Embedded Software | |
Affiliation | Electrical and Computer Engineering University of Waterloo | |
SNS | Homepage / LinkedIn / ResearchGate / etc… |
* K. H. Kim, Guy Martin Tchamgoue, Yong-Kee Jun, and W.Y. Lee, "An Optimal Resource Sharing in Hierarchical Virtual Organizations in the Grid", IEICE Transacti… | |
* Guy Martin Tchamgoue, K.H. Kim, and Yong-Kee Jun, "Efficient Detection of Data Races in Concurrent Signal Handlers", Information - An International Interdisc… | |
* G. M. Tchamgoue, K. H. Kim, and Y.-K. Jun, "Verification of Data Races in Concurrent Interrupt Handlers", International Journal of Distributed Sensor Netwo… | |
* Guy Martin Tchamgoue, K.H. Kim, and Yong-Kee Jun, "EventHealer: Bypassing data races in event-driven programs,", Journal of Systems and Software, vol. 118, p… | |
* G. M. Tchamgoue, K. H. Kim, Y.-K. Jun, and W.-Y. Lee, "Compositional Real-Time Scheduling Framework for Periodic Reward-Based Task Model", Journal of Syste… |
* Ha, O.-K., I.-B. Kuh, G. M. Tchamgoue, Y.-K. Jun, "On-the-fly Detection of Data Races in OpenMP Programs," In Proceedings of the 10th Workshop on Paralle… | |
* Guy Martin Tchamgoue, K.-H. Kim, and Yong-Kee Jun, "A New Compositional Scheduling Framework for Power-Aware Real-Time Systems", In Proceedings of the 18th I… | |
* Guy Martin Tchamgoue, K. H. Kim, and Yong-Kee Jun, "Dynamic Voltage Scaling for Power-Aware Hierarchical Real-Time Scheduling Framework", In Proceedings of t… | |
* Guy Martin Tchamgoue, Lin Gan, Ok-Kyoon Ha, S.-W. Yang, and Yong-Kee Jun, "Visualizing Concurrency Faults in ARINC-653 Real-Time Applications", In Proceeding… | |
* G. M. Tchamgoue, K.-H. Kim, Y.-K. Jun, and W.-Y. Lee, "Hierarchical Real-Time Scheduling Framework for Imprecise Computations", In Proceedings of the 8th IEE… | |
* Guy Martin Tchamgoue, Jun-Ho Seo, Jongsoo Hyun, Kyong Hoon Kim, Yong-Kee Jun, "Supporting Fault-Tolerance in a Compositional Real-Time Scheduling Framework",… |
* S. Dorankula, G. M. Tchamgoue, Y.-K. Jun, "Efficient Detection of First Races in Concurrent Signal Handlers", In proceedings of the International Conference … | |
* O. Ha, G. M. Tchamgoue, J. Suh, and Y. Jun, "On-the-fly Healing of Race Conditions in ARINC-653 Flight Software," In proceedings of Digital Avionics Systems … | |
* K.-H. Kim, G. M. Tchamgoue, Y.-K. Jun, and K.-Y. Bang, "A Flexible Resource Sharing Framework for Integrating Hierarchical Components", In Proceedings of the… | |
* G. M. Tchamgoue, O.-K, Ha, and Y.-K. Jun "Dynamic Data Race Detection for Interrupt-Driven Programs", In Proceedings of the 1st International Conference … | |
* G. M. Tchamgoue, O.-K, Ha, and Y.-K. Jun, "An Efficient Labeling Scheme for Data Race Detection in Interrupt-Driven Programs", In Proceedings of the 1st … | |
* G. M. Tchamgoue, K.-H. Kim, and Y.-K. Jun, "Compositional Scheduling Framework for Imprecise Computation Model," Work-in-Progress Proceedings of the 16th IE… | |
* G. M. Tchamgoue, K. H. Kim, Y.-K. Jun, "Dynamic Race Detection Techniques for Interrupt-Driven Programs", In proceedings of the International Conference on G… | |
* Guy Martin Tchamgoue, Kyong-Hoon Kim, and Yong-Kee Jun, "Power-Aware Scheduling of Compositional Real-Time Frameworks", Journal of Systems and Software, Volu… | |
* Tchamgoue, G.M., Ha, O.-K., Kim, K.-H., Jun, Y.-K.: A Taxonomy of Concurrency Bugs in Event-Driven Programs. In Proceedings of the ASEA 2011, CCIS 257, pp. 4… | |
* G. M. Tchamgoue, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers", In Proceedings of the Wo… | |
* G. M. Tchamgoue, I.-B. Kuh, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "A Race Healing Framework in Simulated ARINC-653", Proceedings of the Int'l Conference on Fut… | |
* G. M. Tchamgoue, K.-H. Kim, Y.-K. Jun, and W.-Y. Lee, "Hierarchical Real-Time Scheduling Framework for Imprecise Computations", In Proceedings of the 8th IEE… |
* Gan, Lin, Guy Martin Tchamgoue, and Yong-Kee Jun, "Visualizing Data Races in Concurrent Signal Handlers," In Proceedings of the 1st International Conference … | |
* G. M. Tchamgoue, K.-H. Kim, and Y.-K. Jun, "Testing and Debugging Concurrency Bugs in Event-Driven Programs", International Journal of Advanced Science and T… | |
* G. M. Tchamgoue, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "A Framework for On-the-fly Race Healing in ARINC-653 Applications", International Journal of Hybrid Inf… |