DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Barbara Liskov
Barbara Liskov
The Power of Abstraction
MIT Turing Laureates Propose Creation of School of Computing an Open Letter to President Rafael Reif
Arxiv:1909.05204V3 [Cs.DC] 6 Feb 2020
Safe and Efficient Sharing of Persistent Objects in Thor
Arxiv:2106.11534V1 [Cs.DL] 22 Jun 2021 2 Nanjing University of Science and Technology, Nanjing, China 3 University of Southampton, Southampton, U.K
Introduction to the Literature on Programming Language Design Gary T
Distributed Computing Column 36 Distributed Computing: 2009 Edition
Interview with Barbara Liskov ACM Turing Award Recipient 2008 Done at MIT April 20, 2016 Interviewer Was Tom Van Vleck
Alan Mathison Turing and the Turing Award Winners
The Power of Abstraction
Operating Systems and Middleware: Supporting Controlled Interaction
Barbara Liskov
AM Turing Awards Winners Panel Discussions
Chapter on Distributed Computing
Undecidable Languages Turing-Decidable Monday, March 29 Thursday, April 1 Spring 2010 3:30Pm in MEC 205 2:00Pm in Chemistry
Human Space Flight
Report on the Workshop on Fundamental Issues in Distributed Computing
Professor Barbara Liskov Has Been Awarded an Honorary
Top View
Table of Contents
Type-Based Alias Analysis Amer Diwan Stanford University
Data Abstraction and Hierarchy
Annual Report
Abstraction Mechanisms in CLU
Barbara Liskov Barbara Liskov Is an Institute Professor at MIT and Also Associate Provost for Faculty Equity
Awards Presentations
Database and Distributed Computing Foundations of Blockchains
Co-Authorship Proximity of A. M. Turing Award and John Von Neumann Medal Winners to the Disciplinary Boundaries of Computer Science
Celebration of 50 Years of the A.M. Turing Award
A Language for Parallel Programming
Bibliography
Contents U U U
Why We're Able to Google
(Teams Removed to Preserve Email Address Privacy) Prizes
Contemporary Approaches to Fault Tolerance
A Bibliography of the ACM Turing Awards (1966–Date)
Computer Scientists in Support of Petitioner
United States V. Microsoft Amicus Contributors in Microsoft’S Case Challenging a U.S
Transactional Consistency and Automatic Management in an Application Data Cache Dan R
How Connected Are the ACM SIG Communities?
Ed Catmull, Co-Founder of Pixar, Served As President of Pixar for 33 Years, and President of Disney Animation for 13 of Those 33 Years, Prior to Retiring
Liskov Wins Turing Award ACM Cites ‘Foundational Innovations’ in Programming Language Design
Remarks on Computing the Future & Turing Panel
Concepts and Notations for Concurrent Programming; ACM Computing Surveys 15, 1 (March 1983) Pp
A Prosopography of Turing Award Laureates (1966-2016) Camille Akmut
Notes to the Reader
John Von Neumann
An Interview with Leslie Lamport 2013 Recipient of the ACM Turing Award
A Prosopography of Turing Award Laureates (1966-2016)
Introduction and First Container Class
The Spec# Programming System: an Overview
Reflections on Programming Methodology
The Power of Abstraction
The Impact of Women in Computer Science History: a Post-War American History