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 × Denmark
3 × USA
Collaborated with:
J.R.Larus W.Rathje N.Waisbrot S.Chandra G.Viswanathan
Talks about:
support (2) network (2) languag (2) memori (2) implement (1) framework (1) wireless (1) protocol (1) pathfind (1) parallel (1)

Person: Brad Richards

DBLP DBLP: Richards:Brad

Contributed to:

HILT 20142014
ITiCSE 20022002
PLDI 19961996
ASPLOS 19941994

Wrote 5 papers:

HILT-2014-RathjeR #framework #java #model checking #network #source code
A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.
ITiCSE-2002-RichardsW #concept #network
Illustrating networking concepts with wireless handheld devices (BR, NW), pp. 29–33.
PLDI-1996-ChandraRL #memory management #named #protocol
Teapot: Language Support for Writing Memory Coherence Protocols (SC, BR, JRL), pp. 237–248.
ASPLOS-1994-LarusRV #implementation #memory management #named #parallel
LCM: Memory System Support for Parallel Language Implementation (JRL, BR, GV), pp. 208–218.

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.