Filters








8 Hits in 2.0 sec

A nanopass framework for commercial compiler development

Andrew W. Keep, R. Kent Dybvig
2013 Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13  
,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

Andrew W. Keep, R. Kent Dybvig
2013 SIGPLAN notices  
,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

Aaron W. Hsu
2016 Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 2016  
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

Dmitry Petrashko, Ondřej Lhoták, Martin Odersky
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
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]

Fabian Ruffy, Tao Wang, Anirudh Sivaraman
2020 arXiv   pre-print
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

Dmitry Petrashko, Ondřej Lhoták, Martin Odersky
2017 SIGPLAN notices  
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  
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

Anushi Erandica Rajapaksa
2017
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