User contributions
- 22:22, 24 May 2020 (diff | hist) . . (+140) . . Xiaohong Chen (top)
- 02:55, 12 May 2020 (diff | hist) . . (+7) . . Xiaohong Chen
- 16:21, 6 April 2020 (diff | hist) . . (+11) . . Matching Logic Explained (top)
- 16:14, 6 April 2020 (diff | hist) . . (+134) . . N Matching Logic Explained (Created page with "<private> == J'LAMP 2020 Submission == <pubbib id='chen-lucanu-rosu-2020-jlamp' template='PubDefaultWithAbstractAndTitle'/> </private>")
- 20:12, 22 March 2020 (diff | hist) . . (+2) . . Connecting Constrained Constructor Patterns and Matching Logic (top)
- 20:10, 22 March 2020 (diff | hist) . . (+98) . . N Connecting Constrained Constructor Patterns and Matching Logic (Created page with "== WRLA'20 == <pubbib id='lucanu-chen-rosu-2020-wrla' template='PubDefaultWithAbstractAndTitle'/>")
- 19:54, 22 March 2020 (diff | hist) . . (+98) . . A General Approach to Define Binders Using Matching Logic (top)
- 19:49, 22 March 2020 (diff | hist) . . (+77) . . N SETSS'19 Lecture Notes on K (Created page with "<pubbib id='chen-rosu-2019-setss' template='PubDefaultWithAbstractAndTitle'/>") (top)
- 19:38, 22 March 2020 (diff | hist) . . (+73) . . FSL Publications (add 2020 publications) (top)
- 14:57, 10 March 2020 (diff | hist) . . (+135) . . N A General Approach to Define Binders Using Matching Logic (Created page with "<private> == ICFP 2020 Submission == <pubbib id='chen-rosu-2020-icfp-submission' template='PubDefaultWithAbstractAndTitle'/> </private>")
- 01:43, 16 January 2020 (diff | hist) . . (+136) . . Applicative Matching Logic (top)
- 21:03, 5 December 2019 (diff | hist) . . (+85) . . Xiaohong Chen
- 23:50, 26 November 2019 (diff | hist) . . (+70) . . Xiaohong Chen
- 01:28, 26 November 2019 (diff | hist) . . (-16) . . Matching mu-Logic: Foundation of K Framework (Redirected page to Matching mu-Logic) (top)
- 01:27, 26 November 2019 (diff | hist) . . (+95) . . Matching mu-Logic (top)
- 01:19, 26 November 2019 (diff | hist) . . (-43) . . Matching mu-Logic: Foundation of K Framework
- 16:28, 25 November 2019 (diff | hist) . . (-30) . . Automated Reasoning about Fixpoints in Matching mu-Logic (Redirected page to Automated Fixpoint Reasoning in Matching Logic) (top)
- 16:19, 25 November 2019 (diff | hist) . . (+306) . . N Automated Fixpoint Reasoning in Matching Logic (Created page with "<private> == PLDI 2020 Submission == <pubbib id='chen-pena-rodrigues-rosu-trinh-2020-pldi-submission' template='PubDefaultWithAbstractAndTitle'/> </private> <private> == CAV 2...") (top)
- 16:15, 25 November 2019 (diff | hist) . . (+85) . . N Applicative Matching Logic: Semantics of K (Redirected page to Applicative Matching Logic) (top)
- 16:14, 25 November 2019 (diff | hist) . . (+137) . . Applicative Matching Logic
- 19:01, 24 November 2019 (diff | hist) . . (+75) . . N Matching Logic (Created page with "Redirect to the [http://www.matching-logic.org Homepage of Matching Logic].") (top)
- 19:54, 13 September 2019 (diff | hist) . . (+52) . . Xiaohong Chen
- 14:42, 27 July 2019 (diff | hist) . . (+99) . . Applicative Matching Logic
- 10:22, 27 July 2019 (diff | hist) . . (+135) . . N Applicative Matching Logic (Created page with "<private> == POPL 2020 Submission == <pubbib id='chen-rosu-2020-popl-submission' template='PubDefaultWithAbstractAndTitle'/> </private>")
- 04:02, 14 July 2019 (diff | hist) . . (+38) . . Xiaohong Chen
- 10:17, 14 June 2019 (diff | hist) . . (+137) . . N Matching mu-Logic: Foundation of K Framework (Created page with "<private> == CALCO 2019 Submission == <pubbib id='chen-rosu-2019-calco-submission' template='PubDefaultWithAbstractAndTitle'/> </private>")
- 03:48, 10 June 2019 (diff | hist) . . (+20) . . News
- 05:45, 16 April 2019 (diff | hist) . . (-7) . . m Xiaohong Chen
- 05:41, 16 April 2019 (diff | hist) . . (+47) . . Xiaohong Chen
- 05:40, 16 April 2019 (diff | hist) . . (-105) . . Xiaohong Chen
- 05:37, 16 April 2019 (diff | hist) . . (0) . . Xiaohong Chen
- 05:35, 16 April 2019 (diff | hist) . . (0) . . File:Xiaohong-full.jpg (Xiaohong uploaded a new version of "File:Xiaohong-full.jpg") (top)
- 05:31, 16 April 2019 (diff | hist) . . (0) . . File:Xiaohong.jpg (Xiaohong uploaded a new version of "File:Xiaohong.jpg") (top)
- 05:30, 16 April 2019 (diff | hist) . . (0) . . N File:Xiaohong.jpg
- 18:31, 1 April 2019 (diff | hist) . . (+69) . . News
- 18:29, 1 April 2019 (diff | hist) . . (+93) . . Matching mu-Logic
- 18:20, 1 April 2019 (diff | hist) . . (-6) . . m Xiaohong Chen
- 18:20, 1 April 2019 (diff | hist) . . (-32) . . Xiaohong Chen
- 06:32, 8 February 2019 (diff | hist) . . (+149) . . N Automated Reasoning about Fixpoints in Matching mu-Logic (Created page with "<private> == CAV 2019 Submission == <pubbib id='chen-rodrigues-rosu-trinh-2019-cav-submission' template='PubDefaultWithAbstractAndTitle'/> </private>")
- 00:19, 28 January 2019 (diff | hist) . . (+2) . . Xiaohong Chen
- 00:17, 28 January 2019 (diff | hist) . . (+127) . . People (Add Micky) (top)
- 19:47, 27 January 2019 (diff | hist) . . (+2) . . Xiaohong Chen
- 19:46, 27 January 2019 (diff | hist) . . (+106) . . Xiaohong Chen
- 19:43, 27 January 2019 (diff | hist) . . (+120) . . Xiaohong Chen
- 15:52, 25 January 2019 (diff | hist) . . (-37) . . Xiaohong Chen
- 05:47, 20 January 2019 (diff | hist) . . (+51) . . Matching mu-Logic
- 05:44, 20 January 2019 (diff | hist) . . (-19) . . Matching mu-Logic
- 16:14, 15 January 2019 (diff | hist) . . (+95) . . Matching mu-Logic
- 20:55, 14 January 2019 (diff | hist) . . (+106) . . N Matching mu-Logic (Created page with "<private><pubbib id='chen-rosu-2019-lics-submission' template='PubDefaultWithAbstractAndTitle'/></private>")
- 05:44, 23 December 2018 (diff | hist) . . (-41) . . m Xiaohong Chen
- 05:21, 23 December 2018 (diff | hist) . . (+2) . . m Xiaohong Chen
- 05:21, 23 December 2018 (diff | hist) . . (+39) . . m Xiaohong Chen
- 18:53, 12 December 2018 (diff | hist) . . (+162) . . Xiaohong Chen
- 23:17, 4 December 2018 (diff | hist) . . (+324) . . m News
- 23:14, 4 December 2018 (diff | hist) . . (-12) . . m A Language-Independent Program Verification Framework (top)
- 23:10, 4 December 2018 (diff | hist) . . (-12) . . m A Language-Independent Approach to Smart Contract Verification (top)
- 17:52, 1 December 2018 (diff | hist) . . (+17) . . m Xiaohong Chen
- 17:50, 1 December 2018 (diff | hist) . . (-7) . . m Xiaohong Chen
- 17:48, 1 December 2018 (diff | hist) . . (+127) . . Xiaohong Chen
- 17:44, 1 December 2018 (diff | hist) . . (-55) . . Xiaohong Chen
- 19:07, 13 September 2018 (diff | hist) . . (+444) . . Xiaohong Chen
- 15:26, 3 August 2018 (diff | hist) . . (+112) . . A Language-Independent Approach to Smart Contract Verification
- 15:25, 3 August 2018 (diff | hist) . . (+108) . . A Language-Independent Program Verification Framework
- 14:11, 29 July 2018 (diff | hist) . . (0) . . A Language-Independent Approach to Smart Contract Verification
- 13:56, 29 July 2018 (diff | hist) . . (0) . . News
- 13:46, 29 July 2018 (diff | hist) . . (+5) . . A Language-Independent Approach to Smart Contract Verification
- 13:45, 29 July 2018 (diff | hist) . . (+138) . . N A Language-Independent Program Verification Framework (Created page with "<private> == ISoLA 2018 Submission == <pubbib id='chen-rosu-2018-isola-submission' template='PubDefaultWithAbstractAndTitle' /> </private>")
- 13:44, 29 July 2018 (diff | hist) . . (+137) . . N A Language-Independent Approach to Smart Contract Verification (Created page with "<private> == ISoLA 2018 Submission == <pubbib id='chen-rosu-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/> </private>")
- 13:35, 26 July 2018 (diff | hist) . . (+21) . . A Language-independent Approach to Smart Contract Verification (top)
- 02:10, 22 July 2018 (diff | hist) . . (+221) . . News
- 01:39, 22 July 2018 (diff | hist) . . (+121) . . N A Language-independent Approach to Smart Contract Verification (Created page with "== Submitted to ISOLA'18 == <pubbib id='chen-rosu-park-2018-isola-submission' template='PubDefaultWithAbstractAndTitle'/>")
- 05:18, 9 June 2018 (diff | hist) . . (+74) . . m Xiaohong Chen
- 05:17, 9 June 2018 (diff | hist) . . (+157) . . m Xiaohong Chen
- 22:55, 22 May 2018 (diff | hist) . . (-482) . . Xiaohong Chen
- 22:55, 22 May 2018 (diff | hist) . . (-138) . . Xiaohong Chen
- 02:35, 22 May 2018 (diff | hist) . . (0) . . File:Xiaohong-full.jpg (Xiaohong uploaded a new version of "File:Xiaohong-full.jpg": Change photo)
- 15:13, 1 May 2018 (diff | hist) . . (+101) . . News
- 03:28, 8 December 2017 (diff | hist) . . (-2) . . Xiaohong Chen
- 03:27, 8 December 2017 (diff | hist) . . (+94) . . Xiaohong Chen
- 03:17, 8 December 2017 (diff | hist) . . (+49) . . Xiaohong Chen
- 03:15, 8 December 2017 (diff | hist) . . (+79) . . Xiaohong Chen
- 03:13, 8 December 2017 (diff | hist) . . (+119) . . Xiaohong Chen
- 03:12, 8 December 2017 (diff | hist) . . (+95) . . Xiaohong Chen
- 03:16, 26 July 2017 (diff | hist) . . (+24) . . Xiaohong Chen
- 03:15, 26 July 2017 (diff | hist) . . (+103) . . Xiaohong Chen
- 20:56, 4 June 2017 (diff | hist) . . (+85) . . Xiaohong's Research Diary (top)
- 02:00, 29 May 2017 (diff | hist) . . (+305) . . Xiaohong's Research Diary
- 16:03, 25 May 2017 (diff | hist) . . (-1) . . Xiaohong Chen
- 16:03, 25 May 2017 (diff | hist) . . (+512) . . Xiaohong Chen
- 19:28, 18 May 2017 (diff | hist) . . (0) . . m Xiaohong's Research Diary (→May 17, 2017)
- 19:27, 18 May 2017 (diff | hist) . . (+18) . . m Xiaohong's Research Diary (→May 18, 2017)
- 18:13, 18 May 2017 (diff | hist) . . (+8) . . Xiaohong's Research Diary (→May 18, 2017)
- 18:13, 18 May 2017 (diff | hist) . . (+24) . . Xiaohong's Research Diary (→May 18, 2017)
- 17:11, 18 May 2017 (diff | hist) . . (-121) . . Xiaohong's Research Diary (→May 18, 2017)
- 17:03, 18 May 2017 (diff | hist) . . (+537) . . Xiaohong's Research Diary (add 17/05/18 diary)
- 04:05, 18 May 2017 (diff | hist) . . (+64) . . Xiaohong's Research Diary (→May 17, 2017)
- 04:03, 18 May 2017 (diff | hist) . . (+1,289) . . Xiaohong's Research Diary (add 17/05/17)
- 18:49, 16 May 2017 (diff | hist) . . (+919) . . Xiaohong's Research Diary (add 17/05/16 diary)
- 04:17, 16 May 2017 (diff | hist) . . (+6,072) . . Xiaohong's Research Diary (add 17/05/15 diary)
- 03:40, 15 May 2017 (diff | hist) . . (+1,282) . . Xiaohong's Research Diary (add 17/05/14 diary)
- 18:47, 26 April 2017 (diff | hist) . . (0) . . m Xiaohong Chen
- 16:53, 9 January 2017 (diff | hist) . . (+9) . . m Contact Information for FSL Members
- 16:53, 9 January 2017 (diff | hist) . . (+59) . . m Contact Information for FSL Members
- 04:39, 4 January 2017 (diff | hist) . . (+1) . . m Xiaohong Chen
- 04:38, 4 January 2017 (diff | hist) . . (-653) . . Xiaohong Chen
- 04:35, 4 January 2017 (diff | hist) . . (+4) . . m Xiaohong's Research Diary
- 04:34, 4 January 2017 (diff | hist) . . (+117) . . Xiaohong's Research Diary
- 02:00, 11 December 2016 (diff | hist) . . (+66) . . m Xiaohong's Research Diary (→Dec 10, 2016)
- 01:59, 11 December 2016 (diff | hist) . . (-3) . . Xiaohong Chen
- 01:42, 11 December 2016 (diff | hist) . . (+396) . . Xiaohong's Research Diary
- 02:15, 19 October 2016 (diff | hist) . . (+454) . . Xiaohong's Research Diary
- 01:44, 18 October 2016 (diff | hist) . . (+36) . . m Xiaohong Chen
- 22:22, 17 October 2016 (diff | hist) . . (+62) . . m Xiaohong Chen
- 22:21, 17 October 2016 (diff | hist) . . (+65) . . Xiaohong Chen
- 06:19, 15 October 2016 (diff | hist) . . (0) . . m Xiaohong's Research Diary
- 06:13, 15 October 2016 (diff | hist) . . (+614) . . Xiaohong's Research Diary
- 04:03, 13 October 2016 (diff | hist) . . (+1,821) . . Xiaohong's Research Diary
- 14:09, 10 October 2016 (diff | hist) . . (-5) . . m Xiaohong's Research Diary (→Oct 3, 2016)
- 14:07, 10 October 2016 (diff | hist) . . (+1) . . m Xiaohong's Research Diary (→Oct 5, 2016)
- 14:06, 10 October 2016 (diff | hist) . . (-8) . . m Xiaohong's Research Diary (→Oct 7, 2016)
- 05:08, 8 October 2016 (diff | hist) . . (+1,041) . . Xiaohong's Research Diary
- 18:56, 6 October 2016 (diff | hist) . . (+277) . . m Xiaohong Chen
- 16:21, 6 October 2016 (diff | hist) . . (-110) . . Xiaohong Chen
- 15:40, 6 October 2016 (diff | hist) . . (+237) . . Xiaohong's Research Diary (→Oct 5, 2016)
- 03:43, 6 October 2016 (diff | hist) . . (+403) . . Xiaohong's Research Diary
- 05:24, 5 October 2016 (diff | hist) . . (+347) . . Xiaohong's Research Diary (→Oct 3, 2016)
- 05:20, 5 October 2016 (diff | hist) . . (+97) . . Xiaohong Chen
- 05:15, 5 October 2016 (diff | hist) . . (+30) . . Xiaohong Chen
- 05:15, 5 October 2016 (diff | hist) . . (0) . . m Xiaohong's Research Diary (Xiaohong moved page Research Diary to Xiaohong's Research Diary)
- 05:15, 5 October 2016 (diff | hist) . . (+39) . . N Research Diary (Xiaohong moved page Research Diary to Xiaohong's Research Diary) (top)
- 05:14, 5 October 2016 (diff | hist) . . (0) . . m Xiaohong's Research Diary (Xiaohong moved page Research diary to Research Diary)
- 05:14, 5 October 2016 (diff | hist) . . (+28) . . N Research diary (Xiaohong moved page Research diary to Research Diary) (top)
- 05:13, 5 October 2016 (diff | hist) . . (-17) . . Xiaohong Chen
- 05:13, 5 October 2016 (diff | hist) . . (+2) . . Xiaohong Chen
- 05:13, 5 October 2016 (diff | hist) . . (+15) . . Xiaohong Chen
- 05:12, 5 October 2016 (diff | hist) . . (0) . . News
- 05:12, 5 October 2016 (diff | hist) . . (+50) . . News
- 05:11, 5 October 2016 (diff | hist) . . (+2) . . Xiaohong Chen
- 03:47, 5 October 2016 (diff | hist) . . (+7,185) . . N Xiaohong's Research Diary (Created page with "== Oct 4, 2016 == I was looking for papers on separation logic provers because I want to have a clearer picture of what a matching logic prover should be like. I soon found [...")
- 02:27, 5 October 2016 (diff | hist) . . (+17) . . Xiaohong Chen
- 23:04, 4 October 2016 (diff | hist) . . (+1,022) . . Xiaohong Chen
- 22:17, 4 October 2016 (diff | hist) . . (-3) . . Xiaohong Chen
- 22:17, 4 October 2016 (diff | hist) . . (-8) . . Xiaohong Chen
- 22:16, 4 October 2016 (diff | hist) . . (+50) . . Xiaohong Chen
- 22:15, 4 October 2016 (diff | hist) . . (+12) . . Xiaohong Chen
- 22:15, 4 October 2016 (diff | hist) . . (+31) . . Xiaohong Chen
- 22:14, 4 October 2016 (diff | hist) . . (+220) . . Xiaohong Chen
- 22:12, 4 October 2016 (diff | hist) . . (+13) . . Xiaohong Chen
- 22:11, 4 October 2016 (diff | hist) . . (+2) . . Xiaohong Chen
- 22:11, 4 October 2016 (diff | hist) . . (+8) . . Xiaohong Chen
- 22:10, 4 October 2016 (diff | hist) . . (+10) . . Xiaohong Chen
- 18:11, 2 October 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 18:10, 2 October 2016 (diff | hist) . . (-1) . . Xiaohong Chen
- 18:09, 2 October 2016 (diff | hist) . . (-38) . . Xiaohong Chen
- 18:08, 2 October 2016 (diff | hist) . . (+528) . . Xiaohong Chen
- 18:00, 2 October 2016 (diff | hist) . . (+14) . . FSL Publications
- 17:59, 2 October 2016 (diff | hist) . . (+5) . . FSL Publications
- 21:11, 19 September 2016 (diff | hist) . . (+15) . . Xiaohong Chen
- 21:11, 19 September 2016 (diff | hist) . . (+39) . . Xiaohong Chen
- 21:09, 19 September 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 21:07, 19 September 2016 (diff | hist) . . (+22) . . Xiaohong Chen
- 21:02, 19 September 2016 (diff | hist) . . (+19) . . Xiaohong Chen
- 21:02, 19 September 2016 (diff | hist) . . (+75) . . Xiaohong Chen
- 21:01, 19 September 2016 (diff | hist) . . (+30) . . Xiaohong Chen
- 21:00, 19 September 2016 (diff | hist) . . (-19) . . Xiaohong Chen
- 21:00, 19 September 2016 (diff | hist) . . (+19) . . Xiaohong Chen
- 20:59, 19 September 2016 (diff | hist) . . (+42) . . Xiaohong Chen
- 20:56, 19 September 2016 (diff | hist) . . (+36) . . Xiaohong Chen
- 20:56, 19 September 2016 (diff | hist) . . (+8) . . Xiaohong Chen
- 20:55, 19 September 2016 (diff | hist) . . (+14) . . Xiaohong Chen
- 20:54, 19 September 2016 (diff | hist) . . (+5) . . Xiaohong Chen
- 20:54, 19 September 2016 (diff | hist) . . (+4) . . Xiaohong Chen
- 20:51, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:51, 19 September 2016 (diff | hist) . . (-6) . . Xiaohong Chen
- 20:48, 19 September 2016 (diff | hist) . . (-851) . . Xiaohong Chen (Replaced content with "align=left * item 1 * item 2")
- 20:48, 19 September 2016 (diff | hist) . . (+6) . . Xiaohong Chen
- 20:47, 19 September 2016 (diff | hist) . . (+829) . . Xiaohong Chen
- 20:46, 19 September 2016 (diff | hist) . . (+16) . . Xiaohong Chen
- 20:46, 19 September 2016 (diff | hist) . . (-1) . . Xiaohong Chen
- 20:46, 19 September 2016 (diff | hist) . . (+6) . . Xiaohong Chen
- 20:46, 19 September 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 20:45, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:44, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:43, 19 September 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 20:43, 19 September 2016 (diff | hist) . . (+2) . . Xiaohong Chen
- 20:42, 19 September 2016 (diff | hist) . . (+5) . . Xiaohong Chen
- 20:42, 19 September 2016 (diff | hist) . . (+20) . . Xiaohong Chen
- 20:38, 19 September 2016 (diff | hist) . . (-40) . . Xiaohong Chen
- 20:38, 19 September 2016 (diff | hist) . . (0) . . Xiaohong Chen
- 20:38, 19 September 2016 (diff | hist) . . (0) . . Xiaohong Chen
- 20:38, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:37, 19 September 2016 (diff | hist) . . (+6) . . Xiaohong Chen
- 20:37, 19 September 2016 (diff | hist) . . (-5) . . Xiaohong Chen
- 20:36, 19 September 2016 (diff | hist) . . (+32) . . Xiaohong Chen
- 20:24, 19 September 2016 (diff | hist) . . (-54) . . Xiaohong Chen
- 20:23, 19 September 2016 (diff | hist) . . (+16) . . Xiaohong Chen
- 20:23, 19 September 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 20:22, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:21, 19 September 2016 (diff | hist) . . (-1) . . Xiaohong Chen
- 20:21, 19 September 2016 (diff | hist) . . (+40) . . Xiaohong Chen
- 20:19, 19 September 2016 (diff | hist) . . (+32) . . N File:Xiaohong-full.jpg (A full sized selfie of Xiaohong.)
- 20:16, 19 September 2016 (diff | hist) . . (+38) . . N Xiaohong Chen (Created page with "This is the homepage of Xiaohong Chen.")
- 20:14, 19 September 2016 (diff | hist) . . (-3) . . People
- 20:14, 19 September 2016 (diff | hist) . . (+130) . . People
