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 × The Netherlands
2 × Canada
6 × USA
Collaborated with:
S.K.Debray N.Snavely V.W.Freeh R.P.Reitman J.R.McGraw P.Moseley B.Schwarz D.P.Dobkin P.J.Downey H.He J.Trimble S.Perianayagam
Talks about:
unspecul (2) program (2) control (2) execut (2) share (2) code (2) disassembl (1) unschedul (1) distribut (1) structur (1)

Person: Gregory R. Andrews

DBLP DBLP: Andrews:Gregory_R=

Facilitated 1 volumes:

SOSP 1989Ed

Contributed to:

CGO 20072007
ASE 20032003
SCAM 20032003
WCRE 20032003
WCRE 20022002
HPDC 19961996
ICSE 19811981
POPL 19791979
Design and Implementation of Programming Languages 19761976

Wrote 9 papers:

CGO-2007-HeTPDA #kernel #operating system
Code Compaction of an Operating System Kernel (HH, JT, SP, SKD, GRA), pp. 283–298.
Unspeculation (NS, SKD, GRA), pp. 205–214.
Checking Program Profiles (PM, SKD, GRA), pp. 193–202.
WCRE-2003-SnavelyDA #bytecode #reverse engineering
Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables (NS, SKD, GRA), pp. 4–13.
WCRE-2002-SchwarzDA #execution #revisited
Disassembly of Executable Code Revisited (BS, SKD, GRA), pp. 45–54.
HPDC-1996-FreehA #distributed #memory management
Dynamically Controlling False Sharing in Distributed Shared Memory (VWF, GRA), pp. 403–411.
ICSE-1981-AndrewsDD #data type
Active Data Structures (GRA, DPD, PJD), pp. 354–362.
POPL-1979-ReitmanA #approach #axiom #data flow #source code
Certifying Information Flow Properties of Programs: An Axiomatic Approach (RPR, GRA), pp. 283–290.
DIPL-1976-AndrewsM #parallel
Language features for parallel processing and resource control (GRA, JRM), pp. 243–287.

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.