Software Engineering · Computer Science
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas +1
2022-07-21
Software Engineering · Computer Science
DexBERT: Effective, Task-Agnostic and Fine-grained Representation Learning of Android Bytecode
Tiezhu Sun, Kevin Allix, Kisub Kim, Xin Zhou +4
2023-08-25
Computers and Society · Computer Science
Undergraduate Signal Processing Laboratories for the Android Operating System
Suhas Ranganath, JJ Thiagarajan, KN Ramamurthy, Shuang Hu +2
2015-02-26
Software Engineering · Computer Science
JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis
Jordan Samhi, Jun Gao, Nadia Daoudi, Pierre Graux +5
2022-01-25
Software Engineering · Computer Science
DevReplay: Automatic Repair with Editable Fix Pattern
Yuki Ueda, Takashi Ishio, Akinori Ihara, Kenichi Matsumoto
2020-05-25
Software Engineering · Computer Science
Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor
Qiong Feng, Xiaotian Ma, Huan Ji, Wei Song +1
2024-08-22
Cryptography and Security · Computer Science
ARTist: The Android Runtime Instrumentation and Security Toolkit
Michael Backes, Sven Bugiel, Oliver Schranz, Philipp von Styp-Rekowsky +1
2016-07-25
Software Engineering · Computer Science
DetectBERT: Towards Full App-Level Representation Learning to Detect Android Malware
Tiezhu Sun, Nadia Daoudi, Kisub Kim, Kevin Allix +2
2024-08-30
Software Engineering · Computer Science
SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
Yongpan Wang, Xin Xu, Xiaojie Zhu, Xiaodong Gu +1
2025-09-19
Earth and Planetary Astrophysics · Physics
A High-Precision, Differentiable Code for Solar System Ephemerides
Ben Cassese, Malena Rice, Tiger Lu
2025-09-25
Software Engineering · Computer Science
ReuNify: A Step Towards Whole Program Analysis for React Native Android Apps
Yonghui Liu, Xiao Chen, Pei Liu, John Grundy +2
2023-09-08
Programming Languages · Computer Science
SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
Jordi Armengol-Estapé, Jackson Woodruff, Chris Cummins, Michael F. P. O'Boyle
2024-02-16
Cryptography and Security · Computer Science
Shelving it rather than Ditching it: Dynamically Debloating DEX and Native Methods of Android Applications without APK Modification
Zicheng Zhang, Jiakun Liu, Ferdian Thung, Haoyu Ma +9
2025-01-10
Cryptography and Security · Computer Science
dewolf: Improving Decompilation by leveraging User Surveys
Steffen Enders, Eva-Maria C. Behner, Niklas Bergmann, Mariia Rybalka +4
2023-06-01
Machine Learning · Computer Science
Training and Evaluating a Jupyter Notebook Data Science Assistant
Shubham Chandel, Colin B. Clement, Guillermo Serrato, Neel Sundaresan
2022-02-01
Programming Languages · Computer Science
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla
2010-11-22
Software Engineering · Computer Science
Accelerating Inference: towards a full Language, Compiler and Hardware stack
Shawn Hershey, Jeff Bernstein, Bill Bradley, Andrew Schweitzer +3
2012-12-14