Research

My current research involves understanding and facilitating the life cycle of cognitive software, which is substantially different than the life cycle of conventional software. This difference has profound implications for the methodology and tools required to build such software. Cognitive software possesses at least one “cognitive” or “intelligent” component, such as a component implemented using machine learning, neural networks, or rules. Multiple cognitive components will often be involved in a cognitive application or service, but even just one component is enough to impart special and challenging complications.

Journal Publications — Books — Conference Publications — Technical Reports and White Papers — Patents


JOURNAL PUBLICATIONS

Model-Driven Development: The good, the bad, and the ugly
Hailpern, B., Tarr, P.
IBM Systems Journal, 45(3), July/September 2006

Web Services: Promises and Compromises
Arsanjani, A., Hailpern, B., Martin, J., Tarr, P.
ACM Queue, 1(1):48-58, March 2003

Software Debugging, Testing, and Verification
Hailpern, B., Santhanam, P.
IBM Systems Journal, 41(1):4-12, 2002

NetVista: Growing an Internet solution for schools
Kellogg, W.A., Richards, J.T., Swart, C., Malkin, P., Laff, M., Hanson, V., Hailpern B.
IBM Systems Journal, 37(1):19-41, 1998

SIGPLAN scope and tutorial needs
Cytron, R.K., Hailpern, B.
ACM Computing Surveys, 27(2):290-291, June 1995

An object-based programming model for shared data
Kaiser, G.E., Hailpern, B.
ACM Transactions on Programming Languages and Systems, 14(2):201-264, April 1992

Extending objects to provide multiple interfaces and access control
Hailpern, B., Ossher, H.
IEEE Transactions on Software Engineering, 16(11):1247-1257, November 1990

Comparing two functional programming systems
Hailpern, B., Huynh, T., Revesz, G.
IEEE Transactions on Software Engineering, 15(5):532-542, May 1989
Detailed benchmark programs available in IBM Research Report 
RC 12598, March 1987 (revised March 1988)

An execution architecture for FP
Huynh, T., Hailpern, B., Hoevel, L.W.
IBM Journal of Research and Development, 30(6):609-616, November 1986

Script: A communication abstraction mechanism and its verification
Francez, N., Hailpern, B., Taubenfeld, G.
Science of Computer Programming, 6:35-88, January 1986

Multiparadigm languages and environments
Hailpern, B.
IEEE Software, 3(1), January 1986.
Guest editor of special issue
Guest editor’s introduction, pages 6-9
Multiparadigm research: A survey of nine projects, page 70
SW2: A multiparadigm shell for CMS, page 74

ALAN – A (circuit switched) local area network
Hailpern, B., Heller, A., Hoevel, L.W., and Thefaine, Y.J.
IEEE Journal on Selected Areas in Communications, SAC-3 (3):427-430, May 1985
Invited paper for special issue on Communications for Personal Computers

A simple protocol whose proof isn’t
Hailpern, B.
IEEE Transactions on Communications, COM-33 (4):330-337, April 1985

Modular verification of computer communication protocols
Hailpern, B.T., Owicki, S.S.
IEEE Transactions on Communications, COM-31 (1):56-68, January 1983

Continuous non-differentiable functions
Hailpern, B.
Pi Mu Epsilon Journal, 6(5):249-260, Fall 1976
♦ First place winner – 1976/77 Pi Mu Epsilon Journal Manuscript Competition
[Copyright © 1976 by Pi Mu Epsilon Journal. Permission to post this article on this web site granted by Editor, Pi Mu Epsilon Journal (Februrary 2003). To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee.]


BOOKS

A model for object-based inheritance
Hailpern, B., Nguyen, V.
In Bruce Shriver and Peter Wegner, editors
Research Directions in Object-Oriented Programming, pages 147-164
Computer Systems Series
MIT Press, 1987

Tools for Verifying Network Protocols
Hailpern, B.
In K. R. Apt, editor, Logics and Models of Concurrent Systems, pages 57-76
NATO ASI Series, volume F13
Springer Verlag, 1985

Script: A Communication Abstraction Mechanism and its Verification
Francez, N., Hailpern, B., Taubenfeld, G.
In K. R. Apt, editor, Logics and Models of Concurrent Systems, pages 169-212
NATO ASI Series, volume F13
Springer Verlag, 1985

Concurrent Processing
Hailpern, B.
In Sybil Parker, editor, McGraw-Hill Encyclopedia of Electronics and Computers, pages 163-164
McGraw-Hill, 1984
Also in Sybil Parker, editor, McGraw-Hill Concise Encyclopedia of Science and Technology, pages 422-423
McGraw-Hill, 1984
Also in McGraw-Hill Encyclopedia of Science and Technology, Sixth Edition, pages 304-305
McGraw-Hill, 1987

Keeping a foot on the ground
Hailpern, B.
In Dexter Kozen, editor, Logics of Programs, pages 122-123
Lecture Notes in Computer Science, volume 131
Springer Verlag, 1982

Specifying and verifying protocols represented as abstract programs.
Hailpern, B.T.
In Paul Green, editor, Computer Network Architectures and Protocols, pages 607-623
Plenum, 1982

Verifying Concurrent Processes Using Temporal Logic
Hailpern, B.T.
Ph.D. Thesis, Stanford University, 1980
Also in Lecture Notes in Computer Science, volume 129
Springer Verlag, 1982

Verifying network protocols using temporal logic
Hailpern, B.T., Owicki, S.S.
In Carl Sunshine, editor, Communication Protocol Modeling, pages 189-199.  Artech House, 1981.
Reprinted from Proceedings of the Symposium on Trends and Applications 1980:  Computer Network Protocols (Gaithersburg), pages 18-28.
IEEE Computer Society, May 1980.
♦ Selected as outstanding paper of the symposium


CONFERENCES

The Coming Revolution in Neuromorphic Computing: Hardware and Software
Hailpern, B.
Invited keynotes, Japan Science Council 8-th Symposium on Informatics, and JST-NII Joint Workshop on Emerging Technologies for “Super-Cyber Society” and its Key Challenges in SSH/ELS (Tokyo, Japan), March 2015

Open Collaborative Research
Hailpern, B.
Invited lecture, CASCON 2008 (Toronto, Canada), October 2008

Technology and Social Trends in Software Development
Hailpern, B.
Invited lecture, CASCON 2008 (Toronto, Canada), October 2008

Toward governance of emergent processes and adaptive organizations
Tarr, P., Williams, C., Hailpern, B.
International Conference on Software Engineering Proceedings of the First International Workshop on Software Development Governance (Leipzig, Germany), 2008

Association between ED crowding and inpatient length of stay
Bernstein, S.L., Yadav, K., Wall, S., Hailpern, S., Hailpern, B., Bijur, P.E., Gallagher, E.J.
2008 Annual Meeting of the Society for Academic Emergency Medicine, (Washington, DC), May 2008

Lack of association between ED crowding and bounceback admissions
Bernstein, S.L., Yadav, K., Wall, S., Hailpern, S., Hailpern, B., Bijur, P.E., Gallagher, E.J.
2008 Annual Meeting of the Society for Academic Emergency Medicine (Washington, DC), May 2008

Software Engineering for Web Services: A Focus on Separation of Concerns
Hailpern, B.,Tarr, P.L.
OOPSLA 2001 Workshop on Object-Oriented Web Services (Tampa, FL), October 2001
Available as IBM RC 22184, September 2001

Dynamic reconfiguration in an object-based programming language with shared data
Hailpern, B., Kaiser, G.E.
IEEE Eleventh International Conference on Distributed Computing Systems (Arlington, TX)
IEEE Computer Society, pages 73-80, May 1991
Expanded version is available as IBM RC 16232, October 1990

An object model for shared data
Kaiser, G.E., Hailpern, B.
IEEE International Conference on Computer Languages 90 (New Orleans), pages 136-144
IEEE Computer Society, March 1990
Expanded version is available as IBM RC 14996, October 1989

Modal and temporal logic in computer science
Hailpern, B.
Invited lecture, 1989 International Conference on Computing and Information (Toronto), May 1989

The design of a multiparadigm language
Hailpern, B.
Proceedings of the Twentieth Hawaii International Conference on System Sciences (Kona, Hawaii), volume 2, pages 239-246
Western Publications, January 1987
[Copyright © 1987 Hawaii International Conference on System Sciences. This paper was presented at the Twentieth Hawaii International Conference on System Sciences, Kona, Hawaii, January 1987, and is posted here with permission. (March 2003)]

FPL:  A functional parallel language,
Nguyen, V., Demers, A., Hailpern, B.
Proceedings of the Twentieth Hawaii International Conference on System Sciences (Kona, Hawaii), volume 2, pages 191-207
Western Publications, January 1987
[Copyright © 1987 Hawaii International Conference on System Sciences. This paper was presented at the Twentieth Hawaii International Conference on System Sciences, Kona, Hawaii, January 1987, and is posted here with permission. (March 2003)]

An improved DEL-style execution architecture for FP
Huynh, T., Hailpern, B.
Proceedings of the Twentieth Hawaii International Conference on System Sciences (Kona, Hawaii), volume 1, pages 369-377
Western Publications, January 1987
♦ Selected as best paper of Architecture Track
[Copyright © 1987 Hawaii International Conference on System Sciences. This paper was presented at the Twentieth Hawaii International Conference on System Sciences, Kona, Hawaii, January 1987, and is posted here with permission. (March 2003)]

A generalized object model
Nguyen, V., Hailpern, B.
Proceedings of the Object-Oriented Programming Workshop (Yorktown Heights), pages 78-87
IBM and Brown University, June 1986
Available as SIGPLAN Notices, 21 (10):78-87, ACM, October 1986

SW2:  An object-based programming environment
Laff, M.R., Hailpern, B.
Proceedings of ACM SIGPLAN ’85 – Language Issues in Programming Environments (Seattle), pages 1-11
ACM, June 1985

An experimental distributed database system
Hailpern, B.T., Korth, H.K.
Proceedings of Databases for Business and Office Applications (San Jose), pages 2-7
ACM, May 1983

Script: A communication abstraction mechanism
Francez, N., Hailpern, B.
Proceedings of the Second ACM Symposium on Principles of Distributed Computing (Montreal), pages 213-227
ACM, August 1983
Reprinted in Operating Systems Review, 19 (2):53-67, ACM, April 1985

Modular verification of concurrent programs
Hailpern, B., Owicki, S.
Proceedings of the Ninth ACM Symposium on Principles of Programming Languages (Albuquerque), pages 322-336
ACM, January 1982


TECHNICAL REPORTS AND WHITE PAPERS

Research Highlight: CRA Board Member Brent Hailpern
Computing Research News, CRA, Vol. 29/No.1, January 2017

REALIZING THE POTENTIAL OF DATA SCIENCE: Final Report from the National Science Foundation Computer and Information Science and Engineering Advisory Committee Data Science Working Group
Berman, F. (co-chair), Rutenbar, R. (co-chair), Christensen, H., Davidson, S., Estrin, D., Franklin, M., Hailpern, B. , Martonosi, M., Raghavan, P., Stodden, V., Szalay, A.
National Science Foundation CISE Advisory Committee Report, December 2016

The Future of Computing Research: Industry-Academic Collaborations
Boules, N., Douglas, K., Feldman, S., Fix, L.(Organizer), Hager, G.(Organizer), Hailpern, B. (Organizer), Hebert, M., Lopresti, D., Mynatt,, B., Rossbach, C., Wright, H.
Computing Community Consortium Catalyst Report, May 2016

The Future of Research
Gabriel, R.P., Haas, L., Hailpern, B., Rosenfield, M., Stern, E., Martino, J., Uceda-Sosa, R.
IBM Research Report RC 24921, December 2009
A shorter version of this paper was published as “The Future of Industrial R&D” by Mark Dean. Posted online: R&D Magazine, Tuesday, February 16, 2010

An architecture for dynamic reconfiguration in a distributed object-based programming language
Hailpern, B., Kaiser, G.E.
IBM Research Report RC 18269, September 1992

PC protocol card:  An interface to the ALAN network switch (user guide)
Thefaine, Y., Hailpern, B., Hoevel, L., Liles, S., Perry, K.
IBM Research Report RC 11189, May 1985

An integrated office system
Cesar, C.L., Chu, K.-C.,  Flurry, G.A., Hailpern, B.T., et al.
IBM Research Report RC 9659, October 1982

An introduction to Pascal/VS input/output under CMS
Hailpern, B.
IBM Research Report RC 9354, April 1982

S-1 Architecture Manual (SMA-3)
Hailpern, B.T., Hitson, B.L.
Computer Systems Laboratory Technical Report 161, Stanford University, January 1979


PATENTS

Method of providing element dossiers that include elements from nonadjacent lifecycle phases
Hailpern, B.T., Malkin, P.K., Tarr, P.L.
United States Patent 8,312,058, November 13, 2012

System and method for usage-based misinformation detection and response
Malkin, P.K., Erickson, T.D.,  Hailpern, B.T., Kellogg, W.A.
United States Patent 8,214,897, July 3, 2012

Method for providing dynamic process step annotations
Malkin, P.K., Erickson, T.D., Kellogg, W.A., Hailpern, B.T.,  Bergman, L.D.,  Castelli, V.,  Oblinger, D.A.
United States Patent 7,962,847, June 14, 2011

Method and system for maintaining originality-related information about elements in an editable object
Hailpern, B.T., Hao, D.M., Luo, L., Malkin, P.K., Ossher, H., Rich, L.S., Thomson, D.,  Tian, Z., Wiegand, J., Ye, H.J.
United States Patent 7,769,787, August 3, 2010

System and method for providing service for searching web site addresses
Hailpern, B.T., Yu, P.S.
United States Patent 7,383,299, June 3, 2009

System and method for creating a unified printable collection of hyperlinked documents
Hailpern, B.T., Maarek, Y., Yu, P.S.
United States Patent 6,948,116, September 20, 2005

Dynamic method and apparatus for target promotion
Hailpern, B.T., Yu, P.S.
United States Patent 6,922,672, July 26, 2005

System and method for similarity searching in high-dimensional data space
Aggarwal, C.C., Hailpern, B.T., Wolf, J.L., Yu, P.S.
United States Patents 6,289,354, September 11, 2001

Collaborative Server Processing of Content and Meta-Information with Application to Virus Checking in a Server Network
Hailpern, B.T., Malkin, P.K., Schloss, R.J., White, S.R., Yu, P.S., Palmer, C.C.
United States Patent 6,275,937, August 14, 2001

Apparatus and method for dynamic meta-tagging of compound documents
Hailpern, B.T., Malkin, P.K., Schloss, R.J., Yu, P.S.
United States Patent 6,094,657, July 25, 2000

Dynamic push filtering based on information exchanged among nodes in a proxy hierarchy
Hailpern, B.T., Malkin, P.K., Schloss, R.J., Yu, P.S.
United States Patent 6,065,058, May 16, 2000
Japan Patent 2893019, February 26, 1999

Mechanism for Heterogeneous, Peer-to-Peer, and Disconnected Workflow Operation
Chaar, J., Hailpern, B.T., Park, E.S., Paul, S.
United States Patent 5,960,404, September 28, 1999

Dynamic Push Filtering with Staging/Buffering in a Proxy Hierarchy
Hailpern, B.T.,  Malkin, P.K., Schloss, R.J., Yu, P.S.
Japan Patent 02893019, February 26, 1999

Multicast Data Transmission Control
Dan, A., Hailpern, B.T., Sitaram, D.
European Patent 762767A3, November 25, 1998

Method for Controlling Transmission of Data Stream and Memory
Dan, A., Hailpern, B.T., Sitaram, D.
Japan Patent  9130779A2, May 16, 1997

Pace Control for Multicasting in a Video Server Environment
Dan, A., Hailpern, B.T., Sitaram, D.
United States Patent 5,561,637, October 1, 1996
Korea Patent 0194251, February 8, 1999

System and Method for Connecting a Plurality of Intelligent Terminals to Each Other
Blount, M.L, Hailpern, B.T., Heller, R.A., Hoevel, L.W., Trivett, G.W.
European Patent 147702B1, November 22, 1990

Shared Memory Access for Data Processing System
Cocke, J., Hailpern, B.T.,  Hoevel, L.W., Shapiro, E., Blount, M.L.
European Patent 166268B1, May 16, 1990

In-band Connection Establishment for a Multiple Multi-drop Network
Perry, K.J., Thefaine, Y.J., Hailpern, B.T., Hoevel, L.W., Shea, D.G.
United States Patent 4,885,578,  December 5, 1989
Japan Patent 63157259-A
European Patent 270882B1, February 14, 1996

Multi-Microprocessor for Controlling Shared Memory
Hailpern, B.T., Hoevel, L.W., Shapiro, E.
United States Patent 4,881,164, November 14, 1989
Japan Patent 1913156, March 9, 1995
European Patent 147656B1, January 17, 1990

Device for Establishing Communication Path
Perry, K.J., Thefaine, Y.J., Hailpern, B.T., Hoevel, L.W., Huynh, T.
Japan Patent 1072642A2, July 18, 1988

A Linear-Space Signaling Scheme for a Circuit-Switched Network
Hailpern, B.T., Hoevel, L.W., Thefaine, Y.J.
United States Patent 4,740,956, April 26, 1988
Japan Patent 62160845-A
European Patent 230549B1, January 27, 1993

Interface Between a Computer Bus and a Serial Packet Link
Friedman, L.G., Hailpern, B.T.
United States Patent 4,730,308, March 8, 1988
Canada Patent No. 1271562-A, July 10, 1990

Transmit-Secure Non-Blocking Circuit-Switched Local Area Network
Friedman, L.G., Hailpern, B.T., Hoevel, L.W., Thefaine, Y.J.
United States Patent 4,710,769, December 1, 1987
Japan Patent 62160842-A
Canada Patent 1264863-A
European Patent 229270B1, April 14, 1993

Interconnect Scheme for Shared Memory Local Networks
J. Cocke, Hailpern, B.T.
United States Patent  4,710,868, December 1, 1987
Europe Patent 166268
Canada Patent 1229422-A, November 17, 1987

Local Area Network Interconnect Switching System
Blount, M.L., Hailpern, B.T., Heller, R.A., Hoevel, L.W., Trivett, G.E.
United States Patent  4,633,245, December 30, 1986
UK Patent 147702-A, November 22, 1990
Japan Patent 60154749-A