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: Clarke:Dave
Contributed to:
2015
2015
2015
2015
2014
2014
2013
2013
20122012
201120112011
201020092008
200820072006
2005
2004
2003
2003Wrote 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.
- ESOP-2012-SergeyC
- 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.
- TOOLS-EUROPE-2008-OstlundWCA
- Ownership, Uniqueness, and Immutability (JÖ, TW, DC, BÅ), pp. 178–197.
- ESOP-2007-BoerCJ
- 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.
- ECOOP-2003-ClarkeW
- External Uniqueness Is Unique Enough (DC, TW), pp. 176–200.
- ICFP-2003-LohCJ #haskell
- Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.