John Launchbury, John C. Mitchell
Conference Record of the 29th Symposium on Principles of Programming Languages
POPL, 2002.

@proceedings{POPL-2002,
	acmid         = "503272",
	address       = "Portland, Oregon, USA",
	editor        = "John Launchbury and John C. Mitchell",
	isbn          = "1-58113-450-9",
	publisher     = "{ACM}",
	title         = "{Conference Record of the 29th Symposium on Principles of Programming Languages}",
	volume        = "ACM SIGPLAN Notices 37(1), January 2002",
	year          = 2002,
}

Contents (30 items)

3 ×#analysis
3 ×#data flow
3 ×#optimisation
2 ×#abstraction
2 ×#compilation
2 ×#design
2 ×#framework
2 ×#functional
2 ×#logic
2 ×#source code

POPL-2002-BallR #debugging #static analysis

The SLAM project: debugging system software via static analysis (TB, SKR), pp. 1–3.

POPL-2002-AmmonsBL #mining #specification

Mining specifications (GA, RB, JRL), pp. 4–16.

POPL-2002-KuncakLR #analysis

Role analysis (VK, PL, MCR), pp. 17–32.

POPL-2002-AbadiB #logic programming #protocol #security #source code

Analyzing security protocols with secrecy types and logic programs (MA, BB), pp. 33–44.

POPL-2002-ChakiRR #message passing #model checking #modelling #source code

Types as models: model checking message-passing programs (SC, SKR, JR), pp. 45–57.

POPL-2002-HenzingerJMS #abstraction #lazy evaluation

Lazy abstraction (TAH, RJ, RM, GS), pp. 58–70.

POPL-2002-MerroH #bisimulation

Bisimulation congruences in safe ambients (MM, MH), pp. 71–80.

POPL-2002-HondaY #data flow

A uniform type structure for secure information flow (KH, NY), pp. 81–92.

POPL-2002-Boehm #bound #garbage collection

Bounding space usage of conservative garbage collectors (HJB), pp. 93–100.

POPL-2002-PetrankR

The hardness of cache conscious data placement (EP, DR), pp. 101–112.

POPL-2002-PhiliposeCE #automation #compilation #staged #towards

Towards automatic construction of staged compilers (MP, CC, SJE), pp. 113–125.

POPL-2002-Felleisen

From POPL to the classroom and back (MF), pp. 126–127.

POPL-2002-NeculaMW #legacy #named #type safety

CCured: type-safe retrofitting of legacy code (GCN, SM, WW), pp. 128–139.

POPL-2002-RubinBC #framework #optimisation #performance

An efficient profile-analysis framework for data-layout optimizations (SR, RB, TMC), pp. 140–153.

POPL-2002-RamseyP #monad #probability #λ-calculus

Stochastic λ calculus and monads of probability distributions (NR, AP), pp. 154–165.

POPL-2002-BanerjeeN #data access #independence #representation

Representation independence, confinement and access control [extended abstract] (AB, DAN), pp. 166–177.

POPL-2002-CousotC #abstract interpretation #design #framework #program transformation

Systematic design of program transformation frameworks by abstract interpretation (PC, RC), pp. 178–190.

POPL-2002-FlanaganQ #abstraction #verification

Predicate abstraction for software verification (CF, SQ), pp. 191–202.

POPL-2002-SuANPT #constraints #first-order #type system

The first-order theory of subtyping constraints (ZS, AA, JN, TP, RT), pp. 203–216.

POPL-2002-ShaoSTP #type system

A type system for certified binaries (ZS, BS, VT, NP), pp. 217–232.

POPL-2002-NeubauerTGS #functional #logic

Functional logic overloading (MN, PT, MG, MS), pp. 233–244.

POPL-2002-Manohar #design #scalability

Scalable formal design methods for asynchronous VLSI (RM), pp. 245–246.

POPL-2002-AcarBH #adaptation #functional #programming

Adaptive functional programming (UAA, GEB, RH), pp. 247–259.

POPL-2002-Hofmann

The strength of non-size increasing computation (MH0), pp. 260–269.

POPL-2002-LernerGC #analysis #data flow

Composing dataflow analyses and transformations (SL, DG, CC), pp. 270–282.

POPL-2002-LaceyJWF #compilation #correctness #logic #optimisation #proving

Proving correctness of compiler optimizations by temporal logic (DL, NDJ, EVW, CCF), pp. 283–294.

POPL-2002-ShufGBS #memory management #optimisation

Exploiting prolific types for memory management and optimizations (YS, MG, RB, JPS), pp. 295–306.

POPL-2002-FournetG #stack

Stack inspection: theory and variants (CF, ADG), pp. 307–318.

POPL-2002-PottierS #data flow #ml

Information flow inference for ML (FP, VS), pp. 319–330.

POPL-2002-IgarashiK #analysis #resource management

Resource usage analysis (AI, NK), pp. 331–342.