English
Related papers

Related papers: SEE++: Evolving Snowpark Execution Environment for…

200 papers

We present the Databox application development environment or SDK as a means of enabling trusted IoT app development at the network edge. The Databox platform is a dedicated domestic platform that stores IoT, mobile and cloud data and…

Software Engineering · Computer Science 2018-05-29 Thomas Lodge , Anthony Brown , Andy Crabtree

WebAssembly is an increasingly popular lightweight binary instruction format, which can be efficiently embedded and sandboxed. Languages like C, C++, Rust, Go, and many others can be compiled into WebAssembly. This paper describes Twine, a…

Cryptography and Security · Computer Science 2021-09-02 Jämes Ménétrey , Marcelo Pasin , Pascal Felber , Valerio Schiavoni

RISC-V-based Trusted Execution Environments (TEEs) are gaining traction in the automotive and IoT sectors as a foundation for protecting sensitive computations. However, the supporting infrastructure around these TEEs remains immature. In…

Cryptography and Security · Computer Science 2026-03-19 Annika Wilde , Samira Briongos , Claudio Soriente , Ghassan Karame

DataFlow has been emerging as a new paradigm for building task-oriented chatbots due to its expressive semantic representations of the dialogue tasks. Despite the availability of a large dataset SMCalFlow and a simplified syntax, the…

Computation and Language · Computer Science 2022-12-19 Han He , Song Feng , Daniele Bonadiman , Yi Zhang , Saab Mansour

Code sandboxes have emerged as a critical infrastructure for advancing the coding capabilities of large language models, providing verifiable feedback for both RL training and evaluation. However, existing systems fail to provide accurate…

Software Engineering · Computer Science 2026-05-01 Jiasheng Zheng , Xin Zheng , Boxi Cao , Pengbo Wang , Zhengzhao Ma , Qiming Zhu , Jiazhen Jiang , Yaojie Lu , Hongyu Lin , Xianpei Han , Le Sun

The recent influx of open scientific data has contributed to the transitioning of scientific computing from compute intensive to data intensive. Whereas many Big Data frameworks exist that minimize the cost of data transfers, few scientific…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-06 Valérie Hayot-Sasson , Mathieu Dugré , Tristan Glatard

In real-world scenarios, trusted execution environments (TEEs) frequently host applications that lack the trust of the infrastructure provider, as well as data owners who have specifically outsourced their data for remote processing. We…

Cryptography and Security · Computer Science 2023-12-15 Jämes Ménétrey , Marcelo Pasin , Pascal Felber , Valerio Schiavoni , Giovanni Mazzeo , Arne Hollum , Darshan Vaydia

Machine learning has become a critical component of modern data-driven online services. Typically, the training phase of machine learning techniques requires to process large-scale datasets which may contain private and sensitive…

Cryptography and Security · Computer Science 2019-02-13 Roland Kunkel , Do Le Quoc , Franz Gregor , Sergei Arnautov , Pramod Bhatotia , Christof Fetzer

The latest generation of Intel processors supports Software Guard Extensions (SGX), a set of instructions that implements a Trusted Execution Environment (TEE) right inside the CPU, by means of so-called enclaves. This paper presents…

Performance · Computer Science 2019-06-27 Sébastien Vaucher , Valerio Schiavoni , Pascal Felber

The cloud computing landscape has evolved significantly in recent years, embracing various sandboxes to meet the diverse demands of modern cloud applications. These sandboxes encompass container-based technologies like Docker and gVisor,…

Cryptography and Security · Computer Science 2024-05-27 Debopriya Roy Dipta , Thore Tiemann , Berk Gulmezoglu , Eduard Marin , Thomas Eisenbarth

Container technique is gaining increasing attention in recent years and has become an alternative to traditional virtual machines. Some of the primary motivations for the enterprise to adopt the container technology include its convenience…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-06 Qi Zhang , Ling Liu , Calton Pu , Qiwei Dou , Liren Wu , Wei Zhou

Trusted execution environments (TEEs) such as \intelsgx facilitate the secure execution of an application on untrusted machines. Sadly, such environments suffer from serious limitations and performance overheads in terms of writing back…

Cryptography and Security · Computer Science 2022-05-16 Sandeep Kumar , Abhisek Panda , Smruti R. Sarangi

Reinforcement learning (RL) has become a key paradigm for training software engineering (SWE) agents, but existing pipelines typically rely on per-task containers for isolation. At scale, pre-built container images incur substantial storage…

Software Engineering · Computer Science 2026-05-22 Danlong Yuan , Wei Wu , Zhengren Wang , Xueliang Zhao , Huishuai Zhang , Dongyan Zhao

Software transactional memory implementations which allow transactions to work on inconsistent states of shared data, risk to cause application visible errors such as memory access violations or endless loops. Hence, many implementations…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-09-23 Holger Machens

Trusted Execution Environments (TEEs), such as Intel's Software Guard Extensions (SGX), are increasingly being adopted to address trust and compliance issues in the public cloud. Intel SGX's second generation (SGXv2) addresses many…

Databases · Computer Science 2025-01-24 Adrian Lutsch , Muhammad El-Hindi , Matthias Heinrich , Daniel Ritter , Zsolt István , Carsten Binnig

The emergence of multimodal large models has advanced artificial intelligence, introducing unprecedented levels of performance and functionality. However, optimizing these models remains challenging due to historically isolated paths of…

Artificial Intelligence · Computer Science 2025-06-05 Daoyuan Chen , Haibin Wang , Yilun Huang , Ce Ge , Yaliang Li , Bolin Ding , Jingren Zhou

Software engineering agents (swe-agents), as key innovations in intelligent software engineering, are poised in the industry's end-of-programming debate to transcend from assistance to primary roles. we argue the importance of swe-agents'…

Software Engineering · Computer Science 2024-12-18 Mohamed A. Fouad , Marcelo de Almeida Maia

Cloud computing is a ubiquitous solution to handle today's complex computing demands. However, it comes with data privacy concerns, as the cloud service provider has complete access to code and data running on their infrastructure. VM-based…

Cryptography and Security · Computer Science 2024-06-04 Luca Wilke , Gianluca Scopelliti

Enterprises increasingly rely on cloud-based applications to process highly sensitive data artifacts. Although cloud adoption improves agility and scalability, it also introduces new security challenges such as expanded attack surfaces, a…

Cryptography and Security · Computer Science 2026-03-11 Vamshi Krishna Thotempudi , Mahima Agarwal , Raghav Batta , Anjali Mangal

Variations in High Performance Computing (HPC) system software configurations mean that applications are typically configured and built for specific HPC environments. Building applications can require a significant investment of time and…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-02 Jieyang Chen , Qiang Guan , Xin Liang , Louis James Vernon , Allen McPherson , Li-Ta Lo , Zizhong Chen , James Paul Ahrens