Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
2001 (conf/popl/2001)

1. John C. Mitchell
   Programming language methods in computer security. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:1-3 [Conf]
   
2. Davide Sangiorgi
   Extensionality and Intensionality of the Ambient Logics. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:4-13 [Conf]
   
3. Samin S. Ishtiaq, Peter W. O'Hearn
   BI as an Assertion Language for Mutable Data Structures. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:14-26 [Conf]
   
4. Eran Yahav
   Verifying safety properties of concurrent Java programs using 3-valued logic. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:27-40 [Conf]
   
5. Martin Odersky, Christoph Zenger, Matthias Zenger
   Colored local type inference. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:41-53 [Conf]
   
6. Jakob Rehof, Manuel Fähndrich
   Type-base flow analysis: from polymorphic subtyping to CFL-reachability. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:54-66 [Conf]
   
7. Haruo Hosoya, Benjamin C. Pierce
   Regular expression pattern matching for XML. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:67-80 [Conf]
   
8. Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram
   The size-change principle for program termination. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:81-92 [Conf]
   
9. David Monniaux
   An abstract Monte-Carlo method for the analysis of probabilistic programs. [Citation Graph (0, 0)][DBLP]
   POPL, 2001, pp:93-101 [Conf]
   
10. Harald Ganzinger
    Efficient deductive methods for program analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:102-103 [Conf]
    
11. Martín Abadi, Cédric Fournet
    Mobile values, new names, and secure communication. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:104-115 [Conf]
    
12. Asis Unyapoth, Peter Sewell
    Nomadic pict: correct communication infrastructure for mobile computation. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:116-127 [Conf]
    
13. Atsushi Igarashi, Naoki Kobayashi
    A generic type system for the Pi-calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:128-141 [Conf]
    
14. George C. Necula, Shree Prakash Rahul
    Oracle-based checking of untrusted software. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:142-154 [Conf]
    
15. Cristiano Calcagno
    Stratified operational semantics for safety and correctness of the region calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:155-165 [Conf]
    
16. Daniel C. Wang, Andrew W. Appel
    Type-preserving garbage collectors. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:166-178 [Conf]
    
17. Mahmut T. Kandemir
    A compiler technique for improving whole-program locality. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:179-192 [Conf]
    
18. Cormac Flanagan, James B. Saxe
    Avoiding exponential explosion: generating compact verification conditions. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:193-205 [Conf]
    
19. Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
    What packets may come: automata for network monitoring. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:206-219 [Conf]
    
20. Robin Milner
    Computational flux. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:220-221 [Conf]
    
21. Michele Bugliesi, Giuseppe Castagna
    Secure safe ambients. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:222-235 [Conf]
    
22. Peter Sewell
    Modules, abstract types, and distributed versioning. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:236-247 [Conf]
    
23. Andrew D. Gordon, Don Syme
    Typing a multi-language intermediate code. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:248-260 [Conf]
    
24. Mark Shields, Erik Meijer
    Type-indexed rows. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:261-275 [Conf]
    
25. Joseph Gil
    Subtyping arithmetical types. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:276-289 [Conf]
    
26. Jerome Vouillon
    Combining subsumption and binary methods: an object calculus with views. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:290-303 [Conf]