We stand with Ukraine  

Senxi Li

According to our database1, Senxi Li authored at least 5 papers between 2019 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing.
[BibTeX]
[DOI]
Senxi Li
,
Feng Dai
,
Tetsuro Yamazaki
,
Shigeru Chiba
Art Sci. Eng. Program., 2026

2024
InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference (Artifact).
[BibTeX]
[DOI]
Senxi Li
,
Tetsuro Yamazaki
,
Shigeru Chiba
Dagstuhl Artifacts Ser., 2024

InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference.
[BibTeX]
[DOI]
Senxi Li
,
Tetsuro Yamazaki
,
Shigeru Chiba
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2020
Hierarchical block multi-color ordering: a new parallel ordering method for vectorization and parallelization of the sparse triangular solver in the ICCG method.
[BibTeX]
[DOI]
Takeshi Iwashita
,
Senxi Li
,
Takeshi Fukaya
CCF Trans. High Perform. Comput., 2020

2019
Enhancement of Algebraic Block Multi-Color Ordering for ILU Preconditioning and Its Performance Evaluation in Preconditioned GMRES Solver.
[BibTeX]
[DOI]
Senxi Li
,
Takeshi Iwashita
,
Takeshi Fukaya
J. Inf. Process., 2019


  Loading...