| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: application/xml
last-modified: Tue, 05 Aug 2025 09:08:01 GMT
access-control-allow-origin: *
etag: W/"6891c9f1-57c9"
expires: Mon, 29 Dec 2025 10:04:36 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: B162:3827E5:8AA5F3:9BB5EE:69524FDB
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 09:54:36 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210077-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767002076.016827,VS0,VE217
vary: Accept-Encoding
x-fastly-request-id: 0583e13bfe1d92854d20b9abdbba5f40f3955332
content-length: 2680
Jekyll 2025-08-05T02:07:34-07:00 https://lijwen2748.github.io/feed.xml Jianwen Li (李建文) personal description {"name"=>"", "avatar"=>"李建文.jpg", "bio"=>"", "location"=>"Shanghai, China", "employer"=>"East China Normal University", "pubmed"=>nil, "googlescholar"=>"https://scholar.google.com/citations?user=kpv4RzgAAAAJ&hl=en", "email"=>"jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com)", "researchgate"=>"https://www.researchgate.net/profile/Jianwen-Li-8", "uri"=>nil, "bitbucket"=>nil, "codepen"=>nil, "dribbble"=>nil, "flickr"=>nil, "facebook"=>nil, "foursquare"=>nil, "github"=>"lijwen2748", "google_plus"=>nil, "keybase"=>nil, "instagram"=>nil, "impactstory"=>nil, "lastfm"=>nil, "linkedin"=>"lijianwen", "orcid"=>"https://orcid.org/0000-0001-9286-8285", "pinterest"=>nil, "soundcloud"=>nil, "stackoverflow"=>nil, "steam"=>nil, "tumblr"=>nil, "twitter"=>nil, "vine"=>nil, "weibo"=>nil, "xing"=>nil, "youtube"=>nil, "wikipedia"=>nil} jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com) Ofer @Shanghai 2024-07-15T00:00:00-07:00 2024-07-15T00:00:00-07:00 https://lijwen2748.github.io/posts/2024/07/15/ofer My collaborator, Professor Ofer Strichman from Technion, Israel, was invited to give a lecture titled “SAT/SMT - The Engines of Reasoning” at the 20th International Summer School held at East China Normal University in Shanghai from July 9 to 12, 2024.
{"name"=>"", "avatar"=>"李建文.jpg", "bio"=>"", "location"=>"Shanghai, China", "employer"=>"East China Normal University", "pubmed"=>nil, "googlescholar"=>"https://scholar.google.com/citations?user=kpv4RzgAAAAJ&hl=en", "email"=>"jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com)", "researchgate"=>"https://www.researchgate.net/profile/Jianwen-Li-8", "uri"=>nil, "bitbucket"=>nil, "codepen"=>nil, "dribbble"=>nil, "flickr"=>nil, "facebook"=>nil, "foursquare"=>nil, "github"=>"lijwen2748", "google_plus"=>nil, "keybase"=>nil, "instagram"=>nil, "impactstory"=>nil, "lastfm"=>nil, "linkedin"=>"lijianwen", "orcid"=>"https://orcid.org/0000-0001-9286-8285", "pinterest"=>nil, "soundcloud"=>nil, "stackoverflow"=>nil, "steam"=>nil, "tumblr"=>nil, "twitter"=>nil, "vine"=>nil, "weibo"=>nil, "xing"=>nil, "youtube"=>nil, "wikipedia"=>nil} jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com) Paper accepted at CAV 2024 2024-03-27T00:00:00-07:00 2024-03-27T00:00:00-07:00 https://lijwen2748.github.io/posts/2024/03/27/cav Our paper «Avoiding the Shoals - A New Approach to Liveness Checking» is accepted at CAV 2024.
{"name"=>"", "avatar"=>"李建文.jpg", "bio"=>"", "location"=>"Shanghai, China", "employer"=>"East China Normal University", "pubmed"=>nil, "googlescholar"=>"https://scholar.google.com/citations?user=kpv4RzgAAAAJ&hl=en", "email"=>"jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com)", "researchgate"=>"https://www.researchgate.net/profile/Jianwen-Li-8", "uri"=>nil, "bitbucket"=>nil, "codepen"=>nil, "dribbble"=>nil, "flickr"=>nil, "facebook"=>nil, "foursquare"=>nil, "github"=>"lijwen2748", "google_plus"=>nil, "keybase"=>nil, "instagram"=>nil, "impactstory"=>nil, "lastfm"=>nil, "linkedin"=>"lijianwen", "orcid"=>"https://orcid.org/0000-0001-9286-8285", "pinterest"=>nil, "soundcloud"=>nil, "stackoverflow"=>nil, "steam"=>nil, "tumblr"=>nil, "twitter"=>nil, "vine"=>nil, "weibo"=>nil, "xing"=>nil, "youtube"=>nil, "wikipedia"=>nil} jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com) is accepted at [CAV 2024](https://i-cav.org/2024/).]]> ATVA 2024 PC member 2024-03-10T00:00:00-08:00 2024-03-10T00:00:00-08:00 https://lijwen2748.github.io/posts/2024/03/10/atva24pc I was invited as a PC member at ATVA 2024.
{"name"=>"", "avatar"=>"李建文.jpg", "bio"=>"", "location"=>"Shanghai, China", "employer"=>"East China Normal University", "pubmed"=>nil, "googlescholar"=>"https://scholar.google.com/citations?user=kpv4RzgAAAAJ&hl=en", "email"=>"jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com)", "researchgate"=>"https://www.researchgate.net/profile/Jianwen-Li-8", "uri"=>nil, "bitbucket"=>nil, "codepen"=>nil, "dribbble"=>nil, "flickr"=>nil, "facebook"=>nil, "foursquare"=>nil, "github"=>"lijwen2748", "google_plus"=>nil, "keybase"=>nil, "instagram"=>nil, "impactstory"=>nil, "lastfm"=>nil, "linkedin"=>"lijianwen", "orcid"=>"https://orcid.org/0000-0001-9286-8285", "pinterest"=>nil, "soundcloud"=>nil, "stackoverflow"=>nil, "steam"=>nil, "tumblr"=>nil, "twitter"=>nil, "vine"=>nil, "weibo"=>nil, "xing"=>nil, "youtube"=>nil, "wikipedia"=>nil} jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com) CAV 2024 PC member 2023-10-15T00:00:00-07:00 2023-10-15T00:00:00-07:00 https://lijwen2748.github.io/posts/2023/10/15/cav24pc I was invited as a PC member at CAV 2024.
{"name"=>"", "avatar"=>"李建文.jpg", "bio"=>"", "location"=>"Shanghai, China", "employer"=>"East China Normal University", "pubmed"=>nil, "googlescholar"=>"https://scholar.google.com/citations?user=kpv4RzgAAAAJ&hl=en", "email"=>"jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com)", "researchgate"=>"https://www.researchgate.net/profile/Jianwen-Li-8", "uri"=>nil, "bitbucket"=>nil, "codepen"=>nil, "dribbble"=>nil, "flickr"=>nil, "facebook"=>nil, "foursquare"=>nil, "github"=>"lijwen2748", "google_plus"=>nil, "keybase"=>nil, "instagram"=>nil, "impactstory"=>nil, "lastfm"=>nil, "linkedin"=>"lijianwen", "orcid"=>"https://orcid.org/0000-0001-9286-8285", "pinterest"=>nil, "soundcloud"=>nil, "stackoverflow"=>nil, "steam"=>nil, "tumblr"=>nil, "twitter"=>nil, "vine"=>nil, "weibo"=>nil, "xing"=>nil, "youtube"=>nil, "wikipedia"=>nil} jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com) Paper accepted at VMCAI 2024 2023-10-12T00:00:00-07:00 2023-10-12T00:00:00-07:00 https://lijwen2748.github.io/posts/2023/10/vmcai Our paper «Model-Guided Synthesis for LTL over Finite
Traces» is accepted at VMCAI 2024.
{"name"=>"", "avatar"=>"李建文.jpg", "bio"=>"", "location"=>"Shanghai, China", "employer"=>"East China Normal University", "pubmed"=>nil, "googlescholar"=>"https://scholar.google.com/citations?user=kpv4RzgAAAAJ&hl=en", "email"=>"jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com)", "researchgate"=>"https://www.researchgate.net/profile/Jianwen-Li-8", "uri"=>nil, "bitbucket"=>nil, "codepen"=>nil, "dribbble"=>nil, "flickr"=>nil, "facebook"=>nil, "foursquare"=>nil, "github"=>"lijwen2748", "google_plus"=>nil, "keybase"=>nil, "instagram"=>nil, "impactstory"=>nil, "lastfm"=>nil, "linkedin"=>"lijianwen", "orcid"=>"https://orcid.org/0000-0001-9286-8285", "pinterest"=>nil, "soundcloud"=>nil, "stackoverflow"=>nil, "steam"=>nil, "tumblr"=>nil, "twitter"=>nil, "vine"=>nil, "weibo"=>nil, "xing"=>nil, "youtube"=>nil, "wikipedia"=>nil} jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com) is accepted at VMCAI 2024.]]> Moshe @Beijing 2023-10-08T00:00:00-07:00 2023-10-08T00:00:00-07:00 https://lijwen2748.github.io/posts/2023/10/08/moshe My postdoc advisor Moshe Vardi, the professor at Rice University, visited Tsinghua University during Sept. 23 - 30. It has been a while (four years) not seeing Moshe due to COVID-19, and it was really wonderful to meet him again in person!
{"name"=>"", "avatar"=>"李建文.jpg", "bio"=>"", "location"=>"Shanghai, China", "employer"=>"East China Normal University", "pubmed"=>nil, "googlescholar"=>"https://scholar.google.com/citations?user=kpv4RzgAAAAJ&hl=en", "email"=>"jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com)", "researchgate"=>"https://www.researchgate.net/profile/Jianwen-Li-8", "uri"=>nil, "bitbucket"=>nil, "codepen"=>nil, "dribbble"=>nil, "flickr"=>nil, "facebook"=>nil, "foursquare"=>nil, "github"=>"lijwen2748", "google_plus"=>nil, "keybase"=>nil, "instagram"=>nil, "impactstory"=>nil, "lastfm"=>nil, "linkedin"=>"lijianwen", "orcid"=>"https://orcid.org/0000-0001-9286-8285", "pinterest"=>nil, "soundcloud"=>nil, "stackoverflow"=>nil, "steam"=>nil, "tumblr"=>nil, "twitter"=>nil, "vine"=>nil, "weibo"=>nil, "xing"=>nil, "youtube"=>nil, "wikipedia"=>nil} jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com) IDAS 2023 @Wuhan 2023-09-18T00:00:00-07:00 2023-09-18T00:00:00-07:00 https://lijwen2748.github.io/posts/2023/09/idas Heard a very interesting talk.
{"name"=>"", "avatar"=>"李建文.jpg", "bio"=>"", "location"=>"Shanghai, China", "employer"=>"East China Normal University", "pubmed"=>nil, "googlescholar"=>"https://scholar.google.com/citations?user=kpv4RzgAAAAJ&hl=en", "email"=>"jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com)", "researchgate"=>"https://www.researchgate.net/profile/Jianwen-Li-8", "uri"=>nil, "bitbucket"=>nil, "codepen"=>nil, "dribbble"=>nil, "flickr"=>nil, "facebook"=>nil, "foursquare"=>nil, "github"=>"lijwen2748", "google_plus"=>nil, "keybase"=>nil, "instagram"=>nil, "impactstory"=>nil, "lastfm"=>nil, "linkedin"=>"lijianwen", "orcid"=>"https://orcid.org/0000-0001-9286-8285", "pinterest"=>nil, "soundcloud"=>nil, "stackoverflow"=>nil, "steam"=>nil, "tumblr"=>nil, "twitter"=>nil, "vine"=>nil, "weibo"=>nil, "xing"=>nil, "youtube"=>nil, "wikipedia"=>nil} jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com) CAV 2023 @Paris 2023-07-23T00:00:00-07:00 2023-07-23T00:00:00-07:00 https://lijwen2748.github.io/posts/2023/07/cav Our paper «Searching for i-good lemmas to accelerate safety model checking» was accepted and presented at CAV 2023.
{"name"=>"", "avatar"=>"李建文.jpg", "bio"=>"", "location"=>"Shanghai, China", "employer"=>"East China Normal University", "pubmed"=>nil, "googlescholar"=>"https://scholar.google.com/citations?user=kpv4RzgAAAAJ&hl=en", "email"=>"jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com)", "researchgate"=>"https://www.researchgate.net/profile/Jianwen-Li-8", "uri"=>nil, "bitbucket"=>nil, "codepen"=>nil, "dribbble"=>nil, "flickr"=>nil, "facebook"=>nil, "foursquare"=>nil, "github"=>"lijwen2748", "google_plus"=>nil, "keybase"=>nil, "instagram"=>nil, "impactstory"=>nil, "lastfm"=>nil, "linkedin"=>"lijianwen", "orcid"=>"https://orcid.org/0000-0001-9286-8285", "pinterest"=>nil, "soundcloud"=>nil, "stackoverflow"=>nil, "steam"=>nil, "tumblr"=>nil, "twitter"=>nil, "vine"=>nil, "weibo"=>nil, "xing"=>nil, "youtube"=>nil, "wikipedia"=>nil} jwli@sei.ecnu.edu.cn (lijwen2748@gmail.com) was accepted and presented at CAV 2023.]]>
The summer school website is here.
This paper introduces a new model checking approach, namely, rlive, for liveness properties of finite-state symbolic transition systems. Our experimental results show that our implementation of rlive outperforms state-of-the-art implementations of FAIR, KLIVE and other SAT-based liveness checking algorithms on a wide range of benchmarks from the literature.
]]>ATVA is one of the most prestigious conference in formal methods, which I have been working for more than 10 years. I feel honored to be invited as a PC member there!
]]>CAV is one of the most prestigious conference in formal methods, which I have been working for more than 10 years. I feel extremely honored to be invited as a PC member there!
]]>This paper introduces a novel approach to acclerate LTLf synthesis via LTLf satisfiability checking. The results show that the approach outperforms all other methodologies off the shelve.
]]>
