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 × France
1 × Germany
1 × Israel
1 × Poland
1 × Portugal
1 × South Africa
7 × USA
Collaborated with:
D.Gries R.v.Renesse T.C.Bressoud L.Fix B.Alpern L.Lamport E.G.Sirer P.Reynolds K.Walsh D.Williams J.Widom W.d.Bruijn A.Shieh
Talks about:
base (4) program (2) languag (2) author (2) secur (2) logic (2) trustworthi (1) determinist (1) architectur (1) throughput (1)

Person: Fred B. Schneider

DBLP DBLP: Schneider:Fred_B=

Contributed to:

PLDI 20132013
SOSP 20112011
ICSE 20102010
OSDI 20082008
ICALP 20072007
OSDI 20042004
SAS 20012001
SOSP 19951995
CSEE 19941994
ICALP 19941994
LICS 19871987
POPL 19871987
POPL 19851985

Wrote 13 papers:

PLDI-2013-Schneider #programming language #security
Programming languages in security: keynote (FBS), pp. 139–140.
SOSP-2011-SirerBRSWWS #architecture #logic
Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.
ICSE-2010-Schneider #exclamation
Beyond hacking: an SOS! (FBS), p. 2.
OSDI-2008-WilliamsRWSS #safety #validation
Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
ICALP-2007-Schneider #evaluation #implementation
Credentials-Based Authorization: Evaluation and Implementation (FBS), pp. 12–14.
OSDI-2004-RenesseS #replication #throughput
Chain Replication for Supporting High Throughput and Availability (RvR, FBS), pp. 91–104.
SAS-2001-Schneider #security #what #why
Language-Based Security: What’s Needed and Why (FBS), p. 374.
SOSP-1995-BressoudS #fault tolerance
Hypervisor-based Fault-tolerance (TCB, FBS), pp. 1–11.
CSEE-1994-GriesS #education #logic
Teaching Logic as a Tool (DG, FBS), p. 599.
ICALP-1994-FixS #reasoning #source code
Reasoning about Programs by Exploiting the Environment (LF, FBS), pp. 328–339.
LICS-1987-AlpernS #proving
Proving Boolean Combinations of Deterministic Properties (BA, FBS), pp. 131–137.
POPL-1987-WidomGS #network #proving
Completeness and Incompleteness of Trace-Based Network Proof Systems (JW, DG, FBS), pp. 27–38.
POPL-1985-LamportS #alias #approach #constraints #named #type system
Constraints: A Uniform Approach to Aliasing and Typing (LL, FBS), pp. 205–216.

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.