Concept
Runtime library
Related publications (27)
ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant
Martin Odersky, Vlad Ureche, Cédric Bastin
The ScalaDyno compiler plugin allows fast prototyping with the Scala programming language, in a way that combines the benefits of both statically and dynamically typed languages. Static name resolution and type checking prevent partially-correct code from ...
ACM2014An Embedded Query Language in Scala
In this thesis we address the problem of integrating general purpose programming languages with relational databases. An approach to solving this problem is using raw strings to represent SQL statements. This approach leads to runtime errors and security v ...
2013Fine-grained Parallel Traversals of Irregular Data Structures
Fine-grain data parallelism is increasingly common in mainstream processors in the form of long vectors and on-chip GPUs. This paper develops compiler and runtime support to exploit such data parallelism for non-numeric, non-graphic, irregular parallel tas ...
ACM2012Single Molecule Detection of Nitric Oxide Enabled by d(AT)15 DNA Adsorbed to Near Infrared Fluorescent Single-Walled Carbon Nanotubes
We report the selective detection of single nitric oxide (NO) mols. using a specific DNA sequence of d(AT)15 oligonucleotides, adsorbed to an array of near-IR fluorescent semiconducting single-walled carbon nanotubes (AT15-SWNT). While SWNT suspended with ...
2011Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the program execute and thereby read the important dynamic configuration data, the ...
Springer2010Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the program execute and thereby read the important dynamic configuration data, the ...
2010Neural Network based On-Chip Thermal Simulator
David Atienza Alonso, Pratyush Kumar
With increasing power densities, runtime thermal management is becoming a necessity in today’s systems, especially so for highly integrated Multi-Processor Systems-on-Chip (MPSoCs). In this paper, we propose a neural network (NN) based approach to implemen ...
IEEE Press2010Model-Based Debugging
Software Debugging is still one of the most challenging and time consuming aspects of software development. Monitoring the software behavior and finding the causes of this behavior are located at the center of debugging process. Although many tools and tec ...
2009Towards Collaborative Portable Web Spaces
Denis Gillet, Stéphane Sire, Evgeny Bogdanov
As two recent trends in Web development, Widgets and mashups, are converging, we claim that there is a growing need to define a Widget Space configuration language to allow building flexible personal learning environments that could be independent of a run ...
2009Runtime Checking for Separation Logic
Separation logic is a popular approach for specifying properties of recursive mutable data structures. Several existing systems verify a subclass of separation logic specifications using static analysis techniques. Checking data structure specifications du ...
Springer2008