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: Murray:Toby_C=
Contributed to:
20152013
2013
2012
2016Wrote 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.