English
Related papers

Related papers: Practical Type Inference: High-Throughput Recovery…

200 papers

Reverse engineering tools remain monolithic and imperative compared to the advancement of modern compiler architectures: analyses are tied to a single mutable representation, making them difficult to extend or refine, and forcing premature…

Programming Languages · Computer Science 2026-03-31 Chang Liu , Yihao Sun , Thomas Gilray , Kristopher Micinski

A common tool used by security professionals for reverse-engineering binaries found in the wild is the decompiler. A decompiler attempts to reverse compilation, transforming a binary to a higher-level language such as C. High-level…

Software Engineering · Computer Science 2021-08-17 Qibin Chen , Jeremy Lacomis , Edward J. Schwartz , Claire Le Goues , Graham Neubig , Bogdan Vasilescu

In this work we deal with parametric inverse problems, which consist in recovering a finite number of parameters describing the structure of an unknown object, from indirect measurements. State-of-the-art methods for approximating a…

Numerical Analysis · Mathematics 2021-12-22 Paolo Massa , Sara Garbarino , Federico Benvenuto

Reconstructing the structure of thin films and multilayers from measurements of scattered X-rays or neutrons is key to progress in physics, chemistry, and biology. However, finding all structures compatible with reflectometry data is…

The Rapid Iterative FiTting (RIFT) parameter inference algorithm provides a simulation-based inference approach to efficient, highly-parallelized parameter inference for GW sources. Previous editions of RIFT have conservatively optimized…

Instrumentation and Methods for Astrophysics · Physics 2025-05-20 Katelyn J. Wagner , R. O'Shaughnessy , A. Yelikar , N. Manning , D. Fernando , J. Lange , V. Tiwari , A. Fernando , D. Williams

Many websites with an underlying database containing structured data provide the richest and most dense source of information relevant for topical data integration. The real data integration requires sustainable and reliable pattern…

Information Retrieval · Computer Science 2015-03-19 Z. Akbar , L. T. Handoko

Implicit neural representations (INRs) have become an important method for encoding various data types, such as 3D objects or scenes, images, and videos. They have proven to be particularly effective at representing 3D content, e.g., 3D…

Machine Learning · Computer Science 2025-01-28 Yushi Guan , Daniel Kwan , Ruofan Liang , Selvakumar Panneer , Nilesh Jain , Nilesh Ahuja , Nandita Vijaykumar

Depth acquisition, based on active illumination, is essential for autonomous and robotic navigation. LiDARs (Light Detection And Ranging) with mechanical, fixed, sampling templates are commonly used in today's autonomous vehicles. An…

Computer Vision and Pattern Recognition · Computer Science 2019-08-06 Adam Wolff , Shachar Praisler , Ilya Tcenov , Guy Gilboa

This study addresses the challenge of reverse engineering binaries from unknown instruction set architectures, a complex task with potential implications for software maintenance and cyber-security. We focus on the tasks of detecting…

Cryptography and Security · Computer Science 2024-01-17 Håvard Pettersen , Donn Morrison

X-ray phase-contrast tomography (XPCT) is widely used for high contrast 3D imaging using either synchrotron or laboratory microfocus X-ray sources. XPCT enables an order of magnitude improvement in image contrast of the reconstructed…

Image and Video Processing · Electrical Eng. & Systems 2024-10-28 K. Aditya Mohan , Jean-Baptiste Forien , Venkatesh Sridhar , Jefferson A. Cuadra , Dilworth Parkinson

Backdoor attacks pose a significant security risk to graph learning models. Backdoors can be embedded into the target model by inserting backdoor triggers into the training dataset, causing the model to make incorrect predictions when the…

Cryptography and Security · Computer Science 2023-08-09 Zihan Guan , Mengnan Du , Ninghao Liu

The characterization of nanostructured surfaces with sensitivity in the sub-nm range is of high importance for the development of current and next generation integrated electronic circuits. Modern transistor architectures for e.g. FinFETs…

Simulation-based inference (SBI) with neural posterior estimation (NPE) provides rapid X-ray spectral fitting in both Gaussian and Poisson regimes by learning approximate parameter posteriors from simulations. We investigate auto-encoders…

Instrumentation and Methods for Astrophysics · Physics 2026-04-22 Didier Barret , Simon Dupourqué

Trace reconstruction is the problem of learning an unknown string $x$ from independent traces of $x$, where traces are generated by independently deleting each bit of $x$ with some deletion probability $q$. In this paper, we initiate the…

Data Structures and Algorithms · Computer Science 2020-12-15 Shyam Narayanan , Michael Ren

In this paper, we develop a novel phase retrieval approach to reconstruct x-ray differential phase shift induced by an object. A primary advantage of our approach is a higher-order accuracy over that with the conventional linear…

Medical Physics · Physics 2010-03-18 Wenxiang Cong , Ge Wang

Designers need to consider not only perceptual effectiveness but also visual styles when creating an infographic. This process can be difficult and time consuming for professional designers, not to mention non-expert users, leading to the…

Human-Computer Interaction · Computer Science 2023-10-10 Chen Zhu-Tian , Yun Wang , Qianwen Wang , Yong Wang , Huamin Qu

To efficiently execute dynamically typed languages, many language implementations have adopted a two-tier architecture. The first tier aims for low-latency startup times and collects dynamic profiles, such as the dynamic types of variables.…

Programming Languages · Computer Science 2020-10-07 Olivier Flückiger , Andreas Wälchli , Sebastián Krynski , Jan Vitek

Neural retrievers based on dense representations combined with Approximate Nearest Neighbors search have recently received a lot of attention, owing their success to distillation and/or better sampling of examples for training -- while…

Information Retrieval · Computer Science 2022-05-13 Thibault Formal , Carlos Lassance , Benjamin Piwowarski , Stéphane Clinchant

Reverse engineering of binary executables is a critical problem in the computer security domain. On the one hand, malicious parties may recover interpretable source codes from the software products to gain commercial advantages. On the…

Programming Languages · Computer Science 2019-07-01 Cheng Fu , Huili Chen , Haolan Liu , Xinyun Chen , Yuandong Tian , Farinaz Koushanfar , Jishen Zhao

Diffusion-based generators set the current state of the art for synthetic tabular data. These methods approach but rarely exceed real-data utility, and closing this synthetic-real gap has so far been pursued exclusively at training time,…

Machine Learning · Computer Science 2026-05-08 Eugenio Lomurno , Filippo Balzarini , Francesco Benelle , Francesca Pia Panaccione , Matteo Matteucci
‹ Prev 1 3 4 5 6 7 10 Next ›