Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * Disallow: /wp-admin/ Allow: /wp-admin/admin-ajax.php Sitemap: |
Title | Software Testing and Analysis – Concurrency – Threads – Security – Runtime – |
Description | Login Login Software Testing and Analysis Concurrency – Threads – Security – Runtime – AutoDriving Software Testing and Analysis Home Students Publication |
Keywords | N/A |
WebSite | yancai.site |
Host IP | 47.240.25.76 |
Location | Canada |
Site | Rank |
US$1,737
Last updated: 2023-05-20 04:07:38
yancai.site has Semrush global rank of 0. yancai.site has an estimated worth of US$ 1,737, based on its estimated Ads revenue. yancai.site receives approximately 200 unique visitors each day. Its web server is located in Canada, with IP address 47.240.25.76. According to SiteAdvisor, yancai.site is safe to visit. |
Purchase/Sale Value | US$1,737 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$48 |
Yearly Ads Revenue | US$577 |
Daily Unique Visitors | 13 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
yancai.site. | A | 600 | IP: 47.240.25.76 |
yancai.site. | NS | 86400 | NS Record: dns11.hichina.com. |
yancai.site. | NS | 86400 | NS Record: dns12.hichina.com. |
Login Login Software Testing and Analysis Concurrency – Threads – Security – Runtime – AutoDriving Software Testing and Analysis Home Students Publications Academic services Honors etc. Yan Cai 招聘:博士后、实习生,欢迎联系 研究方向:软件安全、程序分析与测试、RISC-V软件等 I am interested in testing and analyzing large-scale programs, such as detection of concurrency issues and security bugs. My main works are as follows: Concurrency General algorithms for detecting concurrency bugs ( ESEC/FSE 2021a , ICSE 2023 ). Deadlock detection, from prediction ( ICSE 2020 , ICSE 2012 , IEEE TSE 2014 ) to isolation ( ASE 2016 , TSE 2016 , ICSE 2014 , I EEE TPDS 2015 , PPoPP 2013 , ICSE 2012 ). High quality strategy for concurrency bug fixing/repair: FSE 2017a , ICSE 2016a . Data race detection, such as sampling and active detection: FSE 2017b , FSE 2016 , FSE 2015 . Security Concurrency vulnerabilities: ESEC/FSE 2019 , ESEC/FSE 2021b , ISSTA 2021a . Others: SANER 2020 , USENIX 2022 , IEEE TRel 2022 . Mining Rule based bug mining ( |
HTTP/1.1 200 OK Date: Fri, 06 Jan 2023 09:03:37 GMT Server: Apache/2.4.41 (Ubuntu) Vary: Accept-Encoding,Cookie Cache-Control: max-age=3, must-revalidate Content-Type: text/html; charset=UTF-8 |