A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
A nanopass framework for commercial compiler development
2013
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13
Preserved Fulltext
,e)))) Is the nanopass methodology suitable for use in commercial compiler development? Question
Monday, October 7, 13 ...
Defining a language (define-language Lsrc (terminals (datum (d)) (primitive (pr)) (uvar (x))) (Expr (e body) x Extending a language (define-language L1 (extends Lsrc) (terminals (-(datum (d))) (+ (constant ...
,e))))
Approach • Replace the compiler for Chez Scheme • Support identical feature set • Improve the nanopass framework (as needed) • Graph coloring register allocator ...
doi:10.1145/2500365.2500618
dblp:conf/icfp/KeepD13
fatcat:76rkvc3qnnbjpprpn5hnke5wbm
A nanopass framework for commercial compiler development
2013
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
,e)))) Is the nanopass methodology suitable for use in commercial compiler development? Question
Monday, October 7, 13 ...
Defining a language (define-language Lsrc (terminals (datum (d)) (primitive (pr)) (uvar (x))) (Expr (e body) x Extending a language (define-language L1 (extends Lsrc) (terminals (-(datum (d))) (+ (constant ...
,e))))
Approach • Replace the compiler for Chez Scheme • Support identical feature set • Improve the nanopass framework (as needed) • Graph coloring register allocator ...
doi:10.1145/2544174.2500618
fatcat:gyxoanp4jnfp5ots4ujt3uby4i
The key to a data parallel compiler
2016
Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We discuss the use of these techniques when applied to an experimental commercial compiler called Co-dfns, which is a fully data-parallel compiler developed using the techniques discussed here. ...
We present a language-driven strategy for the construction of compilers that are inherently data-parallel in their design and implementation. ...
They were the chief motivating examples for developing the techniques presented above as a part of developing the Co-dfns compiler, and represent a challenging problem to data-parallel compilation without ...
doi:10.1145/2935323.2935331
dblp:conf/pldi/Hsu16
fatcat:jmy3rmlagvgrzohqi3ok7vocma
Miniphases: compilation using modular and efficient tree transformations
2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This approach has been implemented in the Dotty compiler for the Scala language. ...
This paper describes a methodology that allows a compiler writer to define multiple transformations separately, but fuse them into a single traversal of the intermediate representation when the compiler ...
Acknowledgments We want to thank Iulian Dragos for sharing his experience based on 12 years work on Scala compilers, starting before the time of Scala 2.0, even before the Scala compiler had bootstrapped ...
doi:10.1145/3062341.3062346
dblp:conf/pldi/PetrashkoLO17
fatcat:3bfpequ7x5ahxnl5b2egvpywja
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
These devices are configured in a domain-specific language such as P4, using a compiler to translate packet-processing programs into instructions for different targets. ...
been fixed (31 crash and 23 semantic); the remaining have been assigned to a developer. ...
We are grateful to the P4 compiler team at Barefoot Networks and the open-source P4 community for their feedback and willingness to engage with our bug reports. ...
arXiv:2006.01074v2
fatcat:r64powm6ybfrrdre6x4bqlcsqq
Miniphases: compilation using modular and efficient tree transformations
2017
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This approach has been implemented in the Dotty compiler for the Scala language. ...
This paper describes a methodology that allows a compiler writer to define multiple transformations separately, but fuse them into a single traversal of the intermediate representation when the compiler ...
Acknowledgments We want to thank Iulian Dragos for sharing his experience based on 12 years work on Scala compilers, starting before the time of Scala 2.0, even before the Scala compiler had bootstrapped ...
doi:10.1145/3140587.3062346
fatcat:gbfbpulqlbgabh4cuspwkymmai
Poster Sessions
2009
Pediatric Diabetes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A lower rate for TDP was found in Pediatric centers and centers treating patients with type 1 diabetes, in Austrian and West German centers compared to East German centers. ...
Pediatric centers appear to be less susceptible for TDP. ...
to design a developmentally appropriate tool for use in educating young children with diabetes. ...
doi:10.1111/j.1399-5448.2009.00554.x
fatcat:pls6oansm5apblvpoakoc2sw6u
Advances in pulmonary drug delivery via high frequency acoustic nebulization
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This thesis proposes a novel platform for the production of monodispersed aerosol-laden pDNA within a defined size range (0.5-5 μm) suitable for efficient pulmonary delivery to the lower respiratory airways ...
Plasmid DNA(pDNA) offers a rapid production route to vaccines without significant side effects nor an extensive cold chain, which is especially important in being prepared for a pandemic caused by a highly ...
This work therefore holds great promise for the development of a battery driven hand-held SAW nebulizer for pulmonary drug delivery purposes. ...
doi:10.4225/03/58b4e906dcf8d
fatcat:wnozyu3vnzdxtp3xnb24t7ooca