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/

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
Salus Fine-grained GPU Sharing Primitives for Deep Learning Applications Advisor: Mosharaf

Salus Fine-grained GPU Sharing Primitives for Deep Learning Applications Advisor: Mosharaf

Salus Fine-grained GPU Sharing Primitives for Deep Learning Applications Advisor: Mosharaf Chowdhury 2020-03-03 By Peifeng Yu Deep Learning Becomes Ubiquitous Computer vision Natural language processing Speech Robotics

1.11k views • 33 slides
Fine Grained Coordinated Parallelism in a Real World Application Mohammad Rezaei, PhD June 2012

Fine Grained Coordinated Parallelism in a Real World Application Mohammad Rezaei, PhD June 2012

Fine Grained Coordinated Parallelism in a Real World Application Mohammad Rezaei, PhD June 2012 1 Outline Types of parallelism Algorithm description Why fine grained parallelism? Concurrency is hard no, its different

419 views • 19 slides
Mesos A Platform for Fine-Grained Resource Sharing in the

Mesos A Platform for Fine-Grained Resource Sharing in the

Mesos A Platform for Fine-Grained Resource Sharing in the Data Center Benjamin Hindman, Andy Konwinski, Matei Zaharia , Ali Ghodsi, Anthony Joseph,

438 views • 32 slides
Enhancing Fine- Grained Parallelism Loop vectorization, Loop distribution, Scalar expansion

Enhancing Fine- Grained Parallelism Loop vectorization, Loop distribution, Scalar expansion

Enhancing Fine- Grained Parallelism Loop vectorization, Loop distribution, Scalar expansion Scalar and array renaming 1 Fine-Grained Parallelism Theorem 2.8. A sequential loop can be converted to a parallel loop if the loop carries no

606 views • 41 slides
Fine-Grained Tracking of Grid Infections Ashish Gehani SRI Basim Baig, Salman Mahmood, Dawood

Fine-Grained Tracking of Grid Infections Ashish Gehani SRI Basim Baig, Salman Mahmood, Dawood

Fine-Grained Tracking of Grid Infections Ashish Gehani SRI Basim Baig, Salman Mahmood, Dawood Tariq, Fareed Zaffar LUMS Fine-Grained Tracking of Grid Infections p. 1/18 Introduction Grid semantics Not middleware-specific Distributed

644 views • 18 slides
Fine-grained Human Evaluation of Neural versus Phrase-based Machine Translation EAMT, Praha, 31st

Fine-grained Human Evaluation of Neural versus Phrase-based Machine Translation EAMT, Praha, 31st

Fine-grained Human Evaluation of Neural versus Phrase-based Machine Translation EAMT, Praha, 31st May 2017 Filip Klubi cka Antonio Toral V ctor M. S anchez-Cartagena University of Zagreb University of Groningen Prompsit Language

543 views • 41 slides
Owen S. Hofmann, Xuan Wang, Emmett Witchel, Donald E. Porter 1 Fine-grained locking -

Owen S. Hofmann, Xuan Wang, Emmett Witchel, Donald E. Porter 1 Fine-grained locking -

Sangman Kim , Michael Z. Lee, Alan M. Dunn, Owen S. Hofmann, Xuan Wang, Emmett Witchel, Donald E. Porter 1 Fine-grained locking - Bug-prone, hard to maintain Parallelism - OS provides poor support Coarse-grained locking - Reduced

536 views • 34 slides
Part-based R-CNNs for Fine-grained Category Detec7on

Part-based R-CNNs for Fine-grained Category Detec7on

Part-based R-CNNs for Fine-grained Category Detec7on Ning Zhang Jeff Donahue Ross Girshick Trevor Darrell

741 views • 39 slides

More recommend