Mark Wegman  Mark Wegman photo       

contact information

IBM Fellow/Chief Scientist Software Technology
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash4900

links

Professional Associations

Professional Associations:  ACM  |  IEEE   |  National Academy of Engineering

more information

More information:  IBM Research Division Accomplishments


2016

A Proximity Measure using Blink Model
Qian, Haifeng and Wan, Hui and Wegman, Mark N and Lastras, Luis A and Puri, Ruchir
arXiv preprint arXiv:1612.07365, 2016
Abstract


2013

Enterprise context: A rich source of requirements for context-oriented programming
Sam Adams, Suparna Bhattacharya, Friedl, Bob er, John Gerken, Doug Kimelman, Jim Kraemer, Harold Ossher, John Richards, David Ungar, Mark Wegman
Proceedings of the 5th International Workshop on Context-Oriented Programming, pp. 3, 2013


2012

Does better throughput require worse latency?
David Ungar, Doug Kimelman, Sam Adams, Mark Wegman
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, pp. 39--40


2009

On the lifetime of multilevel memories
LA Lastras-Montano, M Franceschini, T Mittelholzer, J Karidis, M Wegman
Information Theory, 2009, pp. 1224--1228

Ferret: Programming language support for multiple dynamic classification
B Bloom, P Keyser, I Simmonds, M Wegman
Computer Languages, Systems \& Structures 35(3), 306--321, Elsevier, 2009


2007

Using Software Repositories to Investigate Socio-technical Congruence in Development Projects
G. Valetto, M. Helander, K. Ehrlich, S. Chulani, M. Wegman, C. Williams
Fourth International Workshop on Mining Software Repositories (MSR'07:ICSE Workshops 2007), pp. 25-25


2005

SMTP path analysis
B Leiba, J Ossher, VT Rajan, R Segal, M Wegman
Proceedings of the Second Conference on Email and Anti-Spam, http://www, 2005


2004

Charity begins at... your mail program
P Capek, B Leiba, MN Wegman, SE Fahlman
Technical Report, Technical report, IBM Thomas J. Watson Research Center, Hawthorne, NY 10532, USA, 2003, 2004


2001

Optimizing component interaction
Karin Hogstedt, Doug Kimelman, Nan Wang
Language, Compiler and Tool Support for Embedded Systems: Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, pp. 181--181, 2001

Fast Optimality-Preserving Graph Reduction for Dynamics-Based Partitioning of Distributed &
D Kimelman, VT Rajan, T Roth, M Wegman, Karin Hgstedt, Nan Wang
Technical Report, 2001

The Autonomic Performance Prescription
D Kimelman, VT Rajan, T Roth, V Sreedhar, M Wegman &
unpublished. Available from the author at wegman@ us. ibm. com, 2001

Graph cutting algorithms for distributed applications partitioning
Karin Hogstedt, Doug Kimelman, Vadakkedathu T Rajan, Tova Roth, Mark Wegman
ACM SIGMETRICS Performance Evaluation Review 28(4), 27--29, ACM, 2001


2000

High-Level Program Development
B Bloom, J Russell, J Vlissides, M Wegman
Dr. Dobb's Special Report December, 2000


1998

Dynamic application partitioning in visualage generator version 3.0
Doug Kimelman, VT Rajan, Tova Roth, Mark Wegman, Beth Lindsey, Hayden Lindsey, Sandy Thomas
Object-Oriented Technology: ECOOP’98 Workshop Reader, pp. 547--548, 1998

Partitioning and assignment of distributed object applications incorporating object replication and caching
Doug Kimelman, VT Rajan, Tova Roth, Mark Wegman
Object-Oriented Technology: ECOOP’98 Workshop Reader, pp. 313--314, 1998

Execution patterns in object-oriented visualization
W De Pauw, D Lorenz, J Vlissides, M Wegman
Proceedings Conference on Object-Oriented Technologies and Systems (COOTS’98), pp. 219--234, 1998


1995

Rapid type inference for C++
DF Bacon, M Wegman, FK Zadeck
Technical Report, 1995

Efficiently Computing Nodes On-The-Fly
R Cytron, J Ferrante, BK Rosen, MN Wegman, FK …
ACM Transactions on Programming Languages and Systems, 1995 - info.uni-karlsruhe.de


1991

Constant propagation with conditional branches
Mark N Wegman, Kenneth F Zadeck
ACM Trans. Program. Lang. Syst. 13(2), 181--210, ACM, 1991
Abstract

Efficiently computing static single assignment form and the control dependence graph
Ron Cytron, Jeanne Ferrante, Barry K Rosen, Mark N Wegman, Kenneth F Zadeck
ACM Trans. Program. Lang. Syst. 13(4), 451--490, ACM, 1991


1990

Analysis of pointers and structures
David R Chase, Mark Wegman, Kenneth F Zadeck
PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, pp. 296--310, ACM


1989

An efficient method of computing static single assignment form
R Cytron, J Ferrante, B K Rosen, M N Wegman, F K Zadeck
POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 25--35, ACM, 1989


1988

Detecting equality of variables in programs
B Alpern, M N Wegman, F K Zadeck
POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 1--11, ACM, 1988

Learning probabilistic prediction functions
A DeSantis, G Markowsky, MN Wegman
Proceedings of the 1988 Workshop on Computational Learning Theory, pp. 312--328, IEEE

Global value numbers and redundant computations
B K Rosen, M N Wegman, F K Zadeck
POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 12--27, ACM, 1988


1986

What it's like to be a POPL referee
MN Wegman
ACM SIGACT News, 1986 - csa.com

What it's like to be a POPL referee; or how to write an extended abstract so that it is more likely to be accepted
MN Wegman
ACM SIGPLAN Notices 21(5), 91--95, Association for Computing Machinery, Inc, One Astor Plaza, 1515 Broadway, New York, NY, 10036-5701, USA,, 1986


1985

The complexity of backtrack searches
L Carter, L Stockmeyer, M Wegman
STOC '85: Proceedings of the seventeenth annual ACM symposium on Theory of computing, pp. 449--457, ACM, 1985
Abstract

Variations on a theme by Ziv and Lempel
VS Miller, MN Wegman
Combinatorial Algorithms on Words, 1985 - disp.ee.ntu.edu.tw


1983

Class of easily implemented hash functions
JL Carter, G Markowsky, MN Wegman
IBM technical disclosure bulletin 26(2), 515--516, 1983

Method of Estimating the Size of a Set
MN Wegman
IBM Technical Disclosure Bulletin, 1983

Summarizing graphs by regular expressions
Mark Wegman
POPL '83: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 203--216, ACM, 1983
Abstract


1982

Improvements to a program for DNA analysin: a procedure to find homologies among many sequences
Queen, Cary and Wegman, Mark N and Korn, Laurence Jay
Nucleic acids research 10(1), 449--456, Oxford Univ Press, 1982

Improvements to a program for DNA analysis: a procedure to find homologies among many sequences
C Queen, M N Wegman, L J Korn
Nucleic Acids Research 10(1), 449, Oxford University Press, 1982


1981

Parsing for a Structural Editor (Part II)
M Wegman, C N Alberga
IBM Watson Research Center, 1981

A program development tool
C N Alberga, A L Brown, G B Leeman Jr., M Mikelsons, M N Wegman
POPL '81: Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 92--104, ACM, 1981
Abstract

General and efficient methods for global code improvement
Mark N Wegman
Ph.D. Thesis, University of California, Berkeley, 1981

New hash functions and their use in authentication and set equality
M N Wegman, J L Carter
Journal of computer and system sciences 22(3), 265--279, Elsevier, 1981


1980

PDE1l: the PL1l Program Development Environment. Principles of Operation
International Business Machines Corporation. Research Division, M Mikelsons, MN Wegman
1980

PDE1L: The PLlL program development environment
M Mikelsons, M Wegman
Technical Report, 1980

PDE1L: the PL1L Program Development Environment--Principles of Operation
M Mikelsons, MN Wegman
Dep. Comput. Sci., IBM TJ Watson Research Center, Yorktown Heights, NY, Tech. Rep. RC8513, 1980

Parsing for structural editors
M Wegman
Foundations of Computer Science, 1980, pp. 320--327



1979

Fast Emulation with Compiled Look-Aside Information
MN Wegman
Research Report RC-7580, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, 1979

A program development tool, IBM Research Report, Computer Science Department, IBM Thomas J
CN Alberga, AL Brown, GB Leeman, M Mikelsons, MN Wegman
Watson Research Center, Yorktown Heights, New York, 1979

New classes and applications of hash functions
M N Wegman, J L Carter
Foundations of Computer Science, 1979, pp. 175--182

Universal classes of hash functions
J L Carter, M N Wegman
Journal of computer and system sciences 18(2), 143--154, Elsevier, 1979


1978

Exact and approximate membership testers
Larry Carter, Robert Floyd, John Gill, George Markowsky, Mark Wegman
STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing, pp. 59--65, ACM, 1978
Abstract

Linear unification
MS Paterson, MN Wegman
Proceedings of the eighth annual ACM symposium on Theory of computing, pp. 158--167, Elsevier, 1978

Analysis of a universal class of hash functions
G Markowsky, J Lawrence Carter, M Wegman
Mathematical Foundations of Computer Science 1978, 345--354, Springer


1977

METHOD OF EXTENDING HASH FUNCTIONS FOR LONG KEYS
JL Carter, MN Wegman
IBM technical disclosure bulletin 19(12), 4826, International Business Machines Corp., 1977

Universal classes of hash functions (Extended Abstract)
Lawrence J Carter, Mark N Wegman
STOC '77: Proceedings of the ninth annual ACM symposium on Theory of computing, pp. 106--112, ACM, 1977
Abstract

The experimental compiling systems project
FE Allen, JL Carter, WH Harrison, PG Loewner, RP Tapscott, LH Trevillyan, MN Wegman
IBM TJ Watson Research Center, Yorktown Heights, NY, 1977

Computer analysis of nucleic acid regulatory sequences
LJ Korn, CL Queen, MN Wegman
Proceedings of the National Academy of Sciences 74(10), 4401, National Acad Sciences, 1977


1976

A Fast and Usually Linear Algorithm for Global Flow Analysis
Susan L Graham, Mark Wegman
J. ACM 23(1), 172--202, ACM, 1976
Abstract


1975

A Fast and Usually Linear Algorithm for Global Flow Analysis
SL Graham, M Wegman,
Second Symposium on Principles Of Programming Lansuages, Palo Alto, California , pp. 22--34, 1975


Year Unknown

Variations on a theme by Ziv and Lempel [data compression]
V S Miller, M N Wegman
Communications, 1988, pp. 390--394

Variations on a theme by Ziv and Lempel, Combinatorial algorithms on words, edited by A. Apostolico and Z. Galil, 131-140, NATO ASI Series, Vol. F12
VS Miller, MN Wegman
Springer-Verlag, Berlin, Springer-Verlag, Berlin, 0