TOPLAS 2008

33 papers

1. A capability calculus for concurrency and determinism · Tachio Terauchi, Alex Aiken
2. A probabilistic language based on sampling functions · Sungwoo Park, Frank Pfenning, Sebastian Thrun
3. A programming model for concurrent object-oriented programs · Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
4. A semantics-based approach to malware detection · Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
5. A type system equivalent to a model checker · Mayur Naik, Jens Palsberg
6. AspectML: A polymorphic aspect-oriented functional programming language · Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
7. Checking type safety of foreign function calls · Michael Furr, Jeffrey S. Foster
8. Decomposing bytecode verification by abstract interpretation · Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci
9. Domain specific language implementation via compile-time meta-programming · Laurence Tratt
10. Dually nondeterministic functions · Joseph M. Morris, Malcolm Tyrrell
11. Dynamic slicing on Java bytecode traces · Tao Wang, Abhik Roychoudhury
12. Efficient constraint propagation engines · Christian Schulte, Peter J. Stuckey
13. Exceptional situations and program reliability · Westley Weimer, George C. Necula
14. FeatherTrait: A modest extension of Featherweight Java · Luigi Liquori, Arnaud Spiwack
15. Java bytecode verification via static single assignment form · Andreas Gal, Christian W. Probst, Michael Franz
16. Local reasoning about a copying garbage collector · Noah Torp-Smith, Lars Birkedal, John C. Reynolds
17. Nominal logic programming · James Cheney, Christian Urban
18. Normalize, transpose, and distribute: An automatic approach for handling nonscalars · Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen
19. On the complexity of partially-flow-sensitive alias analysis · Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav
20. PEAK - a fast and effective performance tuning system via compiler optimization orchestration · Zhelong Pan, Rudolf Eigenmann
21. Perfect hashing as an almost perfect subtype test · Roland Ducournau
22. Register allocation for software pipelined multidimensional loops · Hongbo Rong, Alban Douillet, Guang R. Gao
23. Relations as an abstraction for BDD-based program analysis · Ondrej Lhoták, Laurie J. Hendren
24. Remote specialization for efficient embedded operating systems · Sapan Bhatia, Charles Consel, Calton Pu
25. Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator · Barak A. Pearlmutter, Jeffrey Mark Siskind
26. Size-change termination with difference constraints · Amir M. Ben-Amram
27. The pitfalls of verifying floating-point computations · David Monniaux
28. Two-dimensional bidirectional object layout · Joseph Gil, William W. Pugh, Grant E. Weddell, Yoav Zibin
29. Types for atomicity: Static checking and inference for Java · Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
30. Verified interoperable implementations of security protocols · Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
31. Verifying policy-based web services security · Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
32. Witnessing side effects · Tachio Terauchi, Alex Aiken
33. XARK: An extensible framework for automatic recognition of computational kernels · Manuel Arenaz, Juan Touriño, Ramon Doallo