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 × Canada
1 × France
1 × Germany
1 × The Netherlands
2 × USA
Collaborated with:
M.Rodeh R.Y.Pinter S.Rubin S.Sagiv J.M.Jaffe D.Q.Goldin M.C.Golumbic H.Krawczyk Y.Mansour I.Nahshon
Talks about:
schedul (3) techniqu (2) parallel (2) instruct (2) arithmet (2) compil (2) spill (2) optim (2) oper (2) load (2)

Person: David Bernstein

DBLP DBLP: Bernstein:David

Contributed to:

CC 19991999
ESOP 19921992
PLDI 19911991
PLDI 19891989
POPL 19871987
POPL 19851985

Wrote 6 papers:

CC-1999-RubinBR #data type #recursion
Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures (SR, DB, MR), pp. 259–273.
ESOP-1992-BernsteinRS #proving #safety
Proving Safety of Speculative Load Instructions at Compile Time (DB, MR, SS), pp. 56–72.
PLDI-1991-BernsteinR #scheduling
Global Instruction Scheduling for Superscalar Machines (DB, MR), pp. 241–255.
PLDI-1989-BernsteinGGKMNP #compilation #optimisation
Spill Code Minimization Techniques for Optimizing Compilers (DB, DQG, MCG, HK, YM, IN, RYP), pp. 258–263.
POPL-1987-BernsteinJR #parallel #scheduling
Scheduling Arithmetic and Load Operations in Parallel with No Spilling (DB, JMJ, MR), pp. 263–273.
POPL-1985-BernsteinPR #memory management #parallel #scheduling
Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses (DB, RYP, MR), pp. 325–333.

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.