Search
Results
-
Cascade: CPU Fuzzing via Intricate Program Generation
(2024)Generating interesting test cases for CPU fuzzing is akin to generating programs that exercise unusual states inside the CPU. The performance of CPU fuzzing is heavily influenced by the quality of these programs and by the overhead of bug detection. Our analysis of existing state-of-the-art CPU fuzzers shows that they generate programs that are either overly simple or execute a small fraction of their instructions due to invalid control ...Conference Paper -
Inverse Optimal Control as an Errors-in-Variables Problem
(2024)Inverse optimal control (IOC) is about estimating an unknown objective of interest given its optimal control sequence. However, truly optimal demonstrations are often difficult to obtain, e.g., due to human errors or inaccurate measurements. This paper presents an IOC framework for objective estimation from multiple sub-optimal demonstrations in constrained environments. It builds upon the Karush-Kuhn-Tucker optimality conditions, and ...Conference Paper -
-
GraphChef: Decision-Tree Recipes to Explain Graph Neural Networks
(2024)The Twelfth International Conference on Learning RepresentationsWe propose a new self-explainable Graph Neural Network (GNN) model: GraphChef. GraphChef integrates decision trees into the GNN message passing framework. Given a dataset, GraphChef returns a set of rules (a recipe) that explains each class in the dataset unlike existing GNNs and explanation methods that reason on individual graphs. Thanks to the decision trees, GraphChef recipes are human understandable. We also present a new pruning ...Conference Paper -
SoK: Efficient Design and Implementation of Polynomial Hash Functions over Prime Fields
(2024)2024 IEEE Symposium on Security and Privacy (SP)Poly1305 is a widely-deployed polynomial hash function. The rationale behind its design was laid out in a series of papers by Bernstein, the last of which dates back to 2005. As computer architectures evolved, some of its design features became less relevant, but implementers found new ways of exploiting these features to boost its performance. However, would we still converge to this same design if we started afresh with today’s computer ...Conference Paper -
Efficient and Scalable Graph Generation through Iterative Local Expansion
(2024)In the realm of generative models for graphs, extensive research has been conducted. However, most existing methods struggle with large graphs due to the complexity of representing the entire joint distribution across all node pairs and capturing both global and local graph structures simultaneously. To overcome these issues, we introduce a method that generates a graph by progressively expanding a single node to a target graph. In each ...Conference Paper -
Immersive Flora: Re-Engaging with the Forest Through the Visualisation of Plant-Environment Interactions in Virtual Reality
(2024)CHI EA '24: Extended Abstracts of the CHI Conference on Human Factors in Computing SystemsIn response to recent calls for Human-Computer Interaction (HCI) to address ongoing environmental crises and promote the engagement between humans and nature, this paper presents Immersive Flora, a living plants-driven interactive system that re-engages users with the natural environment by virtually showcasing the diverse plant-environment interactions inside a forest. By utilizing biosensors to detect and analyze the intricate biological ...Conference Paper -
Predicting early user churn in a public digital weight loss intervention
(2024)CHI '24: Proceedings of the CHI Conference on Human Factors in Computing SystemsDigital health interventions (DHIs) offer promising solutions to the rising global challenges of noncommunicable diseases by promoting behavior change, improving health outcomes, and reducing healthcare costs. However, high churn rates are a concern with DHIs, with many users disengaging before achieving desired outcomes. Churn prediction can help DHI providers identify and retain at-risk users, enhancing the efficacy of DHIs. We analyzed ...Conference Paper -
Construction and Testing of a CFRP-prestressed Railway Bridge Prototype
(2024)IABSE Symposium Report ~ IABSE Symposium Manchester 2024: Construction’s Role for a World in EmergencyThis paper presents a new single-span railway bridge system, currently under development by the authors in cooperation with the Swiss Federal Railways and further partners, combining high-performance concrete, stainless reinforcing steel and CFRP prestressing for maximum durability. A significant milestone in the project was the successful construction and testing of a 6,5 x 1,7 m2 prototype consisting of four pretensioned longitudinal ...Conference Paper -
Tor Alva: A 3D Concrete Printed Tower
(2024)Fabricate ~ Fabricate 2024: Creating Resourceful FuturesConference Paper