Stem featherweight$ (all stems)

13 papers:

ASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named #thread

ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.

ECOOP-2011-Igarashi #approach

A Featherweight Approach to FOOL (AI), p. 433.

IFM-2010-TranS #commit #java #transaction

Safe Commits for Transactional Featherweight Java (TMTT, MS), pp. 290–304.

SLE-2010-ErdwegO #correctness #parsing #tex

Featherweight TeX and Parser Correctness (STE, KO), pp. 397–416.

PPoPP-2010-LeeP #calculus #parallel

Featherweight X10: a core calculus for async-finish parallelism (JKL, JP), pp. 25–36.

ECOOP-2009-LagorioSZ #calculus #composition

Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.

GPCE-2008-ApelKL #calculus #feature model #java #programming #refinement

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement (SA, CK, CL), pp. 101–112.

SAC-2007-BettiniCG #java

Featherweight wrap Java (LB, SC, EG), pp. 1094–1100.

PPoPP-2007-MaratheHL #thread #transaction

Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.

OOPSLA-2003-ZhaoPV #java #lightweight

Lightweight confinement for featherweight Java (TZ, JP, JV), pp. 135–148.

OOPSLA-1999-IgarashiPW #calculus #java

Featherweight Java: A Minimal Core Calculus for Java and GJ (AI, BCP, PW), pp. 132–146.

PLDI-1998-BaconKMS #java

Thin Locks: Featherweight Synchronization for Java (DFB, RBK, CM, MJS), pp. 258–268.

Best-of-PLDI-1998-BaconKMS98a #java

Thin locks: featherweight Synchronization for Java (with retrospective) (DFB, RBK, CM, MJS), pp. 583–595.