Statistics for Static Data Race Analysis of Heap-Manipulating C Programs
Total visits
| views | |
|---|---|
| Static Data Race Analysis of Heap-Manipulating C Programs | 3585 |
Total visits per month
| views | |
|---|---|
| September 2024 | 1 |
| October 2024 | 1 |
| November 2024 | 2 |
| December 2024 | 4 |
| January 2025 | 3 |
| February 2025 | 0 |
| March 2025 | 2 |
File Visits
| views | |
|---|---|
| vesal_vojdani.pdf | 1423 |
| f1858ddf-79d5-45b7-8a19-cf0a84251290 | 90 |
| 21556bc7-90c6-4021-ae31-f063f3503158 | 15 |
| 3c96c77f-239c-41ce-837a-64d8adc8ac85 | 12 |
| b67aaf47-dc15-416f-bd07-1d9e64b244a8 | 8 |
| 276233bf-1008-41af-9e64-5ad25b79ec42 | 2 |
| 9b96eb9d-6bcd-4cca-a46d-f101257aa28c | 1 |
| a9308ed9-5082-4c58-907f-94f583d80517 | 1 |
Top country views
| views | |
|---|---|
| Estonia | 1728 |
| United States | 878 |
| China | 136 |
| Russia | 120 |
| Germany | 117 |
| France | 58 |
| Ukraine | 41 |
| Czechia | 29 |
| Italy | 29 |
| Netherlands | 17 |
| Finland | 15 |
| Sweden | 13 |
| United Kingdom | 9 |
| Canada | 8 |
| Turkey | 5 |
| Hong Kong SAR China | 4 |
| India | 4 |
| Colombia | 3 |
| Ireland | 3 |
| Norway | 3 |
| Romania | 3 |
| Vietnam | 3 |
| Denmark | 2 |
| Croatia | 2 |
| Japan | 2 |
| Monaco | 2 |
| Uzbekistan | 2 |
| United Arab Emirates | 1 |
| Belgium | 1 |
| Bulgaria | 1 |
| Switzerland | 1 |
| Côte d’Ivoire | 1 |
| Greece | 1 |
| Israel | 1 |
| Iran | 1 |
| South Korea | 1 |
| Kazakhstan | 1 |
| Moldova | 1 |
| Mauritius | 1 |
| Nigeria | 1 |
| Poland | 1 |
| Singapore | 1 |
| Slovakia | 1 |
| Senegal | 1 |
| South Africa | 1 |
Top city views
| views | |
|---|---|
| Tartu | 1489 |
| Sunnyvale | 155 |
| Tallinn | 153 |
| Moscow | 105 |
| Seattle | 97 |
| Kansas City | 80 |
| Ann Arbor | 68 |
| Des Moines | 46 |
| Mountain View | 46 |
| Beijing | 37 |
| Ashburn | 33 |
| Prague | 25 |
| San Mateo | 25 |
| Roubaix | 21 |
| Fremont | 19 |
| Düsseldorf | 17 |
| Milan | 17 |
| Wilmington | 16 |
| Chongqing | 15 |
| Cupertino | 12 |
| Garching | 12 |
| Helsinki | 12 |
| Kiez | 12 |
| Chandler | 11 |
| Louisville | 10 |
| Rinteln | 10 |
| Amsterdam | 9 |
| Boardman | 9 |
| La Jolla | 7 |
| Leipzig | 7 |
| Leopoldshafen | 7 |
| Paris | 7 |
| Stockholm | 7 |
| Berlin | 6 |
| Shenzhen | 6 |
| San Ramon | 5 |
| Hamburg | 4 |
| Kaiserslautern | 4 |
| Los Angeles | 4 |
| Zhengzhou | 4 |
| Arezzo | 3 |
| Cagliari | 3 |
| Cuges-les-Pins | 3 |
| Dublin | 3 |
| Fredericton | 3 |
| Hanoi | 3 |
| Henderson | 3 |
| Hürth | 3 |
| Kwai Chung | 3 |
| San Diego | 3 |
| Santa Clara | 3 |
| Timisoara | 3 |
| Voorburg | 3 |
| Wuhan | 3 |
| Austin | 2 |
| Aydin | 2 |
| Bogotá | 2 |
| Braunschweig | 2 |
| Brno | 2 |
| Buffalo | 2 |
| Burgheim | 2 |
| Cambridge | 2 |
| Clarks Summit | 2 |
| Dallas | 2 |
| Hangzhou | 2 |
| Malmö | 2 |
| Mcallen | 2 |
| Mersin | 2 |
| Monte-carlo | 2 |
| Mumbai | 2 |
| Munich | 2 |
| Nürnberg | 2 |
| Pisa | 2 |
| Pärnu | 2 |
| Saint John | 2 |
| San Francisco | 2 |
| Sidcup | 2 |
| Tianjin | 2 |
| University Park | 2 |
| Wallmerod | 2 |
| Abidjan | 1 |
| Alexandria | 1 |
| Athens | 1 |
| Atlanta | 1 |
| Augsburg | 1 |
| Avinurme | 1 |
| Balingen | 1 |
| Bavly | 1 |
| Beernem | 1 |
| Bergen | 1 |
| Bethlehem | 1 |
| Bratislava | 1 |
| Brdo | 1 |
| Cedar Knolls | 1 |
| Chisinau | 1 |
| Corvallis | 1 |
| Daqing | 1 |
| Den Haag | 1 |
| Dubai | 1 |
| Glastonbury | 1 |