Author of the publication

McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java.

, , , , , and . ICECCS, page 255-256. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Optimizing translation information management in NAND flash memory storage systems., , , , , and . ASP-DAC, page 326-331. IEEE, (2013)Testing aspect-oriented programs with finite state machines., , , and . Softw. Test., Verif. Reliab., 22 (4): 267-293 (2012)Supporting Automatic Code Review via Design., , and . SERE (Companion), page 211-218. IEEE, (2013)Optimizing deterministic garbage collection in NAND flash storage systems., , , , , and . RTAS, page 14-23. IEEE Computer Society, (2015)An Empirical Study on Detecting and Fixing Buffer Overflow Bugs., , , and . ICST, page 91-101. IEEE Computer Society, (2016)Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems., , , , , and . ACM Trans. Design Autom. Electr. Syst., 20 (3): 43:1-43:32 (2015)Learning a Static Bug Finder from Data., , , and . CoRR, (2019)Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer., , , , , and . SEKE, page 369-374. Knowledge Systems Institute Graduate School, (2012)Simulating software behavior based on UML activity diagram., , , and . Internetware, page 31:1-31:4. ACM, (2013)Carraybound: static array bounds checking in C programs based on taint analysis., , , , , and . Internetware, page 81-90. ACM, (2016)