Difference between revisions of "Xiaohong Chen"
From FSL
(128 intermediate revisions by one user not shown) | |||
Line 1: | Line 1: | ||
− | + | [[Image:Xiaohong-full.jpg|200px|Xiaohong Chen]] | |
− | [[ | + | |
+ | {{Header | My Name}} | ||
+ | * <big> 陈霄泓 </big> | ||
+ | |||
+ | {{Header | Contact}} | ||
+ | * xc3@illinois.edu | ||
+ | |||
+ | {{Header | ICFP2020 K Tutorial}} | ||
+ | * Get the demo files (https://drive.google.com/file/d/1R7-SoUNQvKsxiOvIUb54OOhhOpmz5au3). | ||
+ | * Get the Virtual Box VM image of K [5GB] (https://drive.google.com/file/d/1us-53nWcNzmZwr6agPNfjqXXNP6twdQq); the VM already has all the demo files. | ||
+ | * Get VirtualBox 6.1 (freeware) (https://www.virtualbox.org/wiki/Downloads). | ||
+ | * Alternative: Try K online (http://kframework.org/kweb). | ||
+ | * Slides [[File:ICFP20_tutorial.pdf]] | ||
+ | |||
+ | {{Header | 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 | ||
+ | |||
+ | {{Header | Research Interests}} | ||
+ | * Programming Languages, Program Semantics, Program Logic and Verification | ||
+ | * [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}} | ||
+ | * [[Matching Logic Explained | Matching logic explained]], Technical Report, 2020. | ||
+ | * [[Initial Algebra Semantics in Matching Logic | Initial algebra semantics in matching logic]], Technical Report, 2020. | ||
+ | * [[A General Approach to Define Binders Using Matching Logic | A general approach to define binders using matching logic]], ''Proceedings of the 25th ACM SIGPLAN International Conference on Functional Programming (ICFP'20)'' | ||
+ | * [[Connecting Constrained Constructor Patterns and Matching Logic | Connecting constrained constructor patterns and matching logic]] (Best Paper Award), ''Proceedings of the 13th international workshop on rewriting logic and its applications (WRLA'20)'' | ||
+ | * [[Applicative Matching Logic | Applicative matching logic: Semantics of K]], Technical Report, 2019. | ||
+ | * [[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 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)'' | ||
+ | * 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)'' | ||
+ | |||
+ | {{Header | Selected Awards}} | ||
+ | * Mavis Future Faculty Fellow (2020) | ||
+ | * Yunni & Maxine Pao Memorial Fellowship (2018-2019) | ||
+ | * China National Scholarship (2012-2013) | ||
+ | |||
+ | {{Header | 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 | ||
+ | |||
+ | {{Header | 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. | ||
+ | * ''What the ancients called a clever fighter is one who not only wins, but excels in winning with ease.'' --- Sun Tzu, ''The Art of War''. | ||
+ | * ''Thus, if you do not accumulate little steps, you will not have the means to journey a thousand li, and if you do not pile up small streams, you will have no way to fill a river or a sea.'' --- Xunzi, ''Encouraging Learning''. | ||
+ | |||
+ | {{Header | Fun}} | ||
+ | * I am a dan player of [https://en.wikipedia.org/wiki/Go_(game) the game of Go]. | ||
+ | * I watched [https://en.wikipedia.org/wiki/Stand_and_Deliver ''Stand and Deliver''] at my young age. It is a great film. | ||
+ | |||
+ | {{Header | Links}} | ||
+ | * [https://github.com/hreada Github] / [https://scholar.google.com/citations?user=4LP6Y64AAAAJ&hl=en Google Scholar] / [https://dblp.org/pid/02/1438-2 dblp] | ||
+ | * Some [https://terrytao.wordpress.com/advice-on-writing-papers/ advice on writing] by [https://www.math.ucla.edu/~tao/ Terence Tao]. |
Latest revision as of 18:40, 31 August 2020
My Name |
---|
- 陈霄泓
Contact |
---|
- xc3@illinois.edu
ICFP2020 K Tutorial |
---|
- Get the demo files (https://drive.google.com/file/d/1R7-SoUNQvKsxiOvIUb54OOhhOpmz5au3).
- Get the Virtual Box VM image of K [5GB] (https://drive.google.com/file/d/1us-53nWcNzmZwr6agPNfjqXXNP6twdQq); the VM already has all the demo files.
- Get VirtualBox 6.1 (freeware) (https://www.virtualbox.org/wiki/Downloads).
- Alternative: Try K online (http://kframework.org/kweb).
- Slides File:ICFP20 tutorial.pdf
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
Publications |
---|
- Matching logic explained, Technical Report, 2020.
- Initial algebra semantics in matching logic, Technical Report, 2020.
- A general approach to define binders using matching logic, Proceedings of the 25th ACM SIGPLAN International Conference on Functional Programming (ICFP'20)
- Connecting constrained constructor patterns and matching logic (Best Paper Award), Proceedings of the 13th international workshop on rewriting logic and its applications (WRLA'20)
- Applicative matching logic: Semantics of K, Technical Report, 2019.
- 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 |
---|
- Mavis Future Faculty Fellow (2020)
- 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.
- What the ancients called a clever fighter is one who not only wins, but excels in winning with ease. --- Sun Tzu, The Art of War.
- Thus, if you do not accumulate little steps, you will not have the means to journey a thousand li, and if you do not pile up small streams, you will have no way to fill a river or a sea. --- Xunzi, Encouraging Learning.
Fun |
---|
- I am a dan player of the game of Go.
- I watched Stand and Deliver at my young age. It is a great film.
Links |
---|
- Github / Google Scholar / dblp
- Some advice on writing by Terence Tao.