Brent Hailpern

Last updated
Brent Hailpern
Education University of Denver, Stanford University
Occupation Computer Scientist
Employer IBM Research
Known forprogramming languages, concurrency, object-oriented programming
TitleDirector of Computer Science, IBM Research - Almaden

Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages, software engineering, and concurrency.

Contents

Education

Dr. Hailpern received his B.S. degree, summa cum laude, in Mathematics from the University of Denver (Denver, Colorado) in 1976, and his M.S. and Ph.D. degrees in Computer Science from Stanford University (Stanford, California) in 1978 and 1980 respectively. His thesis was titled, "Verifying Concurrent Processes Using Temporal Logic". [1]

Career at IBM

Dr. Hailpern joined the IBM T. J. Watson Research Center (Yorktown Heights, New York) as a Research Staff Member in 1980. He worked on and managed various projects relating to issues of concurrency and programming languages. In 1987, he founded the Programming Languages and Foundations Department as its senior manager. In 1989, he became the senior manager of Research's Software Environments Department. In 1990, Dr. Hailpern joined the Technical Strategy Development Staff in IBM Corporate Headquarters (Armonk, New York) returning to the Research Division in 1991, where he served as Senior Technical Consultant to the Research Division Vice President for Systems and Software.

In 1992, he became Program Director and Senior Manager, Operating Systems Structures Department, where he coordinated the Research Division's joint programs with IBM's AS/400 Division and Personal Software Products Division. The department he managed researched issues of operating systems principles, file systems, and multimedia servers. In 1995, he became the Department Manager for the Software Systems Department and in 1996 for the Internet Technology Department. He coordinated the Research Division relationship with Lotus Software and the IBM Pervasive Computing Division. He was responsible for a group of departments covering workflow, internet server performance, Internet software for K-12 education, electronic mail, and applications/middleware for handheld computers. He was also the client product manager for the IBM NetVista product. In 1996, he received IBM's Outstanding Innovation Award for his contributions to the IBM NetVista product.

From 1999 to 2004, he was the associate director of Computer Science for IBM Research. In 2004, he became the Department Group Manager for Software Technology, where, as Director of Programming Models and Tools, he managed departments researching Programming Technology, Software Engineering, and Tools for Non-Programmers. He moved to the research center in San Jose in October 2011, as Director of Computer Science.

He retired from IBM at the end of 2019 and currently works as a Professor for the Silicon Valley satellite campus of Northeastern University.

Associations, Conferences, and Journals

Dr. Hailpern has authored many publications [2] and United States patents, [3] along with numerous conference papers and book chapters. He is a past Secretary of the ACM, a past Chair of the ACM Special Interest Group on Programming Languages (SIGPLAN) [4] and a Fellow of the ACM [5] and the IEEE. [6] In 1998, he received SIGPLAN's Distinguished Service Award. [7] He was the chair of the SIGPLAN '91 Conference on Programming Language Design and Implementation (Toronto, Ontario, Canada) and was chair of SIGPLAN's OOPSLA '99 Conference [8] (Denver, Colorado). He is currently the co-chair of SIGPLAN's History of Programming Languages Conference (HOPL-III). [9] He was a member of the program committees for the SIGPLAN '92 PLDI Conference, the Second ACM History of Programming Languages Conference, the 1993 IEEE International Conference on Distributed Computing, the AAAI99 Symposium on Modal and Temporal Logic-based Planning for Open Networked Multimedia Systems, and the First International Conference on Service Oriented Computing. He was the exhibits chair for ACM's Multimedia 95 Conference and was the publicity chair for ACM SIGPLAN's OOPSLA 97 Conferenece. [10] He was an Area Director of ACM's SIGboard (1995–1996), a member of the editorial board for IEEE's Computer magazine (1989–1992), and a member of the OOPSLA Steering Committee (1998–2003, chair: 1999–2002, past chair 2002–2003). He was an Associate Editor for ACM's Transactions on Programming Languages and Systems (TOPLAS: 2001–2007). He was co-Guest Editor of the IBM Systems Journal special issue on Software Testing and Verification (2002) [11] and of the IBM Systems Journal special issue on Model Driven Development (2006). [12]

Personal

Dr. Hailpern was a Trustee of the Katonah-Lewisboro Union Free School District from July 2002 to June 2005. He was Vice President of the School Board from July 2003 to June 2004.

Related Research Articles

<span class="mw-page-title-main">Bjarne Stroustrup</span> Danish computer scientist, creator of C++ (born 1950)

Bjarne Stroustrup is a Danish computer scientist, most notable for the invention and development of the C++ programming language. Stroustrup served as a visiting professor of computer science at Columbia University beginning in 2014, where he has been a full professor since 2022.

<span class="mw-page-title-main">James Cordy</span> Canadian computer scientist and educator

James Reginald Cordy is a Canadian computer scientist and educator who is Professor Emeritus in the School of Computing at Queen's University. As a researcher he is most recently active in the fields of source code analysis and manipulation, software reverse and re-engineering, and pattern analysis and machine intelligence. He has a long record of previous work in programming languages, compiler technology, and software architecture.

<span class="mw-page-title-main">Per Brinch Hansen</span> Danish-American computer scientist

Per Brinch Hansen was a Danish-American computer scientist known for his work in operating systems, concurrent programming and parallel and distributed computing.

<span class="mw-page-title-main">Stuart Feldman</span> American computer scientist

Stuart Feldman is an American computer scientist. He is best known as the creator of the computer software program make. He was also an author of the first Fortran 77 compiler, was part of the original group at Bell Labs that created the Unix operating system, and participated in development of the ALTRAN and EFL programming languages.

OOPSLA is an annual ACM research conference. OOPSLA mainly takes place in the United States, while the sister conference of OOPSLA, ECOOP, is typically held in Europe. It is operated by the Special Interest Group for Programming Languages (SIGPLAN) group of the Association for Computing Machinery (ACM).

Programming Language Design and Implementation (PLDI) is an academic conference in computer science, in particular, in the study of programming languages and compilers. PLDI is organized by the Association for Computing Machinery under the SIGPLAN interest group.

<span class="mw-page-title-main">David P. Anderson</span> American research scientist (born 1955)

David Pope Anderson is an American research scientist at the Space Sciences Laboratory, at the University of California, Berkeley, and an adjunct professor of computer science at the University of Houston. Anderson leads the SETI@home, BOINC, Bossa, and Bolt software projects.

Jean E. Sammet was an American computer scientist who developed the FORMAC programming language in 1962. She was also one of the developers of the influential COBOL programming language.

Peri Tarr received her BS in Zoology from the University of Massachusetts Amherst in 1986, and her MS and PhD in Computer Science from the University of Massachusetts Amherst. Between her BS and MS/PhD, she worked full-time at the University of Massachusetts Physical Plant, attempting to introduce an automated system to help with the Plant's operations. After receiving her PhD, she joined the IBM Thomas J. Watson Research Center as a Research Staff Member in 1996, where she worked on and led various projects relating to issues of software composition, morphogenic software, and aspect-oriented software development.

<span class="mw-page-title-main">David Ungar</span> American computer scientist

David Michael Ungar, an American computer scientist, co-created the Self programming language with Randall Smith. The Self development environment's animated user experience was described in the paper Animation: From Cartoons to the User Interface co-written with Bay-Wei Chang, which won a lasting impact award at the ACM Symposium on User Interface Software and Technology 2004.

<span class="mw-page-title-main">Ken Kennedy (computer scientist)</span> American computer scientist

Ken Kennedy was an American computer scientist and professor at Rice University. He was the founding chairman of Rice's Computer Science Department.

<span class="mw-page-title-main">Carl Hewitt</span> American computer scientist; Planner programming languagedesigner (1944-2022)

Carl Eddie Hewitt was an American computer scientist who designed the Planner programming language for automated planning and the actor model of concurrent computation, which have been influential in the development of logic, functional and object-oriented programming. Planner was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. The actor model influenced the development of the Scheme programming language, the π-calculus, and served as an inspiration for several other programming languages.

Mary Lou Ehnot Soffa is an American computer scientist noted for her research on compilers, program optimization, system software and system engineering.

<span class="mw-page-title-main">Kathryn S. McKinley</span> American computer scientist

Kathryn S. McKinley is an American computer scientist noted for her research on compilers, runtime systems, and computer architecture. She is also known for her leadership in broadening participation in computing. McKinley was co-chair of CRA-W from 2011 to 2014.

<span class="mw-page-title-main">Kathleen Fisher</span> American computer scientist

Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.

<span class="mw-page-title-main">Yannis Smaragdakis</span> American computer scientist

Yannis Smaragdakis is a Greek-American software engineer, computer programmer, and researcher. He is a professor in the Department of Informatics and Telecommunications at the University of Athens. He is the author of more than 130 research articles on a variety of topics, including program analysis, declarative languages, program generators, language design, and concurrency. He is best known for work in program generation and program analysis and the Doop framework.

Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science. He is known for his pioneering works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, reliable and trustworthy artificial intelligence, where he introduced abstract interpretation methods for reasoning about deep neural networks to enable the verification of large machine learning models, and quantum programming, introducing the first high-level programming language and system Silq.

References

  1. ↑ "Brent Hailpern". Khoury College of Computer Sciences. Retrieved 2023-11-20.
  2. ↑ "Brent T. Hailpern - ACM Author Profile". ACM.
  3. ↑ "Patent Database Search Results: IN/"Hailpern; Brent"". U.S. Patent and Trademark Office.
  4. ↑ "ACM SIGPLAN Notices" (PDF). ACM SIGPLAN. 1994.
  5. ↑ "ACM Fellows". ACM.
  6. ↑ "IEEE Fellows in Region 1 Northeastern USA". IEEE. Archived from the original on 2009-09-27. Retrieved 2009-11-27.
  7. ↑ "SIGPLAN Distinguished Service Award Recipients". ACM SIGPLAN. 1998. Archived from the original on 2011-07-24.
  8. ↑ "OOPSLA '99 Conference and Program Committees". ACM SIGPLAN. 1999.
  9. ↑ Proceedings of the third ACM SIGPLAN conference on History of programming languages. ACM SIGPLAN. 2007.
  10. ↑ "OOPSLA '97 Conference and Program Committees". ACM SIGPLAN. 1997.
  11. ↑ "IBM Systens Journal, "Software debugging, testing, and verification"". IBM. 2002.
  12. ↑ "IBM Systens Journal, "Model-driven development: The good, the bad, and the ugly"". IBM. 2006.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.