Bin Li

Affiliations:

Nanjing University, Department of Computer Science and Technology, State Key Laboratory for Novel Software Technology, Nanjing, China

According to our database¹, Bin Li authored at least 8 papers between 2015 and 2017.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2017

Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

A Framework for Array Invariants Synthesis in Induction-Loop Programs.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Precondition Calculation for Loops Iterating over Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automatic Invariant Synthesis for Arrays in Simple Programs.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2015

Node-Set Analysis for Linked Recursive Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Code Generation for Abstract Data Types Based on Program Analysis.

[BibT_eX]

[DOI]

Bin Li

Jun Liu

Jianhua Zhao

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Analyzing Inductively Defined Properties for Recursive Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data.

[BibT_eX]

[DOI]

Bin Li

Zhenhao Tang

Jianhua Zhao

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Bin Li

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...