Stem fork$ (all stems)

15 papers:

ICSME-2015-StanciulescuSW #open source

Forked and integrated variants in an open-source firmware project (SS, SS, AW), pp. 151–160.

SEKE-2015-WangSZ #detection #execution #symbolic computation

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.

ICFP-2014-MarlowBCP #abstraction #concurrent #data access #performance

There is no fork: an abstraction for efficient, concurrent, and concise data access (SM, LB, JC, JP), pp. 325–337.

DATE-2013-OjailDLG #embedded #framework #lightweight #manycore #named

ARTM: a lightweight fork-join framework for many-core embedded systems (MO, RD, YL, AG), pp. 1510–1515.

ITiCSE-2013-PatitsasL #security

Dr. Horrible’s fork bomb: a lab for introducing security issues in CS2 (EAP, DL), p. 318.

FoSSaCS-2013-HainryMP #analysis #complexity #process #type system

Type-Based Complexity Analysis for Fork Processes (EH, JYM, RP), pp. 305–320.

SCAM-2013-SvajlenkoRD #analysis #generative #named #similarity #tool support

ForkSim: Generating software forks for evaluating cross-project similarity analysis tools (JS, CKR, SD), pp. 37–42.

FSE-2012-RayK #case study #migration

A case study of cross-system porting in forked projects (BR, MK), p. 53.

FSE-2012-RayWK #analysis #migration #named

REPERTOIRE: a cross-system porting analysis tool for forked software projects (BR, CW, MK), p. 8.

SPLC-2012-RubinKBC

Managing forked product variants (JR, AK, GB, MC), pp. 156–160.

PPoPP-2010-AgrawalLS #parallel #programming

Helper locks for fork-join parallel programming (KA, CEL, JS), pp. 245–256.

CC-2006-BaconCFGHR #analysis #named #online #realtime #visualisation

Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork (DFB, PC, DF, DG, MH, VTR), pp. 96–100.

ICALP-1993-HavelundL #calculus

The Fork Calculus (KH, KGL), pp. 544–557.

PLDI-1990-Sarkar #order #parallel

Instruction Reordering for Fork-Join Parallelism (VS), pp. 322–336.

ECOOP-1987-BecksteinGT #named #programming

FORK: A System for Object- and Rule-Oriented Programming (CB, GG, MT), pp. 253–264.