Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJune 2024
Estimating the Runtime and Global Network Traffic of SMPC Protocols
CODASPY '24: Proceedings of the Fourteenth ACM Conference on Data and Application Security and PrivacyJune 2024, Pages 7–18https://doi.org/10.1145/3626232.3653258Secure multi-party computation (SMPC) enables multiple parties to evaluate functions of their private inputs, in a way such that none of the parties can learn anything about the other parties' private input but what can be learned from their own input ...
- research-articleAugust 2024
Towards Automatic Generation of Systems-of-Systems Architectural Configurations
SESoS '24: Proceedings of the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software EcosystemsApril 2024, Pages 29–36https://doi.org/10.1145/3643655.3643884The increasing reliance on Systems-of-Systems (SoS) across critical domains, such as emergency response, healthcare, and smart cities, underscores the need for reliable architectures capable of seamlessly accommodating new SoS missions that emerge at ...
- research-articleJune 2024
Alexa, is the skill always safe? Uncover Lenient Skill Vetting Process and Protect User Privacy at Run Time
ICSE-SEIS'24: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in SocietyApril 2024, Pages 34–45https://doi.org/10.1145/3639475.3640102Voice personal assistant (VPA) platforms (e.g., Amazon Alexa) allow developers to deploy their voice apps on third-party servers. However, this strategy introduces unexpected privacy risks to VPA customers. Malicious developers can dynamically change ...
- ArticleJune 2023
Unifying Gathering Protocols for Swarms of Mobile Robots
AbstractIn this paper, we survey recent results regarding the Gathering problem in the research area of distributed computing by mobile robots. We assume a simple, standard model of robots: they are point-shaped, live in a d- dimensional Euclidean space, ...
- research-articleMay 2023
Agent-directed Runtime Norm Synthesis
AAMAS '23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent SystemsMay 2023, Pages 2271–2279To maintain fitness-for-purpose, the set of norms governing a MAS will typically need to evolve to reflect the changing needs of both participants and the environment. We put forward a conceptual framework to address this problem comprising dynamic ...
-
- research-articleJuly 2023
Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX
- Xinyuan Miao,
- Ziyi Lin,
- Shaojun Wang,
- Lei Yu,
- Sanhong Li,
- Zihan Wang,
- Pengbo Nie,
- Yuting Chen,
- Beijun Shen,
- He Jiang
ICSE '23: Proceedings of the 45th International Conference on Software EngineeringMay 2023, Pages 1648–1660https://doi.org/10.1109/ICSE48619.2023.00142Intel's SGX is a confidential computing technique. It allows key functionalities of C/C++/native applications to be confidentially executed in hardware enclaves. However, numerous cloud applications are written in Java. For supporting their ...
- articleDecember 2022
Proving the Correctness of GNAT Light Runtime Library
ACM SIGAda Ada Letters (SIGADA), Volume 42, Issue 1June 2022, Pages 65–67https://doi.org/10.1145/3577949.3577959The GNAT light runtime library is a version of the runtime library targeted at embedded platforms and certification, which has been certified for use at the highest levels of criticality in several industrial domains. It contains around 180 units ...
- research-articleMarch 2022
Dynamic Evaluation of Microservice Granularity Adaptation
ACM Transactions on Autonomous and Adaptive Systems (TAAS), Volume 16, Issue 2Article No.: 4, Pages 1–35https://doi.org/10.1145/3502724Microservices have gained acceptance in software industries as an emerging architectural style for autonomic, scalable, and more reliable computing. Among the critical microservice architecture design decisions is when to adapt the granularity of a ...
CARAT CAKE: replacing paging via compiler/kernel cooperation
- Brian Suchy,
- Souradip Ghosh,
- Drew Kersnar,
- Siyuan Chai,
- Zhen Huang,
- Aaron Nelson,
- Michael Cuevas,
- Alex Bernat,
- Gaurav Chaudhary,
- Nikos Hardavellas,
- Simone Campanoni,
- Peter Dinda
ASPLOS '22: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating SystemsFebruary 2022, Pages 98–114https://doi.org/10.1145/3503222.3507771Virtual memory, specifically paging, is undergoing significant innovation due to being challenged by new demands from modern workloads. Recent work has demonstrated an alternative software only design that can result in simplified hardware requirements, ...
- short-paperSeptember 2021
Specializing generic Java data structures
MPLR 2021: Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and RuntimesSeptember 2021, Pages 45–53https://doi.org/10.1145/3475738.3480718The Collections framework is an essential utility in virtually every Java application. It offers a set of fundamental data structures that exploit Java Generics and the Object type in order to enable a high degree of reusability. Upon instantiation, ...
- research-articleNovember 2020
TOSS-2020: a commodity software stack for HPC
- Edgar A. León,
- Trent D'Hooge,
- Nathan Hanford,
- Ian Karlin,
- Ramesh Pankajakshan,
- Jim Foraker,
- Chris Chambreau,
- Matthew L. Leininger
SC '20: Proceedings of the International Conference for High Performance Computing, Networking, Storage and AnalysisNovember 2020, Article No.: 40, Pages 1–15The simulation environment of any HPC platform is key to the performance, portability, and productivity of scientific applications. This environment has traditionally been provided by platform vendors, presenting challenges for HPC centers and users ...
- research-articleSeptember 2020
Ribbon: High Performance Cache Line Flushing for Persistent Memory
PACT '20: Proceedings of the ACM International Conference on Parallel Architectures and Compilation TechniquesSeptember 2020, Pages 427–439https://doi.org/10.1145/3410463.3414625Cache line flushing (CLF) is a fundamental building block for programming persistent memory (PM). CLF is prevalent in PM-aware workloads to ensure crash consistency. It also imposes high overhead. Extensive works have explored persistency semantics and ...
- research-articleMay 2020
Decentralised Runtime Norm Synthesis
AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent SystemsMay 2020, Pages 2196–2198The process of determining the appropriate set of norms, referred to as synthesis, for a multiagent system has predominantly been carried out offline by the designers of the system. Of recent, there have been a few approaches that synthesise norms ...
Time-sensitive Intermittent Computing Meets Legacy Software
ASPLOS '20: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating SystemsMarch 2020, Pages 85–99https://doi.org/10.1145/3373376.3378476Tiny energy harvesting sensors that operate intermittently, without batteries, have become an increasingly appealing way to gather data in hard to reach places at low cost. Frequent power failures make forward progress, data preservation and consistency,...
- posterFebruary 2020
Breaking master-slave model between host and FPGAs
- Jaume Bosch,
- Miquel Vidal,
- Antonio Filgueras,
- Carlos Álvarez,
- Daniel Jiménez-González,
- Xavier Martorell,
- Eduard Ayguadé
PPoPP '20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel ProgrammingFebruary 2020, Pages 419–420https://doi.org/10.1145/3332466.3374545This paper proposes to enhance current task-based programming models by breaking their current master-slave approach between the main processor and its hardware accelerators. As a proof-of-concept, it presents an extension of the OmpSs@FPGA toolchain ...
Overlapping host-to-device copy and computation using hidden unified memory
PPoPP '20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel ProgrammingFebruary 2020, Pages 321–335https://doi.org/10.1145/3332466.3374531In this paper, we propose a runtime, called HUM, which hides host-to-device memory copy time without any code modification. It overlaps the host-to-device memory copy with host computation or CUDA kernel computation by exploiting Unified Memory and ...
- research-articleJanuary 2020
Runtime mechanisms to survive new HPC architectures: A use case in human respiratory simulations
- Marta Garcia-Gasulla,
- Filippo Mantovani,
- Marc Josep-Fabrego,
- Beatriz Eguzkitza,
- Guillaume Houzeaux,
- José M Cecilia
International Journal of High Performance Computing Applications (SAGE-HPCA), Volume 34, Issue 1Jan 2020, Pages 42–56https://doi.org/10.1177/1094342019842919Computational fluid and particle dynamics (CFPD) simulations are of paramount importance for studying and improving drug effectiveness. Computational requirements of CFPD codes demand high-performance computing (HPC) resources. For these reasons, we ...
- research-articleDecember 2019
Automating Multi-level Performance Elastic Components for IBM Streams
Middleware '19: Proceedings of the 20th International Middleware ConferenceDecember 2019, Pages 163–175https://doi.org/10.1145/3361525.3361544Streaming applications exhibit abundant opportunities for pipeline parallelism, data parallelism and task parallelism. Prior work in IBM Streams introduced an elastic threading model that sought the best performance by automatically tuning the number of ...
Compiler assisted hybrid implicit and explicit GPU memory management under unified address space
SC '19: Proceedings of the International Conference for High Performance Computing, Networking, Storage and AnalysisNovember 2019, Article No.: 51, Pages 1–16https://doi.org/10.1145/3295500.3356141To improve programmability and productivity, recent GPUs adopt a virtual memory address space shared with CPUs (e.g., NVIDIA's unified memory). Unified memory migrates the data management burden from programmers to system software and hardware, and ...
- research-articleApril 2019
Model-Integrated Queries for the Analysis of Runtime Events: A Controlled Experiment
EASE '19: Proceedings of the 23rd International Conference on Evaluation and Assessment in Software EngineeringApril 2019, Pages 35–44https://doi.org/10.1145/3319008.3319010Models describe a software system on an abstraction level higher than its actual implementation. Recent research results show that bringing models and a running system closer together by establishing traceability links between recorded runtime events ...