University Paris Diderot - Paris 7
Laboratory IRIF
Sophie Germain, 4061
+33 (0) 7 68 79 02 80
wechat: ericbinder


I am a fourth year Ph.D candidate (will graduate July 2018) in joint-Ph.d program between East China Normal University and Université Paris Diderot. My research interests are operating system verification, model checking, and static analysis based on abstract interpretation. And I am working on enhancing adoption of formal methods such as B methods using in software industry. I am under supervision of Prof. Geguang Pu in Shanghai, Prof. Ahmed Bouajjani and Dr. Mihaela Sighireanu in Paris.


Paper pdf link
2017 Formal Modelling of List Based Dynamic Memory Allocators. Bin Fang, Mihaela Sighireanu, Journal of SCIENCE CHINA Information Sciences, 2017, pdf, web
2017 A Refinement Hierarchy for Free List Memory Allocators. Bin Fang, Mihaela Sighireanu. ACM SIGPLAN International Symposium on Memory Management (ISMM) 2017. pdf
2016 Hierarchical Shape Abstraction of Free-List Memory Allocators. Bin Fang, Mihaela Sighireanu. 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016. pdf, web
2015 Formal Development of a Real-Time Operating System. Memory Manager. Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang. 20th International Conference on Engineering of Complex Computer Systems ICECCS 2015. pdf, web
2014 Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. Ting Su, Siyuan Jiang, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Jianjun Zhao. Eighth International Conference on Software Security and Reliability, SERE 2014. pdf, web
2014 Runtime Verification by Convergent Formula Progression. Yan Shen, Jianwen Li, Zheng Wang, Bin Fang, Geguang Pu and Wangwei Liu. 21st Asia-Pacific Software Engineering Conference APSEC 2014. web


Time Place Title
Sep 2014 - Jul 2018 Université Paris Diderot & East China Normal University Ph.D of Computer Science
Sep 2013 - July 2014 East China Normal University Master of Software Engineering, Software Engineering
Sep 2010 - Jun 2013 East China Normal University Bachelor of Software Engineering, Software Engineering


Time Scholarship
2014.10-2018.10 National Scholarship for International Doctorate (China)


Type Languages
Programming C / C++ / Java / Python / Ocaml / SQL / CSS / HTML / Javascript / PHP;
Formalisation /Verification B, VCC, CVIL, etc

This blog is the place in which I put my writing (almost in Chinese) that records the feeling of every moment in my life.

いしかわ たくぼく

只要想起一生中后悔的事 梅花便落满了南山

Le Mythe de Sisyphe (Albert Camus)

The Art of Loving (Erich Fromm)