Publications related to Application binary interface

A Conceptual Framework for Integrating Conversational Agents in Digital Education

The presence of conversational agents (or chatbots) in educational contexts has been steadily increasing over the past few years. Recent surveys have shown widespread interest in the use of chatbots in education, both for research and practice. Although th ...

EPFL2023

Imaging of Chemical Kinetics at the Water–Water Interface in a Free-Flowing Liquid Flat-Jet

Andreas Osterwalder, Bruno Credidio

We present chemical kinetics measurements of the luminol oxidation chemiluminescence (CL) reaction at the interface between two aqueous solutions, using liquid jet technology. Free-flowing liquid microjets are a relatively recent development that have foun ...

2022

Virtual reality enabled building-data management through the combination of a fully integrated IFC-BIM model and an IoT-based building management system

Sergi Aguacil Moreno, Laurent Deschamps, Sebastian Duque Mahecha, Alexandre Denis Stoll, Jean-Philippe Bacher

Professionals involved in building construction and monitoring increasingly implement new practices made available by Building Information Modelling (BIM), Virtual Reality (VR) and the Internet of Things (IoT). In spite of numerous efforts, most methods in ...

2021

Reliability analysis of welded stud shear connectors on simply-supported bridge girders

Scott Walbridge, Matthew James Sjaarda

This paper examines the reliability of welded stud shear connectors for steel-concrete composite bridge girders. A finite element model of a simply-supported bridge was created featuring link connector elements representing the shear studs between beam and ...

CANADIAN SCIENCE PUBLISHING2021

The Cybathlon BCI race: Successful longitudinal mutual learning with two tetraplegic users

José del Rocio Millán Ruiz, Serafeim Perdikis, Luca Tonin, Sareh Saeedi, Christoph Schneider

This work aims at corroborating the importance and efficacy of mutual learning in motor imagery (MI) brain–computer interface (BCI) by leveraging the insights obtained through our participation in the BCI race of the Cybathlon event. We hypothesized that, ...

2018

Distributed Optimization and Control using Operator Splitting Methods

Georgios Stathopoulos

The significant progress that has been made in recent years both in hardware implementations and in numerical computing has rendered real-time optimization-based control a viable option when it comes to advanced industrial applications. At the same time, t ...

EPFL2018

A low-voltage CMOS-compatible time-domain photodetector, device & front end electronics

Denis Sallin

During the last decades, the usage of silicon photodetectors, both as stand-alone sensor or integrated in arrays, grew tremendously. They are now found in almost any application and any market range, from leisure products to high-end scientific apparatuses ...

EPFL2016

Uniting Language Embeddings for Fast and Friendly DSLs

Vojin Jovanovic

The holy grail for a domain-specific language (DSL) is to be friendly and fast. A DSL should be friendly in the sense that it is easy to use by DSL end-users, and easy to develop by DSL authors. DSLs can be developed as entirely new compilers and ecosystem ...

EPFL2016

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

CNC-fabricated dovetails for Joints of Prefabricated CLT Components

Yves Weinand, Christopher Werner Matthias Robeller, Benjamin Hahn, Paul Mayencourt

The widely available automated prefabrication in timber construction companies, as well as modern CAD software with application programing interfaces, allow for the design and production of increasingly geometrically complex building components. This devel ...

Springer Verlag2014

Parametric scripting for early design performance simulation

Guillaume Labelle

This paper discusses the advantages of using a coding interface both to describe form and run performance simulations in the context of architectural design. It outlines the relevance of combining recent interest in the design community for parametric scri ...

Elsevier Science Sa2014

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

Martin Odersky, Heather Christine Klug, Philipp Haller

Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. The popularity of the rationale behind this viewpoint (immutable data transformed by function application) ...

2014

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

FREAK: Fast Retina Keypoint

Pierre Vandergheynst, Alexandre Massoud Alahi, Raphaël Ortiz

A large number of vision applications rely on matching keypoints across images. The last decade featured an arms-race towards faster and more robust keypoints and association algorithms: Scale Invariant Feature Transform (SIFT), Speed-up Robust Feature (SU ...

Ieee2012

Enabling Sophisticated Analysis of x86 Binaries with RevGen

George Candea, Vitaly Chipounov

Current state-of-the-art static analysis tools for binary software operate on ad-hoc intermediate representations (IR) of the machine code. Therefore, even though IRs facilitate program analysis by abstracting away the source language, it is hard to reuse ...

2011

CURVACE - CURVed Artificial Compound Eyes

Dario Floreano, Jean-Christophe Zufferey, Ramon Pericet Camara, Michal Karol Dobrzynski, Géraud L'Eplattenier

CURVACE aims at designing, developing, and assessing CURVed Artificial Compound Eyes, a radically novel family of vision systems. This innovative approach will provide more efficient visual abilities for embedded applications that require motion analysis i ...

Elsevier B.V.2011

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

Temporal streams in commercial server applications

Anastasia Ailamaki, Babak Falsafi, Michael Ferdman

Commercial server applications remain memory bound on modern multiprocessor systems because of their large data footprints, frequent sharing, complex non-strided access patterns, and long chains of dependant misses. To improve memory system performance des ...

2008

Reverse-Engineering Drivers for Safety and Portability

George Candea, Vitaly Chipounov

Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers, without requiring any changes in the drivers or operating system kernels. W ...

2008

The host software for the real-time PHA X-ray diagnostic on TCV

Basil Duval

A real-time pulse height analysis (PHA) X-ray diagnostic for the TCV tokamak has been developed using CFN multi-DSP-based VME acquisition, processing and control board. The hardware is composed by: (i) a detection system based on a Si SDD detector; (ii) a ...

2006