William R. Cook, Siobhán Clarke, Martin C. Rinard
Proceedings of the 25th Conference on Object-Oriented Programming, Systems, Languages and Applications
OOPSLA, 2010.

@proceedings{OOPSLA-2010,
	address       = "Reno/Tahoe, Nevada, USA",
	editor        = "William R. Cook and Siobhán Clarke and Martin C. Rinard",
	isbn          = "978-1-4503-0203-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 25th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	year          = 2010,
}

Contents (62 items)

6 ×#composition
6 ×#named
4 ×#abstraction
4 ×#analysis
4 ×#architecture
4 ×#concurrent
4 ×#parallel
4 ×#programming
4 ×#source code
3 ×#java

OOPSLA-2010-Forrest #evolution

The case for evolvable software (SF), p. 1.

OOPSLA-2010-Pierce

Art, science, and fear (BCP), p. 2.

OOPSLA-2010-Stanley

To achieve our highest goals, we must be willing to abandon them (KOS), p. 3.

OOPSLA-2010-RobersonB #composition #model checking #performance

Efficient modular glass box software model checking (MR, CB), pp. 4–21.

OOPSLA-2010-Hanenberg #development #empirical #static typing #type system

An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time (SH), pp. 22–35.

OOPSLA-2010-ItzhakyGIS #induction #synthesis

A simple inductive synthesis methodology and its applications (SI, SG, NI, MS), pp. 36–46.

OOPSLA-2010-MercadalECL #approach #architecture #fault #pervasive

A domain-specific approach to architecturing error handling in pervasive computing (JM, QE, CC, NL), pp. 47–61.

OOPSLA-2010-LiZH #named #programming

G-Finder: routing programming questions closer to the experts (WL, CZ, SH), pp. 62–73.

OOPSLA-2010-HodaKNM

Agility in context (RH, PK, JN, SM), pp. 74–88.

OOPSLA-2010-AuerbachBCR #architecture #named

Lime: a Java-compatible and synthesizable language for heterogeneous architectures (JSA, DFB, PC, RMR), pp. 89–108.

OOPSLA-2010-KouP #hardware #object-oriented #question

From OO to FPGA: fitting round objects into square hardware? (SK, JP), pp. 109–124.

OOPSLA-2010-TianJZS #optimisation #paradigm

An input-centric paradigm for program dynamic optimizations (KT, YJ, EZZ, XS), pp. 125–139.

OOPSLA-2010-WoodSCG #communication #composition #specification

Composable specifications for structured shared-memory communication (BPW, AS, LC, DG), pp. 140–159.

OOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection #invariant

Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs (YS, SP, ZY, SL, YZ, WC, WZ), pp. 160–174.

OOPSLA-2010-GabelYYGS #consistency #detection #nondeterminism #scalability #source code

Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.

OOPSLA-2010-OgataMKTO #case study #java #memory management

A study of Java’s non-Java memory (KO, DM, KK, ST, TO), pp. 191–204.

OOPSLA-2010-McIlroyS #architecture #manycore #named #runtime

Hera-JVM: a runtime system for heterogeneous multi-core architectures (RM, JS), pp. 205–222.

OOPSLA-2010-WegielK #type safety

Cross-language, type-safe, and transparent object sharing for co-located managed runtimes (MW, CK), pp. 223–240.

OOPSLA-2010-JinTLL #concurrent #debugging

Instrumentation and sampling strategies for cooperative concurrency bug isolation (GJ, AVT, BL, SL), pp. 241–255.

OOPSLA-2010-ReichenbachISAG #garbage collection #what

What can the GC compute efficiently?: a language for heap assertions at GC time (CR, NI, YS, EA, SZG), pp. 256–269.

OOPSLA-2010-PurandareDE #monitoring #optimisation

Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.

OOPSLA-2010-SchaferM #implementation #refactoring #specification

Specifying and implementing refactorings (MS, OdM), pp. 286–301.

OOPSLA-2010-NguyenNWNKN #adaptation #api #approach #graph

A graph-based approach to API usage adaptation (HAN, TTN, GWJ, ATN, MK, TNN), pp. 302–321.

OOPSLA-2010-Kell #adaptation #assembly #component #interface #using

Component adaptation and assembly using interface relations (SK), pp. 322–340.

OOPSLA-2010-OliveiraMO

Type classes as objects and implicits (BCdSO, AM, MO), pp. 341–360.

OOPSLA-2010-LernerVG #aspect-oriented #javascript #using

Supporting dynamic, third-party code customizations in JavaScript using aspects (BSL, HV, DG), pp. 361–376.

OOPSLA-2010-HerzeelC #control flow #interactive #parallel #recursion

Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator (CH, PC), pp. 377–396.

OOPSLA-2010-DilligDA #abstraction #axiom #invariant #memory management

Symbolic heap abstraction with demand-driven axiomatization of memory invariants (ID, TD, AA), pp. 397–410.

OOPSLA-2010-LiangTNS #abstraction #evaluation #precise

A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.

OOPSLA-2010-Mendez-LojoMP #analysis #parallel #points-to

Parallel inclusion-based points-to analysis (MML, AM, KP), pp. 428–443.

OOPSLA-2010-KatsV #declarative #ide #language workbench #specification #spoofax

The spoofax language workbench: rules for declarative specification of languages and IDEs (LCLK, EV), pp. 444–463.

OOPSLA-2010-ServettoZ #composition #java #named

MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.

OOPSLA-2010-KloseO #composition #logic #metaprogramming

Modular logic metaprogramming (KK, KO), pp. 484–503.

OOPSLA-2010-StadenC #abstraction #multi #reasoning

Reasoning about multiple related abstractions with MultiStar (SvS, CC), pp. 504–519.

OOPSLA-2010-QiM #product line

Homogeneous family sharing (XQ, ACM), pp. 520–538.

OOPSLA-2010-ChibaIZ #compilation #composition

Mostly modular compilation of crosscutting concerns by contextual predicate dispatch (SC, AI, SZ), pp. 539–554.

OOPSLA-2010-KleinFF #higher-order #random testing #source code #testing

Random testing for higher-order, stateful programs (CK, MF, RBF), pp. 555–566.

OOPSLA-2010-McCarthy #continuation

The two-state solution: native and serializable continuations accord (JAM), pp. 567–582.

OOPSLA-2010-SwaineTDFF #incremental #parallel #runtime

Back to the futures: incremental parallelization of existing sequential runtime systems (JS, KT, PAD, RBF, MF), pp. 583–597.

OOPSLA-2010-ZibinPLAE #java

Ownership and immutability in generic Java (YZ, AP, PL, MA, MDE), pp. 598–617.

OOPSLA-2010-CameronNW

Tribal ownership (NRC, JN, TW), pp. 618–633.

OOPSLA-2010-MatsakisG #type system

A time-aware type system for data-race protection and guaranteed initialization (NDM, TRG), pp. 634–651.

OOPSLA-2010-UpadhyayaMP #automation #identification #memory management #source code

Automatic atomic region identification in shared memory SPMD programs (GU, SPM, VSP), pp. 652–670.

OOPSLA-2010-KulkarniLS #pervasive

Task types for pervasive atomicity (AK, YDL, SFS), pp. 671–690.

OOPSLA-2010-BurckhardtBL #concurrent #programming

Concurrent programming with revisions and isolation types (SB, AB, DL), pp. 691–707.

OOPSLA-2010-BebenitaBFLSTV #compilation #jit #named

SPUR: a trace-based JIT compiler for CIL (MB, FB, MF, FL, WS, NT, HV), pp. 708–725.

OOPSLA-2010-KapurCW #library #migration #refactoring

Refactoring references for library migration (PK, BC, RJW), pp. 726–738.

OOPSLA-2010-AltmanAFM #analysis #performance #source code

Performance analysis of idle programs (ERA, MA, SF, NM), pp. 739–753.

OOPSLA-2010-DavisK #abstraction

Registration-based language abstractions (SD, GK), pp. 754–773.

OOPSLA-2010-VerwaestBGLN #named

Pinocchio: bringing reflection to life with first-class interpreters (TV, CB, DG, AL, ON), pp. 774–789.

OOPSLA-2010-RajanKR #composition #concurrent #design pattern

Concurrency by modularity: design patterns, a case in point (HR, SMK, WR), pp. 790–805.

OOPSLA-2010-RinardHMS #analysis #comprehension #statistics

Patterns and statistical analysis for understanding reduced resource computing (MCR, HH, SM, SS), pp. 806–821.

OOPSLA-2010-SorensenG #cyber-physical #programming

Programming with time: cyber-physical programming with impromptu (AS, HG), pp. 822–834.

OOPSLA-2010-ChafiDMRSHOO #parallel

Language virtualization for heterogeneous parallel computing (HC, ZD, AM, TR, AKS, PH, MO, KO), pp. 835–847.

OOPSLA-2010-OssherBSAACDVFK #analysis #architecture #challenge #concept #flexibility #modelling #research #tool support

Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges (HO, RKEB, IS, DA, AAT, MC, MD, JdV, AF, SK), pp. 848–864.

OOPSLA-2010-DumitrasNT #multi #online

To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains (TD, PN, ET), pp. 865–876.

OOPSLA-2010-ArnoldL #ambiguity #programming

Managing ambiguity in programming by finding unambiguous examples (KCA, HL), pp. 877–884.

OOPSLA-2010-GabrielS

Better science through art (RPG, KJS), pp. 885–900.

OOPSLA-2010-QuillienW #agile

Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile (JQ, DW), pp. 901–917.

OOPSLA-2010-KatsVW #declarative #syntax

Pure and declarative syntax definition: paradise lost and regained (LCLK, EV, GW), pp. 918–932.

OOPSLA-2010-Hanenberg10a

Faith, hope, and love: an essay on software science’s neglect of human factors (SH), pp. 933–946.

OOPSLA-2010-AdamczykH

The Tower of Babel did not fail (PA, MH), pp. 947–957.