The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Thomas Ball, Sriram K. Rajamani
    The SLAM project: debugging system software via static analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:1-3 [Conf]
  2. Glenn Ammons, Rastislav Bodík, James R. Larus
    Mining specifications. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:4-16 [Conf]
  3. Viktor Kuncak, Patrick Lam, Martin C. Rinard
    Role analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:17-32 [Conf]
  4. Martín Abadi, Bruno Blanchet
    Analyzing security protocols with secrecy types and logic programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:33-44 [Conf]
  5. Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
    Types as models: model checking message-passing programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:45-57 [Conf]
  6. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Lazy abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:58-70 [Conf]
  7. Massimo Merro, Matthew Hennessy
    Bisimulation congruences in safe ambients. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:71-80 [Conf]
  8. Kohei Honda, Nobuko Yoshida
    A uniform type structure for secure information flow. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:81-92 [Conf]
  9. Hans-Juergen Boehm
    Bounding space usage of conservative garbage collectors. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:93-100 [Conf]
  10. Erez Petrank, Dror Rawitz
    The hardness of cache conscious data placement. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:101-112 [Conf]
  11. Matthai Philipose, Craig Chambers, Susan J. Eggers
    Towards automatic construction of staged compilers. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:113-125 [Conf]
  12. Matthias Felleisen
    From POPL to the classroom and back. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:126-127 [Conf]
  13. George C. Necula, Scott McPeak, Westley Weimer
    CCured: type-safe retrofitting of legacy code. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:128-139 [Conf]
  14. Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi
    An efficient profile-analysis framework for data-layout optimizations. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:140-153 [Conf]
  15. Norman Ramsey, Avi Pfeffer
    Stochastic lambda calculus and monads of probability distributions. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:154-165 [Conf]
  16. Anindya Banerjee, David A. Naumann
    Representation independence, confinement and access control [extended abstract]. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:166-177 [Conf]
  17. Patrick Cousot, Radhia Cousot
    Systematic design of program transformation frameworks by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:178-190 [Conf]
  18. Cormac Flanagan, Shaz Qadeer
    Predicate abstraction for software verification. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:191-202 [Conf]
  19. Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
    The first-order theory of subtyping constraints. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:203-216 [Conf]
  20. Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
    A type system for certified binaries. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:217-232 [Conf]
  21. Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
    Functional logic overloading. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:233-244 [Conf]
  22. Rajit Manohar
    Scalable formal design methods for asynchronous VLSI. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:245-246 [Conf]
  23. Umut A. Acar, Guy E. Blelloch, Robert Harper
    Adaptive functional programming. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:247-259 [Conf]
  24. Martin Hofmann
    The strength of non-size increasing computation. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:260-269 [Conf]
  25. Sorin Lerner, David Grove, Craig Chambers
    Composing dataflow analyses and transformations. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:270-282 [Conf]
  26. David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
    Proving correctness of compiler optimizations by temporal logic. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:283-294 [Conf]
  27. Yefim Shuf, Manish Gupta, Rajesh Bordawekar, Jaswinder Pal Singh
    Exploiting prolific types for memory management and optimizations. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:295-306 [Conf]
  28. Cédric Fournet, Andrew D. Gordon
    Stack inspection: theory and variants. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:307-318 [Conf]
  29. François Pottier, Vincent Simonet
    Information flow inference for ML. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:319-330 [Conf]
  30. Atsushi Igarashi, Naoki Kobayashi
    Resource usage analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:331-342 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002