Stem synthesis$ (all stems)

6 papers:

CAV-2015-FisherKPW #execution #network

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (JF, ASK, NP, SW), pp. 544–560.

PLDI-2012-CarteyLM #domain-specific language #source code

Synthesising graphics card programs from DSLs (LC, RL, OdM), pp. 121–132.

CIAA-2009-CaoN #case study #protocol

Formally Synthesising a Protocol Converter: A Case Study (JC, AN), pp. 249–252.

ICEIS-v2-2005-MalhotraPJ #query #web

Synthesise Web Queries: Search the Web by Examples (VMM, SP, DJ), pp. 291–296.

ASE-2004-Kloukinas #realtime

Data-Mining Synthesised Schedulers for Hard Real-Time Systems (CK), pp. 14–23.

ICSE-2001-UchitelK #behaviour #modelling

A Workbench for Synthesising Behaviour Models from Scenarios (SU, JK), pp. 188–197.