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 × Greece
1 × Italy
2 × USA
Collaborated with:
D.Matichuk G.Klein J.Andronick D.R.Jeffery M.Staples G.Keller S.Amani L.O'Connor Z.Chen G.Heiser R.Kolanski C.Lewis L.Bass L.Ryzhyk Alex Hixon C.Rizkallah P.Chubb Joel Beeren Y.Nagashima J.Lim T.Sewell Joseph Tuong
Talks about:
specif (3) system (2) formal (2) verif (2) file (2) implement (1) function (1) softwar (1) automat (1) verifi (1)

Person: Toby C. Murray

DBLP DBLP: Murray:Toby_C=

Contributed to:

ICSE 20152015
ICSE 20132013
PLOS 20132013
SEFM 20122012
ASPLOS 20162016

Wrote 5 papers:

ICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.
ICSE-2013-StaplesKKLAMJB #specification
Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.
PLOS-2013-KellerMAOCRKH #exclamation #file system #verification
File systems deserve verification too! (GK, TCM, SA, LO, ZC, LR, GK, GH), p. 7.
SEFM-2012-MatichukM #automation #proving #specification #using
Extensible Specifications for Automatic Re-use of Specifications and Proofs (DM, TCM), pp. 333–341.
ASPLOS-2016-AmaniHCRCOBNLST #file system #implementation #named #verification
CoGENT: Verifying High-Assurance File System Implementations (SA, AH, ZC, CR, PC, LO, JB, YN, JL, TS, JT, GK, TCM, GK, GH), pp. 175–188.

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.