Publication

A Comparison between Two Automatic Assessment Approaches for Programming: An Empirical Study on MOOCs

Publications associées (29)

Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages

Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...

EPFL2020

Program compilation for large-scale quantum computers

Giulia Meuli

Practical realizations of quantum computers are poised to deliver outstanding computational capabilities far beyond the reach of any classical supercomputer. While classical systems are reliably implemented using CMOS technology, the fabrication of quantu ...

EPFL2020

Exploiting Errors for Efficiency: A Survey from Circuits to Applications

Damien Zufferey, Babak Falsafi, Sasa Misailovic, Eva Darulova, Dorde Jevdic, Alexandros Daglis, Mattia Cacciotti

When a computational task tolerates a relaxation of its specification or when an algorithm tolerates the effects of noise in its execution, hardware, system software, and programming language compilers or their runtime systems can trade deviations from cor ...

ASSOC COMPUTING MACHINERY2020

System for personalized robotic therapy and related methods

Nawal Noëlle Kinany, Elvira Pirondini, Silvestro Micera, Christian Giang, Camilla Pierella

The present invention provides an apparatus and a method able to estimate motor improvement in real-time during three-dimensional rehabilitation tasks and to consequently dynamically personalize the therapy.The method can be carried out by a computer progr ...

2019

Shrink It or Shed It! Minimize the Use of LSQs in Dataflow Designs

Paolo Ienne, Lana Josipovic, Atri Bhattacharyya, Andrea Guerrieri

When applications have unpredictable memory accesses or irregular control flow, dataflow circuits overcome the limitations of statically scheduled high-level synthesis (HLS). If memory dependences cannot be determined at compile time, dataflow circuits rel ...

IEEE COMPUTER SOC2019

Secured Routines: Language-based Construction of Trusted Execution Environments

Adrien Ghosn, Edouard Bugnion, James Richard Larus

Trusted Execution Environments (TEEs), such as Intel SGX enclaves, use hardware to ensure the confidentiality and integrity of operations on sensitive data. While the technology is available on many processors, the complexity of its programming model and i ...

USENIX ASSOC2019

Applications of Artificial Intelligence to Computational Chemistry

Nicholas John Browning

The calculation of the electronic structure of chemical systems, necessitates computationally expensive approximations to the time-independent electronic Schrödinger equation in order to yield static properties in good agreement with experimental results. ...

EPFL2019

Speculative Dataflow Circuits

Paolo Ienne, Lana Josipovic, Andrea Guerrieri

With FPGAs facing broader application domains, the conversion of imperative languages into dataflow circuits has been recently revamped as a way to overcome the conservatism of statically scheduled high-level synthesis. Apart from the ability to extract pa ...

ASSOC COMPUTING MACHINERY2019

Shape optimisation of technical devices via gradient descent using convolutional neural network proxies

Pascal Fua, François Fleuret, Pierre Bruno Baqué

The present invention generally relates to a method, a system and a computer program for shape optimisation of a technical device adapted to be exposed to a fluid flowing around a contour of said device with respect to its fluid dynamic parameters. In orde ...

2019