Brent Hailpern

37 papers A* 2A 2Journal 19Unranked 10
YearRankTypeTitle / Venue / Authors
2019 — conf
Learning Electronic Health Records through Hyperbolic Embedding of Medical Ontologies.
BCB
Qiuhao Lu, Nisansa de Silva, Sabin Kafle, Jiazhen Cao, Dejing Dou, Thien Huu Nguyen, Prithviraj Sen, Brent Hailpern, Berthold Reinwald, Yunyao Li
2018 J jnl
Realizing the potential of data science.
Commun. ACM
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
2016 J jnl
The Future of Computing Research: Industry-Academic Collaborations.
CoRR
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
2008 — conf
Toward governance of emergent processes and adaptive organizations.
SDG@ICSE
Peri L. Tarr, Clay Williams, Brent Hailpern
2007 — ed.
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007
HOPL
Barbara G. Ryder, Brent Hailpern
2006 J jnl
Model-driven development: The good, the bad, and the ugly.
IBM Syst. J.
Brent Hailpern, Peri L. Tarr
2003 J jnl
Web Services: Promises and Compromises.
ACM Queue
Ali Arsanjani, Brent Hailpern, Joanne Martin, Peri L. Tarr
2002 J jnl
Software debugging, testing, and verification.
IBM Syst. J.
Brent Hailpern, Padmanabhan Santhanam
1999 A ed.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999.
OOPSLA
Brent Hailpern, Linda M. Northrop, A. Michael Berman
1998 J jnl
NetVista: Growing an Internet Solution for Schools.
IBM Syst. J.
Wendy A. Kellogg, John T. Richards, Calvin Swart, Peter Malkin, Mark Laff, Vicki L. Hanson, Brent Hailpern
1995 J jnl
SIGPLAN Scope and Tutorial Needs.
ACM Comput. Surv.
Ron Cytron, Brent Hailpern
1992 J jnl
An Object-Based Programming Model for Shared Data.
ACM Trans. Program. Lang. Syst.
Gail E. Kaiser, Brent Hailpern
1991 A conf
Dynamic reconfiguration in an object-based programming language with distributed shared data.
ICDCS
Brent Hailpern, Gail E. Kaiser
1990 — conf
An Object Model of Shared Data.
ICCL
Gail E. Kaiser, Brent Hailpern
1990 J jnl
Extending Objects to Support Multiple Interfaces and Access Control.
IEEE Trans. Software Eng.
Brent Hailpern, Harold Ossher
1989 J jnl
Comparing Two Functional Programming Systems.
IEEE Trans. Software Eng.
Brent Hailpern, Tien Huynh, György E. Révész
1987 — ch.
A Model for Object-Based Inheritance.
Research Directions in Object-Oriented Programming
Brent Hailpern, Van Nguyen
1986 — conf
A generalized object model (abstract only).
OOPWORK
Van Nguyen, Brent Hailpern
1986 — conf
A generalized object model.
OOPWORK
Van Nguyen, Brent Hailpern
1986 J jnl
An Execution Architecture for FP.
IBM J. Res. Dev.
Tien Huynh, Brent Hailpern, Lee W. Hoevel
1986 J jnl
Multiparadigm Languages and Environments - Guest Editor's Introduction.
IEEE Softw.
Brent Hailpern
1986 J jnl
Multiparadigm Research: A Survey of Nine Projects (Introduction).
IEEE Softw.
Brent Hailpern
1986 J jnl
SW2: A Multiparadigm Shell for CMS.
IEEE Softw.
Mark Laff, Brent Hailpern
1986 J jnl
Script: A Communication Abstraction Mechanism and Its Verification.
Sci. Comput. Program.
Nissim Francez, Brent Hailpern, Gadi Taubenfeld
1985 J jnl
A Simple Protocol Whose Proof Isn't.
IEEE Trans. Commun.
Brent Hailpern
1985 J jnl
ALAN: A (Circuit-Switched) Local Area Network.
IEEE J. Sel. Areas Commun.
Brent Hailpern, Andrew Heller, Lee W. Hoevel, Yannick J. Thefaine
1985 — conf
SW 2 - An object-based programming environment.
SLIPE
Mark R. Laff, Brent Hailpern
1985 J jnl
Script: A Communication Abstraction Mechanism.
ACM SIGOPS Oper. Syst. Rev.
Nissim Francez, Brent Hailpern
1984 — conf
Script: A Communication Abstraction Mechanism and its Verification.
Logics and Models of Concurrent Systems
Nissim Francez, Brent Hailpern, Gadi Taubenfeld
1984 — conf
Tools for Verifying Network Protocols.
Logics and Models of Concurrent Systems
Brent Hailpern
1983 — conf
An Experimental Distributed Database System.
Databases for Business and Office Applications
Brent Hailpern, Henry F. Korth
1983 J jnl
Modular Verification of Computer Communication Protocols.
IEEE Trans. Commun.
Brent Hailpern, Susan S. Owicki
1983 A* conf
Script: A Communication Abstraction Mechanism.
PODC
Nissim Francez, Brent Hailpern
1982 A* conf
Modular Verification of Concurrent Programs.
POPL
Brent Hailpern, Susan S. Owicki
1982 — book
Veritying Concurrent Processes Using Temporal Logic
Brent Hailpern
1981 — conf
Keeping a Foot on the Ground (position paper).
Logic of Programs
Brent Hailpern
1980 — —
Verifying concurrent processes using temporal logic.
Brent Hailpern