以下信息来自ACM

Citation

For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.

Full Citation

Barbara Liskov has led important developments in computing by creating and implementing programming languages, operating systems, and innovative systems designs that have advanced the state of the art of data abstraction, modularity, fault tolerance, persistence, and distributed computing systems.

The Venus operating system was an early example of principled operating system design. The CLU programming language was one of the earliest and most complete programming languages based on modules formed from abstract data types and incorporating unique intertwining of both early and late binding mechanisms. ARGUS extended many of the CLU ideas to distributed programming, and incorporated the first versions of nested transactions to maintain predictable consistencies. Other advances include solutions elegantly combining theory and pragmatics in the areas of decentralized information flow, replicated storage and caching of persistent objects, and modular upgrading of distributed systems. Her contributions have been incorporated into the practice of programming, thereby influencing many of the most important systems used today: for programming, specification, systems design, and distributed architectures.

以下信息来自专家的个人主页

Barbara Liskov Ford Professor of Engineering Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Programming Methodology Group 32 Vassar St. 32-G942 Cambridge, MA 02139 (617) 253-5886 fax: (617) 253-8460 email: liskov at csail.mit.edu

Programming Methodology Group

In the news:

• Awarded Honorary Doctorate at ETH
• Receipient of the 2004 IEEE John von Neumann Medal
• MIT News Article: MIT's Magnificent Seven: Women faculty members cited as top scientists

Index of publications from the DBLP Bibliography Server

Curriculum Vitae [ ps | pdf ]

以下信息来自MIT

Barbara Liskov wins Turing Award

ACM cites 'foundational innovations' in programming language design

March 10, 2009

Institute Professor Barbara Liskov has won the Association for Computing Machinery's A.M. Turing Award, one of the highest honors in science and engineering, for her pioneering work in the design of computer programming languages. Liskov's achievements underpin virtually every modern computing-related convenience in people's daily lives.

Liskov, the first U.S. woman to earn a PhD from a computer science department, was recognized for helping make software more reliable, consistent and resistant to errors and hacking. She is only the second woman to receive the honor, which carries a $250,000 purse and is often described as the "Nobel Prize in computing."

"Computer science stands squarely at the center of MIT's identity, and Institute Professor Barbara Liskov's unparalleled contributions to the field represent an MIT ideal: groundbreaking research with profound benefits for humankind. We take enormous pride that she has received the Turing Award," said MIT President Susan Hockfield.

"Barbara Liskov pioneered some of the most important advances in fundamental computer science," said Provost L. Rafael Reif. "Her exceptional achievements have leapt from the halls of academia to transform daily life around the world. Every time you exchange e-mail with a friend, check your bank statement online or run a Google search, you are riding the momentum of her research."

Liskov heads the Programming Methodology Group in the Computer Science and Artificial Intelligence Laboratory at MIT, where she has conducted research since 1972. Last year, she was named an Institute Professor, the highest honor awarded to an MIT faculty member.

"For nearly four decades, Barbara has been a seminal leader in programming languages and systems research at MIT, combining great intellectual insights with practicality," said CSAIL Director Victor Zue, the Delta Electronics Professor in the Department of Electrical Engineering and Computer Science. "All of us at CSAIL are extremely pleased and proud of this latest accolade -- the highest honor in computer science."

Advances in Software Design

Liskov's early innovations in software design have been the basis of every important programming language since 1975, including Ada, C++, Java and C#.

Liskov's most significant impact stems from her influential contributions to the use of data abstraction, a valuable method for organizing complex programs. She was a leader in demonstrating how data abstraction could be used to make software easier to construct, modify and maintain. Many of these ideas were derived from her experience at Mitre Corp. in building the VENUS operating system, a small, interactive timesharing system.

In another contribution, Liskov designed CLU, an object-oriented programming language incorporating clusters to provide coherent, systematic handling of abstract data types. She and her colleagues at MIT subsequently developed efficient CLU compiler implementations on several different machines, an important step in demonstrating the practicality of her ideas. Data abstraction is now a generally accepted fundamental method of software engineering that focuses on data rather than processes.

Building on CLU concepts, Liskov followed with Argus, a distributed programming language. Its novel features led to further developments in distributed system design that could scale to systems connected by a network. This achievement laid the groundwork for modern search engines, which are used by thousands of programmers and hundreds of millions of users every day and which face the challenges of concurrent operation, failure and continually growing scale.

Her most recent research focuses on techniques that enable a system to continue operating properly in the event of the failure of some of its components. Her work on practical Byzantine fault tolerance demonstrated that there were more efficient ways of dealing with arbitrary (Byzantine) failures than had been previously known. Her insights have helped build robust, fault-tolerant distributed systems that are resistant to errors and hacking. This research is likely to change the way distributed system designers think about providing reliable service on today's modern, vulnerable Internet.

The Turing Award is given annually by the Association for Computing Machinery and is named for British mathematician Alan M. Turing, who helped the Allies crack the Nazi Enigma cipher during World War Two. Liskov will formally receive the award at an ACM gathering on June 27 in San Diego.

转载本文请联系原作者获取授权，同时请注明本文来自黄富强科学网博客。
链接地址：https://m.sciencenet.cn/blog-89075-219799.html

上一篇：WOMEN IN PROGRAMMING
下一篇：Berkeley EECS Annual Research Symposium