Travelled to:1 × France
1 × Italy
2 × USA
Collaborated with:Z.Su ∅ Z.Bai T.Su G.Pu J.He D.Zou Muhan Zeng Y.Xiong L.Z.0023
Talks about:point (5) analysi (4) numer (4) float (4) abstract (2) static (2) combin (2) error (2) code (2) unconstrain (1)
Person: Zhoulai Fu
DBLP: Fu:Zhoulai
Contributed to:
2015
2015
2014
2014
2016
20172019
2020Wrote 8 papers:
- ICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing
- Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
- OOPSLA-2015-FuBS #analysis #automation #fault
- Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.
- ESOP-2014-Fu #abstraction #analysis #memory management
- Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.
- VMCAI-2014-Fu #abstract domain #analysis #java #points-to #scalability
- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java (ZF), pp. 282–301.
- CAV-2016-FuS #float #named #performance #satisfiability
- XSat: A Fast Floating-Point Satisfiability Solver (ZF, ZS), pp. 187–209.
- PLDI-2017-FuS #float #programming
- Achieving high coverage for floating-point code via unconstrained programming (ZF, ZS), pp. 306–319.
- PLDI-2019-FuS #analysis #effectiveness #float
- Effective floating-point analysis via weak-distance minimization (ZF, ZS), pp. 439–452.
- POPL-2020-ZouZXFZS #detection #fault #float
- Detecting floating-point errors via atomic conditions (DZ, MZ, YX, ZF, LZ0, ZS), p. 27.