Author of the publication

Modular Certification of Low-Level Intermediate Representation Programs.

, , , and . COMPSAC (1), page 563-570. IEEE Computer Society, (2009)

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

Efficient and Robust Path Tracing Algorithm for DC Convergence Problem., , and . ISCAS, page 1635-1638. IEEE, (1993)Research and Design of Online Declaration and Approval System Based on Mvc., , , , , , and . CCTA, volume 259 of IFIP Advances in Information and Communication Technology, page 867-873. Springer, (2007)Spatial Optimization and Mode Analysis of Primary Industry Structure in Yellow River Delta., and . CCTA (2), volume 393 of IFIP Advances in Information and Communication Technology, page 150-160. Springer, (2012)Privacy-preserving Virtual Machine., , , and . ACSAC, page 231-240. ACM, (2015)Accurate Light Field Depth Estimation Using Multi-Orientation Partial Angular Coherence., , , , , , and . IEEE Access, (2019)同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages)., and . 计算机科学, 46 (5): 21-28 (2019)Cross-Corpus Speech Emotion Recognition Based on Multiple Kernel Learning of Joint Sample and Feature Matching.. J. Electr. Comput. Eng., (2017)Study on modified particle swarm optimization for indoor lighting control., and . J. Comput. Methods Sci. Eng., 18 (3): 645-653 (2018)Evaluation and Suppression of a Low-Frequency Output Voltage Ripple of a Single-Stage AC-DC Converter Based on an Output Impedance Model., , , , and . IEEE Trans. Ind. Electron., 66 (4): 2803-2813 (2019)QoS-Driven Jointly Optimal Subcarrier Pairing and Power Allocation for Decode-and-Forward OFDM Relay Systems., , , , , and . Wireless Personal Communications, 71 (3): 1597-1618 (2013)