• Suche: "Program Analysis"

Treffer 1 - 20 von 12.178

1

A System Framework to Symbolically Explore Intel TDX Module Execution
Pitigalaarachchi, Pansilu ; Ding, Xuhua
Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. :3885-3899

Konferenz
Zur Merkliste hinzufügen
2

LLM-Assisted IoT Testing: Finding Conformance Bugs in Matter SDKs
Ma, Xiaoyue ; Chen, Junming ; Luo, Lannan ; et al.
Proceedings of the 31st Annual International Conference on Mobile Computing and Networking. :953-968

Konferenz
Zur Merkliste hinzufügen
3

Challenges in C++ to Rust Translation with Large Language Models: A Preliminary Empirical Study
Yan, Yanyan ; Feng, Yang ; He, Qi ; et al.
Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages. :21-26

Konferenz
Zur Merkliste hinzufügen
4

CG-Bench: Can Language Models Assist Call Graph Construction in the Real World?
Yuan, Ting ; Zhang, Wenrui ; Chen, Dong ; et al.
Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages. :12-20

Konferenz
Zur Merkliste hinzufügen
5

Dynamic and Static Code Analysis for Java Programs on Heterogeneous Hardware
Stratikopoulos, Athanasios ; Zuo, Tianyu ; Harbalioglu, Umut Sarp ; et al.
Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. :107-113

Konferenz
Zur Merkliste hinzufügen
6

On Abstraction Refinement for Bayesian Program Analysis
Shi, Yuanfeng ; Zhang, Yifan ; Zhang, Xin
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):3232-3258

Fachzeitschrift
Zur Merkliste hinzufügen
7

The Power of Regular Constraint Propagation
Hague, Matthew ; Jeż, Artur ; Lin, Anthony Widjaja ; et al.
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):3203-3231

Fachzeitschrift
Zur Merkliste hinzufügen
8

Large Language Model Powered Symbolic Execution
Li, Yihe ; Meng, Ruijie ; Duck, Gregory J.
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):3148-3176

Fachzeitschrift
Zur Merkliste hinzufügen
9

Software Model Checking via Summary-Guided Search
Fang, Ruijie ; Kincaid, Zachary ; Reps, Thomas
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):2568-2595

Fachzeitschrift
Zur Merkliste hinzufügen
10

AccelerQ: Accelerating Quantum Eigensolvers with Machine Learning on Quantum Simulators
Bensoussan, Avner ; Chachkarova, Elena ; Even-Mendoza, Karine ; et al.
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):2279-2309

Fachzeitschrift
Zur Merkliste hinzufügen
11

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
Antoniadis, Anastasios ; Tsatiris, Ilias ; Grech, Neville ; et al.
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):2199-2226

Fachzeitschrift
Zur Merkliste hinzufügen
12

Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees
Grannan, Zachary ; Bílý, Aurel ; Fiala, Jonáš ; et al.
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):2002-2029

Fachzeitschrift
Zur Merkliste hinzufügen
13

Quantum Methods for Boundary Checking in Classical Programs
Guang, Yicheng ; Zanotta, Pietro ; Zhou, Kai ; et al.
Proceedings of the 23rd Annual International Conference on Mobile Systems, Applications and Services. :775-778

Konferenz
Zur Merkliste hinzufügen
14

jAST: Analyzing and Modifying Java ASTs with Python
Smytzek, Marius ; Eberlein, Martin ; Grunske, Lars ; et al.
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. :1143-1147

Konferenz
Zur Merkliste hinzufügen
15

Capturing Semantic Flow of ML-based Systems
Yoo, Shin ; Feldt, Robert ; Kim, Somin ; et al.
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. :601-605

Konferenz
Zur Merkliste hinzufügen
16

Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
Karakaya, Kadiray ; Muthuraman, Palaniappan ; Bodden, Eric
Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :43-50

Konferenz
Zur Merkliste hinzufügen
17

R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
Kayang, Edwin ; Paul, Mishel Jyothis ; Jahns, Eric ; et al.
Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. :158-169

Konferenz
Zur Merkliste hinzufügen
18

Dynamic Dependency-Based Purity Checking
Alaküla, Anton Risberg ; Fors, Niklas ; Reichenbach, Christoph
Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering. :148-161

Konferenz
Zur Merkliste hinzufügen
19

Light-FP: Analyze Floating-Point Error in a Highly Condensed Approach
Mi, Jiazhi ; Chen, Li ; Wang, Haoyu ; et al.
Proceedings of the 39th ACM International Conference on Supercomputing. :734-748

Konferenz
Zur Merkliste hinzufügen
20

NetJIT: Bridging the Gap from Traffic Prediction to Preknowledge for Distributed Machine Learning
Ai, Xin ; Li, Zijian ; Zhu, Yuanyi ; et al.
Abstracts of the 2025 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. :145-147

Konferenz
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter