Home Research-feed Channel Rankings GCT THU AI TR Open Data Must Reading

views: 3

Toby C. Murray

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers5 papers

Sort

By YearBy Citation

Abstract and Concrete Data Types vs Object Capabilities

James Noble,Alex Potanin,Toby C. Murray,Mark S. Miller

Principled Software Development, pp.221-240, (2018)

EIBibtex

Formally verified software in the real world

Gerwin Klein,June Andronick,Matthew Fernandez,Ihor Kuz,Toby C. Murray,Gernot Heiser

Communications of the ACM, no. 10 (2018): 68-77

Cited by3EIBibtex

BP: Formal Proofs, the Fine Print and Side Effects

Toby C. Murray,Paul C. van Oorschot

SecDev, pp.1-10, (2018)

EIBibtex

Empirical study towards a leading indicator for cost of formal software verification

Daniel Matichuk,Toby C. Murray,June Andronick,D. Ross Jeffery,Gerwin Klein,Mark Staples

ICSE, (2015): 722-732

Cited by20EIBibtex

Productivity for proof engineering

Mark Staples,D. Ross Jeffery,June Andronick,Toby C. Murray,Gerwin Klein,Rafal Kolanski

ESEM, (2014)

Cited by10EIBibtex

View All

Base Info Papers Patents Projects