发布求助
文献互助 智能选刊 最新文献

Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages最新文献

筛选
英文 中文
10 years of Dart (invited talk) 达特10年(特邀演讲)
Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2020-11-15 DOI: 10.1145/3427765.3432355
Vyacheslav Egorov
{"title":"10 years of Dart (invited talk)","authors":"Vyacheslav Egorov","doi":"10.1145/3427765.3432355","DOIUrl":"https://doi.org/10.1145/3427765.3432355","url":null,"abstract":"Dart might be the only contemporary programming language that changed its core principles so radically between two major versions. 10 years ago, in 2010, it was born as a dynamically typed programming language with optional static types - ideas of Strongtalk wrapped into familiar C-like syntax. A language destined to be executed in a native VM with an adaptive JIT compiler. Yet over the years Dart has evolved into a language with a sound static type system, and is being deployed in contexts that require ahead-of-time compilation and prohibit JITing. Now, it is even trying to get rid of the “billion-dollar mistake” - null - and incrementally transition to non-nullable by default reference types. This talk focuses on the architecture of Dart Virtual Machine and how it followed the evolution of the Dart language, adapting to the new semantics and new execution environments, where users wanted to bring Dart to.","PeriodicalId":351364,"journal":{"name":"Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116628937","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Racket’s intermediate language for control (invited talk) 用于控制的Racket中间语言(特邀演讲)
Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2020-11-15 DOI: 10.1145/3427765.3432352
M. Flatt
{"title":"Racket’s intermediate language for control (invited talk)","authors":"M. Flatt","doi":"10.1145/3427765.3432352","DOIUrl":"https://doi.org/10.1145/3427765.3432352","url":null,"abstract":"As a language that is intended for building languages in a composable way, Racket provides an especially rich set of constructs for control, including delimited continuations and efficient reflection on continuations. This talk will explain Racket’s constructs for control and describe how the implementation is built in layers.","PeriodicalId":351364,"journal":{"name":"Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122285456","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages 第十二届ACM SIGPLAN虚拟机与中间语言国际研讨会论文集
Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2020-11-15 DOI: 10.1145/3427765
{"title":"Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","authors":"","doi":"10.1145/3427765","DOIUrl":"https://doi.org/10.1145/3427765","url":null,"abstract":"","PeriodicalId":351364,"journal":{"name":"Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127541693","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Programming microcontrollers through high-level abstractions 通过高级抽象编程微控制器
Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2020-11-15 DOI: 10.1145/3427765.3428495
S. Varoumas, Basile Pesin, Benoît Vaugon, E. Chailloux
{"title":"Programming microcontrollers through high-level abstractions","authors":"S. Varoumas, Basile Pesin, Benoît Vaugon, E. Chailloux","doi":"10.1145/3427765.3428495","DOIUrl":"https://doi.org/10.1145/3427765.3428495","url":null,"abstract":"In this paper, we present an approach for programming microcontrollers that provides more expressivity and safety than a low-level language approach traditionally used to program such devices. To this end, we provide various abstraction layers (abstraction of the microcontroller, of the electronic components of the circuit, and of concurrency) which, while being adapted to the scarce resources of the hardware, offer high-level programming traits for the development of embedded applications. The various presented abstractions make use of an OCaml virtual machine able to run on devices with limited resources and take advantage of the expressivity and extensibility of the language. We illustrate the interest of our work on both entertainment applications and embedded software examples.","PeriodicalId":351364,"journal":{"name":"Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"260 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122125200","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Understanding Graal IR (invited talk) 理解gral IR(特邀演讲)
Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2020-11-15 DOI: 10.1145/3427765.3432354
Chris Seaton
{"title":"Understanding Graal IR (invited talk)","authors":"Chris Seaton","doi":"10.1145/3427765.3432354","DOIUrl":"https://doi.org/10.1145/3427765.3432354","url":null,"abstract":"The Graal compiler uses a graphical sea-of-nodes IR that can be difficult to understand and work with when trying to improve performance of complicated programs. When used with an automatic partial evaluator, such as Truffle, and with a high-level language with complex semantics such as Ruby, the resulting IR graphs become even harder to work with. At Shopify, we’re working on new tools to understand complex Graal IR graphs generated from the TruffleRuby and Sulong interpreters, as used to run a large, complex, production application. We’ll show what these tools enable us to do and what innovative ideas we can bring to understand the relevant parts of the graph without getting swamped in the expanse of it.","PeriodicalId":351364,"journal":{"name":"Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125942191","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
In pursuit of easy(er) JITs (invited talk) 追求轻松(er) jit(特邀演讲)
Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages Pub Date : 2020-11-15 DOI: 10.1145/3427765.3432353
Mark G. Stoodley
{"title":"In pursuit of easy(er) JITs (invited talk)","authors":"Mark G. Stoodley","doi":"10.1145/3427765.3432353","DOIUrl":"https://doi.org/10.1145/3427765.3432353","url":null,"abstract":"n the early days of the Eclipse OMR project, we created the unimaginatively named JitBuilder API aiming to make it easier to build a JIT compiler. JitBuilder has been used to create prototype JIT compilers in a few thousand lines of C++ for WebAssembly, Lua, Smalltalk, Javascript, the Rosie Pattern Language, BF, Kaleidoscope, and Base9, as well as a number of other less language-centric dynamic code generators (including an alternative code generator for LLVM IR). Although it brings key facilities for privatizing virtual machine state and translating bytecode handlers, the JitBuilder API did not completely meet the “easy” goal particularly in the areas of extensibility and debuggability and did not offer strong DSL optimization possibilities. In this talk, I’ll explain and summarize the key features of the JitBuilder API before introducing some recent exploratory work to create the next version: JitBuilder2. This new fully-fledged (if currently in complete) compiler IL shares some directions with MLIR, but has some unique challenges and features, all designed around the pursuit of “easy” JIT compiler construction. Through the talk, I’ll show off some of these features (that’s right, I’ll demo a compiler IL!) and highlight some of the interesting directions I think we could take it from here.","PeriodicalId":351364,"journal":{"name":"Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125489964","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信