Statistics for A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API

Total visits

views
A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API 104

Total visits per month

views
January 2025 5
February 2025 0
March 2025 1
April 2025 0
May 2025 0
June 2025 3
July 2025 0

File Visits

views
Liu_Shuchen.pdf 80
Liu_Shuchen.pdf(legacy) 78

Top country views

views
Canada 28
United States 22
Singapore 8
Ireland 7
Hong Kong SAR China 5
India 4
Russia 3
Australia 2
South Korea 2
Taiwan 2
China 1
United Kingdom 1
Indonesia 1
Malaysia 1
Portugal 1
Turkey 1

Top city views

views
Waterloo 25
Tokyo 7
Dublin 6
Boardman 3
Hong Kong 3
Mumbai 3
Singapore 3
Boston 2
Coeur d'Alene 2
Lexington 2
San Diego 2
St. John's 2
Sydney 2
Taipei 2
Winston-Salem 2
Ankara 1
Augusta 1
Bayan Lepas 1
Bengaluru 1
Boydton 1
Coimbra 1
Hangzhou 1
Jakarta 1
Plano 1
Seattle 1
Southwark 1
Stittsville 1