We stand with Ukraine  

Bin Fang

Affiliations:
  • Sorbonne Paris Cité, France (PhD 2018)
  • University Paris Diderot, CNRS, France
  • East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China


According to our database1, Bin Fang authored at least 5 papers between 2015 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Techniques for formal modelling and verification on dynamic memory allocators. (Techniques de modélisation et de vérification formelles des allocateurs de mémoire dynamiques).
[BibTeX]
[DOI]
Bin Fang
PhD thesis, 2018

Formal modelling of list based dynamic memory allocators.
[BibTeX]
[DOI]
Bin Fang
,
Mihaela Sighireanu
,
Geguang Pu
,
Wen Su
,
Jean-Raymond Abrial
,
Mengfei Yang
,
Lei Qiao
Sci. China Inf. Sci., 2018

2017
A refinement hierarchy for free list memory allocators.
[BibTeX]
[DOI]
Bin Fang
,
Mihaela Sighireanu
Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

2016
Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators.
[BibTeX]
[DOI]
Bin Fang
,
Mihaela Sighireanu
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015
Formal Development of a Real-Time Operating System Memory Manager.
[BibTeX]
[DOI]
Wen Su
,
Jean-Raymond Abrial
,
Geguang Pu
,
Bin Fang
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015


  Loading...