I’m a PhD candidate of computer science department at UC Davis and working on programming language under the advice of Professor Cindy Rubio Gonzalez. I got my master’s degree in computer science from Institute of Computing Technology (ICT), University of Chinese Academy of Sciences and had a great time working with Professor Chenggang Wu and Zhenjiang Wang. Before that, I was an undergraduate student in Hebei University of Technology and got my B.S. degree in network engineering.
Currently, my research focuses on floating-point program analysis and synthesis. Generally, I am broadly interested in programming language, software reliability and testing.
News
- 05/2018 One paper w/ Cindy on precision tuning accepted to ISSTA’18.
- 11/2017 I presented our paper on numerical bug study at ASE’17 in Urbana-Champaign, Illinois.
- 08/2017 I presented our recent work on precision tuning at Dagstuhl Seminar on Analysis and Synthesis of Floating-point Programs in Germany.
- 07/2017 One paper w/ Anthony and Cindy accepted to ASE’17.
- 06/2016 I attended the PLDI’16 and ACM SIGPLAN Programming Language Mentoring Workshop (PLMW).
- 04/2016 I received ACM SIGPLAN grants to attend PLMW@PLDI 2016 and PLDI 2016.
Publications
[Floating-Point]
Exploiting Community Structure for Floating-Point Precision Tuning
Hui Guo, Cindy Rubio-Gonzalez
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2018
PDF Slides Tool
A Comprehensive Study of Real-World Numerical Bug Characteristics
Anthony Di Franco*, Hui Guo*, Cindy Rubio-Gonzalez (* indicates co-first authorship)
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
PDF Slides Data
[Testing]
EATBit: Effective automated test for binary translation with high code coverage
Hui Guo, Zhenjiang Wang, Chenggang Wu, Ruining He
Proceedings of the conference on Design, Automation & Test in Europe (DATE), 2014
PDF