{AFL++}: Combining incremental steps of fuzzing research

A Fioraldi, D Maier, H Eißfeldt, M Heuse - 14th USENIX Workshop on …, 2020 - usenix.org
In this paper, we present AFL++, a community-driven open-source tool that incorporates
state-of-the-art fuzzing research, to make the research comparable, reproducible …

Checkmate: Breaking the memory wall with optimal tensor rematerialization

P Jain, A Jain, A Nrusimha, A Gholami… - Proceedings of …, 2020 - proceedings.mlsys.org
Modern neural networks are increasingly bottlenecked by the limited capacity of on-device
GPU memory. Prior work explores dropping activations as a strategy to scale to larger neural …

Nnsmith: Generating diverse and valid test cases for deep learning compilers

J Liu, J Lin, F Ruffy, C Tan, J Li, A Panda… - Proceedings of the 28th …, 2023 - dl.acm.org
Deep-learning (DL) compilers such as TVM and TensorRT are increasingly being used to
optimize deep neural network (DNN) models to meet performance, resource utilization and …

Flow-sensitive pointer analysis for millions of lines of code

B Hardekopf, C Lin - International Symposium on Code …, 2011 - ieeexplore.ieee.org
Many program analyses benefit, both in precision and performance, from precise pointer
analysis. An important dimension of pointer analysis precision is flow-sensitivity, which has …

[PDF][PDF] Adapting Software Fault Isolation to Contemporary {CPU} Architectures

D Sehr, R Muth, C Biffle, V Khimenko, E Pasko… - 19th USENIX Security …, 2010 - usenix.org
Abstract Software Fault Isolation (SFI) is an effective approach to sandboxing binary code of
questionable provenance, an interesting use case for native plugins in a Web browser. We …

Building efficient query engines in a high-level language

Y Klonatos, C Koch, T Rompf, H Chafi - Proceedings of the VLDB …, 2014 - dl.acm.org
In this paper we advocate that it is time for a radical rethinking of database systems design.
Developers should be able to leverage high-level programming languages without having to …

Terrace: A hierarchical graph container for skewed dynamic graphs

P Pandey, B Wheatman, H Xu, A Buluc - Proceedings of the 2021 …, 2021 - dl.acm.org
Various applications model problems as streaming graphs, which need to quickly apply a
stream of updates and run algorithms on the updated graph. Furthermore, many dynamic …

Coverage-guided tensor compiler fuzzing with joint ir-pass mutation

J Liu, Y Wei, S Yang, Y Deng, L Zhang - Proceedings of the ACM on …, 2022 - dl.acm.org
In the past decade, Deep Learning (DL) systems have been widely deployed in various
application domains to facilitate our daily life, eg, natural language processing, healthcare …

Unimem: Runtime data managementon non-volatile memory-based heterogeneous main memory

K Wu, Y Huang, D Li - Proceedings of the International Conference for …, 2017 - dl.acm.org
Non-volatile memory (NVM) provides a scalable and power-efficient solution to replace
DRAM as main memory. However, because of relatively high latency and low bandwidth of …

Semi-sparse flow-sensitive pointer analysis

B Hardekopf, C Lin - ACM SIGPLAN Notices, 2009 - dl.acm.org
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these
analyses depends on the precision of the pointer information they receive. Two major axes …