Travelled to:1 × Brazil
1 × France
1 × USA
1 × United Kingdom
Collaborated with:M.Buss V.C.Sreedhar W.H.J.Jr. S.A.Edwards ∅ W.C.Carter L.Trevillyan T.A.Nix S.C.Gundersen M.Cho R.Bordawekar U.Finkler V.KulandaiSamy R.Puri
Talks about:analysi (4) pointer (2) bug (2) technolog (1) precondit (1) incorrect (1) algorithm (1) synthesi (1) parallel (1) program (1)
Person: Daniel Brand
DBLP: Brand:Daniel
Contributed to:
2015
20082010
2007
19861979
1976Wrote 7 papers:
- VLDB-2015-ChoBBFKP #algorithm #named #parallel #performance
- PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort (MC, DB, RB, UF, VK, RP), pp. 1518–1529.
- SAC-2008-BussBSE #analysis #flexibility #graph #pointer #using
- Flexible pointer analysis using assign-fetch graphs (MB, DB, VCS, SAE), pp. 234–239.
- SAC-PL-J-2008-BussBSE10 #analysis #debugging #novel #pointer
- A novel analysis space for pointer analysis and its application for bug finding (MB, DB, VCS, SAE), pp. 921–942.
- ICSM-2007-BrandBS #analysis #debugging #detection
- Evidence-Based Analysis and Inferring Preconditions for Bug Detection (DB, MB, VCS), pp. 44–53.
- DAC-1986-JoynerTBNG #adaptation #logic #synthesis
- Technology adaption in logic synthesis (WHJJ, LT, DB, TAN, SCG), pp. 94–100.
- DAC-1979-CarterJB #design #simulation
- Symbolic simulation for correct machine design (WCC, WHJJ, DB), pp. 280–286.
- ICALP-1976-Brand #proving #source code
- Proving Programs Incorrect (DB), pp. 201–227.