Publications associées à Référence (programmation)

Secure Interface Design Leveraging Hardware/Software Support

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Pixels: An Efficient Column Store for Cloud Data Lakes

Anastasia Ailamaki, Haoqiong Bian

To benefit from the cloud’s higher elasticity and price-efficiency, most modern data-lake engines support S3-like cloud object storage (COS) services as their optional or preferred underlying storage. Meanwhile, the widespread column stores, such as Parque ...

IEEE2022

Proving and Disproving Equivalence of Functional Programming Assignments

Viktor Kuncak, Dragana Milovancevic

We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...

2023

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso

Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...

2020

One-minute average horizontal wind velocity data (which has been corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract One-minute average horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4. The data has been filtered for spurious observations and the true wind correction has been redone ...

2020

One-minute average horizontal wind velocity data (not corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract This dataset contains the one-minute average horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4. The data has been filtered for spurious observations and the true wind ...

2020

Air-flow distortion bias factors of the port and starboard anemometers of the Akademik Tryoshnikov estimated during the Antarctic Circumnavigation Expedition (ACE) legs 0-4 undertaken during the austral summer of 2016/2017

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract This data set contains the air-flow distortion bias factors of the port and starboard anemometers of the Akademik Tryoshnikov estimated during the Antarctic Circumnavigation Expedition (ACE) legs 0-4 undertaken during the ...

2020

Five-minute average horizontal wind velocity data combined from both sensors (which has been corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract The horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4 has been corrected for air-flow distortion. The measurements from both the port and starboad side anemometer were ...

2020

Better Patch Stitching for Parametric Surface Reconstruction

Pascal Fua, Mathieu Salzmann, Jan Bednarík, Zhantao Deng

Recently, parametric mappings have emerged as highly effective surface representations, yielding low reconstruction error. In particular, the latest works represent the target shape as an atlas of multiple mappings, which can closely encode object parts. A ...

IEEE2020