APLAS - Asian Symposium on Programming Languages and Systems

Subscribe

Academic

APLAS - Asian Symposium on Programming Languages and Systems

APLAS - Asian Symposium on Programming Languages and Systems

Publications: 307| Citation Count: 1,847 (Self-Citation: 79) |H-Index: 20
Year Range: 2000-2010

Interests: Programming Languages

Paper submissions due: 14 June 2010, Duration: 28 November - 1 December 2010, Shanghai, China

Homepage |

CFP

Cumulative Annual

Order by:

Publications (307)

A Quick Tour of the VeriFast Program Verifier (Citations: 7)

Bart Jacobs, Jan Smans, Frank Piessens

Conference: Asian Symposium on Programming Languages and Systems - APLAS , pp. 304-311, 2010
Typechecking Higher-Order Security Libraries (Citations: 3)

Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts

Conference: Asian Symposium on Programming Languages and Systems - APLAS , pp. 47-62, 2010
Live Heap Space Bounds for Real-Time Systems (Citations: 2)

Martin Kero, Pawel Pietrzak, Johan Nordlander

Conference: Asian Symposium on Programming Languages and Systems - APLAS , pp. 287-303, 2010
A Calculus for Hybrid CSP (Citations: 2)

Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou

Conference: Asian Symposium on Programming Languages and Systems - APLAS , pp. 1-15, 2010
Data Structure Fusion (Citations: 1)

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Conference: Asian Symposium on Programming Languages and Systems - APLAS , pp. 204-221, 2010