Topics in computer programming

Related publications (373)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

-Overify: Optimizing Programs for Fast Verification

George Candea, Volodymyr Kuznetsov, Jonas Benedict Wagner

Developers rely on automated testing and verification tools to gain confidence in their software. The input to such tools is often generated by compilers that have been designed to generate code that runs fast, not code that can be verified easily and quic ...

2013

An Embedded Query Language in Scala

Amir Shaikhha

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 ...

2013

Runtime 3-D Stacked Cache Management for Chip-Multiprocessors

Giovanni De Micheli

These-dimensional (3-D) memory stacking is one of the most promising solutions to memory bandwidth problems in chip multiprocessors. In this work, we propose an efficient runtime 3-D cache management technique which takes advantage of the lower latencies t ...

2013

Secure Computing with the MPEG RVC Framework

Marco Mattavelli, Richard Thavot, Junaid Jameel Ahmad

Recently, ISO/IEC standardized a dataflow-programming framework called Reconfigurable Video Coding (RVC) for the specification of video codecs. The RVC framework aims at providing the specification of a system at a high abstraction level so that the functi ...

Elsevier Science Bv2013

Using Reified Types for Specialization

Nicolas Alexander Stucki

Generic code increases programmer productivity as it increases code reuse. For example, the LinkedList abstraction can be used in many contexts, from storing a list of numbers to storing representations of files on the disk. Unfortunately this comes at the ...

2013

Widgets and Spaces

Evgeny Bogdanov

Social media platforms are created and exploited for various activities carried out individually or collaboratively and relying on different resources and tools. Social media platforms are inherently contextual; the context being defined as a specific acti ...

EPFL2013

Surpassing Fundamental Limits of Oscillators Using Nonlinear Resonators

Luis Guillermo Villanueva Torrijo

In its most basic form an oscillator consists of a resonator driven on resonance, through feedback, to create a periodic signal sustained by a static energy source. The generation of a stable frequency, the basic function of oscillators, is typically achie ...

American Physical Society2013

Dissipation as variable in cartilage mechanobiology

Philippe Abdel Sayed

Mechanobiology is the analysis of the role of mechanical forces in educing a molecular response in cells. Nowadays, mechanobiology may contribute to clinical progress. In particular, mechanical stimulation has been proposed to induce chondrogenesis in engi ...

EPFL2013

Reactive Programming Abstractions for Complex Event Logic and Dynamic Data Dependencies

Ingo Maier

A large part of software written today is reactive. In contrast to batch mode systems, a reactive program continuously adapts itself to new input which often requires a substantial amount of engineering. Traditionally, reactive programs are implemented in ...

EPFL2013

Lightweight Modular Staging and Embedded Compilers

Tiark Rompf

Programs expressed in a high-level programming language need to be translated to a low-level machine dialect for execution. This translation is usually accomplished by a compiler, which is able to translate any legal program to equivalent low-level code. B ...

EPFL2012