English
Related papers

Related papers: The Incredible Shrinking Context... in a Decompile…

200 papers

With the continuous increase in the number and resolution of video surveillance cameras, the burden of transmitting and storing surveillance video is growing. Traditional communication methods based on Shannon's theory are facing…

Computer Vision and Pattern Recognition · Computer Science 2025-05-13 Baoping Cheng , Yukun Zhang , Liming Wang , Xiaoyan Xie , Tao Fu , Dongkun Wang , Xiaoming Tao

Ethereum blockchain uses smart contracts (SCs) to implement decentralized applications (dApps). SCs are executed by the Ethereum virtual machine (EVM) running within an Ethereum client. Moreover, the EVM has been widely adopted by other…

Signal Processing · Electrical Eng. & Systems 2025-08-01 Joel Poncha Lemayian , Hachem Bensalem , Ghyslain Gagnon , Kaiwen Zhang , Pascal Giard

As Large Language Models (LLMs) scale to million-token contexts, traditional Mechanistic Interpretability techniques for analyzing attention scale quadratically with context length, demanding terabytes of memory beyond 100,000 tokens. We…

Computation and Language · Computer Science 2026-02-03 J Rosser , José Luis Redondo García , Gustavo Penha , Konstantina Palla , Hugues Bouchard

Smart contract vulnerabilities can cause substantial financial losses due to the immutability of code after deployment. While existing tools detect vulnerabilities, they cannot effectively repair them. In this paper, we propose SCPatcher, a…

Software Engineering · Computer Science 2026-04-02 Xiaoqi Li , Shipeng Ye , Wenkai Li , Zongwei Li

Bitcoin and Ethereum, whose miners arguably collectively comprise the most powerful computational resource in the history of mankind, offer no more power for processing and verifying transactions than a typical smart phone. The system…

Cryptography and Security · Computer Science 2019-08-14 Jason Teutsch , Christian Reitwießner

Large Language Models (LLMs) have been widely adopted to process long-context tasks. However, the large memory overhead of the key-value (KV) cache poses significant challenges in long-context scenarios. Existing training-free KV cache…

Machine Learning · Computer Science 2024-10-22 Luning Wang , Shiyao Li , Xuefei Ning , Zhihang Yuan , Shengen Yan , Guohao Dai , Yu Wang

Many autonomous robotic applications require object-level understanding when deployed. Actively reconstructing objects of interest, i.e. objects with specific semantic meanings, is therefore relevant for a robot to perform downstream tasks…

Robotics · Computer Science 2024-03-19 Liren Jin , Haofei Kuang , Yue Pan , Cyrill Stachniss , Marija Popović

Learned image compression methods have shown impressive performance but are often highly specialized for either human perception or specific machine vision tasks. This specialization limits their versatility and requires costly retraining…

Computer Vision and Pattern Recognition · Computer Science 2026-05-19 Jinming Liu , Yuntao Wei , Junyan Lin , Shengyang Zhao , Heming Sun , Zhibo Chen , Wenjun Zeng , Xin Jin

Event cameras provide micro-second latency and broad dynamic range, yet their raw streams are marred by spatial artifacts (e.g., hot pixels) and temporally inconsistent background activity. Existing methods jointly process the entire 4D…

Computer Vision and Pattern Recognition · Computer Science 2025-09-16 Ciyu Ruan , Zihang Gong , Ruishan Guo , Jingao Xu , Xinlei Chen

As the Ethereum platform continues to mature and gain widespread usage, it is crucial to maintain high standards of smart contract writing practices. While bad practices in smart contracts may not directly lead to security issues, they do…

Computation and Language · Computer Science 2026-02-03 Zongwei Li , Xiaoqi Li , Wenkai Li , Xin Wang

Ethereum smart contracts are automated decentralized applications on the blockchain that describe the terms of the agreement between buyers and sellers, reducing the need for trusted intermediaries and arbitration. However, the deployment…

Cryptography and Security · Computer Science 2021-03-24 Oliver Lutz , Huili Chen , Hossein Fereidooni , Christoph Sendner , Alexandra Dmitrienko , Ahmad Reza Sadeghi , Farinaz Koushanfar

Currently, the chunk-wise schemes are often used to make Automatic Speech Recognition (ASR) models to support streaming deployment. However, existing approaches are unable to capture the global context, lack support for parallel training,…

Sound · Computer Science 2024-02-06 Fangyuan Wang , Bo Xu , Bo Xu

In recent years, how to strike a good trade-off between accuracy and inference speed has become the core issue for real-time semantic segmentation applications, which plays a vital role in real-world scenarios such as autonomous driving…

Computer Vision and Pattern Recognition · Computer Science 2021-07-19 Guangwei Gao , Guoan Xu , Yi Yu , Jin Xie , Jian Yang , Dong Yue

The attention-based encoder-decoder framework has recently achieved impressive results for scene text recognition, and many variants have emerged with improvements in recognition quality. However, it performs poorly on contextless texts…

Computer Vision and Pattern Recognition · Computer Science 2020-07-20 Xiaoyu Yue , Zhanghui Kuang , Chenhao Lin , Hongbin Sun , Wayne Zhang

In recent years, the Ethereum platform has witnessed a proliferation of smart contracts, accompanied by exponential growth in total value locked (TVL). High-TVL smart contracts often require complex numerical computations, particularly in…

Software Engineering · Computer Science 2025-03-14 Jiachi Chen , Zhenzhe Shao , Shuo Yang , Yiming Shen , Yanlin Wang , Ting Chen , Zhenyu Shan , Zibin Zheng

Image and text retrieval is one of the foundational tasks in the vision and language domain with multiple real-world applications. State-of-the-art approaches, e.g. CLIP, ALIGN, represent images and texts as dense embeddings and calculate…

Computer Vision and Pattern Recognition · Computer Science 2023-02-09 Chen Chen , Bowen Zhang , Liangliang Cao , Jiguang Shen , Tom Gunter , Albin Madappally Jose , Alexander Toshev , Jonathon Shlens , Ruoming Pang , Yinfei Yang

Recent advancements in Large Language Models (LLMs) have leveraged increased test-time computation to enhance reasoning capabilities, a strategy that, while effective, incurs significant latency and resource costs, limiting their…

Machine Learning · Computer Science 2025-09-01 Hao Wen , Xinrui Wu , Yi Sun , Feifei Zhang , Liye Chen , Jie Wang , Yunxin Liu , Yunhao Liu , Ya-Qin Zhang , Yuanchun Li

As one of the key tools in many security tasks, decompilers reconstruct human-readable source code from binaries. Yet, despite recent advances, their outputs often suffer from syntactic and semantic errors and remain difficult to read.…

Cryptography and Security · Computer Science 2025-08-19 Muqi Zou , Hongyu Cai , Hongwei Wu , Zion Leonahenahe Basque , Arslan Khan , Berkay Celik , Dave , Tian , Antonio Bianchi , Ruoyu , Wang , Dongyan Xu

Motivated by the immutable nature of Ethereum smart contracts and of their transactions, quite many approaches have been proposed to detect defects and security problems before smart contracts become persistent in the blockchain and they…

Software Engineering · Computer Science 2021-03-17 Filippo Contro , Marco Crosara , Mariano Ceccato , Mila Dalla Preda

The Ethereum protocol implements a replicated state machine. The network participants keep track of the system state by: 1) agreeing on the sequence of transactions to be processed and 2) computing the state transitions that correspond to…

Logic in Computer Science · Computer Science 2023-03-02 Franck Cassez , Joanne Fuller , Milad K. Ghale , David J. Pearce , Horacio M. A. Quiles