BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
13 × USA
Collaborated with:
F.K.Zadeck L.Carter D.R.Chase B.K.Rosen M.Paterson S.L.Graham B.Alpern L.J.Stockmeyer R.Cytron J.Ferrante C.N.Alberga A.L.Brown G.B.L.Jr. M.Mikelsons R.W.Floyd J.Gill G.Markowsky G.Valetto M.E.Helander K.Ehrlich S.Chulani C.Williams K.Högstedt D.Kimelman V.T.Rajan T.Roth N.Wang
Talks about:
analysi (3) structur (2) program (2) pointer (2) develop (2) linear (2) global (2) comput (2) retrospect (1) repositori (1)

Person: Mark N. Wegman

DBLP DBLP: Wegman:Mark_N=

Facilitated 1 volumes:

POPL 2000Ed

Contributed to:

MSR 20072007
LCTES/OM 20012001
Best of PLDI 20041990
PLDI 19901990
POPL 19891989
POPL 19881988
POPL 19851985
STOC 19851985
POPL 19831983
POPL 19811981
STOC 19781978
STOC 19771977
STOC 19761976
POPL 19751975

Wrote 15 papers:

MSR-2007-ValettoHECWW #congruence #development #repository #using
Using Software Repositories to Investigate Socio-technical Congruence in Development Projects (GV, MEH, KE, SC, MNW, CW), p. 25.
LCTES-OM-2001-WegmanHKRRW #component #interactive #optimisation
Optimizing Component Interaction (MNW, KH, DK, VTR, TR, NW), p. 181.
Best-of-PLDI-1990-ChaseWZ90a #analysis #pointer
Analysis of pointers and structures (with retrospective) (DRC, MNW, FKZ), pp. 343–359.
PLDI-1990-ChaseWZ #analysis #pointer
Analysis of Pointers and Structures (DRC, MNW, FKZ), pp. 296–310.
POPL-1989-CytronFRWZ #performance
An Efficient Method of Computing Static Single Assignment Form (RC, JF, BKR, MNW, FKZ), pp. 25–35.
POPL-1988-AlpernWZ #detection #similarity #source code
Detecting Equality of Variables in Programs (BA, MNW, FKZ), pp. 1–11.
Global Value Numbers and Redundant Computations (BKR, MNW, FKZ), pp. 12–27.
POPL-1985-WegmanZ #branch #constant
Constant Propagation with Conditional Branches (MNW, FKZ), pp. 291–299.
STOC-1985-CarterSW #backtracking #complexity
The Complexity of Backtrack Searches (LC, LJS, MNW), pp. 449–457.
POPL-1983-Wegman #graph #regular expression
Summarizing Graphs by Regular Expressions (MNW), pp. 203–216.
POPL-1981-AlbergaBLMW #development
A Program Development Tool (CNA, ALB, GBLJ, MM, MNW), pp. 92–104.
STOC-1978-CarterFGMW #approximate
Exact and Approximate Membership Testers (LC, RWF, JG, GM, MNW), pp. 59–65.
Universal Classes of Hash Functions (LC, MNW), pp. 106–112.
STOC-1976-PatersonW #linear #unification
Linear Unification (MP, MNW), pp. 181–186.
POPL-1975-GrahamW #algorithm #analysis #linear #performance
A Fast and Usually Linear Algorithm for Global Flow Analysis (SLG, MNW), pp. 22–34.

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.