Search Results - "Isil Dillig"

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.

Authors: Georges, Aïna Linn Guéneau, Armaël Van Strydonck, Thomas et al.

Source: Journal of the ACM; Feb2024, Vol. 71 Issue 1, p1-59, 59p

Subject Terms: LOGIC, MACHINERY

Software Fairness: An Analysis and Survey.

Authors: Soremekun, Ezekiel Papadakis, Mike Cordy, Maxime et al.

Source: ACM Computing Surveys; Mar2026, Vol. 58 Issue 3, p1-38, 38p

Subject Terms: ALGORITHMS, DATA analysis, QUESTIONNAIRES

LEAM++: Learning for Selective Mutation Fault Construction.

Authors: Tian, Zhao Chen, Junjie Wang, Dong et al.

Source: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-41, 41p

Subject Terms: COMPUTER software testing, MUTATIONS (Algebra), MATHEMATICAL optimization, DEEP learning, DEFECT tracking (Computer software development)

Enhancing Android Malware Detection: The Influence of ChatGPT on Decision-centric Task.

Authors: Li, Yao Fang, Sen Zhang, Tao et al.

Source: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-30, 30p

Subject Terms: CHATGPT, MALWARE, DECISION making, STATISTICAL correlation, STATISTICAL models

Reviews & Products: ANDROID (Operating system)

SquirrelFS: Using the Rust Compiler to Check File-System Crash Consistency.

Authors: Leblanc, Hayley Taylor, Nathan Bornholt, James et al.

Source: ACM Transactions on Storage; Nov2025, Vol. 21 Issue 4, p1-39, 39p

Beyond Decision: Android Malware Description Generation through Profiling Malicious Behavior Trajectory.

Authors: Wu, Chunlian Chen, Sen Li, Jiaming et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-39, 39p

Subject Terms: MALWARE, STATISTICAL accuracy, KNOWLEDGE graphs, USER-centered system design

Reviews & Products: ANDROID (Operating system)

Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs.

Authors: Shi, Jieke Yang, Zhou He, Junda et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-35, 35p

Subject Terms: FALSIFICATION, COMPUTER software testing, AUTOMATIC control systems, SIMULATED annealing, OPTIMIZATION algorithms, DESIGN, SAFETY regulations, SAFETY standards

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Performance, Energy and NVM Lifetime-Aware Data Structure Refinement and Placement for Heterogeneous Memory Systems.

Authors: Katsaragakis, Manolis Baloukas, Christos Papadopoulos, Lazaros et al.

Source: ACM Transactions on Architecture & Code Optimization; Jun2025, Vol. 22 Issue 2, p1-27, 27p

Automatic Programming: Large Language Models and Beyond.

Authors: Lyu, Michael R. Ray, Baishakhi Roychoudhury, Abhik et al.

Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-33, 33p

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, PROGRAMMING languages, TRUST, POPULARITY

IATT: Interpretation Analysis-based Transferable Test Generation for Convolutional Neural Networks.

Authors: Xie, Ruilin Chen, Xiang He, Qifan et al.

Source: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-34, 34p

Subject Terms: CONVOLUTIONAL neural networks, DEEP learning, COMPUTER software testing

Test Optimization in DNN Testing: A Survey.

Authors: Hu, Qiang Guo, Yuejun Xie, Xiaofei et al.

Source: ACM Transactions on Software Engineering & Methodology; May2024, Vol. 33 Issue 4, p1-42, 42p

Subject Terms: ARTIFICIAL neural networks, SOFTWARE engineering, MACHINE learning

A Survey of Algorithmic Recourse: Contrastive Explanations and Consequential Recommendations.

Authors: KARIMI, AMIR-HOSSEIN BARTHE, GILLES SCHÖLKOPF, BERNHARD et al.

Source: ACM Computing Surveys; Jun2023, Vol. 55 Issue 5, p1-29, 29p, 2 Diagrams, 1 Chart

Subject Terms: MACHINE learning, EXPLANATION, DECISION making, FAIRNESS

A Correctness and Incorrectness Program Logic.

Authors: BRUNI, ROBERTO GIACOBAZZI, ROBERTO GORI, ROBERTA et al.

Source: Journal of the ACM; Apr2023, Vol. 70 Issue 2, p1-45, 45p

Subject Terms: FALSE alarms, LOGIC

Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit.

Authors: Wan, Yao Bi, Zhangqian He, Yang et al.

Source: ACM Computing Surveys; Dec2024, Vol. 56 Issue 12, p1-41, 41p

Subject Terms: ARTIFICIAL neural networks, MACHINE learning, NATURAL language processing, DATA structures, REINFORCEMENT learning, DEEP learning

Timing Side-Channel Mitigation via Automated Program Repair.

Authors: Ruan, Haifeng Noller, Yannic Tizpaz-Niari, Saeid et al.

Source: ACM Transactions on Software Engineering & Methodology; Nov2024, Vol. 33 Issue 8, p1-27, 27p

Subject Terms: COMPUTER security vulnerabilities, SOFTWARE engineering, SOURCE code, PENDULUMS, POSSIBILITY

A Systematic Literature Review on Explainability for ML/DL-based Software Engineering.

Authors: Cao, Sicong Sun, Xiaobing Widyasari, Ratnadira et al.

Source: ACM Computing Surveys; Apr2026, Vol. 58 Issue 4, p1-34, 34p

An Empirical Study on the Characteristics of Database Access Bugs in Java Applications.

Authors: Liu, Wei Mondal, Shouvick Chen, Tse-Hsun

Source: ACM Transactions on Software Engineering & Methodology; Sep2024, Vol. 33 Issue 7, p1-25, 25p

Subject Terms: DATABASES, RESEARCH personnel, EMPIRICAL research, SMELL

Meta-Learning for Multi-Family Android Malware Classification.

Authors: Li, Yao Yuan, Dawei Zhang, Tao et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2024, Vol. 33 Issue 7, p1-27, 27p

Subject Terms: DATA distribution, SMARTPHONES, ALGORITHMS, CLASSIFICATION

Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework.

Authors: Casimiro, Maria Soares, Diogo Garlan, David et al.

Source: ACM Transactions on Autonomous & Adaptive Systems; Sep2024, Vol. 19 Issue 3, p1-30, 30p

Subject Terms: MACHINE learning, FRAUD investigation, ESTIMATION theory, INSTRUCTIONAL systems