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

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
Relational Data Hierarchies CSC544 Why hierarchies?

Relational Data Hierarchies CSC544 Why hierarchies?

Relational Data Hierarchies CSC544 Why hierarchies? http://www.sci.utah.edu/~miriah/cs6630/lectures/L13-trees-graphs.pdf Scatterplots; dot plots; line charts, etc. Until now, our data points were independent of one another In

1.15k views • 61 slides
Relational Data Hierarchies CSC444 Why hierarchies?

Relational Data Hierarchies CSC444 Why hierarchies?

Relational Data Hierarchies CSC444 Why hierarchies? http://www.sci.utah.edu/~miriah/cs6630/lectures/L13-trees-graphs.pdf Scatterplots; dot plots; line charts, etc. Until now, our data points were independent of one another In

749 views • 55 slides
Relational Data Hierarchies CS444 Why hierarchies?

Relational Data Hierarchies CS444 Why hierarchies?

Relational Data Hierarchies CS444 Why hierarchies? http://www.sci.utah.edu/~miriah/cs6630/lectures/L13-trees-graphs.pdf Scatterplots; dot plots; line charts, etc. Until now, our data points were independent of one another In

861 views • 60 slides
Flexible Object Hierarchies in polymake Ewgenij Gawrilow, Michael Joswig Depts. of Mathematics at

Flexible Object Hierarchies in polymake Ewgenij Gawrilow, Michael Joswig Depts. of Mathematics at

Introduction Objects Programming Model Flexible Object Hierarchies in polymake Ewgenij Gawrilow, Michael Joswig Depts. of Mathematics at Technische Universit at Berlin & Technische Universit at Darmstadt ICMS 2006 Castro

217 views • 20 slides
Type-based Object Immutability with Flexible Initialization Christian Haack 1 , 2 and Erik

Type-based Object Immutability with Flexible Initialization Christian Haack 1 , 2 and Erik

Type-based Object Immutability with Flexible Initialization Christian Haack 1 , 2 and Erik Poll 1 1 Radboud University, Nijmegen 2 aicas GmbH, Karlsruhe Abstract. We present a type system for checking object immutability, read-only

390 views • 25 slides
Filesystem Attributes Name Ownership Type Position Size Allocated size

Filesystem Attributes Name Ownership Type Position Size Allocated size

Calcolatori Elettronici e Sistemi Operativi File Logical unit of storage usually persistent shareable among processes and users Filesystem Attributes Name Ownership Type Position Size Allocated size

214 views • 10 slides
Chad Voegele Selective Search for Object Recognition Outline 1. Individual contribution of

Chad Voegele Selective Search for Object Recognition Outline 1. Individual contribution of

Chad Voegele Selective Search for Object Recognition Outline 1. Individual contribution of region similarity measures 2. Importance of good base segmentation 3. Box overlap correspondence to recognition 3 Outline 1. Individual contribution

770 views • 41 slides
CS381V Paper Presentation Chun-Chen Kuo Selective Search for Object Recognition Outline

CS381V Paper Presentation Chun-Chen Kuo Selective Search for Object Recognition Outline

CS381V Paper Presentation Chun-Chen Kuo Selective Search for Object Recognition Outline Problem statement Technical details Evaluation Extensions Problem Statement Image Classification Input: training set and

1.16k views • 38 slides

More recommend