fine grained language composition
play

Fine-grained language composition Edd Barrett, Carl Friedrich Bolz, - PowerPoint PPT Presentation

Nov 21, 2023 •45 likes •885 views

Fine-grained language composition Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Geoff French, Sarah Mount, Laurence Tratt, Naveneetha Krishnan Vasudevan Software Development Team 2016-01-28 1 / 28 http://soft-dev.org/ Background

  1. Fine-grained language composition Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Geoff French, Sarah Mount, Laurence Tratt, Naveneetha Krishnan Vasudevan Software Development Team 2016-01-28 1 / 28 http://soft-dev.org/

  2. Background Background ABCgjy 2 / 28 http://soft-dev.org/

  3. Background Background A perfect programming language 2 / 28 http://soft-dev.org/

  4. Background Background Solution ABCgjy 3 / 28 http://soft-dev.org/

  5. Background Background Solution A new programming language 3 / 28 http://soft-dev.org/

  6. Background Background Reality ABCgjy 3 / 28 http://soft-dev.org/

  7. Background Background Reality Another imperfect programming language 3 / 28 http://soft-dev.org/

  8. What to expect from this talk What to expect from this talk A B 4 / 28 http://soft-dev.org/

  9. What to expect from this talk What to expect from this talk gA ∪ Bg 4 / 28 http://soft-dev.org/

  10. What to expect from this talk What to expect from this talk Python ∪ Prolog 4 / 28 http://soft-dev.org/

  11. What to expect from this talk What to expect from this talk Python ∪ PHP 4 / 28 http://soft-dev.org/

  12. Two levels of challenge Two levels of challenge Tooling 5 / 28 http://soft-dev.org/

  13. Two levels of challenge Two levels of challenge Tooling Language friction 5 / 28 http://soft-dev.org/

  14. Tooling challenges Tooling challenges 6 / 28 http://soft-dev.org/

  15. Tooling challenges Tooling challenges Python PyHyp PHP 6 / 28 http://soft-dev.org/

  16. Tooling challenges Tooling challenges syntax Python runtime syntax PyHyp runtime syntax PHP runtime 6 / 28 http://soft-dev.org/

  17. Tooling challenges Tooling challenges syntax Language boxes Python runtime syntax PyHyp runtime syntax PHP runtime 6 / 28 http://soft-dev.org/

  18. Tooling challenges Tooling challenges syntax Language boxes Python runtime syntax PyHyp runtime syntax PHP Composed runtime meta-tracing VMs 6 / 28 http://soft-dev.org/

  19. Parsing: recognising Parsing: recognising 7 / 28 http://soft-dev.org/

  20. Parsing: recognising Parsing: recognising Input: Bill hits Ben 7 / 28 http://soft-dev.org/

  21. Parsing: recognising Parsing: recognising Input: Bill hits Ben Grammar: noun verb noun 7 / 28 http://soft-dev.org/

  22. Parsing: Context-Free Grammars Parsing: Context-Free Grammars Expr ::= Expr ’+’ Term | Term Term ::= Term ’*’ Factor | Factor Factor ::= ’(’ Expr ’)’ | ’INT’ 8 / 28 http://soft-dev.org/

  23. Parsing: Context-Free Grammars Parsing: Context-Free Grammars Expr ::= Expr ’+’ Term | Term Term ::= Term ’*’ Factor | Factor Factor ::= ’(’ Expr ’)’ | ’INT’ 8 / 28 http://soft-dev.org/

  24. Parsing: Context-Free Grammars Parsing: Context-Free Grammars Expr ::= Expr ’+’ Term | Term Term ::= Term ’*’ Factor | Factor Factor ::= ’(’ Expr ’)’ | ’INT’ 8 / 28 http://soft-dev.org/

  25. Parsing: Context-Free Grammars Parsing: Context-Free Grammars Expr ::= Expr ’+’ Term | Term Term ::= Term ’*’ Factor | Factor Factor ::= ’(’ Expr ’)’ | ’INT’ 8 / 28 http://soft-dev.org/

  26. Parsing: Context-Free Grammars Parsing: Context-Free Grammars Expr ::= Expr ’+’ Term | Term Term ::= Term ’*’ Factor | Factor Factor ::= ’(’ Expr ’)’ | ’INT’ 8 / 28 http://soft-dev.org/

  27. Parsing: Trees Parsing: Trees 2 + 3 Expr Expr T erm T erm Factor Factor 3 2 9 / 28 http://soft-dev.org/

  28. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... PL Y <program> for (j : js) { doStuff(); } . . . 10 / 28 http://soft-dev.org/

  29. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... Parser PL Y <program> for (j : js) { doStuff(); } . . . 10 / 28 http://soft-dev.org/

  30. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... Parser PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 10 / 28 http://soft-dev.org/

  31. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... LR PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 10 / 28 http://soft-dev.org/

  32. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... Generalised PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 10 / 28 http://soft-dev.org/

  33. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... PEG PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 10 / 28 http://soft-dev.org/

  34. The only choice? The only choice? 11 / 28 http://soft-dev.org/

  35. The only choice? The only choice? SDE 11 / 28 http://soft-dev.org/

  36. The challenge The challenge Challenge: SDE’s power + a text editor feel? 12 / 28 http://soft-dev.org/

  37. Eco demo Eco demo 13 / 28 http://soft-dev.org/

  38. Runtime composition Runtime composition 14 / 28 http://soft-dev.org/

  39. Runtime composition Runtime composition PL X PL Y Interpreter Interpreter C/C++ 14 / 28 http://soft-dev.org/

  40. Runtime composition Runtime composition PL X PL Y Too slow Interpreter Interpreter C/C++ 14 / 28 http://soft-dev.org/

  41. Runtime composition Runtime composition JIT Compiler JIT Compiler PL X PL Y Interpreter Interpreter C/C++ 14 / 28 http://soft-dev.org/

  42. Runtime composition Runtime composition JIT Compiler JIT Compiler PL X PL Y Too much engineering Interpreter Interpreter C/C++ 14 / 28 http://soft-dev.org/

  43. Runtime composition Runtime composition PL X PL Y Interpreter Interpreter JVM/CLR JIT Compiler 14 / 28 http://soft-dev.org/

  44. Runtime composition Runtime composition PL X PL Y Semantic mismatch Interpreter Interpreter JVM/CLR JIT Compiler 14 / 28 http://soft-dev.org/

  45. Runtime composition Runtime composition 14 / 28 http://soft-dev.org/

  46. Runtime composition Runtime composition Meta-tracing PL X PL Y PL Z RPython Interpreters Interpreter Tracing JIT Glue 14 / 28 http://soft-dev.org/

  47. Meta-tracing translation with RPython Meta-tracing translation with RPython Interpreter 15 / 28 http://soft-dev.org/

  48. Meta-tracing translation with RPython Meta-tracing translation with RPython Interpreter translator RPython 15 / 28 http://soft-dev.org/

  49. Meta-tracing translation with RPython Meta-tracing translation with RPython Interpreter translator RPython Optimised JIT Interpreter 15 / 28 http://soft-dev.org/

  50. Meta-tracing translation with RPython Meta-tracing translation with RPython Interpreter translator RPython Optimised JIT Interpreter 15 / 28 http://soft-dev.org/

  51. Meta-tracing translation with RPython Meta-tracing translation with RPython Interpreter translator RPython Optimised JIT Interpreter 15 / 28 http://soft-dev.org/

  52. Runtime composition recap Runtime composition recap 16 / 28 http://soft-dev.org/

  53. Runtime composition recap Runtime composition recap Meta-tracing PL X PL Y PL Z RPython Interpreters Interpreter Tracing JIT Glue 16 / 28 http://soft-dev.org/

  54. Runtime composition recap Runtime composition recap Meta-tracing PyPy Hippy RPython PyHyp Interpreters Interpreter Tracing JIT Glue 16 / 28 http://soft-dev.org/

  55. Composed Richards vs. other VMs Composed Richards vs. other VMs Type VM 9.475 ± 0.0127 CPython 2.7.7 4.264 ± 0.0386 HHVM 3.4.0 0.250 ± 0.0008 Mono HippyVM 0.178 ± 0.0006 PyPy 2.4.0 9.070 ± 0.0361 Composed Zend 5.5.13 17 / 28 http://soft-dev.org/

  56. Composed Richards vs. other VMs Composed Richards vs. other VMs Type VM 9.475 ± 0.0127 CPython 2.7.7 4.264 ± 0.0386 HHVM 3.4.0 0.250 ± 0.0008 Mono HippyVM 0.178 ± 0.0006 PyPy 2.4.0 9.070 ± 0.0361 Composed Zend 5.5.13 0.335 ± 0.0012 Composed PyHyp 17 / 28 http://soft-dev.org/

  57. Datatype conversion Datatype conversion PHPRoot PHPObject PHPInt PHPFunc 18 / 28 http://soft-dev.org/

  58. Datatype conversion Datatype conversion PHPRoot PHPObject PHPInt PHPFunc PyRoot PyObject PyInt PyFunc 18 / 28 http://soft-dev.org/

  59. Datatype conversion: primitive types Datatype conversion: primitive types Python PHP 19 / 28 http://soft-dev.org/

  60. Datatype conversion: primitive types Datatype conversion: primitive types Python PHP 2 : PHPInt 19 / 28 http://soft-dev.org/

  61. Datatype conversion: primitive types Datatype conversion: primitive types Python PHP 2 : PyInt 2 : PHPInt 19 / 28 http://soft-dev.org/

  62. Datatype conversion: user types Datatype conversion: user types Python PHP 20 / 28 http://soft-dev.org/

  63. Datatype conversion: user types Datatype conversion: user types Python PHP o : PHPObject 20 / 28 http://soft-dev.org/

  64. Datatype conversion: user types Datatype conversion: user types PyRoot PyObject PyInt PyFunc 20 / 28 http://soft-dev.org/

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

Fine-grained language composition Edd Barrett Carl Lukas Laurence Naveneetha Friedrich

Fine-grained language composition Edd Barrett Carl Lukas Laurence Naveneetha Friedrich

Fine-grained language composition Edd Barrett Carl Lukas Laurence Naveneetha Friedrich Diekmann Tratt Krishnan Bolz Vasudevan Software Development Team 2015-11-07 1 / 24 http://soft-dev.org/ What to expect from this talk What to

1.06k views • 74 slides
From Sentiment to Emotion: Challenges of a More Fine-Grained Analysis of Affective Language Sven

From Sentiment to Emotion: Challenges of a More Fine-Grained Analysis of Affective Language Sven

Invited Talk at IMS, Universitt Stuttgart Stuttgart, November 26, 2018 From Sentiment to Emotion: Challenges of a More Fine-Grained Analysis of Affective Language Sven Buechel Jena University Language and Information Engineering (JULIE) Lab

1.4k views • 106 slides
Fine-Grained Geographic Communication (Geocast) Nexus Workshop Frank Drr 23.07.2003 1

Fine-Grained Geographic Communication (Geocast) Nexus Workshop Frank Drr 23.07.2003 1

Fine-Grained Geographic Communication (Geocast) Nexus Workshop Frank Drr 23.07.2003 1 Overview Motivation Requirements for Fine-Grained Geocast Location Model for Fine-Grained Geographic Addressing Summary Related Work

752 views • 18 slides
LISA 11 Fine-grained access-control for the Puppet configuration language Bart Vanbrabant,

LISA 11 Fine-grained access-control for the Puppet configuration language Bart Vanbrabant,

LISA 11 Fine-grained access-control for the Puppet configuration language Bart Vanbrabant, Joris Peeraer and Wouter Joosen DistriNet, Dept. of Computer Science, K.U.Leuven, Belgium December 7, 2011 1 / 27 Outline Systems configuration

292 views • 27 slides
Mechanized Verification of Fine-grained Concurrent Programs Ilya Sergey Aleks Nanevski

Mechanized Verification of Fine-grained Concurrent Programs Ilya Sergey Aleks Nanevski

Mechanized Verification of Fine-grained Concurrent Programs Ilya Sergey Aleks Nanevski Anindya Banerjee PLDI 2015 Terminology Coarse-grained Concurrency synchronisation between threads via locks ; Fine-grained

973 views • 72 slides
Parts of Speech More Fine-Grained Classes More

Parts of Speech More Fine-Grained Classes More

Parts of Speech More Fine-Grained Classes More Fine-Grained Classes Actually , I ran home extremely quickly yesterday The closed classes Example of POS tagging The Penn Treebank Part-of-Speech

747 views • 54 slides
Fine Grained Access Control Fine-Grained Access Control Fine Grained Access Control

Fine Grained Access Control Fine-Grained Access Control Fine Grained Access Control

Fine Grained Access Control Fine-Grained Access Control Fine Grained Access Control Fine-grained access control examples: p g Students can see their own grades Students can see grades of all students in courses they registered for

548 views • 34 slides
Fine-grained Visual Analysis: From Classification to Retrieval Yi-Zhe Song SketchX Lab, CVSSP,

Fine-grained Visual Analysis: From Classification to Retrieval Yi-Zhe Song SketchX Lab, CVSSP,

Fine-grained Visual Analysis: From Classification to Retrieval Yi-Zhe Song SketchX Lab, CVSSP, University of Surrey, UK http://sketchx.ai Why fine-grained? Dog Dog Dog I am not just a dog Why fine-grained? Husky

615 views • 24 slides
Learning Fine-Grained Knowledge about Contingent Relations between Everyday Events Elahe

Learning Fine-Grained Knowledge about Contingent Relations between Everyday Events Elahe

Learning Fine-Grained Knowledge about Contingent Relations between Everyday Events Elahe Rahimtoroghi , Ernesto Hernandez and Marilyn A Walker Natural Language and Dialogue Systems Lab Department of Computer Science University of California

551 views • 23 slides
Modelling fine-grained Change in Word Meaning over centuries from Large Collections of

Modelling fine-grained Change in Word Meaning over centuries from Large Collections of

Modelling fine-grained Change in Word Meaning over centuries from Large Collections of Unstructured Text Lea Frermann Keynote at Drift-a-LOD Workshop, November 20, 2016 Institute for Language, Cognition, and Computation The University of

824 views • 60 slides
Fine-grained Image Recognition Lei Wang VILA group School of Computing and Information

Fine-grained Image Recognition Lei Wang VILA group School of Computing and Information

Learning Kernel-matrix-based Representation for Fine-grained Image Recognition Lei Wang VILA group School of Computing and Information Technology University of Wollongong, Australia 11-Dec-2019 Introduction Fine-grained image recognition

1.56k views • 58 slides
TRILL Fine Grained Labeling Donald Eastlake 3 rd Huawei

TRILL Fine Grained Labeling Donald Eastlake 3 rd Huawei

TRILL Fine Grained Labeling Donald Eastlake 3 rd Huawei Technologies d3e3e3@gmail.com November 2011 TRILL WG 1 Fine Grained Labeling A way to

469 views • 8 slides
Addressing Inter-Class Similarity in Fine-Grained Visual Classification Abhimanyu Dubey

Addressing Inter-Class Similarity in Fine-Grained Visual Classification Abhimanyu Dubey

Addressing Inter-Class Similarity in Fine-Grained Visual Classification Abhimanyu Dubey Collaborators: Nikhil Naik, Ryan Farrell, Otkrist Gupta, Pei Guo, Ramesh Raskar Fine-Grained Visual Classification - Image classification with target

760 views • 35 slides
On the Correctness Criteria of Fine-Grained Access Control in Relational Databases Qihua Wang,

On the Correctness Criteria of Fine-Grained Access Control in Relational Databases Qihua Wang,

On the Correctness Criteria of Fine-Grained Access Control in Relational Databases Qihua Wang, Ting Yu, Ninghui Li Jorge Lobo, Elisa Bertino Keith Irwin, Ji-Won Byun Outline Introduction Correctness Criteria A Fine-Grained Access

1.21k views • 51 slides
Fine-Grained Power Modeling for Smartphones Using System Call Tracing Based on paper and

Fine-Grained Power Modeling for Smartphones Using System Call Tracing Based on paper and

Fine-Grained Power Modeling for Smartphones Using System Call Tracing Based on paper and presentation by: Abhinav Pathak, Y. Charlie Hu, Ming Zhang Paramvir Bahl, Yi-Min Wang Damian Rodziewicz Fine-Grained Power Modeling for Smartphones

701 views • 33 slides
Fine-Grained Access Control Fine Grained Access Control Fine-grained access control examples:

Fine-Grained Access Control Fine Grained Access Control Fine-grained access control examples:

Fine-Grained Access Control Fine Grained Access Control Fine-grained access control examples: Students can see their own grades Students can see their own grades Students can see grades of all students in courses they registered for

338 views • 17 slides
A Component-based Approach for Constructing High-confidence Distributed Embedded Systems Barrett

A Component-based Approach for Constructing High-confidence Distributed Embedded Systems Barrett

A Component-based Approach for Constructing High-confidence Distributed Embedded Systems Barrett Bryant 1 , Rajeev Raje 2 , Mikhail Auguston 3 , 2 and Jeff Gray 1 , Shih-Hsi Liu 1 , Mihran Tuceryan Andrew Olson 2 1. University of Alabama at

382 views • 17 slides
Compiler Construction October 31, 2018 Compiler Construction October 31, 2018 1 / 175 Mayer

Compiler Construction October 31, 2018 Compiler Construction October 31, 2018 1 / 175 Mayer

Compiler Construction October 31, 2018 Compiler Construction October 31, 2018 1 / 175 Mayer Goldberg \ Ben-Gurion University Mayer Goldberg \ Ben-Gurion University Chapter 2 Goals October 31, 2018 Compiler Construction 2 / 175 Agenda

1.93k views • 175 slides
Probabilistic Grammars and Hierarchical Dirichlet Processes (Liang et. al 2009) Sean Massung &amp;

Probabilistic Grammars and Hierarchical Dirichlet Processes (Liang et. al 2009) Sean Massung &amp;

Introduction Induction: HDP-PCFG Bayesian Inference Induction Experiments Refinement: HDP-PCFG-GR Refinement Experiments Probabilistic Grammars and Hierarchical Dirichlet Processes (Liang et. al 2009) Sean Massung &amp; Gourab Kundu CS

484 views • 25 slides
Overview Grammars, or: how to specify linguistic knowledge Towards more complex grammar

Overview Grammars, or: how to specify linguistic knowledge Towards more complex grammar

Overview Grammars, or: how to specify linguistic knowledge Towards more complex grammar systems Some basic formal language theory Automata, or: how to process with linguistic knowledge Levels of complexity in grammars and automata:

735 views • 4 slides
Algebraic Product is the Definitions Main Results Only t-Norm for Which Proof of Proposition 1

Algebraic Product is the Definitions Main Results Only t-Norm for Which Proof of Proposition 1

Need for Optimization . . . Bellman-Zadeh . . . Problem: the Value . . . What We Show in . . . Algebraic Product is the Definitions Main Results Only t-Norm for Which Proof of Proposition 1 Optimization Under Fuzzy Proof of Proposition 2

305 views • 11 slides
Optimal Rank-1 Hankel Approximation of Matrices Gerlind Plonka University of Gttingen CodEx

Optimal Rank-1 Hankel Approximation of Matrices Gerlind Plonka University of Gttingen CodEx

Optimal Rank-1 Hankel Approximation of Matrices Gerlind Plonka University of Gttingen CodEx Seminar November 3, 2020 Gerlind Plonka (University of Gttingen) Rank-1 Hankel Approximation CodEx Seminar 2020 1 / 31 Outline Introduction:

676 views • 42 slides
Upper and Lower Bounds on Norms of Functions of Matrices Given an n by n matrix A , find a set S

Upper and Lower Bounds on Norms of Functions of Matrices Given an n by n matrix A , find a set S

Upper and Lower Bounds on Norms of Functions of Matrices Given an n by n matrix A , find a set S C that can be associated with A to give more information than the spectrum alone can provide about the 2-norm of functions of A . Field of

369 views • 19 slides
An asymptotic lower bound for the norm of the Laplace operator on a space of polynomials

An asymptotic lower bound for the norm of the Laplace operator on a space of polynomials

An asymptotic lower bound for the norm of the Laplace operator on a space of polynomials Christian Rebs Technische Universit at Chemnitz, 17 . 8 . 2017 Introduction A. B ottcher, C.Rebs: On the constants in Markov inequalities for the

710 views • 17 slides

More recommend