Publications associées à Langage de script

SMT-Based Checking of Predicate-Qualified Types for Scala

We present qualified types for Scala, a form of refinement types adapted to the Scala language. Qualified types allow users to refine base types and classes using predicate expressions. We implemented a type checker for qualified types that is embedded in ...

Assoc Computing Machinery2016

ShapeOp - A Robust and Extensible Geometric Modelling Paradigm

Mark Pauly, Sofien Bouaziz, Bailin Deng, Mario Moacir Deuss, Anders Holden Deleuran

We present ShapeOp, a robust and extensible geometric modelling paradigm. ShapeOp builds on top of the state-of-the-art physics solver (Bouaziz et al. in ACM Trans Graph 33:154:1–154:11, 2014). We discuss the main theoretical advantages of the underlying s ...

Springer 2015

OsmoseLua – An Integrated Approach to Energy Systems Integration with LCIA and GIS

François Maréchal, Lindsay Dianne Lessard, Maziar Kermani, Min-Jung Yoo

In this paper, we present our recent work on the implementation of an Energy Systems Integration platform allowing the modeling of Energy Systems integrating LCI (Life Cycle Inventory), LCIA (Life Cycle Impact Assessment) and GIS (Geographical Information ...

Elsevier2015

Improving the Interoperation between Generics Translations

Martin Odersky, Nicolas Alexander Stucki, Vlad Ureche, Romain Michel Beguet, Milos Stojanovic

Generics on the Java platform are compiled using the erasure transformation, which only supports by-reference values. This causes slowdowns when generics operate on primitive types, such as integers, as they have to be transformed into reference-based obje ...

ACM2015

Prototyping Symbolic Execution Engines for Interpreted Languages

George Candea, Johannes Kinder, Stefan Bucur

Symbolic execution is being successfully used to automatically test statically compiled code. However, increasingly more systems and applications are written in dynamic interpreted languages like Python. Building a new symbolic execution engine is a monume ...

ACM2014

On Lock-Free Work-stealing Iterators for Parallel Data Structures

Martin Odersky, Aleksandar Prokopec, Dmytro Petrashko

With the rise of multicores, there is a trend of supporting data-parallel collection operations in general purpose programming languages. These operations are highly parametric, incurring abstraction performance penalties. Furthermore, data-parallel operat ...

2014

Late Data Layout: Unifying Data Representation Transformations

Martin Odersky, Eugene Burmako, Vlad Ureche

Values need to be represented differently when interacting with certain language features. For example, an integer has to take an object-based representation when interacting with erased generics, although, for performance reasons, the stack-based value re ...

ACM2014

Accelerating parser combinators with macros

Manohar Jonnalagedda, Eric Beguet

Parser combinators provide an elegant way of writing parsers: parser implementations closely follow the structure of the underlying grammar, while accommodating interleaved host language code for data processing. However, the host language features used fo ...

ACM Press2014

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Langage de script

SMT-Based Checking of Predicate-Qualified Types for Scala

ShapeOp - A Robust and Extensible Geometric Modelling Paradigm

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

OsmoseLua – An Integrated Approach to Energy Systems Integration with LCIA and GIS

Improving the Interoperation between Generics Translations

Scalable and Reactive Programming for Semantic Web Developers

Prototyping Symbolic Execution Engines for Interpreted Languages

On Lock-Free Work-stealing Iterators for Parallel Data Structures

Late Data Layout: Unifying Data Representation Transformations

Accelerating parser combinators with macros

Graph Chatbot

Chattez avec Graph Search

Late Data Layout: Unifying Data Representation Transformations

Accelerating parser combinators with macros

Improving the Interoperation between Generics Translations

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

SMT-Based Checking of Predicate-Qualified Types for Scala

Prototyping Symbolic Execution Engines for Interpreted Languages

OsmoseLua – An Integrated Approach to Energy Systems Integration with LCIA and GIS

On Lock-Free Work-stealing Iterators for Parallel Data Structures

Scalable and Reactive Programming for Semantic Web Developers

ShapeOp - A Robust and Extensible Geometric Modelling Paradigm