Brent Hailpern  Brent Hailpern photo       

contact information

Scientific Director, AI Horizons Network
Head of Computer Science, IBM Research - Distinguished Research Staff Member
  +1dash408dash927dash1700

links



2008

Lack of Association between Ed Crowding and “bounceback” Admissions
Bernstein, Steven and Yadav, Kabir and Ashton, Lori and Hailpern, Susan and Hailpern, Brent and Bellin, Eran and Wall, Stephen and Bijur, Polly and Gallagher, E
Academic Emergency Medicine 15(5), S220, 2008
Abstract

Association between ED crowding and inpatient length of stay
Bernstein, Steven and Yadav, Kabir and Hailpern, Susan and Hailpern, Brent and Wall, Stephen and Bellin, Eran and Ashton, Lori and Bijur, Polly and Gallagher, E and Einstein, Albert
Academic Emergency Medicine 15(5), S201, 2008
Abstract


2007

History of Programming Languages Conference: HOPL-III Co-Chairs Introduction: June 9, 2007
Ryder, Barbara and Hailpern, Brent
Proceedings of the third ACM SIGPLAN conference on History of programming languages, pp. 1, 2007


2006



2003

Web Services: Promises and Compromises
J Martin, Ali P Arsanjani, Peri L Tarr, Brent Hailpern
ACM Queue, 2003

Web Services: Promises and Compromises
J Martin, B Hailpern, P Tarr, A Arsanjani
Queue, 2003

Web Services Promises and Compromises
ALI ARSANJANI, B HAILPERN, J MARTIN, P TARR
portal.acm.org, 2003


2002

IBM Research Report—Web Services: Promises and Compromises
Arsanjani, Ali and Hailpern, Brent and Martin, Joanne and Tarr, LP
Computer Science, 2002

IBM Research Report—Web Services: Promises and Compromises
Arsanjani, Ali and Hailpern, Brent and Martin, Joanne and Tarr, LP
Computer Science, 2002

Software Debugiing, Testing, and Verification
B Hailpern, P Santhanam
IBM Systems Journal, 2002

Software debugging, testing, and verification
B Hailpern, P Santhanam
IBM Systems Journal 41(1), 4--12, IBM Corp., 2002


2001

Software Engineering for Web Services: A Focus on Separation of Concerns
Brent Hailpern, Peri L Tarr
OOPSLA 2001 Workshop on Object-Oriented Web Services (Tampa, FL)

Software Engineering for Web Services: A Focus on Separation of Concerns
B Hailpern, P Tarr
Proceedings of the OOPSLA Workshop on Object-Oriented Web …, 2001 - research.ibm.com


1998

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


1992

An object-based programming model for shared data
GE Kaiser, B Hailpern
ACM Transactions on Programming Languages and Systems, 1992 - research.ibm.com


1991

Dynamic reconfiguration in an object-based programming language with distributed shared data
Hailpern, Brent and Kaiser, Gail E
Distributed Computing Systems, 1991., 11th International Conference on, pp. 73--80

Dynamic reconfiguration in an object-based programming language with shared data
B Hailpern, GE Kaiser
Proceedings of the 11th International Conference on …, 1991 - eprints.kfupm.edu.sa


Dynamic reconfiguration in an object-based programming languagewith distributed shared data
B Hailpern, GE Kaiser, IBMTJWR Center, Y Heights
Distributed Computing Systems, 1991., 11th International …, 1991 - ieeexplore.ieee.org


1990

Extending objects to provide multiple interfaces and access control
B Hailpern, H Ossher
IEEE Transactions on Software Engineering, 1990

An object model for shared data
GE Kaiser, B Hailpern
Computer Languages, 1990., International Conference on, 1990 - ieeexplore.ieee.org

Extending objects to support multiple interfaces and access control
B Hailpern, H Ossher, IBMTJWR Center, Y Heights
Software Engineering, IEEE Transactions on, 1990 - ieeexplore.ieee.org


1989

Script: a communication abstraction mechanism and its verification, Logics and models of concurrent …
N Francez, B Hailpern, G Taubenfeld
1989 - Springer-Verlag New York, Inc., New York, NY

Comparing two functional programming systems
B Hailpern, T Huynh, G Revesz
IEEE Transactions on Software Engineering, 1989 - doi.ieeecomputersociety.org


1988

Extending objects to provide multiple interfaces
Hailpern, Brent Tzion and Ossher, Harold
1988 - IBM TJ Watson Research Center, IBM TJ Watson Research Center

Extending Objects to Provide Multiple Interfaces
BT Hailpern, HL Ossher
1988 - IBM TJ Watson Research Center


1987

A model for object-based inheritance
B Hailpern, A Van Nguyen
1987 - MIT Press, Cambridge, MA

A model for object-based inheritance
B Hailpern
1987 - MIT Press Cambridge, MA, USA


1986

IBM" Multiparadigm languages and Environments
Hailpern, Brent
IEEE Software, Jan, 1986

An improved DEL-style execution architecture for FP
Huynh, Tien and Hailpern, Brent
1986 - International Business Machines …, International Business Machines Incorporated, Thomas J. Watson Research Center

Multiparadigm languages
B Hailpern
IEEE Software 3(1), 6--9, 1986

Script: A Communication Abstraction Mechanism and its Verification
N Frances, B Hailpern, G Taubenfeld
Science of Computer Programming6, 35--88, 1986

Script: A communication abstraction mechanism and its verification* 1
N Francez, B Hailpern, G Taubenfeld
Science of Computer Programming6, 35--88, Elsevier, 1986

An Improved DEL-style Execution Architecture for FP
T Huynh, BT Hailpern
1986 - International Business Machines Inc., Thomas J. Watson Research …

A generalized object model
Brent Hailpern, Van Nguyen
Proceedings of the Object-Oriented Programming Workshop (Yorktown Heights), June 1986. SIGPLAN Notices, 1986

A generalized object model
B Hailpern
ACM SIGPLAN Notices, 1986 - portal.acm.org

Script: A communication abstraction mechamsm
N Francez, B Hailpern, GS Taubenfeld
Science of Computer Programming, 1986


A Communication Abstraction Mechanism
N Francez, B Hailpern, GS Taubenfeld
Science of Computer Programming, 1986


A generalized object model
V Nguyen, B Hailpern
OOPWORK: Proceedings of the 1986 SIGPLAN workshop on Object- …, 1986



An execution architecture for FP
T Huynh, B Hailpern, LW Hoevel
IBM Journal of Research and Development, 1986 - portal.acm.org


1985

A simple protocol whose proof isn't
Hailpern, Brent
IEEE transactions on communications 33(4), 330--337, IEEE, 1985
Abstract

ALAN: A (Circuit-Switched) Local Area Network
B Hailpern, A Heller, L Hoevel, Y Thefaine, …
Selected Areas in Communications, IEEE Journal on, 1985 - ieeexplore.ieee.org

SW 2-An object-based programming environment
MR Laff, B Hailpern
Proceedings of the ACM SIGPLAN 85 symposium on Language …, 1985 - portal.acm.org

A Simple Protocol Whose Proof Isn't
B Hailpern, IBMTJWR Center, NY Yorktown Heights
Communications, IEEE Transactions on , 1985 - ieeexplore.ieee.org

Multiparadigm Languages and Environments
BT Hailpern
1985 - IBM TJ Watson Research Center


1983


Modular verification ofcomputer communication protocols
BT HAILPERN, SS OWICKI
IEEE Trans. Commun. COM-31, I (Jan. 1983)

An Experimental Distributed Database System
B Hailpern, HF Korth
1983 - ACM New York, NY, USA

Modular Verification of Computer Communication Protocols
B Hailpern, S Owicki
Communications, IEEE Transactions on , 1983 - ieeexplore.ieee.org

Script: A communication abstraction mechanism
N Francez, B Hailpern
Proceedings of the second annual ACM symposium on Principles …, 1983 - portal.acm.org


1982


Verifying Concurrent Processes Using Temporal Logic
BT Hailpern
Lecture Notes in Computer Science, Vol. 129, 1982

Verifying Concurrent Programs Using Temporal Logic
B HAILPERN
Lecture Notes in Computer Science (Springer,null), 1982




Modular verification of concurrent programs
B Hailpern, S Owicki
Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on …, 1982 - portal.acm.org




1981

Modular verification of concurrent programs using temporal logic
B HAILPERN, S OWICKI
Tech. Rep., Stanford Univ. Stanford, Calif., 1981


1980

Verifying Network Protocols Using Temporal Logic
B Hailpern, S Owicki
In Tends and Applications 1980, IEEE computer Society, May, 1980


1979

Sl ARCHITECTUREMANUAL
B T Hailpern, B L Hitson
1979 - reports. stanford .edu, Stanford University, Computer Systems Laboratory tech. report STAN-CS-79-715, Stanford, Calif

S-1 architecture manual
BT Hailpern, BL Hitson
1979 - portal.acm.org