Filters








5,918 Hits in 6.5 sec

On Modular and Fully-Abstract Compilation -- Technical Appendix [article]

Marco Patrignani, Dominique Devriese, Frank Piessens
2016 arXiv   pre-print
This paper studies how to devise modular, fully-abstract compilers.  ...  Unfortunately, many existing fully-abstract compilers to untyped machine code are not modular.  ...  The authors would like to thank Amal Ahmed, Cȃtȃlin Hriţcu, Yannis Juglaret, Raoul Strackx and the anonymous reviewers for useful comments on an earlier version of this paper.  ... 
arXiv:1604.05044v1 fatcat:uhnpfsi4r5co5ezgzk7k4ptxky

A modular fully-lazy lambda lifter in Haskell

Simon L. Peyton Jones, David Lester
1991 Software, Practice & Experience  
On the way, we present the complete code for our modular fully-lazy lambda lifter, written in the HASKELL functional programming language.  ...  An important step in many compilers for functional languages is lambda lifting.  ...  ACKNOWLEDGEMENTS We owe our thanks to John Robson and Kevin Hammond, and two anonymous referees for their useful comments on a draft of this paper. APPENDIX I: OMITTED CODE  ... 
doi:10.1002/spe.4380210505 fatcat:4ox6qxxywfczlitukkxjguyyy4

Experience report

Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide
2000 Software engineering notes  
This discipline has been taught to students for several years [23] , and previous papers (e.g., [24] ) have reported on student-sized software projects constructed using it.  ...  Here, we report on a substantial commercial product family that was engineered using the same principles --an application that we designed, built, and continue to maintain for profit, not as part of a  ...  A more detailed technical explanation of the rationale for the swapping paradigm, and how it affects component and application design, is contained in Appendix A.  ... 
doi:10.1145/357474.355048 fatcat:vqudjt445rcgfd6hey3gyzj5ja

Experience report

Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide
2000 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8  
This discipline has been taught to students for several years [23] , and previous papers (e.g., [24] ) have reported on student-sized software projects constructed using it.  ...  Here, we report on a substantial commercial product family that was engineered using the same principles --an application that we designed, built, and continue to maintain for profit, not as part of a  ...  A more detailed technical explanation of the rationale for the swapping paradigm, and how it affects component and application design, is contained in Appendix A.  ... 
doi:10.1145/355045.355048 fatcat:5p5br3euibbffejhwl2k6zxjiy

Flashlight: Enabling Innovation in Tools for Machine Learning [article]

Jacob Kahn, Vineel Pratap, Tatiana Likhomanenko, Qiantong Xu, Awni Hannun, Jeff Cai, Paden Tomasello, Ann Lee, Edouard Grave, Gilad Avidov, Benoit Steiner, Vitaliy Liptchinsky (+2 others)
2022 arXiv   pre-print
We introduce Flashlight, an open-source library built to spur innovation in machine learning tools and systems by prioritizing open, modular, customizable internals and state-of-the-art, research-ready  ...  While computational needs have driven recent compiler, networking, and hardware advancements, utilization of those advancements by machine learning tools is occurring at a slower pace.  ...  of Horace He and Edward Yang for their work on operator size and complexity in deep learning frameworks.  ... 
arXiv:2201.12465v1 fatcat:v44hox26rbf3vcxqa6qvv3x37u

Modular and Didactic Compiler Design with Xml Inter-Phases Communication

Eduardo Adam Navas-López
2022 International Journal of Computer Science Engineering and Information Technology  
This article presents the design, educative characteristics and possibilities of a modular and didactic compiler for a Pascal-like programming minilanguage that is super-set of Niklaus Wirth's PL/0.  ...  The main feature is that it implements the compiling phases in such a way that the information delivered to each next one may be reflected as an XML document, which can be studied separately.  ...  It use XML intermediate representation for syntax tree, but it is not showed to user, so it does not exploit their educative and technical value. It is not a modular tool.  ... 
doi:10.5121/ijcseit.2022.12101 fatcat:pppuskghnra3fi2xhhocqywz7u

Functional pearl

Oleg Kiselyov, Chung-chieh Shan
2004 Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '04  
This problem is common in all software systems, but particularly acute in Haskell, where currently the most popular solution relies on unsafe operations and compiler pragmas.  ...  We can propagate any type of configuration data-numbers, strings, IO actions, polymorphic functions, closures, and abstract data types.  ...  ACKNOWLEDGEMENTS Thanks to Jan-Willem Maessen, Simon Peyton Jones, Andrew Pimlott, Gregory Price, Stuart Shieber, Dylan Thurston, and the anonymous reviewers for the 2004 ICFP and Haskell Workshop.  ... 
doi:10.1145/1017472.1017481 dblp:conf/haskell/KiselyovS04 fatcat:yhkn7vg2vzfxrh7ttcvkiy5kzy

Multiprecision Arithmetic for Cryptology in C++ - Compile-Time Computations and Beating the Performance of Hand-Optimized Assembly at Run-Time [article]

Niek J. Bouman
2018 arXiv   pre-print
The library is written in "optimizing-compiler-friendly" C++, with an emphasis on the use of fixed-size arrays and particular function-argument-passing styles (including the avoidance of naked pointers  ...  Barrett and Montgomery reduction.  ...  Acknowledgment The author wishes to thank Berry Schoenmakers and Niels de Vreede for helpful discussions, and Johan Engelen for his help with improving the code base and preparing the repository for an  ... 
arXiv:1804.07236v1 fatcat:ywdazsmkpbgnlf6mxy2qnt64pa

Pushing the Level of Abstraction of Digital System Design: a Survey on How to Program FPGAs

Emanuele Del Sozzo, Davide Conficconi, Alberto Zeni, Mirko Salaris, Donatella Sciuto, Marco D. Santambrogio
2022 ACM Computing Surveys  
However, FPGA adoption found limitations in their programmability and required knowledge. Therefore, researchers focused on FPGA abstractions and automation tools.  ...  We review these abstraction solutions, provide a timeline, and propose a taxonomy for each abstraction trend: programming models for HDLs; IP-based or System-based toolchains for HLS; application, architecture  ...  ACKNOWLEDGEMENTS The authors are grateful for feedbacks from Reviewers and NECSTLab members, with a particular mention to A. Damiani, A. Parravicini, E. D'Arnese, F. Carloni, F. Peverelli, and R.  ... 
doi:10.1145/3532989 fatcat:nsk5lwvt3vba5fbxmaj7sgpwru

Contracts for modular discrete controller synthesis

Gwenaël Delaval, Hervé Marchand, Eric Rutten
2010 Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10  
We present a method for the modular application of discrete controller synthesis on synchronous programs, and its integration in the BZR language.  ...  Our contribution is in a language approach where modular discrete controller synthesis (DCS) is integrated, and it is concretized in the encapsulation of DCS into a compilation process.  ...  The modular application of DCS, which we are addressing in this paper, is based on contract enforcement and abstraction of components, with the aim of improving the scalability of the techniques devoted  ... 
doi:10.1145/1755888.1755898 dblp:conf/lctrts/DelavalMR10 fatcat:amyvhzo2gzhwfcgkujuuwlxxla

Contracts for modular discrete controller synthesis

Gwenaël Delaval, Hervé Marchand, Eric Rutten
2010 SIGPLAN notices  
We present a method for the modular application of discrete controller synthesis on synchronous programs, and its integration in the BZR language.  ...  Our contribution is in a language approach where modular discrete controller synthesis (DCS) is integrated, and it is concretized in the encapsulation of DCS into a compilation process.  ...  The modular application of DCS, which we are addressing in this paper, is based on contract enforcement and abstraction of components, with the aim of improving the scalability of the techniques devoted  ... 
doi:10.1145/1755951.1755898 fatcat:hn2qwwx545dwroej2v7wktlzpe

Access control in feature-oriented programming

Sven Apel, Sergiy Kolesnikov, Jörg Liebig, Christian Kästner, Martin Kuhlemann, Thomas Leich
2012 Science of Computer Programming  
We offer an implementation of the model on the basis of a fully-fledged feature-oriented compiler.  ...  Access control mechanisms in the form of access or visibility modifiers are an important ingredient to attain feature modularity as they allow programmers to hide and expose internal details of a module's  ...  Acknowledgements This work is being supported in part by the German Research Foundation (DFG), project number AP 206/2-1 and by the Metop Research Center.  ... 
doi:10.1016/j.scico.2010.07.005 fatcat:4vdv5zh3crbphkqjrclbjx4uoa

Building a push-button RESOLVE verifier: Progress and challenges

Murali Sitaraman, Bruce Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather Harton, Wayne Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith (+1 others)
2010 Formal Aspects of Computing  
fully automated verification of full software behavior remains a grand challenge.  ...  A central objective of the verifying compiler grand challenge is to develop a push-button verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler  ...  National Science Foundation under grants CCF-0811748, CCF-0811737, DMS-0700174, DMS-0701187, DMS-0701260, and DUE-0633506, and by a grant from the John Templeton Foundation.  ... 
doi:10.1007/s00165-010-0154-3 fatcat:c4qbniaoave4tpevnhrr4a2y3a

ESM-Tools version 5.0: a modular infrastructure for stand-alone and coupled Earth system modelling (ESM)

Dirk Barbi, Nadine Wieters, Paul Gierz, Miguel Andrés-Martínez, Deniz Ural, Fatemeh Chegini, Sara Khosravi, Luisa Cristini
2021 Geoscientific Model Development  
Abstract. Earth system and climate modelling involves the simulation of processes on a wide range of scales and within and across various compartments of the Earth system.  ...  As coupled ESMs are technically the more challenging tasks, we will focus on coupled setups, always implying that stand-alone models can benefit in the same way.  ...  helping us to organize the reimplementation in Python/YAML, and Tido Semmler, Christopher Danek and Christian Stepanek (all at AWI) for lots of testing and bug reporting.  ... 
doi:10.5194/gmd-14-4051-2021 fatcat:eo5n2n6bnzgkxgrpuzyy3fpgby

A type system for higher-order modules

Derek Dreyer, Karl Crary, Robert Harper
2003 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03  
The main unifying principle is the treatment of abstraction mechanisms as computational effects.  ...  Our type system harmonizes design elements from previous work, resulting in a simple, economical account of modular programming.  ...  Separate Compilation One goal of module system design is to support separate compilation [14] .  ... 
doi:10.1145/604131.604151 fatcat:i6vqfn4ncbcrnf45rwcbmopnwy
« Previous Showing results 1 — 15 out of 5,918 results