TOPLAS 2002

21 papers

1. An assume-guarantee rule for checking simulation · Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
2. Automatic data and computation decomposition on distributed memory parallel computers · PeiZong Lee, Zvi M. Kedem
3. Automatic derivation of compiler machine descriptions · Christian S. Collberg
4. Compiling language definitions: the ASF+SDF compiler · Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier
5. Data abstraction and information hiding · K. Rustan M. Leino, Greg Nelson
6. Efficient and effective branch reordering using profile data · Minghui Yang, Gang-Ryung Uh, David B. Whalley
7. Efficient and precise array access analysis · Yunheung Paek, Jay P. Hoeflinger, David A. Padua
8. Guest editorial · Kathleen Fisher, Benjamin C. Pierce
9. Handling irreducible loops: optimized node splitting versus DJ-graphs · Sebastian Unger, Frank Mueller
10. Information flow vs. resource access in the asynchronous pi-calculus · Matthew Hennessy, James Riely
11. More dynamic object reclassification: Fickle|| · Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
12. On loops, dominators, and dominance frontiers · G. Ramalingam
13. On the usefulness of type and liveness accuracy for garbage collection and leak detection · Martin Hirzel, Amer Diwan, Johannes Henkel
14. Parametric shape analysis via 3-valued logic · Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
15. Practical extraction techniques for Java · Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter
16. Register tiling in nonrectangular iteration spaces · Marta Jiménez, José M. Llabería, Agustín Fernández
17. Repairing syntax errors in LR parsers · Rafael Corchuelo, José Antonio Pérez, Antonio Ruiz Cortés, Miguel Toro
18. The apprentice challenge · J Strother Moore, George Porter
19. The undecidability of associativity and commutativity analysis · Arthur Charlesworth
20. Type-Safe linking with recursive DLLs and shared libraries · Dominic Duggan
21. Type-preserving compilation of Featherweight Java · Christopher League, Zhong Shao, Valery Trifonov