Brent Hailpern

According to our database, Brent Hailpern authored at least 33 papers between 1980 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Learning Electronic Health Records through Hyperbolic Embedding of Medical Ontologies.

Qiuhao Lu, Nisansa de Silva, Sabin Kafle, Jiazhen Cao, Dejing Dou, Thien Huu Nguyen, Prithviraj Sen, Brent Hailpern, Berthold Reinwald, Yunyao Li

Proceedings of the 10th ACM International Conference on Bioinformatics, 2019

2018

Realizing the potential of data science.

Francine Berman, Rob A. Rutenbar, Brent Hailpern, Henrik I. Christensen, Susan B. Davidson, Deborah Estrin, Michael J. Franklin, Margaret Martonosi, Padma Raghavan, Victoria Stodden, Alexander S. Szalay

Commun. ACM, 2018

2016

The Future of Computing Research: Industry-Academic Collaborations.

Nady Boules, Khari Douglas, Stuart I. Feldman, Limor Fix, Gregory D. Hager, Brent Hailpern, Martial Hebert, Daniel P. Lopresti, Beth Mynatt, Christopher J. Rossbach, Helen V. Wright

CoRR, 2016

2008

Toward governance of emergent processes and adaptive organizations.

Peri L. Tarr, Clay Williams, Brent Hailpern

Proceedings of the 1st international workshop on Software development governance, 2008

2006

Model-driven development: The good, the bad, and the ugly.

Brent Hailpern, Peri L. Tarr

IBM Syst. J., 2006

2003

Web Services: Promises and Compromises.

Ali Arsanjani, Brent Hailpern, Joanne Martin, Peri L. Tarr

ACM Queue, 2003

2002

Software debugging, testing, and verification.

Brent Hailpern, Padmanabhan Santhanam

IBM Syst. J., 2002

1998

NetVista: Growing an Internet Solution for Schools.

Wendy A. Kellogg, John T. Richards, Calvin Swart, Peter Malkin, Mark Laff, Vicki L. Hanson, Brent Hailpern

IBM Syst. J., 1998

1995

SIGPLAN Scope and Tutorial Needs.

Ron Cytron, Brent Hailpern

ACM Comput. Surv., 1995

1992

An Object-Based Programming Model for Shared Data.

Gail E. Kaiser, Brent Hailpern

ACM Trans. Program. Lang. Syst., 1992

1991

Dynamic reconfiguration in an object-based programming language with distributed shared data.

Brent Hailpern, Gail E. Kaiser

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990

Extending Objects to Support Multiple Interfaces and Access Control.

Brent Hailpern, Harold Ossher

IEEE Trans. Software Eng., 1990

An Object Model of Shared Data.

Gail E. Kaiser, Brent Hailpern

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989

Comparing Two Functional Programming Systems.

Brent Hailpern, Tien Huynh, György E. Révész

IEEE Trans. Software Eng., 1989

1987

A Model for Object-Based Inheritance.

Brent Hailpern, Van Nguyen

Proceedings of the Research Directions in Object-Oriented Programming, 1987

1986

SW2: A Multiparadigm Shell for CMS.

Mark Laff, Brent Hailpern

IEEE Softw., 1986

Multiparadigm Research: A Survey of Nine Projects (Introduction).

Brent Hailpern

IEEE Softw., 1986

Multiparadigm Languages and Environments - Guest Editor's Introduction.

Brent Hailpern

IEEE Softw., 1986

A generalized object model (abstract only).

Van Nguyen, Brent Hailpern

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

A generalized object model.

Van Nguyen, Brent Hailpern

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

Script: A Communication Abstraction Mechanism and Its Verification.

Nissim Francez, Brent Hailpern, Gadi Taubenfeld

Sci. Comput. Program., 1986

An Execution Architecture for FP.

Tien Huynh, Brent Hailpern, Lee W. Hoevel

IBM J. Res. Dev., 1986

1985

A Simple Protocol Whose Proof Isn't.

Brent Hailpern

IEEE Trans. Commun., 1985

SW 2 - An object-based programming environment.

Mark R. Laff, Brent Hailpern

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

Script: A Communication Abstraction Mechanism.

Nissim Francez, Brent Hailpern

ACM SIGOPS Oper. Syst. Rev., 1985

ALAN: A (Circuit-Switched) Local Area Network.

Brent Hailpern, Andrew Heller, Lee W. Hoevel, Yannick J. Thefaine

IEEE J. Sel. Areas Commun., 1985

1984

Tools for Verifying Network Protocols.

Brent Hailpern

Proceedings of the Logics and Models of Concurrent Systems, 1984

1983

Modular Verification of Computer Communication Protocols.

Brent Hailpern, Susan S. Owicki

IEEE Trans. Commun., 1983

An Experimental Distributed Database System.

Brent Hailpern, Henry F. Korth

Proceedings of the Databases for Business and Office Applications, 1983

1982

Modular Verification of Concurrent Programs.

Brent Hailpern, Susan S. Owicki

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

Veritying Concurrent Processes Using Temporal Logic

Brent Hailpern

Lecture Notes in Computer Science 129, Springer, ISBN: 3-540-11205-7, 1982

1981

Keeping a Foot on the Ground (position paper).

Brent Hailpern

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

1980

Verifying concurrent processes using temporal logic.

Brent Hailpern

PhD thesis, 1980