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 × 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 DBLP: Brand:Daniel

Contributed to:

VLDB 20152015
SAC 20082008
SAC 20082010
ICSM 20072007
DAC 19861986
DAC 19791979
ICALP 19761976

Wrote 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.

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.