Brent Hailpern

IBM (United States)United States

Computer Science · Physical Sciences

16h-index1.6kcitations51works0.02yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Logic, programming, and type systems(14), Formal Methods in Verification(10), Parallel Computing and Optimization Techniques(9), Advanced Database Systems and Queries(9), Distributed and Parallel Computing Systems(9)

Publications51 total

Communications of the ACM·2018· 110 cited
arXiv (Cornell University)·2016· 6 citedOpen Access
Communications of the ACM·2012· 2 citedOpen Access
ACM SIGPLAN Notices·2009· 1 cited
IBM Systems Journal·2006· 292 cited
Queue·2003· 98 citedOpen Access
2002· 1 citedOpen Access
IBM Systems Journal·2002· 293 cited
Software Engineering for Web Services: A Focus on Separation of Concerns
2001· 4 cited
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
1999· 4 cited
IBM Systems Journal·1998· 4 cited
ACM Computing Surveys·1995Open Access
page 1 of 3Next →

Frequent Co-authors

Mark R. Laff(5), Peri Tarr(4), Nissim Francez(4), Gail E. Kaiser(4), Susan Owicki(3), Van Nguyen(3), Gadi Taubenfeld(2), Toan Huynh(2), Lee W. Hoevel(2), Vicki L. Hanson(2), P. Santhanam(1), Francine Berman(1), Rob A. Rutenbar(1), Henrik I. Christensen(1), Susan B. Davidson(1), Deborah Estrin(1), Michael J. Franklin(1), Margaret Martonosi(1), Padma Raghavan(1), Victoria Stodden(1)