User contributions
- 19:53, 13 September 2019 (diff | hist) . . (+52) . . Xiaohong Chen (top)
- 14:41, 27 July 2019 (diff | hist) . . (+99) . . Applicative Matching Logic (top)
- 10:21, 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:01, 14 July 2019 (diff | hist) . . (+38) . . Xiaohong Chen
- 10:16, 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>") (top)
- 03:47, 10 June 2019 (diff | hist) . . (+20) . . News
- 05:44, 16 April 2019 (diff | hist) . . (-7) . . m Xiaohong Chen
- 05:40, 16 April 2019 (diff | hist) . . (+47) . . Xiaohong Chen
- 05:39, 16 April 2019 (diff | hist) . . (-105) . . Xiaohong Chen
- 05:36, 16 April 2019 (diff | hist) . . (0) . . Xiaohong Chen
- 05:34, 16 April 2019 (diff | hist) . . (0) . . File:Xiaohong-full.jpg (Xiaohong uploaded a new version of "File:Xiaohong-full.jpg") (top)
- 05:30, 16 April 2019 (diff | hist) . . (0) . . File:Xiaohong.jpg (Xiaohong uploaded a new version of "File:Xiaohong.jpg") (top)
- 05:29, 16 April 2019 (diff | hist) . . (0) . . N File:Xiaohong.jpg
- 18:30, 1 April 2019 (diff | hist) . . (+69) . . News
- 18:28, 1 April 2019 (diff | hist) . . (+93) . . Matching mu-Logic (top)
- 18:19, 1 April 2019 (diff | hist) . . (-6) . . m Xiaohong Chen
- 18:19, 1 April 2019 (diff | hist) . . (-32) . . Xiaohong Chen
- 06:31, 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>") (top)
- 00:18, 28 January 2019 (diff | hist) . . (+2) . . Xiaohong Chen
- 00:16, 28 January 2019 (diff | hist) . . (+127) . . People (Add Micky) (top)
- 19:46, 27 January 2019 (diff | hist) . . (+2) . . Xiaohong Chen
- 19:45, 27 January 2019 (diff | hist) . . (+106) . . Xiaohong Chen
- 19:42, 27 January 2019 (diff | hist) . . (+120) . . Xiaohong Chen
- 15:51, 25 January 2019 (diff | hist) . . (-37) . . Xiaohong Chen
- 05:46, 20 January 2019 (diff | hist) . . (+51) . . Matching mu-Logic
- 05:43, 20 January 2019 (diff | hist) . . (-19) . . Matching mu-Logic
- 16:13, 15 January 2019 (diff | hist) . . (+95) . . Matching mu-Logic
- 20:54, 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:43, 23 December 2018 (diff | hist) . . (-41) . . m Xiaohong Chen
- 05:20, 23 December 2018 (diff | hist) . . (+2) . . m Xiaohong Chen
- 05:20, 23 December 2018 (diff | hist) . . (+39) . . m Xiaohong Chen
- 18:52, 12 December 2018 (diff | hist) . . (+162) . . Xiaohong Chen
- 23:16, 4 December 2018 (diff | hist) . . (+324) . . m News
- 23:13, 4 December 2018 (diff | hist) . . (-12) . . m A Language-Independent Program Verification Framework (top)
- 23:09, 4 December 2018 (diff | hist) . . (-12) . . m A Language-Independent Approach to Smart Contract Verification (top)
- 17:51, 1 December 2018 (diff | hist) . . (+17) . . m Xiaohong Chen
- 17:49, 1 December 2018 (diff | hist) . . (-7) . . m Xiaohong Chen
- 17:47, 1 December 2018 (diff | hist) . . (+127) . . Xiaohong Chen
- 17:43, 1 December 2018 (diff | hist) . . (-55) . . Xiaohong Chen
- 19:06, 13 September 2018 (diff | hist) . . (+444) . . Xiaohong Chen
- 15:25, 3 August 2018 (diff | hist) . . (+112) . . A Language-Independent Approach to Smart Contract Verification
- 15:24, 3 August 2018 (diff | hist) . . (+108) . . A Language-Independent Program Verification Framework
- 14:10, 29 July 2018 (diff | hist) . . (0) . . A Language-Independent Approach to Smart Contract Verification
- 13:55, 29 July 2018 (diff | hist) . . (0) . . News
- 13:45, 29 July 2018 (diff | hist) . . (+5) . . A Language-Independent Approach to Smart Contract Verification
- 13:44, 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:43, 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:34, 26 July 2018 (diff | hist) . . (+21) . . A Language-independent Approach to Smart Contract Verification (top)
- 02:09, 22 July 2018 (diff | hist) . . (+221) . . News
- 01:38, 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:17, 9 June 2018 (diff | hist) . . (+74) . . m Xiaohong Chen
- 05:16, 9 June 2018 (diff | hist) . . (+157) . . m Xiaohong Chen
- 22:54, 22 May 2018 (diff | hist) . . (-482) . . Xiaohong Chen
- 22:54, 22 May 2018 (diff | hist) . . (-138) . . Xiaohong Chen
- 02:34, 22 May 2018 (diff | hist) . . (0) . . File:Xiaohong-full.jpg (Xiaohong uploaded a new version of "File:Xiaohong-full.jpg": Change photo)
- 15:12, 1 May 2018 (diff | hist) . . (+101) . . News
- 03:27, 8 December 2017 (diff | hist) . . (-2) . . Xiaohong Chen
- 03:26, 8 December 2017 (diff | hist) . . (+94) . . Xiaohong Chen
- 03:16, 8 December 2017 (diff | hist) . . (+49) . . Xiaohong Chen
- 03:14, 8 December 2017 (diff | hist) . . (+79) . . Xiaohong Chen
- 03:12, 8 December 2017 (diff | hist) . . (+119) . . Xiaohong Chen
- 03:11, 8 December 2017 (diff | hist) . . (+95) . . Xiaohong Chen
- 03:15, 26 July 2017 (diff | hist) . . (+24) . . Xiaohong Chen
- 03:14, 26 July 2017 (diff | hist) . . (+103) . . Xiaohong Chen
- 20:55, 4 June 2017 (diff | hist) . . (+85) . . Xiaohong's Research Diary (top)
- 01:59, 29 May 2017 (diff | hist) . . (+305) . . Xiaohong's Research Diary
- 16:02, 25 May 2017 (diff | hist) . . (-1) . . Xiaohong Chen
- 16:02, 25 May 2017 (diff | hist) . . (+512) . . Xiaohong Chen
- 19:27, 18 May 2017 (diff | hist) . . (0) . . m Xiaohong's Research Diary (→May 17, 2017)
- 19:26, 18 May 2017 (diff | hist) . . (+18) . . m Xiaohong's Research Diary (→May 18, 2017)
- 18:12, 18 May 2017 (diff | hist) . . (+8) . . Xiaohong's Research Diary (→May 18, 2017)
- 18:12, 18 May 2017 (diff | hist) . . (+24) . . Xiaohong's Research Diary (→May 18, 2017)
- 17:10, 18 May 2017 (diff | hist) . . (-121) . . Xiaohong's Research Diary (→May 18, 2017)
- 17:02, 18 May 2017 (diff | hist) . . (+537) . . Xiaohong's Research Diary (add 17/05/18 diary)
- 04:04, 18 May 2017 (diff | hist) . . (+64) . . Xiaohong's Research Diary (→May 17, 2017)
- 04:02, 18 May 2017 (diff | hist) . . (+1,289) . . Xiaohong's Research Diary (add 17/05/17)
- 18:48, 16 May 2017 (diff | hist) . . (+919) . . Xiaohong's Research Diary (add 17/05/16 diary)
- 04:16, 16 May 2017 (diff | hist) . . (+6,072) . . Xiaohong's Research Diary (add 17/05/15 diary)
- 03:39, 15 May 2017 (diff | hist) . . (+1,282) . . Xiaohong's Research Diary (add 17/05/14 diary)
- 18:46, 26 April 2017 (diff | hist) . . (0) . . m Xiaohong Chen
- 16:52, 9 January 2017 (diff | hist) . . (+9) . . m Contact Information for FSL Members
- 16:52, 9 January 2017 (diff | hist) . . (+59) . . m Contact Information for FSL Members
- 04:38, 4 January 2017 (diff | hist) . . (+1) . . m Xiaohong Chen
- 04:37, 4 January 2017 (diff | hist) . . (-653) . . Xiaohong Chen
- 04:34, 4 January 2017 (diff | hist) . . (+4) . . m Xiaohong's Research Diary
- 04:33, 4 January 2017 (diff | hist) . . (+117) . . Xiaohong's Research Diary
- 01:59, 11 December 2016 (diff | hist) . . (+66) . . m Xiaohong's Research Diary (→Dec 10, 2016)
- 01:58, 11 December 2016 (diff | hist) . . (-3) . . Xiaohong Chen
- 01:41, 11 December 2016 (diff | hist) . . (+396) . . Xiaohong's Research Diary
- 02:14, 19 October 2016 (diff | hist) . . (+454) . . Xiaohong's Research Diary
- 01:43, 18 October 2016 (diff | hist) . . (+36) . . m Xiaohong Chen
- 22:21, 17 October 2016 (diff | hist) . . (+62) . . m Xiaohong Chen
- 22:20, 17 October 2016 (diff | hist) . . (+65) . . Xiaohong Chen
- 06:18, 15 October 2016 (diff | hist) . . (0) . . m Xiaohong's Research Diary
- 06:12, 15 October 2016 (diff | hist) . . (+614) . . Xiaohong's Research Diary
- 04:02, 13 October 2016 (diff | hist) . . (+1,821) . . Xiaohong's Research Diary
- 14:08, 10 October 2016 (diff | hist) . . (-5) . . m Xiaohong's Research Diary (→Oct 3, 2016)
- 14:06, 10 October 2016 (diff | hist) . . (+1) . . m Xiaohong's Research Diary (→Oct 5, 2016)
- 14:05, 10 October 2016 (diff | hist) . . (-8) . . m Xiaohong's Research Diary (→Oct 7, 2016)
- 05:07, 8 October 2016 (diff | hist) . . (+1,041) . . Xiaohong's Research Diary
- 18:55, 6 October 2016 (diff | hist) . . (+277) . . m Xiaohong Chen
- 16:20, 6 October 2016 (diff | hist) . . (-110) . . Xiaohong Chen
- 15:39, 6 October 2016 (diff | hist) . . (+237) . . Xiaohong's Research Diary (→Oct 5, 2016)
- 03:42, 6 October 2016 (diff | hist) . . (+403) . . Xiaohong's Research Diary
- 05:23, 5 October 2016 (diff | hist) . . (+347) . . Xiaohong's Research Diary (→Oct 3, 2016)
- 05:19, 5 October 2016 (diff | hist) . . (+97) . . Xiaohong Chen
- 05:14, 5 October 2016 (diff | hist) . . (+30) . . Xiaohong Chen
- 05:14, 5 October 2016 (diff | hist) . . (0) . . m Xiaohong's Research Diary (Xiaohong moved page Research Diary to Xiaohong's Research Diary)
- 05:14, 5 October 2016 (diff | hist) . . (+39) . . N Research Diary (Xiaohong moved page Research Diary to Xiaohong's Research Diary) (top)
- 05:13, 5 October 2016 (diff | hist) . . (0) . . m Xiaohong's Research Diary (Xiaohong moved page Research diary to Research Diary)
- 05:13, 5 October 2016 (diff | hist) . . (+28) . . N Research diary (Xiaohong moved page Research diary to Research Diary) (top)
- 05:12, 5 October 2016 (diff | hist) . . (-17) . . Xiaohong Chen
- 05:12, 5 October 2016 (diff | hist) . . (+2) . . Xiaohong Chen
- 05:12, 5 October 2016 (diff | hist) . . (+15) . . Xiaohong Chen
- 05:11, 5 October 2016 (diff | hist) . . (0) . . News
- 05:11, 5 October 2016 (diff | hist) . . (+50) . . News
- 05:10, 5 October 2016 (diff | hist) . . (+2) . . Xiaohong Chen
- 03:46, 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:26, 5 October 2016 (diff | hist) . . (+17) . . Xiaohong Chen
- 23:03, 4 October 2016 (diff | hist) . . (+1,022) . . Xiaohong Chen
- 22:16, 4 October 2016 (diff | hist) . . (-3) . . Xiaohong Chen
- 22:16, 4 October 2016 (diff | hist) . . (-8) . . Xiaohong Chen
- 22:15, 4 October 2016 (diff | hist) . . (+50) . . Xiaohong Chen
- 22:14, 4 October 2016 (diff | hist) . . (+12) . . Xiaohong Chen
- 22:14, 4 October 2016 (diff | hist) . . (+31) . . Xiaohong Chen
- 22:13, 4 October 2016 (diff | hist) . . (+220) . . Xiaohong Chen
- 22:11, 4 October 2016 (diff | hist) . . (+13) . . Xiaohong Chen
- 22:10, 4 October 2016 (diff | hist) . . (+2) . . Xiaohong Chen
- 22:10, 4 October 2016 (diff | hist) . . (+8) . . Xiaohong Chen
- 22:09, 4 October 2016 (diff | hist) . . (+10) . . Xiaohong Chen
- 18:10, 2 October 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 18:09, 2 October 2016 (diff | hist) . . (-1) . . Xiaohong Chen
- 18:08, 2 October 2016 (diff | hist) . . (-38) . . Xiaohong Chen
- 18:07, 2 October 2016 (diff | hist) . . (+528) . . Xiaohong Chen
- 17:59, 2 October 2016 (diff | hist) . . (+14) . . FSL Publications
- 17:58, 2 October 2016 (diff | hist) . . (+5) . . FSL Publications
- 21:10, 19 September 2016 (diff | hist) . . (+15) . . Xiaohong Chen
- 21:10, 19 September 2016 (diff | hist) . . (+39) . . Xiaohong Chen
- 21:08, 19 September 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 21:06, 19 September 2016 (diff | hist) . . (+22) . . Xiaohong Chen
- 21:01, 19 September 2016 (diff | hist) . . (+19) . . Xiaohong Chen
- 21:01, 19 September 2016 (diff | hist) . . (+75) . . Xiaohong Chen
- 21:00, 19 September 2016 (diff | hist) . . (+30) . . Xiaohong Chen
- 20:59, 19 September 2016 (diff | hist) . . (-19) . . Xiaohong Chen
- 20:59, 19 September 2016 (diff | hist) . . (+19) . . Xiaohong Chen
- 20:58, 19 September 2016 (diff | hist) . . (+42) . . Xiaohong Chen
- 20:55, 19 September 2016 (diff | hist) . . (+36) . . Xiaohong Chen
- 20:55, 19 September 2016 (diff | hist) . . (+8) . . Xiaohong Chen
- 20:54, 19 September 2016 (diff | hist) . . (+14) . . Xiaohong Chen
- 20:53, 19 September 2016 (diff | hist) . . (+5) . . Xiaohong Chen
- 20:53, 19 September 2016 (diff | hist) . . (+4) . . Xiaohong Chen
- 20:50, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:50, 19 September 2016 (diff | hist) . . (-6) . . Xiaohong Chen
- 20:47, 19 September 2016 (diff | hist) . . (-851) . . Xiaohong Chen (Replaced content with "align=left * item 1 * item 2")
- 20:47, 19 September 2016 (diff | hist) . . (+6) . . Xiaohong Chen
- 20:46, 19 September 2016 (diff | hist) . . (+829) . . Xiaohong Chen
- 20:45, 19 September 2016 (diff | hist) . . (+16) . . Xiaohong Chen
- 20:45, 19 September 2016 (diff | hist) . . (-1) . . Xiaohong Chen
- 20:45, 19 September 2016 (diff | hist) . . (+6) . . Xiaohong Chen
- 20:45, 19 September 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 20:44, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:43, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:42, 19 September 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 20:42, 19 September 2016 (diff | hist) . . (+2) . . Xiaohong Chen
- 20:41, 19 September 2016 (diff | hist) . . (+5) . . Xiaohong Chen
- 20:41, 19 September 2016 (diff | hist) . . (+20) . . Xiaohong Chen
- 20:37, 19 September 2016 (diff | hist) . . (-40) . . Xiaohong Chen
- 20:37, 19 September 2016 (diff | hist) . . (0) . . Xiaohong Chen
- 20:37, 19 September 2016 (diff | hist) . . (0) . . Xiaohong Chen
- 20:37, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:36, 19 September 2016 (diff | hist) . . (+6) . . Xiaohong Chen
- 20:36, 19 September 2016 (diff | hist) . . (-5) . . Xiaohong Chen
- 20:35, 19 September 2016 (diff | hist) . . (+32) . . Xiaohong Chen
- 20:23, 19 September 2016 (diff | hist) . . (-54) . . Xiaohong Chen
- 20:22, 19 September 2016 (diff | hist) . . (+16) . . Xiaohong Chen
- 20:22, 19 September 2016 (diff | hist) . . (-2) . . Xiaohong Chen
- 20:21, 19 September 2016 (diff | hist) . . (+1) . . Xiaohong Chen
- 20:20, 19 September 2016 (diff | hist) . . (-1) . . Xiaohong Chen
- 20:20, 19 September 2016 (diff | hist) . . (+40) . . Xiaohong Chen
- 20:18, 19 September 2016 (diff | hist) . . (+32) . . N File:Xiaohong-full.jpg (A full sized selfie of Xiaohong.)
- 20:15, 19 September 2016 (diff | hist) . . (+38) . . N Xiaohong Chen (Created page with "This is the homepage of Xiaohong Chen.")
- 20:13, 19 September 2016 (diff | hist) . . (-3) . . People
- 20:13, 19 September 2016 (diff | hist) . . (+130) . . People
