A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Reifying and optimizing collection queries for modularity
2012
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12
Preserved Fulltext
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
2012
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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!
2013
Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2017
Proceedings of the ACM on Programming Languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
Higher-Order and Symbolic Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
, 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
2016
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2017
Proceedings of the 2017 ACM International Conference on Management of Data - SIGMOD '17
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
., 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
2012
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems - LCTES '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2008
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2018
International Journal of Engineering & Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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