Filters








680 Hits in 2.0 sec

Reifying and optimizing collection queries for modularity

Paolo G. Giarrusso
2012 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12  
Instead, performance-critical code using collections must be hand-optimized, leading to non-modular, brittle, and redundant code.  ...  We propose SQUOPT, the Scala Query Optimizer, a deep embedding of the Scala collection library performing collection-specific optimizations automatically without external tools or compiler extensions.  ...  Acknowledgements The authors would like to thank Sebastian Erdweg and the OOPSLA anonymous reviewers for their helpful comments.  ... 
doi:10.1145/2384716.2384735 dblp:conf/oopsla/Giarrusso12 fatcat:vtm74dlhqnebppntjcf65ln3qm

Reifying and optimizing collection queries for modularity

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner
2012 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12  
Instead, performance-critical code using collections must be hand-optimized, leading to non-modular, brittle, and redundant code.  ...  We propose SQUOPT, the Scala Query Optimizer, a deep embedding of the Scala collection library performing collection-specific optimizations automatically without external tools or compiler extensions.  ...  Acknowledgements The authors would like to thank Sebastian Erdweg and the OOPSLA anonymous reviewers for their helpful comments.  ... 
doi:10.1145/2384716.2384747 dblp:conf/oopsla/GiarrussoOERK12 fatcat:tybqrtontzfbhd66tvol4uve4i

Reify your collection queries for modularity and speed!

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner
2013 Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13  
We propose SQuOpt, the Scala Query Optimizer--a deep embedding of the Scala collections API that allows such analyses and optimizations to be defined and executed within Scala, without relying on external  ...  Modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating on collections.  ...  and Karl Klose for their helpful comments on this paper.  ... 
doi:10.1145/2451436.2451438 dblp:conf/aosd/GiarrussoOEMRK13 fatcat:jqisbsyqevgsvl75we22cejyc4

Staged generic programming

Jeremy Yallop
2017 Proceedings of the ACM on Programming Languages  
CCS Concepts: • Software and its engineering → Functional languages; Modules / packages;  ...  This leaves programmers with the regrettable choice between writing succinct but slow programs and writing tedious but efficient programs.  ...  The sections that follow give further uses for reify, which provides a basis for code motion (Section 4.4) and for statically exploring and eliminating dynamic branches (Section 4.5, Section 4.6). reify  ... 
doi:10.1145/3110273 dblp:journals/pacmpl/Yallop17 fatcat:23a3xf5a7nc3ribcrvfnnkeeai

Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation [article]

Baltasar Trancón y Widemann, Markus Lepper
2019 arXiv   pre-print
optimization.  ...  In this paper, we describe a technique for improving the performance of Paisley transparently, without compromising the flexible and extensible combinatorial design.  ...  reifies pattern matching primitives by a collection of Java classes.  ... 
arXiv:1908.11142v1 fatcat:x3q3vfxsrfcelmmogwilt5hkpe

Scala-Virtualized: linguistic reuse for deep embeddings

Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
2012 Higher-Order and Symbolic Computation  
, optimized, or further translated.  ...  way that certain features are fully implemented in the shallow embedding part and do not need to be reified at the deep embedding level.  ...  Using Lightweight Modular Staging [43] and Delite [6, 28] we can add parallelism, loop fusion, code motion and other advanced optimizations.  ... 
doi:10.1007/s10990-013-9096-9 fatcat:odv26zygmzaf7k7xxxwnfjj6fy

Efficient Persistence and Query Techniques for Very Large Models

Gwendal Daniel
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
However, existing solutions often rely on a single data store, which suits for a specific modeling activity, but may not be optimized for other scenarios.  ...  In particular, there is a need to store, query, and transform very large models in an efficient way.  ...  In this section we present these connectors and the modeling scenario they are optimized for.  ... 
dblp:conf/models/Daniel16 fatcat:oc7do4e47jc65bsfe3lo4qz6me

Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2017 Proceedings of the 2017 ACM International Conference on Management of Data - SIGMOD '17  
., variable-free, have been proposed as a better representation for query compilation and optimization.  ...  This extension provides an elegant way to represent views in query plans, and can radically simplify compilation and optimization for source languages with rich environment manipulations.  ...  We would like to thank the anonymous reviewers for their comments and suggestions which greatly helped us improve the content and presentation of this work.  ... 
doi:10.1145/3035918.3035961 dblp:conf/sigmod/AuerbachHMSS17 fatcat:j3vhctveubbyvogpyempnest6y

Scala-virtualized

Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky
2012 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12  
Supporting artifacts of our tool include web-based tutorials, nightly builds, and an Eclipse update site hosting an up-to-date version of the Scala IDE for Eclipse based on the Virtualized Scala compiler  ...  and standard library.  ...  Matrix in terms of Exp[T] internally, we can reify the matrix operations and optimize them later.  ... 
doi:10.1145/2103746.2103769 dblp:conf/pepm/MoorsRHO12 fatcat:rlvilrxd3rawvcq275epve7oe4

AspectJ code analysis and verification with GASR

Johan Fabry, Coen De Roover, Carlos Noguera, Steffen Zschaler, Awais Rashid, Viviane Jonckers
2016 Journal of Systems and Software  
Aspect-oriented programming languages extend existing languages with new features for supporting modularization of crosscutting concerns.  ...  GASR finds already known aspect assumptions and adds instances that had been previously overlooked.  ...  and Technology" (IWT Vlaanderen).  ... 
doi:10.1016/j.jss.2016.04.014 fatcat:tjw2mdiepvdplakusnm3vgywme

Implementing modular class-based reuse mechanisms on top of a single inheritance VM

Pablo Tesone, Guillermo Polito, Luc Fabresse, Noury Bouraqadi, Stéphane Ducasse
2018 Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18  
In this paper, we propose a modular meta-level runtime architecture to implement and combine different code reuse mechanisms.  ...  It includes moreover a reflective Meta-Object Protocol to query and modify classes using the programming logical model instead of the underlying low-level runtime model.  ...  Acknowledgements This work was supported by Ministry of Higher Education and Research, Nord-Pas de Calais Regional Council, CPER Nord-Pas de Calais/FEDER DATA Advanced data science and technologies 2015  ... 
doi:10.1145/3167132.3167244 dblp:conf/sac/TesonePFBD18 fatcat:ogjn7qafuzfhlnqvcc2rgzprne

Design and evaluation of a compiler for embedded stream programs

Ryan R. Newton, Lewis D. Girod, Michael B. Craig, Samuel R. Madden, John Gregory Morrisett
2008 Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems - LCTES '08  
We have used our language to build and deploy a sensornetwork for the acoustic localization of wild animals, in particular, the Yellow-Bellied marmot.  ...  We evaluate the contribution of our optimizations to this success.  ...  Dynamic allocation and garbage collection allow for higher level programming and better encapsulated libraries.  ... 
doi:10.1145/1375657.1375675 dblp:conf/lctrts/NewtonGCMM08 fatcat:vzuxt43dzbe37cgouwqimiyppe

Design and evaluation of a compiler for embedded stream programs

Ryan R. Newton, Lewis D. Girod, Michael B. Craig, Samuel R. Madden, John Gregory Morrisett
2008 SIGPLAN notices  
We have used our language to build and deploy a sensornetwork for the acoustic localization of wild animals, in particular, the Yellow-Bellied marmot.  ...  We evaluate the contribution of our optimizations to this success.  ...  Dynamic allocation and garbage collection allow for higher level programming and better encapsulated libraries.  ... 
doi:10.1145/1379023.1375675 fatcat:buh4kwpnkvccblfgrjy23z2jjm

Analytic architecture to overcome real time traffic control as an intelligent transportation system using big data

Venkata Ramana N, Seravana Kumar P. V. M, Puvvada Nagesh
2018 International Journal of Engineering & Technology  
In this paper, we propose a comprehensive and flexible architecture based on distributed computing platform for real-time traffic control.  ...  We have partly realized the architecture in a prototype platform that employs Kafka, a state-of-the-art Big Data tool for building data pipelines and stream processing.  ...  Descriptive vs. predictive: some queries look into the data that describe the current (or previous) state of the system e.g. the current queue length for signal optimization, while other queries ask for  ... 
doi:10.14419/ijet.v7i2.18.10772 fatcat:25zvac4khbe7nk2wekpxrhapsi

i3QL

Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi
2014 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14  
To improve performance, i3QL optimizes user-defined queries by applying algebraic laws and partial evaluation.  ...  We describe the design and implementation of i3QL and its optimizations, demonstrate its applicability, and evaluate its performance.  ...  [13] describe SQuOpt, an optimized implementation of Scala collections that, similar to LINQ, reifies the query syntax tree for optimization.  ... 
doi:10.1145/2660193.2660242 dblp:conf/oopsla/MitschkeEKMS14 fatcat:ihhjki3e75dedd7avyqkphvlzq
« Previous Showing results 1 — 15 out of 680 results