Filters








28,354 Hits in 8.1 sec

Design and implementation of sparse global analyses for C-like languages

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
2012 SIGPLAN notices  
Our method generalizes the sparse analysis techniques on top of the abstract interpretation framework to support relational as well as non-relational semantics properties for C-like languages.  ...  We formally present our framework; we present that existing sparse analyses are all restricted instances of our framework; we show more semantically elaborate design examples of sparse nonrelational and  ...  Acknowledgments We thank Lucas Brutschy and Yoonseok Ko for their contribution to the implementation of our analyzer.  ... 
doi:10.1145/2345156.2254092 fatcat:rwvxvu2uefdi3e4igt5u6gyxim

Design and implementation of sparse global analyses for C-like languages

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
2012 Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12  
Our method generalizes the sparse analysis techniques on top of the abstract interpretation framework to support relational as well as non-relational semantics properties for C-like languages.  ...  We formally present our framework; we present that existing sparse analyses are all restricted instances of our framework; we show more semantically elaborate design examples of sparse nonrelational and  ...  Acknowledgments We thank Lucas Brutschy and Yoonseok Ko for their contribution to the early implementation of our analyzer. We thank Deokhwan Kim for useful comments and suggestions.  ... 
doi:10.1145/2254064.2254092 dblp:conf/pldi/OhHLLY12 fatcat:fjfts2aodzekreektd6oofje7m

Global Sparse Analysis Framework

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
2014 ACM Transactions on Programming Languages and Systems  
relational static analyses; we present their implementation results that scale to globally analyze up to one million lines of C programs.  ...  We formally present our framework; we present that existing sparse analyses are all restricted instances of our framework; we show more semantically elaborate design examples of sparse non-relational and  ...  Designing Sparse Non-Relational Analysis In this section, we present an example on designing sparse analysis for non-relational numeric analyses for C-like imperative languages.  ... 
doi:10.1145/2590811 fatcat:fyrg6owbtbbixhaoycmti75s5q

Xoc, an extension-oriented compiler for systems programming

Russ Cox, Tom Bergan, Austin T. Clements, Frans Kaashoek, Eddie Kohler
2008 Proceedings of the 13th international conference on Architectural support for programming languages and operating systems - ASPLOS XIII  
Extensions built using xoc include xsparse, a 345-line extension that mimics Sparse, Linux's C front end, and xlambda, a 170line extension that adds function expressions to C.  ...  Lazy computation of attributes allows extension writers to use the results of analyses by other extensions or the core without needing to worry about pass scheduling.  ...  Acknowledgments Todd Millstein provided much useful advice on the design of xoc. Robert Grimm provided advice on using xtc. The anonymous reviewers gave valuable feedback on an earlier draft.  ... 
doi:10.1145/1346281.1346312 dblp:conf/asplos/CoxBCKK08 fatcat:pn3odayu6zaqlcnim7ilpycckm

Xoc, an extension-oriented compiler for systems programming

Russ Cox, Tom Bergan, Austin T. Clements, Frans Kaashoek, Eddie Kohler
2008 SIGPLAN notices  
Extensions built using xoc include xsparse, a 345-line extension that mimics Sparse, Linux's C front end, and xlambda, a 170line extension that adds function expressions to C.  ...  Lazy computation of attributes allows extension writers to use the results of analyses by other extensions or the core without needing to worry about pass scheduling.  ...  Acknowledgments Todd Millstein provided much useful advice on the design of xoc. Robert Grimm provided advice on using xtc. The anonymous reviewers gave valuable feedback on an earlier draft.  ... 
doi:10.1145/1353536.1346312 fatcat:ujrl7jxihnfxddpdos7dql6xdq

Xoc, an extension-oriented compiler for systems programming

Russ Cox, Tom Bergan, Austin T. Clements, Frans Kaashoek, Eddie Kohler
2008 ACM SIGOPS Operating Systems Review  
Extensions built using xoc include xsparse, a 345-line extension that mimics Sparse, Linux's C front end, and xlambda, a 170line extension that adds function expressions to C.  ...  Lazy computation of attributes allows extension writers to use the results of analyses by other extensions or the core without needing to worry about pass scheduling.  ...  Acknowledgments Todd Millstein provided much useful advice on the design of xoc. Robert Grimm provided advice on using xtc. The anonymous reviewers gave valuable feedback on an earlier draft.  ... 
doi:10.1145/1353535.1346312 fatcat:mzk3osz4ivbazal6o2jicn6rjy

Xoc, an extension-oriented compiler for systems programming

Russ Cox, Tom Bergan, Austin T. Clements, Frans Kaashoek, Eddie Kohler
2008 SIGARCH Computer Architecture News  
Extensions built using xoc include xsparse, a 345-line extension that mimics Sparse, Linux's C front end, and xlambda, a 170line extension that adds function expressions to C.  ...  Lazy computation of attributes allows extension writers to use the results of analyses by other extensions or the core without needing to worry about pass scheduling.  ...  Acknowledgments Todd Millstein provided much useful advice on the design of xoc. Robert Grimm provided advice on using xtc. The anonymous reviewers gave valuable feedback on an earlier draft.  ... 
doi:10.1145/1353534.1346312 fatcat:hnezii322nbdtchxcxvvilajke

Productivity and performance using partitioned global address space languages

Katherine Yelick, Parry Husbands, Costin Iancu, Amir Kamil, Rajesh Nishtala, Jimmy Su, Michael Welcome, Tong Wen, Dan Bonachea, Wei-Yu Chen, Phillip Colella, Kaushik Datta (+4 others)
2007 Proceedings of the 2007 international workshop on Parallel symbolic computation - PASCO '07  
Another PGAS language, Titanium, is a dialect of Java T M designed for high performance scientific computation.  ...  Partitioned Global Address Space (PGAS) languages combine the programming convenience of shared memory with the locality and performance control of message passing.  ...  The Titanium implementation of the framework for finite difference discretization on block-structured adaptive meshes followed the design of Chombo, an AMR library written in C++ and Fortran with MPI [  ... 
doi:10.1145/1278177.1278183 dblp:conf/issac/YelickBCCDDGHHHIKNSWW07 fatcat:hpedjb24vvfkbpi7fbawt6xf4u

On the effect of linear algebra implementations in real-time multibody system dynamics

Manuel González, Francisco González, Daniel Dopico, Alberto Luaces
2007 Computational Mechanics  
Different implementations for this method, both dense and sparse, have been developed, using a number of linear algebra software libraries (including sparse linear equation solvers) and sparse matrix computation  ...  Results show that optimal implementations increase the simulation efficiency in a factor of 2 -3, compared with our starting, non-optimized implementations.  ...  DPI2003-05547-C02-01) and the Galician DGID (Grant No. PGIDT04PXIC16601PN).  ... 
doi:10.1007/s00466-007-0218-2 fatcat:ykxclgtntfe2nlqxd7gszrmkku

Parallel Languages and Compilers: Perspective From the Titanium Experience

K. Yelick, P. Hilfinger, S. Graham, D. Bonachea, J. Su, A. Kamil, K. Datta, P. Colella, T. Wen
2007 The international journal of high performance computing applications  
We describe the rationale behind the design of key features of Titanium-an explicitly parallel dialect of Java TM for high-performance scientific programming-and our experiences in building applications  ...  We provide an overview of the Titanium compiler implementation, covering various parallel analyses and optimizations, Titanium runtime technology and the GASNet network communication layer.  ...  The use of a source-to-source translator ensures the necessary portability, and the included analyses and optimizations provide performance comparable to that of native compilers for languages with significantly  ... 
doi:10.1177/1094342007078449 fatcat:y52hkslgw5fbtjiyb3viwy3quq

A Formally-Verified Alias Analysis [chapter]

Valentin Robert, Xavier Leroy
2012 Lecture Notes in Computer Science  
The analysis is designed to fit in the Comp-Cert C verified compiler, supporting future aggressive optimizations over memory accesses. partial ordering ge, an upper bound operation lub, and a smallest  ...  The alias analysis considered is of the points-to kind and is intraprocedural, flow-sensitive, field-sensitive, and untyped. Its soundness proof follows the general style of abstract interpretation.  ...  C or Java) and exploit the static typing information of this language (e.g. struct declarations in C and class declarations in Java).  ... 
doi:10.1007/978-3-642-35308-6_5 fatcat:kbmd4sl4ebhqfdglcuc5fse6ca

Diva: A Declarative and Reactive Language for In-Situ Visualization [article]

Qi Wu
2020 arXiv   pre-print
With this paper, we present a language design and runtime system for developing adaptive systems through a declarative and reactive programming paradigm.  ...  This makes the implementation of adaptive workflows tedious and error-prone.  ...  ACKNOWLEDGMENTS The authors wish to thank Martin Rieth at Sandia National Laboratories for providing advice, support, and data for this research. This research is sponsored in part by the U.S.  ... 
arXiv:2001.11604v2 fatcat:avndspeblvhcjnrnbu5ssuxnie

Scalable computing [chapter]

W. F. McColl
1995 Lecture Notes in Computer Science  
A number of important techniques, tools and methodologies for the design of sequential algorithms and programs have been developed over the past few decades.  ...  The BSP model provides a discipline for the design of scalable programs of this kind. We outline the approach and discuss some of the issues involved. ?  ...  The language is designed to permit the e cient, high level programming of static and dynamic BSP computations, and to permit the performance of those programs to be accurately analysed and predicted.  ... 
doi:10.1007/bfb0015236 fatcat:vnuyf6g42jhrnoj7qx6zklror4

Blending Extensibility and Performance in Dense and Sparse Parallel Data Management

Javier Fresno, Arturo Gonzalez-Escribano, Diego R. Llanos
2014 IEEE Transactions on Parallel and Distributed Systems  
a state-of-the-art, sparse matrix parallel library.  ...  Our solution integrates dense and sparse data management using a common interface, that also decouples data representation, partitioning, and layout from the algorithmic and parallel strategy decisions  ...  Mogecopp project TIN2011-25639, CAPAP-H3 network TIN2010-12011-E, CAPAP-H4 network TIN2011-15734-E); and the HPC-EUROPA2 project (project number: 228398) with the support of the European Commission -Capacities  ... 
doi:10.1109/tpds.2013.248 fatcat:ecciaa4e6razpmy24z7lefzutq

Static Verification of Design Constraints and Software Correctness Properties in the Hob System

Patrick Lam, Martin Rinard
2007 2007 IEEE International Parallel and Distributed Processing Symposium  
Sets of objects are an intuitive foundation for many object-oriented design formalisms, serving as a key concept for describing elements of the design and promoting communication between members of the  ...  It may be natural for the sets of the objects in the design to correspond to the sets of objects in the implementation.  ...  for obtaining a global design conformance result.  ... 
doi:10.1109/ipdps.2007.370521 dblp:conf/ipps/LamR07 fatcat:h6ssd4hlizacnhzn3sjmtr3gli
« Previous Showing results 1 — 15 out of 28,354 results