Difference between revisions of "Xiaohong Chen"
From FSL
| (One intermediate revision by one user not shown) | |||
| Line 13: | Line 13: | ||
* Programming Languages, Program Semantics, Program Logic and Verification | * Programming Languages, Program Semantics, Program Logic and Verification | ||
* [http://www.matching-logic.org/index.php/Open_Problems Open Problems in Matching Logic] | * [http://www.matching-logic.org/index.php/Open_Problems Open Problems in Matching Logic] | ||
| + | * [[Image:New.gif|30px]] [[Xiaohong Chen - Research Notebook| My Research Notebook]] | ||
{{Header | Publications}} | {{Header | Publications}} | ||
| − | * [[Matching mu-Logic | Matching mu-logic]], '' | + | * [[Matching mu-Logic | Matching mu-logic]], ''Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'19)'' |
* [[A Language-Independent Program Verification Framework | A language-independent program verification framework]], ''Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18)'' | * [[A Language-Independent Program Verification Framework | A language-independent program verification framework]], ''Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18)'' | ||
* [[A Language-Independent Approach to Smart Contract Verification | A language-independent approach to smart contract verification]], ''Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18)'' | * [[A Language-Independent Approach to Smart Contract Verification | A language-independent approach to smart contract verification]], ''Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18)'' | ||
Latest revision as of 21:02, 5 December 2019
| Contact |
|---|
- xc3@illinois.edu
| Simple Biography |
|---|
- 2016 to present. PhD student. University of Illinois at Urbana-Champaign, USA
- 2015 to 2016. Research assistant. Singapore University of Technology and Design, Singapore
- 2014 to 2015. Teaching assistant. Birmingham City University, UK
- 2010 to 2014. Undergraduate student. Peking University, China
| Research Interests |
|---|
- Programming Languages, Program Semantics, Program Logic and Verification
- Open Problems in Matching Logic
-
My Research Notebook
| Publications |
|---|
- Matching mu-logic, Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'19)
- A language-independent program verification framework, Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18)
- A language-independent approach to smart contract verification, Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18)
- Improving probability estimation through active probabilistic model learning, Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM'17)
- Component-based modelling for scalable smart city systems interoperability: A case study on integrating energy demand response systems, Sensors 2016, 16(11), 1810
- Towards concolic testing for hybrid systems, Proceedings of the 21st International Symposium on Formal Methods (FM'16)
- Model-driven design of object and component systems, Chapter of The First International School on Engineering Trustworthy Software Systems
- A framework for off-line conformance testing of timed connectors, Proceedings of the 9th International Symposium on Theoretical Aspects of Software Engineering (TASE'15)
- A hybrid model of connectors in cyber-physical systems, Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM'14)
| Selected Awards |
|---|
- Yunni & Maxine Pao Memorial Fellowship (2018-2019)
- China National Scholarship (2012-2013)
| Activities |
|---|
- The 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18), Cyprus
- Volunteered the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE'17), Illinois, USA
- The 21st International Symposium on Formal Methods (FM'16), Cyprus
- Marktoberdorf Summer School 2015, Marktoberdorf, Germany
- The 9th Theoretical Aspects of Software Engineering Conference (TASE'15), Nanjing, China
| Quotes |
|---|
- What can be said at all can be said clearly, and what we cannot talk about we must pass over in silence. --- Ludwig Wittgenstein.
- Young man, in mathematics you don't understand things. You just get used to them. --- John von Neumann.
| Fun |
|---|
- I am a dan player of the game of Go.
| Links |
|---|
- Github / Google Scholar / dblp
- Some advice on writing by Terence Tao.
