We stand with Ukraine  

Jiawei Ren

Orcid: 0000-0001-7635-468X

Affiliations:
  • University of New South Wales, Sydney, Australia


According to our database1, Jiawei Ren authored at least 3 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Mining Verdict Boundaries for Neural Network Verification.
[BibTeX]
[DOI]
Jiawei Ren
,
Guanqin Zhang
,
Zhenya Zhang
,
Yulei Sui
Proceedings of the Formal Methods - 27th International Symposium, 2026

2024
Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search.
[BibTeX]
[DOI]
Jiawei Ren
,
Yulei Sui
,
Xiao Cheng
,
Yuan Feng
,
Jianjun Zhao
ACM Trans. Softw. Eng. Methodol., June, 2024

Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing.
[BibTeX]
[DOI]
Xiao Cheng
,
Jiawei Ren
,
Yulei Sui
Proc. ACM Softw. Eng., 2024


  Loading...