BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Estonia
1 × Portugal
1 × South Africa
1 × South Korea
1 × Switzerland
1 × The Netherlands
1 × Uruguay
2 × Germany
2 × Sweden
2 × United Kingdom
4 × Italy
5 × USA
Collaborated with:
I.Sergey T.Wrigstad J.Proença F.S.d.Boer J.Jeuring E.B.Johnsen A.Larmuseau M.Patrignani C.Köhler I.Schaefer S.Brandauer D.Devriese F.Piessens R.Muschevici M.Helvensteijn M.Izadi M.M.Bonsangue C.Pierik F.Atanassow A.Löh E.P.d.Vink F.Arbab J.Östlund B.Åkerblom A.Potanin J.Noble R.Biddle W.Daniels W.Joosen D.Hughes M.Might J.Midtgaard D.Darais T.Clear K.Fisler M.Hauswirth S.Krishnamurthi J.G.Politz V.Tirronen N.Diakov R.Hähnle J.Schäfer R.Schlatte P.Y.H.Wong E.Castegren K.Fernandez-Reyes K.I.Pun S.L.T.Tarifa A.M.Yang
Talks about:
abstract (5) model (5) type (4) ownership (3) generic (3) uniqu (3) parallel (2) languag (2) recurs (2) object (2)

Person: Dave Clarke

DBLP DBLP: Clarke:Dave

Contributed to:

CBSE 20152015
OOPSLA 20152015
SEFM 20152015
SFM 20152015
ITiCSE-WGR 20142014
SAC 20142014
PEPM 20132013
PLDI 20132013
ESOP 20122012
SAC 20122012
LDTA 20112011
SEFM 20112011
SFM 20112011
GPCE 20102010
SAC 20092009
SEFM 20082008
TOOLS Europe 20082008
ESOP 20072007
OOPSLA 20062006
FM 20052005
PADL 20042004
ECOOP 20032003
ICFP 20032003

Wrote 23 papers:

CBSE-2015-DanielsPCJH #component #low cost #metadata #named #pervasive
Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications (WD, JP, DC, WJ, DH), pp. 27–36.
OOPSLA-2015-BrandauerCW #alias #fine-grained
Disjointness domains for fine-grained aliasing (SB, DC, TW), pp. 898–916.
SEFM-2015-LarmuseauC #formal method #interface
Formalizing a Secure Foreign Function Interface (AL, DC), pp. 215–230.
SFM-2015-BrandauerCCFJPT #parallel
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore (SB, EC, DC, KFR, EBJ, KIP, SLTT, TW, AMY), pp. 1–56.
ITiCSE-WGR-2014-ClarkeCFHKPTW #bibliography #perspective
In-Flow Peer Review (DC, TC, KF, MH, SK, JGP, VT, TW), pp. 59–79.
SAC-2014-PatrignaniC #low level #semantics
Fully abstract trace semantics for low-level isolation mechanisms (MP, DC), pp. 1562–1569.
PEPM-2013-DevrieseSCP #domain-specific language #recursion
Fixing idioms: a recursion primitive for applicative DSLs (DD, IS, DC, FP), pp. 97–106.
PLDI-2013-SergeyDMMDCP #monad
Monadic abstract interpreters (IS, DD, MM, JM, DD, DC, FP), pp. 399–410.
Gradual Ownership Types (IS, DC), pp. 579–599.
SAC-2012-ProencaCVA #coordination #distributed #framework #named
Dreams: a framework for distributed synchronous coordination (JP, DC, EPdV, FA), pp. 1510–1515.
LDTA-2011-SergeyC #automaton #recursion #type checking
From type checking by recursive descent to type checking with an abstract machine (IS, DC), p. 2.
SEFM-2011-MuscheviciPC #composition #modelling #product line
Modular Modelling of Software Product Lines with Feature Nets (RM, JP, DC), pp. 318–333.
SFM-2011-ClarkeDHJSSSW #behaviour #modelling #variability
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language (DC, ND, RH, EBJ, IS, JS, RS, PYHW), pp. 417–457.
GPCE-2010-ClarkeHS #modelling
Abstract delta modeling (DC, MH, IS), pp. 13–22.
SAC-2009-KoehlerC #automaton
Decomposing port automata (CK, DC), pp. 1369–1373.
SEFM-2008-IzadiBC #component #modelling
Modeling Component Connectors: Synchronisation and Context-Dependency (MI, MMB, DC), pp. 303–312.
Ownership, Uniqueness, and Immutability (, TW, DC, ), pp. 178–197.
A Complete Guide to the Future (FSdB, DC, EBJ), pp. 316–330.
OOPSLA-2006-PotaninNCB #java
Generic ownership for generic Java (AP, JN, DC, RB), pp. 311–324.
FM-2005-PierikCB #using
Controlling Object Allocation Using Creation Guards (CP, DC, FSdB), pp. 59–74.
PADL-2004-AtanassowCJ #haskell #named #xml
UUXML: A Type-Preserving XML Schema-Haskell Data Binding (FA, DC, JJ), pp. 71–85.
External Uniqueness Is Unique Enough (DC, TW), pp. 176–200.
ICFP-2003-LohCJ #haskell
Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.