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: Bernstein:David
Contributed to:
1999
1992
19911989
19871985Wrote 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.