performance evaluation for gradual typing
play

Performance Evaluation for Gradual Typing Asumu Takikawa Daniel - PowerPoint PPT Presentation

Jun 14, 2023 •403 likes •829 views

Performance Evaluation for Gradual Typing Asumu Takikawa Daniel Feltey *Ben Greenman Max S. New Jan Vitek Matthias Felleisen 9 years of sound gradual typing Gradual Typing for Functional Languages, Jeremy Siek & Walid Taha. SFP '06

  1. Performance Evaluation for Gradual Typing Asumu Takikawa Daniel Feltey *Ben Greenman Max S. New Jan Vitek Matthias Felleisen

  2. 9 years of sound gradual typing Gradual Typing for Functional Languages, Jeremy Siek & Walid Taha. SFP '06 Interlanguage Migration: From Scripts to Programs, Sam Tobin-Hochstadt & Matthias Felleisen. OOPSLA '06

  3. 9 years of sound gradual typing Micro Macro

  4. Micro - focus on single-module programs - type system catches incompatibilities - all values implicitly type DYN

  5. Macro - multi-module, untyped programs - eliminate a class of errors - each module fully typed/untyped

  6. 9 years of sound gradual typing SFP'06 ICFP'09 POPL'10 ML'07 ESOP'12 ICFP'14 POPL'15 ECOOP'07 ESOP'09 ECOOP'10 POPL'12 DLS'13 ECOOP'15 POPL'07 DLS'08 SAC'09 ECOOP'11 SFP'12 OOPSLA'14 OOPSLA'06 STOP'09 POPL'10 ESOP'13 ECOOP'08 OOPSLA'09 OOPSLA'12 SFP'07 POPL'08 FOOL'10 PLDI'11 ECOOP'15 Over 50 publications since 2006 http://github.com/samth/gradual-typing-bib

  7. Performance?

  8. Performance? 4x 10x 22x 33x

  9. 9 years of publications and nobody publishes evaluations because performance sucks

  10. Gradual Typing ... is practical?

  11. Gradual Typing ... is practical?

  12. Performance? Soundness?

  13. Types without Soundness - catch "obvious" logical errors - serve as documentation - may not be correct, or complete

  14. Types + Soundness ! eliminate a class of errors from typed code typed

  15. Every typed language... Rests on an untyped runtime

  16. Option 1: Trusted Computing Base (Bogus)

  17. Option 2: Check Everything (Safe & very slow)

  18. Types + Soundness (revised) eliminate a class of errors from typed code identify errors at typed-untyped boundaries

  19. Option 1: Trusted Computing Base Option 2: Check Everything

  20. The Reality of (Macro) Gradual Typing

  21. The Reality of (Macro) Gradual Typing

  22. The Reality of (Macro) Gradual Typing

  23. The Reality of (Macro) Gradual Typing

  24. The Reality of (Macro) Gradual Typing

  25. The Reality of (Macro) Gradual Typing

  26. The Reality of (Macro) Gradual Typing

  27. Recap - Gradual type systems have "bad" performance - Type soundness is imperative - Issue: typed-untyped boundaries

  28. The Reality of (Macro) Gradual Typing

  29. The Reality of (Macro) Gradual Typing

  30. The Reality of (Macro) Gradual Typing ?

  31. Proposal I. Define "boundary" II. Run the entire lattice III. Define "performant" IV. Report the % of performant variations

  32. To be continued... If you agree , then use our framework If you disagree , then propose an alternative Bottom line: no more "footnotes" on performance!

  34. How to Scale? - Hire a cluster - Random sampling - Offer fewer configurations - Tools to identify / exclude configs.

  35. Gradual Typing: Promise Sound Expressive Performant

  36. Boundaries Integer , please Here! Thanks! 2

  37. Boundaries Integer , please Here! TYPE ERROR lol

  38. Boundaries List of Integer , please Here! Thanks! [ 2 , 2 , 2 ]

  39. Boundaries Function , please Use it well ... +

  41. Reinheitsgebot 1 barrel of wine + 1 teaspoon of sewage = 1 barrel of sewage

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

Gradual Information Flow Typing Tim Disney Cormac Flanagan University of California Santa Cruz

Gradual Information Flow Typing Tim Disney Cormac Flanagan University of California Santa Cruz

Gradual Information Flow Typing Tim Disney Cormac Flanagan University of California Santa Cruz January 29th, 2011 - STOP 2011 Combining gradual typing with information flow Gradual Information + Typing Flow = More secure software

1.1k views • 82 slides
Gradual Typing with Inference Jeremy Siek University of Colorado at Boulder joint work with

Gradual Typing with Inference Jeremy Siek University of Colorado at Boulder joint work with

Gradual Typing with Inference Jeremy Siek University of Colorado at Boulder joint work with Manish Vachharajani Overview Motivation Background Gradual Typing Unification-based inference Exploring the Solution Space Type

1.25k views • 83 slides
Is Sound Gradual Typing Dead? Asumu Takikawa Daniel Feltey Ben Greenman Max S. New Jan Vitek

Is Sound Gradual Typing Dead? Asumu Takikawa Daniel Feltey Ben Greenman Max S. New Jan Vitek

Is Sound Gradual Typing Dead? Asumu Takikawa Daniel Feltey Ben Greenman Max S. New Jan Vitek Matthias Felleisen Gradual typing thesis 1. People write untyped code 2. Static types help maintain software 3. Sound types can be added

754 views • 72 slides
The Recursive Union of Some Gradual Types Jeremy G. Siek Sam Tobin-Hochstadt Indiana

The Recursive Union of Some Gradual Types Jeremy G. Siek Sam Tobin-Hochstadt Indiana

The Recursive Union of Some Gradual Types Jeremy G. Siek Sam Tobin-Hochstadt Indiana University, Bloomington 1/ 24 Gradual Typing Goal: support the entire spectrum in one language. Program Dependent Static Dynamic Logics Types Typing

382 views • 24 slides
Gradual typing is morally incorrect; were all monsters now Timothy Jones and Michael Homer

Gradual typing is morally incorrect; were all monsters now Timothy Jones and Michael Homer

Gradual typing is morally incorrect; were all monsters now Timothy Jones and Michael Homer Victoria University of Wellington {tim,mwh}@ecs.vuw.ac.nz October 27, 2015 Introduction Meaning in the gradually typed world A type assertion

547 views • 43 slides
T Gradual typing for R Jan Vitek, Northeastern University Types enhance productivity The Iron

T Gradual typing for R Jan Vitek, Northeastern University Types enhance productivity The Iron

This is is not a type: T Gradual typing for R Jan Vitek, Northeastern University Types enhance productivity The Iron Rolling Mill by Adolf Menzel function ( x ) { var y = x ? 2 : Y if x y += ES else y += 40 return y } Types

779 views • 31 slides
A Gradual Typing Poem Sam Tobin-Hochstadt & Robby Finder 1 The Problem Write a function

A Gradual Typing Poem Sam Tobin-Hochstadt & Robby Finder 1 The Problem Write a function

A Gradual Typing Poem Sam Tobin-Hochstadt & Robby Finder 1 The Problem Write a function that accepts the specification of an infinite regular tree and turn it into a representation of the tree 2 The Problem Write a function that accepts

565 views • 37 slides
Typing and ML Typing and ML A name for a set of values and some operations which can be

Typing and ML Typing and ML A name for a set of values and some operations which can be

Typing Typing Typing and ML Typing and ML A name for a set of values and some operations which can be performed on that set of values. CSC324 A collection of computational entities that share some common property. Winter 2007

412 views • 9 slides
Gradual Python with Colored Local Type Inference Joe Angell April 29, 2009 Joe Angell Gradual

Gradual Python with Colored Local Type Inference Joe Angell April 29, 2009 Joe Angell Gradual

Gradual Python with Colored Local Type Inference Joe Angell April 29, 2009 Joe Angell Gradual Python with Colored Local Type Inference Motivation Python programmers use dynamic typing Lets type check what we can, and what the programmer

303 views • 11 slides
What is a performance evaluation? Performance Management v. Performance Evaluation Evaluation

What is a performance evaluation? Performance Management v. Performance Evaluation Evaluation

3/16/2015 Employee Performance Evaluations and Their Importance Presented by Summer Randall March 18, 2015 What is a performance evaluation? Performance Management v. Performance Evaluation Evaluation Management One time event Ongoing

175 views • 6 slides
Consistent Subtyping for All Ningning Xie Xuan Bi Bruno C. d. S. Oliveira 16 April, 2018 The

Consistent Subtyping for All Ningning Xie Xuan Bi Bruno C. d. S. Oliveira 16 April, 2018 The

Consistent Subtyping for All Ningning Xie Xuan Bi Bruno C. d. S. Oliveira 16 April, 2018 The University of Hong Kong ESOP 2018, Thessaloniki, Greece 1 Gradual Typing 101 The key external feature of every gradual type system is the

853 views • 61 slides
How to Evaluate the Performance of Gradual Type Systems Ben Greenman Asumu Takikawa Max S. New

How to Evaluate the Performance of Gradual Type Systems Ben Greenman Asumu Takikawa Max S. New

How to Evaluate the Performance of Gradual Type Systems Ben Greenman Asumu Takikawa Max S. New Daniel Feltey Robert Bruce Findler Jan Vitek Matthias Felleisen 1 Contribution: Our paper presents the first systematic method to measure the

701 views • 47 slides
Title goes here Tools for Performance Evaluation Timing and performance evaluation has been

Title goes here Tools for Performance Evaluation Timing and performance evaluation has been

Title goes here Tools for Performance Evaluation Timing and performance evaluation has been an art Experiences and Lessons Learned Resolution of the clock with a Portable Interface to Issues about cache effects Hardware Performance

594 views • 5 slides
Telematics 2 & Performance Evaluation Chapter 4 Introduction to Performance Evaluation

Telematics 2 & Performance Evaluation Chapter 4 Introduction to Performance Evaluation

Telematics 2 & Performance Evaluation Chapter 4 Introduction to Performance Evaluation Telematics 2 / Performance Evaluation (WS 17/18): 04 PE Introduction 1 Overview q Goals of Performance Evaluation q Basic Notions: System and Model

317 views • 27 slides
MEKONOMEN GROUP January June 2020 August 21, 2020 1 Q2 2020 STRONG PERFORMANCE Gradual

MEKONOMEN GROUP January June 2020 August 21, 2020 1 Q2 2020 STRONG PERFORMANCE Gradual

MEKONOMEN GROUP January June 2020 August 21, 2020 1 Q2 2020 STRONG PERFORMANCE Gradual recovery from Covid-19 impact throughout the quarter Forceful actions to reduce costs and adapt operations Strong profitability through cost focus

508 views • 27 slides
Typing and ML Typing and ML Definition Program organization and documentation A name for a

Typing and ML Typing and ML Definition Program organization and documentation A name for a

Typing Typing Uses/Merits Uses/Merits Type errors Type errors Typing and ML Typing and ML Definition Program organization and documentation A name for a set of values and some operations A type error occurs when execution of

725 views • 5 slides
Getting Beyond I, Me, Mine Sati in Pali Connotes awareness , attention , &

Getting Beyond I, Me, Mine Sati in Pali Connotes awareness , attention , &

What is Mindfulness? Getting Beyond I, Me, Mine Sati in Pali Connotes awareness , attention , & Mindfulness, Wisdom, and remembering Compassion in Psychotherapy In therapeutic arena, also includes Non-judgment Acceptance

354 views • 23 slides
Drinks in Canada Developed by Public Health Dietitians Alberta Health Services Welcome! Lisa

Drinks in Canada Developed by Public Health Dietitians Alberta Health Services Welcome! Lisa

Drinks in Canada Developed by Public Health Dietitians Alberta Health Services Welcome! Lisa Fotios, Person Sitting on Grey Sofa While Holding Clear Highball Glass of Water, CCO 2 In Your Home Country What are common drinks ? ImagesBG,

849 views • 45 slides
high-temperature geothermal wells in Iceland Sverrir Thorhallsson Iceland GeoSurvey July 3,

high-temperature geothermal wells in Iceland Sverrir Thorhallsson Iceland GeoSurvey July 3,

Challenges faced in drilling high-temperature geothermal wells in Iceland Sverrir Thorhallsson Iceland GeoSurvey July 3, 2007 ENGINE Workshop 4 Reykjavk July 2-5, 2007 1 SOR geothermal map of Iceland ENGINE Workshop 4 Reykjavk July

1.65k views • 38 slides
Getting to know the concepts Prof.dr.ir. M.P.C. Weijnen Professor, Faculty of TPM, TU Delft

Getting to know the concepts Prof.dr.ir. M.P.C. Weijnen Professor, Faculty of TPM, TU Delft

Getting to know the concepts Prof.dr.ir. M.P.C. Weijnen Professor, Faculty of TPM, TU Delft Glossary Familiarize yourself with the basic concepts Useful definition of infrastructure Physical reality Megastructures of modern time

561 views • 37 slides
The Law s of High Impact Presenting Maurice De Castro Maurice De Castro Maurice De Castro Maurice

The Law s of High Impact Presenting Maurice De Castro Maurice De Castro Maurice De Castro Maurice

The Law s of High Impact Presenting Maurice De Castro Maurice De Castro Maurice De Castro Maurice De Castro I N T E N 1 st T I Maurice De Castro O N PMMFS P U R P 2 nd O S Maurice De Castro E P U R P What do you remember? O S

435 views • 24 slides
and problem-solving techniques 2 Some mathematical principles and problem-solving techniques

and problem-solving techniques 2 Some mathematical principles and problem-solving techniques

Problem Solving Skills (14021601-3 ) Part 2 Some mathematical principles and problem-solving techniques 2 Some mathematical principles and problem-solving techniques Invariant Principle 3 1 Gauss When Karl Friedrich Gauss was still in

1.11k views • 77 slides
2000-2012 military spending increases 2.8 X 4.5 X 1.7

2000-2012 military spending increases 2.8 X 4.5 X 1.7

2000-2012 military spending increases 2.8 X 4.5 X 1.7 X Data courtesy of SIPRI: h3p://www.sipri.org/ 2 Which of the following is a more

554 views • 51 slides
Fundamental Algorithms Chapter 1: Introduction Michael Bader Winter 2011/12 M. Bader:

Fundamental Algorithms Chapter 1: Introduction Michael Bader Winter 2011/12 M. Bader:

Technische Universit at M unchen Fundamental Algorithms Chapter 1: Introduction Michael Bader Winter 2011/12 M. Bader: Fundamental Algorithms Chapter 1: Introduction, Winter 2011/12 1 Technische Universit at M unchen Part I

296 views • 25 slides

More recommend