Publication

Execution Synthesis: A Technique for Automated Software Debugging

Publications associées (27)

SKILL: Structured Knowledge Infusion for Large Language Models

Large language models (LLMs) have demonstrated human-level performance on a vast spectrum of natural language tasks. However, it is largely unexplored whether they can better internalize knowledge from a structured data, such as a knowledge graph, or from ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2022

From C/C plus plus Code to High-Performance Dataflow Circuits

Paolo Ienne, Lana Josipovic, Andrea Guerrieri

High-level synthesis (HLS) tools typically generate statically scheduled datapaths. Static scheduling implies that the resulting circuits have a hard time exploiting parallelism in code with potential memory dependences, with control dependences, or where ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Mechanical intelligence for learning embodied sensor-object relationships

Ahalya Prabhakar

Intelligence involves processing sensory experiences into representations useful for prediction. Understanding sensory experiences and building these contextual representations without prior knowledge of sensor models and environment is a challenging unsup ...

Nature Portfolio2022

Examining African contributions to global health: Reflections on knowledge circulation and innovation

Jérôme Chenal, Vitor Pessoa Colombo, Julia Tischler, Akuto Akpedze Konou, Jürg Utzinger

This article unites different disciplinary debates on ‘southern innovation’, ‘theory from the South’, and ‘decolonisation of knowledge’ in order to discuss existing understandings around the role of Africa in the production of health-related knowledge, pub ...

2022

A Compressive Sensing Framework for EMI Source Localization Using a Metalens Structure: Localization Beyond the Diffraction Limit

Farhad Rachidi-Haeri, Marcos Rubinstein, Mohammad Azadifar, Hamidreza Karami

In this article, we propose a novel approach for the localization of electromagnetic interference (EMI) sources based on the concept of compressive sensing and metalenses. We show that using the spatial and frequency dispersion offered by the metalens, we ...

2022

Explore, engage, empower: methodological insights into a transformative mixed methods study tackling the COVID-19 lockdown

Vincent Kaufmann, Daniel Gatica-Perez, Garance Clément, Anna Pagani, Melissa Pang, Claudia Rebeca Binder Signer, Livia Bianca Fritz, Laurie Daffe, Ulrike Vilsmaier

Action-oriented, transformative, and transdisciplinary approaches are increasingly heralded as promising tools that enable researchers not only to produce new knowledge about a situation, but also to actively engage in tackling it; however, such approaches ...

2022

Preventing Use-After-Free Attacks with Fast Forward Allocation

Jungwon Lim, Sanidhya Kashyap

Memory-unsafe languages are widely used to implement critical systems like kernels and browsers, leading to thousands of memory safety issues every year. A use-after-free bug is a temporal memory error where the program accidentally visits a freed memory l ...

USENIX ASSOC2021