Bin Li

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 4

Top Topics

Code Generation

Affine Invariant

Functional Programs

Rapid Prototyping

Top Venues

Publications

Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao
A Framework for Array Invariants Synthesis in Induction-Loop Programs. APSEC (2017)
Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao
Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java. QRS (2017)
Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao
Automatic Invariant Synthesis for Arrays in Simple Programs. QRS (2016)
Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li
Precondition Calculation for Loops Iterating over Data Structures. QRS (2016)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Node-Set Analysis for Linked Recursive Data Structures. QRS (2015)
Bin Li, Zhenhao Tang, Jianhua Zhao
Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data. Internetware (2015)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Analyzing Inductively Defined Properties for Recursive Data Structures. Internetware (2015)
Bin Li, Jun Liu, Jianhua Zhao
Code Generation for Abstract Data Types Based on Program Analysis. QRS Companion (2015)