Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
 
(47 intermediate revisions by one user not shown)
Line 1: Line 1:
[[Image:Xiaohong-full.jpg|158px|Xiaohong Chen]]
+
[[Image:Xiaohong-full.jpg|200px|Xiaohong Chen]]
  
 +
{{Header | Contact}}
 +
* xc3@illinois.edu
  
 
{{Header | Simple Biography}}
 
{{Header | Simple Biography}}
Line 7: Line 9:
 
* 2014 to 2015. Teaching assistant. Birmingham City University, UK
 
* 2014 to 2015. Teaching assistant. Birmingham City University, UK
 
* 2010 to 2014. Undergraduate student. Peking University, China
 
* 2010 to 2014. Undergraduate student. Peking University, China
 
  
 
{{Header | Research Interests}}
 
{{Header | Research Interests}}
I hold a general interest in mathematics and computer science, and that is part of the reason why I am focusing on
+
* Programming Languages, Program Semantics, Program Logic and Verification
<span class="plainlinks">[https://en.wikipedia.org/wiki/Formal_methods formal methods]</span>.  
+
* [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]]-->
I am currently working on an automated theorem prover for the matching logic. The ultimate goal is to have a powerful prover that takes best use of existing general purpose SAT/SMT solvers, and outperforms against popular solvers in specific domains (for example, separation logic provers). I keep updating my research progress in my [[Xiaohong%27s_Research_Diary | research diary]]. I also include many reflections, comments, ideas and thoughts that come to my mind now and then.
+
 
+
{{Header | Activities}}
+
* I attended <span class="plainlinks">[http://fm2016.cs.ucy.ac.cy/ FM'16]</span>, hosted in Cyprus, and give a presentation talk there.
+
  
 
{{Header | Publications}}
 
{{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)''
 
* 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 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)''
 
* 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''.
  
 
{{Header | Fun}}
 
{{Header | Fun}}
* I am a dan player of the game of <span class="plainlinks">[https://en.wikipedia.org/wiki/Go_(game) Go]</span>.
+
* I am a dan player of [https://en.wikipedia.org/wiki/Go_(game) the game of Go].
* My favorite pieces of classical music include Beethoven's piano sonatas of Appassionata and Pathetique, and Tchaikovsky's Piano Concerto No. 1.
+
* 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 02:53, 29 July 2020

Xiaohong Chen

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
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.
Fun
Links
Personal tools
Namespaces

Variants
Actions
Navigation