Filters








38,101 Hits in 6.2 sec

Compiling first-order functions to session-typed parallel code

David Castro-Perez, Nobuko Yoshida
2020 Proceedings of the 29th International Conference on Compiler Construction  
PAlg is implemented as an EDSL in Haskell, from which we can: 1. compile to low-level message-passing C code; 2. compile to sequential C code, or interpret as sequential Haskell functions; and, 3. infer  ...  We use the properties of the inferred global types to perform basic message reordering optimisations to the compiled C code.  ...  Our approach is better suited for compilation since we manipulate session types, and postpone session typing until code generation.  ... 
doi:10.1145/3377555.3377889 dblp:conf/cc/Castro-PerezY20 fatcat:pw6xv3uc2jayzdeowrsg53hifa

Enhancing the performance of a multiplayer game by using a parallelizing compiler

Yasir I. M. Al-Dosary, Keiji Kimura, Hironori Kasahara, Seinosuke Narita
2012 2012 17th International Conference on Computer Games (CGAMES)  
Then, the Game code is rewritten into a hazard-free version while also modified to comply with the Parallelizable-C rules, which crucially aid parallelizing compilers in extracting parallelism.  ...  Next, the program is compiled using a parallelizing compiler called OSCAR (Optimally Scheduled Advanced Multiprocessor) to produce a parallel version of ioquake3.  ...  ACKNOWLEDGMENT The authors would like to thank id Software for releasing the source code for QuakeIII to the public domain.  ... 
doi:10.1109/cgames.2012.6314554 dblp:conf/cgames/Al-DosaryKKN12 fatcat:43p3m3xeu5b3xc2wwil32sortu

Using knowledge-based systems for research on parallelizing compilers

Chao-Tung Yang, Shian-Shyong Tseng, Yun-Woei Fann, Ting-Ku Tsai, Ming-Huei Hsieh, Cheng-Tien Wu
2001 Concurrency and Computation  
The main function of parallelizing compilers is to analyze sequential programs, in particular the loop structure, to detect hidden parallelism and automatically restructure sequential programs into parallel  ...  One of the ultimate goals is to construct a high-performance and portable FORTRAN parallelizing compiler on shared-memory  ...  A SUIF-to-C translator allows us to compile the parallelized code on any platform to which our parallel runtime library has been ported.  ... 
doi:10.1002/cpe.563 fatcat:z5wil2dh6bexdgdvffrvokqqvq

Multiparty Session C: Safe Parallel Programming with Message Optimisation [chapter]

Nicholas Ng, Nobuko Yoshida, Kohei Honda
2012 Lecture Notes in Computer Science  
We apply this framework to representative parallel algorithms with complex communication topologies. The benchmark results show that Session C performs competitively against MPI.  ...  The methodology is embodied as a multiparty session-based programming environment for C and its runtime libraries, which we call Session C.  ...  The first six lines are for message passing. Each function name mentions a type explicitly, as in send_datatype, following MPI and to ensure type-safety under the lack of strong typing in C.  ... 
doi:10.1007/978-3-642-30561-0_15 fatcat:ror5h5q6xzdwjdve3eeoqqu4ou

Protocols by Default [chapter]

Nicholas Ng, Jose Gabriel de Figueiredo Coutinho, Nobuko Yoshida
2015 Lecture Notes in Computer Science  
The code generation process starts with the definition of the global topology using a protocol specification language based on parameterised multiparty session types (MPST).  ...  , type errors or deadlocks.  ...  Session-based Parallel Programming. Session C [28] is a programming framework designed for parallel programming with multiparty session types.  ... 
doi:10.1007/978-3-662-46663-6_11 fatcat:6alwdcibi5ajba2uizaywdcdoi

Secure distributed programming with value-dependent types

NIKHIL SWAMY, JUAN CHEN, CÉDRIC FOURNET, PIERRE-YVES STRUB, KARTHIKEYAN BHARGAVAN, JEAN YANG
2013 Journal of functional programming  
Dependently typed functional languages promise to prevent broad classes of errors and vulnerabilities, and to enable program verification to proceed side-by-side with development.  ...  The compiler produces verifiable binaries with 60% code size overhead for proofs and types, as much as a 45x improvement over the Fine compiler, while still enabling efficient bytecode verification.  ...  We now show how to extend our API to capture a limited form of parallelism, inspired by the dynamic multi-role session types of Deniélou and Yoshida (2011).  ... 
doi:10.1017/s0956796813000142 fatcat:xaln3te5lvhbnfgfln5qan4tea

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
2011 SIGPLAN notices  
Dependently typed functional languages promise to prevent broad classes of errors and vulnerabilities, and to enable program verification to proceed side-by-side with development.  ...  The compiler produces verifiable binaries with 60% code size overhead for proofs and types, as much as a 45x improvement over the Fine compiler, while still enabling efficient bytecode verification.  ...  We now show how to extend our API to capture a limited form of parallelism, inspired by the dynamic multi-role session types of Deniélou and Yoshida (2011).  ... 
doi:10.1145/2034574.2034811 fatcat:kmtf5wnqo5gjrjlcpjwlgyzb2u

HILTI

Robin Sommer, Matthias Vallentin, Lorenzo De Carli, Vern Paxson
2014 Proceedings of the 2014 Conference on Internet Measurement Conference - IMC '14  
(ii) a compilation strategy for turning programs written for the abstract machine into optimized, natively executable code.  ...  We have developed a prototype of the HILTI compiler toolchain that fully implements the design's functionality, and ported exemplars of networking applications to the HILTI model to demonstrate the aptness  ...  When the host's C code calls for the first time the HILTI parsing function for a session, HILTI internally instantiates a fiber object for the call's execution that can capture its state, and then proceeds  ... 
doi:10.1145/2663716.2663735 dblp:conf/imc/SommerVCP14 fatcat:xhrlkcgnpjhkxom7mltlhf5sce

Interactive Programming of Reactive Systems

Louis Mandel, Florence Plateau
2009 Electronical Notes in Theoretical Computer Science  
This toplevel allows a programmer to interactively write ReactiveML programs which are type-checked, compiled and loaded on the fly.  ...  Furthermore, the interpreted code is as efficient as if it was compiled.  ...  Programs can be composed in parallel (|| operator) and communication is based Acknowledgements We would like to thank Jean-Ferdy Susini for motivating us in taking advantage of the OCaml toplevel to  ... 
doi:10.1016/j.entcs.2008.01.004 fatcat:fzmng74ysfcd5jnmu2mjqubrdy

Maotai 3.0: Automatic Detection of View Access in VOPP

K. Leung, Z. Huang
2010 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies  
This paper proposes a scheme for automatic detection of view access in the View-Oriented Parallel Programming (VOPP) model.  ...  Based on the automatic detection scheme, a view is automatically acquired when first accessed, and automatically released at proper time.  ...  When parallel processing is desired, a VOPP session is started with Vpp session() which creates multiple processes to execute the same function in parallel.  ... 
doi:10.1109/pdcat.2010.79 dblp:conf/pdcat/LeungH10 fatcat:pri3tmrqgbbe5mwpyjfzauwmuq

PhD Abstracts

GRAHAM HUTTON
2020 Journal of functional programming  
As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  Many students complete PhDs in functional programming each year.  ...  This language is total, polymorphic, higher-order, and purely functional, including features such as algebraic data types and type inference.  ... 
doi:10.1017/s0956796819000200 fatcat:rsyetan23fgzzhrg7vlk3h2frm

Modelica — A cyber-physical modeling language and the OpenModelica environment

Peter Fritzson
2011 2011 7th International Wireless Communications and Mobile Computing Conference  
Special features are MetaModeling for efficient model transformations, the ModelicaML profile for UML-Modelica cyber-physical hardware-software modeling, as well as generation of parallel code for multi-core  ...  Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented (EOO) language for modeling and simulation of complex cyber-physical systems.  ...  Look at the type of x: >> typeOf(x) "Integer[]" The function bubblesort is called to sort this vector in descending order. The sorted result is returned together with its type.  ... 
doi:10.1109/iwcmc.2011.5982782 dblp:conf/iwcmc/Fritzson11 fatcat:llqku22xebeyhaddi5pimypagi

Experiencing a Problem-Based Learning Approach for Teaching Reconfigurable Architecture Design

Erwan Fabiani
2009 International Journal of Reconfigurable Computing  
This paper presents the "reconfigurable computing" teaching part of a computer science master course (first year) on parallel architectures.  ...  We show how the successive steps of this project permit the student to experiment with several fundamental concepts of reconfigurable computing at different levels.  ...  This aspect motivates the students in increasing the parallelism level of their design, in order to obtain a visually acceptable frame rate.  ... 
doi:10.1155/2009/923415 fatcat:a3mh3hwmoncjzlqeg44ybulqce

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
2011 Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11  
The reference proof of F 's soundness is a mechanized in Coq and is available at (3) Appendix B formalizes a typed embedding of RCF in F .  ...  As opposed to our older proof strategy that translated P terms to CiC, we plan now to translate to an intermediate calculus, dCiC, and prove dCiC to be normalizing.  ...  We now show how to extend our API to capture a limited form of parallelism, inspired by the dynamic multi-role session types of Deniélou and Yoshida (2011).  ... 
doi:10.1145/2034773.2034811 dblp:conf/icfp/SwamyCFSBY11 fatcat:cxfg2l5xpjc2da4a7cc6btvdoi

Exploring the Construction of a Domain-Aware Toolchain for High-Performance Computing

Patrick McCormick, Christine Sweeney, Nick Moss, Dean Prichard, Samuel K. Gutierrez, Kei Davis, Jamaludin Mohd-Yusof
2014 2014 Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing  
In this paper we explore the use of language extensions to design and implement the Scout DSL and a supporting toolchain infrastructure.  ...  Without such domain awareness critical features for achieving acceptance and adoption, such as debugger support, pose a long-term risk to the overall success of the DSL approach.  ...  Additional thanks to colleagues at both AMD and NVIDIA for their support and efforts to make their architectures available via the LLVM infrastructure.  ... 
doi:10.1109/wolfhpc.2014.9 dblp:conf/sc/McCormickSMPGDM14 fatcat:ijehgl4kn5gonmxtrkeht37pde
« Previous Showing results 1 — 15 out of 38,101 results