BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Czech Republic
1 × New Zealand
1 × United Kingdom
4 × USA
Collaborated with:
R.Colvin J.Noble K.Cassell P.Andreae D.J.Pearce B.Dongol J.Derrick G.Smith V.Luchangco M.Moir S.U.Lee G.Dobbie J.Sun J.Mackay A.Potanin J.Aldrich I.J.Hayes D.Hemer R.Nickson P.A.Strooper
Talks about:
verif (3) algorithm (2) approach (2) program (2) concurr (2) cluster (2) class (2) use (2) architectur (1) tarraingím (1)

Person: Lindsay Groves

DBLP DBLP: Groves:Lindsay

Contributed to:

ECOOP 20152015
SLE 20132013
SEKE 20112011
ASE 20092009
SEFM 20072007
CAV 20062006
SEKE 20062006
PDCL 20042004
TOOLS Pacific 19921992
POPL 20202020

Wrote 10 papers:

ECOOP-2015-DongolDGS #architecture #concurrent #correctness #manycore
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures (BD, JD, LG, GS), pp. 470–494.
SLE-2013-PearceG #framework #named #platform #research #verification
Whiley: A Platform for Research in Software Verification (DJP, LG), pp. 238–248.
SEKE-2011-CassellAG #approach #clustering #refactoring
A Dual Clustering Approach to the Extract Class Refactoring (KC, PA, LG), pp. 77–82.
ASE-2009-CassellAGN #automation #clustering #towards #using
Towards Automating Class-Splitting Using Betweenness Clustering (KC, PA, LG, JN), pp. 595–599.
SEFM-2007-ColvinG #algorithm #scalability #stack #verification
A Scalable Lock-Free Stack Algorithm and its Verification (RC, LG), pp. 339–348.
CAV-2006-ColvinGLM #algorithm #concurrent #lazy evaluation #set #verification
Formal Verification of a Lazy Concurrent List-Based Set Algorithm (RC, LG, VL, MM), pp. 475–488.
SEKE-2006-LeeDSG #approach #modelling #verification
A PVS Approach to Verifying ORA-SS Data Models (SUJL, GD, JS, LG), pp. 126–131.
PDCL-2004-ColvinGHHNS #logic programming #refinement #source code #specification #using
Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.
TOOLS-PACIFIC-1992-NobleG #animation
An Introduction to the Tarraingím Program Animation Environment (JN, LG), pp. 37–50.
POPL-2020-MackayPAG #decidability #dependent type #type system
Decidable subtyping for path dependent types (JM, AP, JA, LG), p. 27.
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.