Statistics for Detecting Persistence Bugs from Non-volatile Memory Programs by Inferring Likely-correctness Conditions
Total visits
| views | |
|---|---|
| Detecting Persistence Bugs from Non-volatile Memory Programs by Inferring Likely-correctness Conditions | 279 |
Total visits per month
| views | |
|---|---|
| May 2024 | 0 |
| June 2024 | 0 |
| July 2024 | 0 |
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 2 |
| November 2024 | 0 |
File Visits
| views | |
|---|---|
| Fu_X_D_2022.pdf | 421 |
Top country views
| views | |
|---|---|
| United States | 145 |
| Hong Kong SAR China | 28 |
| China | 16 |
| Germany | 12 |
| Japan | 10 |
| South Korea | 8 |
| India | 7 |
| France | 6 |
| Ireland | 6 |
| Russia | 6 |
| Canada | 4 |
| Netherlands | 4 |
| Malaysia | 3 |
| Ghana | 2 |
| Italy | 1 |
| Pakistan | 1 |
| Portugal | 1 |
| Sweden | 1 |
| Singapore | 1 |
| Taiwan | 1 |
Top city views
| views | |
|---|---|
| Reston | 25 |
| Stony Brook | 11 |
| Andover | 10 |
| Central | 9 |
| Lynchburg | 6 |
| Seattle | 6 |
| Ashburn | 4 |
| Seoul | 4 |
| Antigonish | 3 |
| Blacksburg | 3 |
| Bunkyo-ku | 3 |
| Petaling Jaya | 3 |
| San Jose | 3 |
| Washington | 3 |
| Accra | 2 |
| Beijing | 2 |
| Bloomfield | 2 |
| Castro Valley | 2 |
| Centereach | 2 |
| Charlottesville | 2 |
| Dublin | 2 |
| Fullerton | 2 |
| Lorain | 2 |
| Noida | 2 |
| Paris | 2 |
| Shanghai | 2 |
| Shenzhen | 2 |
| Suwon | 2 |
| West Lafayette | 2 |
| Williston Park | 2 |
| Wuhan | 2 |
| Amsterdam | 1 |
| Arcadia | 1 |
| Austin | 1 |
| Belmonte | 1 |
| Chengdu | 1 |
| Chicago | 1 |
| Coram | 1 |
| Delhi | 1 |
| Dronten | 1 |
| Glace Bay | 1 |
| Haarlem | 1 |
| Harrisonburg | 1 |
| Hudson | 1 |
| Hyattsville | 1 |
| Hyderabad | 1 |
| Irvine | 1 |
| Jersey City | 1 |
| Jongno-gu | 1 |
| Karachi | 1 |
| Kings Park | 1 |
| Konstanz | 1 |
| Middletown | 1 |
| Milligan | 1 |
| Montpellier | 1 |
| New York | 1 |
| Novosibirsk | 1 |
| Omaha | 1 |
| Port Jefferson | 1 |
| Saint James | 1 |
| Santa Clara | 1 |
| Santa Cruz | 1 |
| Singapore | 1 |
| Tokyo | 1 |
| Towson | 1 |
| Umeå | 1 |
| Urbana | 1 |
| Vincennes | 1 |
| Vladivostok | 1 |
| Yekaterinburg | 1 |