[ IBM Research ]
[ Find ] [ News ] [ Products ] [ Support ] [ Business solutions ] [ Inside IBM ] [ Interest groups ]
Papers 

"New Classes and Applications of Hash Functions", by Wegman, M.N., and Carter, J.L. 20th Annual Symposium on Foundations of Computer Science, Oct. 1979 Proceedings. 

"Universal Classes of Hash Functions", by Carter, J.L., and Wegman, M.N. Journal of Computer and System Sciences vol. 18 no. 2 p.143-54, April 1979. 

"Exact and Approximate Membership Testers" by Carter, J.L., Floyd, R., Gill, J., Markowsky, G. and Wegman, M. ACM Symposium on Theory of Computing (10th). New York, ACM, 1978. P.59-65. 

"Linear Unification", by Paterson, M.S., and Wegman, M.N. :it..Journal of Computer and System Sciences,:eit.. Vol. 16. No. 2, April 1978. 

"A Fast and Usually Linear Algorithm for Global Flow Analysis", by Graham, S.L. and Wegman, M.N. .Journal of the Association for Computing Machinery,. Vol. 23, No 1, Jan. 1976, pp. 172-202. 

"Computer Analysis of Nucleic Acid Regulatory Sequences" by Korn, L.J., Queen, C.L., and Wegman, M.N. :it..Proc. Natl. Acad. Sci. USA.:eit.. Vol. 74, No. 10, pp. 4401-4405, Oct. 1977. 

"Equivalence of Free Boolean Graphs Can Be Decided Probabilistically in Polynomial Time" by Blum, A., Chandra, A.K., and Wegman, M.N. Information Processing Letters..

"Analysis of A Universal Class of Hash Functions" by Markowsky, G., Carter, J.L., and Wegman, M.N. Mathematical Foundations of Computer Science, Lectures in Computer Science, vol. 64. ed. by J. Winkowski. Berlin, Germ., Springer-Verlag, 1978 p. 345-54. 

"A Program Development Tool", Alberga, C. N., Brown, A. L., Leeman, G. B. Jr., Mikelsons, M., and Wegman, M. N., IBM Research Report RC 7859, Computer Sciences Department, IBM T. J. Watson Research Center, Yorktown Heights, New York, September 6, 1979. 

"A Program Development Tool", Alberga, C. N., Brown, A. L., Leeman, G. B. Jr., Mikelsons, M., and Wegman, M. N., Principles of Programming Languages, ACM Symposium, Jan. 26-28, 1981. 

"A Program Development Tool", Alberga, C. N., Brown, A. L., Leeman, G. B. Jr., Mikelsons, M., and Wegman, M. N., IBM Journal of Research and Development, Jan. 1984. 

"Parsing for a Structural Editor", Wegman, M. N., FOCS Oct. 1980. 

"PDE1L: the PL1L Program Development Environment -- Principles of Operation", Mikelsons M. and Wegman M., IBM RC 8513, Yorktown Heights, New York, Nov. 1980. 

"Parsing for a Structural Editor(partII).", Alberga, C. N., Wegman, M. N., IBM RC 9197, Yorktown Heights, New York, Jan. 6, 1982. 

"Summarizing Graphs by Regular Expressions". Wegman, M. Principles of Programming Languages Conference, Jan. 1983. 

"Constant Progagation with Conditional Branches", Wegman, M. and Zadeck F. Principles of Programming Language Conference, Jan. 1985. 

"The Complexity of Backtrack Searches", Carter, L. Stockmeyer, L. and Wegman, M. Sigact 1985. 

Miller, V. S. and Wegman M. N. "Variations on a Theme by Ziv and Lempel" in Combinatorial Algorithms on Words, edited by Z. Galil and A. Apostolico, 1985, Springer-Verlag (Nato ASI series, series F, Vol. 12). 

DeSanitis, A., Markowsky, G., and Wegman, M.N. "Learning probabilistic prediction functions," Foundations of Computer Science 29 (1988) 110-119 

DeSantis, A., Markowsky, G., and Wegman, M.N. "Learning probabilistic prediction functions," Proceedings of Computational Learning Theory 

Alpern, B. and Wegman, M. "Detecting Equality of Values in Programs". 15th Principles of Programming Languages, ACM Symposium, Jan 1988. 

Rosen, B. K., Wegman, M. N. and Zadeck, F. K. "Global Value Numbers and Redundant Computations". 15th Principles of Programming Languages, ACM Symposium, Jan 1988. 

Auslander, M, Harrison, W, Miller, V. and Wegman, M. PCTERM -- an internal IBM Terminal emulator which works using Data Compression 

Chase, D.R. , Wegman, M. and Zadeck, F.K."Analysis of Pointers and Structures". SIGPLAN90 June 1990 PP 296-310 

Cyron, R. Ferrente, J, Rosen, B.K., Wegman, M.N. and Zadeck, F.K., "An Efficient Method of Computing, Static Single Assignment Form," POPL16, Jan 1989, pp.25-35. 

Wegman, M.N., and Zadeck, F.K. "Constant Propagation with Conditional Branches", TOPLAS, Apr. 1991. vol 13 number 2, pp.181-210. 

"Global Trends in Flow Analysis" A retrospective given at the 25th POPL. 

"Execution Patterns in OO Visualization" COOTS(98) (with DePauw, Lorenz, Vlissides) 

Patents 

US04588985 05/13/1986      Polynomial hashing  (with Larry Carter) 

US05826260 10/20/1998   Information retrieval system and method for displaying and ordering information 
                           based on query element contribution  (with Roy Byrd, John Praeger and Yael Ravin) 

US04814746 03/21/1989  Data compression method (with Victor Miller) 

US04538240  08/27/1985 Method and apparatus for performing hashing operations using Galois field 
                           multiplication (with Larry Carter and George Markowsky)

Assist Legal Privacy Orders IBMIBM Research