selective ownership combining object and type hierarchies
play

Selective Ownership: Combining Object and Type Hierarchies for - PowerPoint PPT Presentation

Sep 15, 2022 •207 likes •1.53k views

Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing Stephanie Balzer, Thomas R. Gross, and Peter Mller School of Computer Science, Carnegie Mellon University Department of Computer Science, ETH Zurich FOOL 2012

  1. Type order Legend: type type order instance + ownership modifying reference A B a1 a2 b1 b2 b3 C F c1 c2 d1 e1 e2 e3 D E G 8

  2. Type order Legend: type type order instance + ownership modifying reference A B a1 a2 b1 b2 b3 C F c1 c2 d1 e1 e2 e3 D E G 8

  3. Type order Legend: type type order instance + ownership modifying reference A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  4. Type order Legend: type type order instance + ownership modifying reference A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  5. Type order Legend: type type order instance + ownership modifying reference A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  6. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  7. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b3 C F c1 c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  8. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b3 C F ✗ c1 c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  9. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b3 C F c1 c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  10. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  11. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  12. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b2 b3 ✗ C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  13. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  14. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  15. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b3 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  16. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 8

  17. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G Heap forms DAG with “sub-trees” (w.r.t. modifying access) 8

  18. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) restricted, modifying access A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G Heap forms DAG with “sub-trees” (w.r.t. modifying access) 8

  19. Type order Legend: type type order instance + ownership modifying reference ownership (modifying ref) restricted, modifying access A B a1 a2 b1 b2 b3 C F shared, c1 c2 f1 f2 modifying access d1 e1 e2 e3 g1 D E G Heap forms DAG with “sub-trees” (w.r.t. modifying access) 8

  20. Recap 9

  21. Recap OO verification challenges • Visible-state semantics in presence of call-backs • Modular verification of multi-object invariants Ownership-based verification • Leverages tree topology to prevent modifying call-backs • Leverages tree topology to encapsulate ownership-based invariants 9

  22. Recap OO verification challenges • Visible-state semantics in presence of call-backs • Modular verification of multi-object invariants Ownership-based verification • Leverages tree topology to prevent modifying call-backs • Leverages tree topology to encapsulate ownership-based invariants Selective ownership • Leverages type order to prevent modifying call-backs • Leverages ownership to encapsulate ownership-based invariants 9

  23. Verification: type order F 10

  24. Verification: type order A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 10

  25. Verification: type order A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G No transitive call-backs 10

  26. Verification: type order A B a1 a2 b1 b2 b3 ✗ C F c1 c2 f1 f2 d1 e1 e2 e3 e3 g1 D E G No transitive call-backs 10

  27. Verification: type order A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 10

  28. Verification: type order invariant (b2) A B a1 a2 b1 b2 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 10

  29. Verification: type order invariant (b2) A B a1 a2 b1 b2 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G Visible-state semantics for single-object invariants is sound 10

  30. Verification: type order + object ownership A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 11

  31. Verification: type order + object ownership A B a1 a2 b1 b2 b3 C F c1 c2 f1 f2 d1 e1 e2 e3 g1 D E G 11

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Rich Feature Hierarchies for Accurate Object Detection and Semantic Segmentation Authors: Ross

Rich Feature Hierarchies for Accurate Object Detection and Semantic Segmentation Authors: Ross

Rich Feature Hierarchies for Accurate Object Detection and Semantic Segmentation Authors: Ross Girshick, Jeff Donahue, Trevor Darrell, Jitendra Malik Presented by Huihuang Zheng Problem: Object Detection Regionlets SegDPM (2013) Selective

499 views • 19 slides
Selective Restructuring of Bo nding Vol me Hierarchies for Bounding Volume Hierarchies for

Selective Restructuring of Bo nding Vol me Hierarchies for Bounding Volume Hierarchies for

Selective Restructuring of Bo nding Vol me Hierarchies for Bounding Volume Hierarchies for Dynamic Models y Sung-Eui Yoon KAIST (Korea Advanced Institute of Science and Technology) and Technology) At Previous Class At Previous Class

471 views • 34 slides
Integrable twisted hierarchies Twisted with D 2 symmetries hierarchies of a splitting type

Integrable twisted hierarchies Twisted with D 2 symmetries hierarchies of a splitting type

Integrable twisted hierarchies Derchyi Wu Motivation The Adler-Kostant- Symes Theorem Integrable twisted hierarchies Twisted with D 2 symmetries hierarchies of a splitting type Twisted flows of a splitting type Examples Derchyi Wu

726 views • 36 slides
Teams, Hierarchies, and Employee Ownership Model Results Conclusion Karen F Bernhardt-Walther

Teams, Hierarchies, and Employee Ownership Model Results Conclusion Karen F Bernhardt-Walther

Teams, Hierarchies, and Employee Ownership Karen F Bernhardt- Walther Introduction Teams, Hierarchies, and Employee Ownership Model Results Conclusion Karen F Bernhardt-Walther University of Chicago Booth School of Business February

784 views • 60 slides
Selective Search for Object Recognition Uijlings et al. Schuyler Smith Overview

Selective Search for Object Recognition Uijlings et al. Schuyler Smith Overview

Selective Search for Object Recognition Uijlings et al. Schuyler Smith Overview Introduction Object Recognition Selective Search Similarity Metrics Results Object Recognition Kitten Goal: Problem: Where do we look in

725 views • 44 slides
Selective Search for Object Recognition Uijlings et al. (IJCV 2013) Some figures are from

Selective Search for Object Recognition Uijlings et al. (IJCV 2013) Some figures are from

Selective Search for Object Recognition Uijlings et al. (IJCV 2013) Some figures are from http://vision.stanford. edu/teaching/cs231b_spring1415/slides/ssearch_schuyler.pdf Object Recognition Find Object and Recognize it Contribution

391 views • 20 slides
Object Ownership in Program Verification Werner Dietl - University of Washington Peter Mller -

Object Ownership in Program Verification Werner Dietl - University of Washington Peter Mller -

Object Ownership in Program Verification Werner Dietl - University of Washington Peter Mller - ETH Zrich Presentation by Roman Schmocker Motivation Object Ownership The basic concepts Goal: Information on Heap structuring

527 views • 27 slides
VHDL VHDL - Flaxer Eli Ch 4 - 1 Object & Type Outline Keyword Identifiers &

VHDL VHDL - Flaxer Eli Ch 4 - 1 Object & Type Outline Keyword Identifiers &

Chapter 4 Data Object and Type VHDL VHDL - Flaxer Eli Ch 4 - 1 Object & Type Outline Keyword Identifiers & Comment Data Object Data Type Scalar Type Composite Type Pointer Type Incomplete Types File

413 views • 14 slides
Segmentation as selective search for object recognition Elie Cattan 6/12/2013 Introduction

Segmentation as selective search for object recognition Elie Cattan 6/12/2013 Introduction

Segmentation as selective search for object recognition Elie Cattan 6/12/2013 Introduction Object recognition Exhaustive search Quick computation needed Selective search Introduction This paper Coarse location

473 views • 16 slides
Operational Aspects of Type Systems Inter-Derivable Semantics of Type Checking and Gradual Types

Operational Aspects of Type Systems Inter-Derivable Semantics of Type Checking and Gradual Types

Operational Aspects of Type Systems Inter-Derivable Semantics of Type Checking and Gradual Types for Object Ownership Ilya Sergey 14 November 2012 Types A type - is a set of data instances and operations on them true , false boolean =

1.27k views • 86 slides
Selective Search for Object Recognition J.R.R. Uijlings 1,2 , K.E.A. van de Sande 2 , T.

Selective Search for Object Recognition J.R.R. Uijlings 1,2 , K.E.A. van de Sande 2 , T.

Selective Search for Object Recognition J.R.R. Uijlings 1,2 , K.E.A. van de Sande 2 , T. Gevers 2 , and A.W.M. Smeulders 2 1 University of Trento, Italy 2 University of Amsterdam, the Netherlands Technical Report 2012, submitted to IJCV

673 views • 31 slides
CS488 More Geometric Transformations, Object Hierarchies, and some Fonts Luc R ENAMBOT 1

CS488 More Geometric Transformations, Object Hierarchies, and some Fonts Luc R ENAMBOT 1

CS488 More Geometric Transformations, Object Hierarchies, and some Fonts Luc R ENAMBOT 1 Previous Lectures Frame buffers Drawing a line (Midpoint Line Algorithm) Polygon Filling (Edge-table algorithm) Line Clipping

867 views • 38 slides
lecture 9 Object hierarchies - call trees and GL_MODELVIEW stack - fractals - L systems

lecture 9 Object hierarchies - call trees and GL_MODELVIEW stack - fractals - L systems

lecture 9 Object hierarchies - call trees and GL_MODELVIEW stack - fractals - L systems Last lecture: - hierarchy of bounding volumes of objects and scenes - spatial partition represented as a tree (BSP trees, octrees) Today: - how

918 views • 54 slides
CS 2334 Project 1: Elemental Finch Actions Object Oriented Design Class Hierarchies and

CS 2334 Project 1: Elemental Finch Actions Object Oriented Design Class Hierarchies and

CS 2334 Project 1: Elemental Finch Actions Object Oriented Design Class Hierarchies and Abstraction Generating Proper Documentation String Manipulation Plan for Today Using javadoc effectively Project 1 overview: What to do

560 views • 25 slides
Rich feature hierarchies for accurate object detection and semantic segmentation Ross Girshick, Je

Rich feature hierarchies for accurate object detection and semantic segmentation Ross Girshick, Je

Rich feature hierarchies for accurate object detection and semantic segmentation Ross Girshick, Je ff Donahue, Trevor Darrell, Jitendra Malik UC Berkeley Tech Report @ http://arxiv.org/abs/1311.2524 Detection & Segmentation input

704 views • 37 slides
Review A Review of our Toolkit The Object class Pro: A variable of type Object can hold

Review A Review of our Toolkit The Object class Pro: A variable of type Object can hold

Review A Review of our Toolkit The Object class Pro: A variable of type Object can hold a value of any other type Con: Processing does not know what in the Object variable Type Casting float f = 12.0; int i = (int)f; Object o

519 views • 20 slides
Whats next for Traditional Functional QA Managers? JIM TRENTADUE OCTOBER 2017

Whats next for Traditional Functional QA Managers? JIM TRENTADUE OCTOBER 2017

NW SOFTW ARE QUALITY CIFIC CONFERENCE A P Whats next for Traditional Functional QA Managers? JIM TRENTADUE OCTOBER 2017 JIM.TRENTADUE@OUTLOOK.COM PNSQC NW SOFTW ARE QUALITY CIFIC CONFERENCE A P Agenda Agile evolution

631 views • 15 slides
Ownership and Immutability in Generic Java (OIGJ) Yoav Zibin + , Alex Potanin * Paley Li * ,

Ownership and Immutability in Generic Java (OIGJ) Yoav Zibin + , Alex Potanin * Paley Li * ,

Ownership and Immutability in Generic Java (OIGJ) Yoav Zibin + , Alex Potanin * Paley Li * , Mahmood Ali ^ , and Michael Ernst $ Presenter: Yossi Gil + + IBM * Victoria,NZ ^ MIT $ Washington Ownership + Immutability Our previous work OGJ:

517 views • 22 slides
JavaD: Bringing Ownership Domains to Mainstream Java Marwan Abi-Antoun Ph.D. Project

JavaD: Bringing Ownership Domains to Mainstream Java Marwan Abi-Antoun Ph.D. Project

JavaD: Bringing Ownership Domains to Mainstream Java Marwan Abi-Antoun Ph.D. Project Presentation 17-754: Analysis of Software Artifacts Some slides adapted from a talk by Neelakantan Krishnaswami

628 views • 11 slides
Leadership via Leadership via Shared Ownership Shared Ownership An Approach to Co-Managing a

Leadership via Leadership via Shared Ownership Shared Ownership An Approach to Co-Managing a

Leadership via Leadership via Shared Ownership Shared Ownership An Approach to Co-Managing a An Approach to Co-Managing a An Approach to Co-Managing a Digital Scholarship Center Hello! Were the Freedman Center team Jared Amanda

589 views • 21 slides
CS 188: Artificial Intelligence Nave Bayes Instructors: Sergey Levine and Stuart Russell ---

CS 188: Artificial Intelligence Nave Bayes Instructors: Sergey Levine and Stuart Russell ---

CS 188: Artificial Intelligence Nave Bayes Instructors: Sergey Levine and Stuart Russell --- University of California, Berkeley [These slides were created by Dan Klein, Pieter Abbeel, Sergey Levine, with some materials from A. Farhadi. All

771 views • 45 slides
Overlap Number of Graphs Daniel W. Cranston Virginia Commonwealth University dcranston@vcu.edu

Overlap Number of Graphs Daniel W. Cranston Virginia Commonwealth University dcranston@vcu.edu

Overlap Number of Graphs Daniel W. Cranston Virginia Commonwealth University dcranston@vcu.edu Slides available on my preprint page Joint with Nitish Korula, Tim LeSaulnier, Kevin Milans Chris Stocker, Jenn Vandenbussche, and Doug West

1.39k views • 80 slides
On the Security Goals of White-box Cryptography Estuardo Alprez Bock, Alessandro Amadori, Chris

On the Security Goals of White-box Cryptography Estuardo Alprez Bock, Alessandro Amadori, Chris

On the Security Goals of White-box Cryptography Estuardo Alprez Bock, Alessandro Amadori, Chris Brzuska, Wil Michiels White-box attack scenario Encryption m c Adversary gets access to an implementation code and its execution

378 views • 23 slides
Non Clairvoyant Dynamic Mechanism Design Vahab Mirrokni Renato Paes Leme (Google)

Non Clairvoyant Dynamic Mechanism Design Vahab Mirrokni Renato Paes Leme (Google)

Non Clairvoyant Dynamic Mechanism Design Vahab Mirrokni Renato Paes Leme (Google) (Google) Pingzhong Tang Song Zuo (Tsinghua) (Tsinghua) This talk in one slide This talk in one slide This talk in

771 views • 48 slides

More recommend