Oleg Kiselyov, Simon Thompson
Proceedings of the 17th Workshop on Partial Evaluation and Program Manipulation
PEPM, 2012.

@proceedings{PEPM-2012,
	acmid         = "2103746",
	address       = "Philadelphia, Pennsylvania, USA",
	editor        = "Oleg Kiselyov and Simon Thompson",
	isbn          = "978-1-4503-1118-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 17th Workshop on Partial Evaluation and Program Manipulation}",
	year          = 2012,
}

Contents (21 items)

4 ×#functional
2 ×#contract
2 ×#induction
2 ×#metaprogramming
2 ×#named
2 ×#source code

PEPM-2012-Puschel #compilation #performance

Compiling math to fast code (MP), pp. 1–2.

PEPM-2012-Berger #metaprogramming #specification #verification

Specification and verification of meta-programs (MB), pp. 3–4.

PEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal

Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.

PEPM-2012-HamiltonJ #lts

Distillation with labelled transition systems (GWH, NDJ), pp. 15–24.

PEPM-2012-AlbertCPR #analysis #incremental #resource management

Incremental resource usage analysis (EA, JC, GP, GRD), pp. 25–34.

PEPM-2012-KarlsenHO #debugging #eclipse #java #plugin

Finding and fixing Java naming bugs with the lancelot eclipse plugin (EKK, EWH, BMØ), pp. 35–38.

PEPM-2012-Voigtlander #bidirectional #induction #synthesis

Ideas for connecting inductive program synthesis and bidirectionalization (JV), pp. 39–42.

PEPM-2012-Katayama #functional #induction #programming #source code

An analytical inductive functional programming system that avoids unintended programs (SK), pp. 43–52.

PEPM-2012-GorbovitskiLSR #optimisation

Composing transformations for instrumentation and optimization (MG, YAL, SDS, TR), pp. 53–62.

PEPM-2012-GiacobazziJM #obfuscation #partial evaluation

Obfuscation by partial evaluation of distorted interpreters (RG, NDJ, IM), pp. 63–72.

PEPM-2012-UrecheRSCO #case study #development #domain-specific language #named

StagedSAC: a case study in performance-oriented DSL development (VU, TR, AKS, HC, MO), pp. 73–82.

PEPM-2012-Lopez-FraguasMR #functional #logic programming

Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.

PEPM-2012-CaretteS #towards #type system

Towards typing for small-step direct reflection (JC, AS), pp. 93–96.

PEPM-2012-DegenTW #contract #interactive #lazy evaluation

The interaction of contracts and laziness (MD, PT, SW), pp. 97–106.

PEPM-2012-Xu #contract #hybrid

Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.

PEPM-2012-MoorsRHO #scala

Scala-virtualized (AM, TR, PH, MO), pp. 117–120.

PEPM-2012-KobayashiMS #functional #source code

Functional programs as compressed data (NK, KM, AS), pp. 121–130.

PEPM-2012-GotoS #approach #functional

An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.

PEPM-2012-HirzelG #metaprogramming #using

Streams that compose using macros that oblige (MH, BG), pp. 141–150.

PEPM-2012-AlbertAGGP #named #termination

COSTABS: a cost and termination analyzer for ABS (EA, PA, SG, MGZ, GP), pp. 151–154.

PEPM-2012-JainZS #nondeterminism

Translating flowcharts to non-deterministic languages (SKJ, CZ, BS), pp. 155–162.