On the public citation graph
Scaling static analyses at Facebook
0 signed · 226 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-45937-5_13openalex-snapshot
Modular Static Program Analysis
inferredcites →https://doi.org/10.1007/978-3-319-17524-9_1openalex-snapshot
Moving Fast with Software Verification
inferredcites →https://doi.org/10.1007/978-3-319-96145-3_3openalex-snapshot
Formal Reasoning About the Security of Amazon Web Services
inferredcites →https://doi.org/10.1007/978-3-319-99725-4_5openalex-snapshot
Experience Developing and Deploying Concurrency Analysis at Facebook
inferredcites →https://doi.org/10.1109/mic.2013.25openalex-snapshot
Development and Deployment at Facebook
inferredcites →https://doi.org/10.1109/scam.2018.00009openalex-snapshot
From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis
inferredcites →https://doi.org/10.1145/1240624.1240730openalex-snapshot
Disruption and recovery of computing tasks
inferredcites →https://doi.org/10.1145/1328438.1328467openalex-snapshot
Generating precise and concise procedure summaries
inferredcites →https://doi.org/10.1145/1646353.1646374openalex-snapshot
A few billion lines of code later
inferredcites →https://doi.org/10.1145/2049697.2049700openalex-snapshot
Compositional Shape Analysis by Means of Bi-Abduction
inferredcites →https://doi.org/10.1145/3188720openalex-snapshot
Lessons from building static analysis tools at Google
inferredcites →https://doi.org/10.1145/3276514openalex-snapshot
RacerD: compositional static race detection
inferredcites →https://doi.org/10.1145/3290370openalex-snapshot
A true positives theorem for a static race detector
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/smr.2504openalex-snapshot
Quality culture boosts agile transformation—Action research in a business‐to‐business software business
inferred← citeshttps://doi.org/10.1002/smr.70069openalex-snapshot
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne
inferred← citeshttps://doi.org/10.1002/spe.2949openalex-snapshot
Code‐level model checking in the software development workflow at Amazon Web Services
inferred← citeshttps://doi.org/10.1007/978-3-030-42504-3_22openalex-snapshot
Annotation-Based Static Analysis for Personal Data Protection
inferred← citeshttps://doi.org/10.1007/978-3-030-53291-8_14openalex-snapshot
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-54997-8_3openalex-snapshot
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads
inferred← citeshttps://doi.org/10.1007/978-3-030-58617-1openalex-snapshot
Ernst Denert Award for Software Engineering 2019
inferred← citeshttps://doi.org/10.1007/978-3-030-58617-1_3openalex-snapshot
Applications of Synchronized Pushdown Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-65474-0_1openalex-snapshot
Static Resource Analysis at Scale (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-030-71374-4_1openalex-snapshot
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —
inferred← citeshttps://doi.org/10.1007/978-3-030-71374-4_8openalex-snapshot
Cybersecurity Education and Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-030-80960-7_6openalex-snapshot
Provenance-Based Security Audits and Its Application to COVID-19 Contact Tracing Apps
inferred← citeshttps://doi.org/10.1007/978-3-030-89051-3_2openalex-snapshot
Function Pointer Eliminator for C Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-94583-1_17openalex-snapshot
Generalized Arrays for Stainless Frames
inferred← citeshttps://doi.org/10.1007/978-3-030-99253-8_2openalex-snapshot
Limits and difficulties in the design of under-approximation abstract domains
inferred← citeshttps://doi.org/10.1007/978-3-030-99527-0_30openalex-snapshot
The Static Analyzer Infer in SV-COMP (Competition Contribution)
inferred← citeshttps://doi.org/10.1007/978-3-031-01806-0openalex-snapshot
Automated Verification of Concurrent Search Structures
inferred← citeshttps://doi.org/10.1007/978-3-031-21388-5_11openalex-snapshot
Data-Driven Improvement of Static Application Security Testing Service: An Experience Report in Visma
inferred← citeshttps://doi.org/10.1007/978-3-031-24841-2_19openalex-snapshot
Automatic Rollback Suggestions for Incremental Datalog Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-031-25312-6_31openalex-snapshot
Static Deadlock Detection in Low-Level C Code
inferred← citeshttps://doi.org/10.1007/978-3-031-27481-7_33openalex-snapshot
Shifting Left for Early Detection of Machine-Learning Bugs
inferred← citeshttps://doi.org/10.1007/978-3-031-30823-9_33openalex-snapshot
ALASCA: Reasoning in Quantified Linear Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-031-30829-1_23openalex-snapshot
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_15openalex-snapshot
A Product of Shape and Sequence Abstractions
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_20openalex-snapshot
Lifting On-Demand Analysis to Higher-Order Languages
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_7openalex-snapshot
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
inferred← citeshttps://doi.org/10.1007/978-3-031-47705-8_5openalex-snapshot
Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-031-75783-9_1openalex-snapshot
Automatic Compositional Checking of Multi-object TypeState Properties of Software
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_18openalex-snapshot
Correct-by-Construction Dynamic Reachability: A Galois-Connected Approach to Bidirected Dyck Languages
inferred← citeshttps://doi.org/10.1007/978-3-032-29251-3_10openalex-snapshot
Guarding Pointer Arithmetic in LLVM IR: A Lightweight Static Analysis Pass
inferred← citeshttps://doi.org/10.1007/978-981-19-9601-6_2openalex-snapshot
LiSA: A Generic Framework for Multilanguage Static Analysis
inferred← citeshttps://doi.org/10.1007/978-981-19-9601-6_9openalex-snapshot
The Top-Down Solver—An Exercise in $$\text {A}^{2}$$I
inferred← citeshttps://doi.org/10.1007/978-981-96-4506-0_1openalex-snapshot
Directed Symbolic Execution Tool Based on Clang Static Analyzer: Efficient and Accurate Verification of Static Analysis Results
inferred← citeshttps://doi.org/10.1007/s10009-024-00771-0openalex-snapshot
IntraJ: an on-demand framework for intraprocedural Java code analysis
inferred← citeshttps://doi.org/10.1007/s10009-024-00777-8openalex-snapshot
Inference of access policies through static analysis
inferred← citeshttps://doi.org/10.1007/s10270-023-01124-2openalex-snapshot
A manifesto for applicable formal methods
inferred← citeshttps://doi.org/10.1007/s10586-025-05253-9openalex-snapshot
Continuous reasoning for adaptive container image distribution in the cloud–edge continuum
inferred← citeshttps://doi.org/10.1007/s10664-020-09880-1openalex-snapshot
A longitudinal study of static analysis warning evolution and the effects of PMD on software quality in Apache open source projects
inferred← citeshttps://doi.org/10.1007/s10664-025-10702-5openalex-snapshot
Shifting fuzzing left in software workflows
inferred← citeshttps://doi.org/10.1007/s10664-026-10842-2openalex-snapshot
CPGHunter: LLM-guided semantic modeling for scalable vulnerability detection via taint analysis
inferred← citeshttps://doi.org/10.1016/j.infsof.2020.106333openalex-snapshot
A large scale study on how developers discuss code smells and anti-pattern in Stack Exchange sites
inferred← citeshttps://doi.org/10.1016/j.infsof.2022.107054openalex-snapshot
Concerns identified in code review: A fine-grained, faceted classification
inferred← citeshttps://doi.org/10.1016/j.infsof.2026.108331openalex-snapshot
The magic of triangles: An empirical study on peer connection stability in a developer social network and project’s outcomes
inferred← citeshttps://doi.org/10.1016/j.jlamp.2026.101187openalex-snapshot
Compositional backward shape analysis by means of bi-abduction
inferred← citeshttps://doi.org/10.1017/s147106842500002xopenalex-snapshot
Provenance Guided Rollback Suggestions
inferred← citeshttps://doi.org/10.1093/logcom/exab083openalex-snapshot
Declarative continuous reasoning in the cloud-IoT continuum
inferred← citeshttps://doi.org/10.1109/access.2025.3650540openalex-snapshot
Type Region Model and Its Application in Program Static Detection
inferred← citeshttps://doi.org/10.1109/access.2026.3663784openalex-snapshot
Transformation of Vulnerability Management Through Artificial Intelligence: An Overview of Generative and Learning Models
inferred← citeshttps://doi.org/10.1109/apr52552.2021.00015openalex-snapshot
Challenging the Stigma of Formal Program Repair
inferred← citeshttps://doi.org/10.1109/apsec51365.2020.00011openalex-snapshot
Examining the Relationship of Code and Architectural Smells with Software Vulnerabilities
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678572openalex-snapshot
A Compositional Deadlock Detector for Android Java
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00138openalex-snapshot
Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMs
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00194openalex-snapshot
Incremental Program Analysis in the Wild: An Empirical Study on Real-World Program Changes
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00300openalex-snapshot
DALEQ - Explainable Equivalence for Java Bytecode
inferred← citeshttps://doi.org/10.1109/botse52550.2021.00010openalex-snapshot
Nudging Students Toward Better Software Engineering Behaviors
inferred← citeshttps://doi.org/10.1109/compsac69091.2026.00051openalex-snapshot
Refuting Infeasible Paths for False Alarm Reduction
inferred← citeshttps://doi.org/10.1109/conisoft50191.2020.00024openalex-snapshot
Formal Verification of a Database Management System
inferred← citeshttps://doi.org/10.1109/cseet49119.2020.9206192openalex-snapshot
Teaching a Project-Based Course at a Safe Distance: An Experience Report
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00023openalex-snapshot
Bridging the Gap: Automated Analysis of Sancus
inferred← citeshttps://doi.org/10.1109/ficloud70576.2026.00039openalex-snapshot
Commit-Message-Augmented Static Analysis of Cross-Site Scripting Fixes in Java Web Applications
inferred← citeshttps://doi.org/10.1109/formreq51202.2020.00011openalex-snapshot
Requirements-based Code Model Checking
inferred← citeshttps://doi.org/10.1109/icpc52881.2021.00057openalex-snapshot
Interactive Static Software Performance Analysis in the IDE
inferred← citeshttps://doi.org/10.1109/icse-companion66252.2025.00025openalex-snapshot
Empirically-Informed Approaches to Shift Vulnerability Detection to the Left
inferred← citeshttps://doi.org/10.1109/icse-seet58685.2023.00023openalex-snapshot
On the use of static analysis to engage students with software quality improvement: An experience with PMD
inferred← citeshttps://doi.org/10.1109/icse-seip58684.2023.00034openalex-snapshot
Long-term Static Analysis Rule Quality Monitoring Using True Negatives
inferred← citeshttps://doi.org/10.1109/icse-seip58684.2023.00036openalex-snapshot
The Challenges of Shift Left Static Analysis
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00123openalex-snapshot
If It’s Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API Hardening
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00099openalex-snapshot
Learning to Boost Disjunctive Static Bug-Finders
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00126openalex-snapshot
Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE
inferred← citeshttps://doi.org/10.1109/icst53961.2022.00036openalex-snapshot
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp
inferred← citeshttps://doi.org/10.1109/icst53961.2022.00043openalex-snapshot
SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning
inferred← citeshttps://doi.org/10.1109/icst62969.2025.10989044openalex-snapshot
Towards Cross-Build Differential Testing
inferred← citeshttps://doi.org/10.1109/icstw72326.2026.00016openalex-snapshot
Towards LLMinating Performance Anti-Patterns in Android Apps
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470608openalex-snapshot
A Logic for Locally Complete Abstract Interpretations
inferred← citeshttps://doi.org/10.1109/mahc.2021.3133136openalex-snapshot
History of Abstract Interpretation
inferred← citeshttps://doi.org/10.1109/mc.2021.3076537openalex-snapshot
Cloud-Native Application Security: Risks, Opportunities, and Challenges in Securing the Evolving Attack Surface
inferred← citeshttps://doi.org/10.1109/ms.2021.3071086openalex-snapshot
On The Introduction of Automatic Program Repair in Bloomberg
inferred← citeshttps://doi.org/10.1109/msec.2023.3311464openalex-snapshot
Delta Security Certification for Software Supply Chains
inferred← citeshttps://doi.org/10.1109/msec.2025.3554243openalex-snapshot
Software Development and the Near-Ubiquitous Acceptance of Mystery Meat
inferred← citeshttps://doi.org/10.1109/msr59073.2023.00068openalex-snapshot
What Warnings Do Engineers Really Fix? The Compiler That Cried Wolf
inferred← citeshttps://doi.org/10.1109/qrs-c60940.2023.00079openalex-snapshot
Reducing Label Errors for Actionable Warning Identification
inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00032openalex-snapshot
Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis
inferred← citeshttps://doi.org/10.1109/scam63643.2024.00019openalex-snapshot
Enhancing Security through Modularization: A Counterfactual Analysis of Vulnerability Propagation and Detection Precision
inferred← citeshttps://doi.org/10.1109/secdev45635.2020.00019openalex-snapshot
Fuzzing Binaries for Memory Safety Errors with QASan
inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179314openalex-snapshot
QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00019openalex-snapshot
"False negative - that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
inferred← citeshttps://doi.org/10.1134/s036176882108017xopenalex-snapshot
Database Management System Verification with Separation Logics
inferred← citeshttps://doi.org/10.1145/3315508.3329974openalex-snapshot
HackPPL: a universal probabilistic programming language
inferred← citeshttps://doi.org/10.1145/3328778.3366957openalex-snapshot
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers
inferred← citeshttps://doi.org/10.1145/3368089.3409722openalex-snapshot
Understanding the impact of GitHub suggested changes on recommendations between developers
inferred← citeshttps://doi.org/10.1145/3377813.3381347openalex-snapshot
Code-level model checking in the software development workflow
inferred← citeshttps://doi.org/10.1145/3387111openalex-snapshot
Unveiling Elite Developers’ Activities in Open Source Projects
inferred← citeshttps://doi.org/10.1145/3411764.3445616openalex-snapshot
Security Notifications in Static Analysis Tools: Developers’ Attitudes, Comprehension, and Ability to Act on Them
inferred← citeshttps://doi.org/10.1145/3453483.3454026openalex-snapshot
Incremental whole-program analysis in Datalog with lattices
inferred← citeshttps://doi.org/10.1145/3453483.3454044openalex-snapshot
Demanded abstract interpretation
inferred← citeshttps://doi.org/10.1145/3453483.3454076openalex-snapshot
Polynomial reachability witnesses via Stellensätze
inferred← citeshttps://doi.org/10.1145/3453483.3454085openalex-snapshot
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code
inferred← citeshttps://doi.org/10.1145/3453483.3454086openalex-snapshot
Path-sensitive sparse analysis without path conditions
inferred← citeshttps://doi.org/10.1145/3453483.3454112openalex-snapshot
Practical smart contract sharding with ownership and commutativity analysis
inferred← citeshttps://doi.org/10.1145/3468264.3468535openalex-snapshot
IDE support for cloud-based static analyses
inferred← citeshttps://doi.org/10.1145/3468264.3473934openalex-snapshot
RAPID: checking API usage for the cloud in the cloud
inferred← citeshttps://doi.org/10.1145/3477355.3477362openalex-snapshot
The First Fifteen Years of the Verified Software Project
inferred← citeshttps://doi.org/10.1145/3479394.3479415openalex-snapshot
Towards Elastic Incrementalization for Datalog
inferred← citeshttps://doi.org/10.1145/3481357.3481522openalex-snapshot
SoK: Human, Organizational, and Technological Dimensions of Developers’ Challenges in Engineering Secure Software
inferred← citeshttps://doi.org/10.1145/3497775.3503681openalex-snapshot
Applying formal verification to microkernel IPC at meta
inferred← citeshttps://doi.org/10.1145/3498695openalex-snapshot
Concurrent incorrectness separation logic
inferred← citeshttps://doi.org/10.1145/3498721openalex-snapshot
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis
inferred← citeshttps://doi.org/10.1145/3498724openalex-snapshot
Efficient algorithms for dynamic bidirected Dyck-reachability
inferred← citeshttps://doi.org/10.1145/3510003.3510066openalex-snapshot
Precise divide-by-zero detection with affirmative evidence
inferred← citeshttps://doi.org/10.1145/3510003.3510214openalex-snapshot
Detecting false alarms from automatic static analysis tools
inferred← citeshttps://doi.org/10.1145/3519939.3523435openalex-snapshot
Differential cost analysis with simultaneous potentials and anti-potentials
inferred← citeshttps://doi.org/10.1145/3519939.3523453openalex-snapshot
Abstract interpretation repair
inferred← citeshttps://doi.org/10.1145/3522577openalex-snapshot
The Development and Deployment of Formal Methods in the UK
inferred← citeshttps://doi.org/10.1145/3522582openalex-snapshot
A Survey of Practical Formal Methods for Security
inferred← citeshttps://doi.org/10.1145/3524610.3527913openalex-snapshot
Shape-analysis driven memory graph visualization
inferred← citeshttps://doi.org/10.1145/3527316openalex-snapshot
On incorrectness logic for Quantum programs
inferred← citeshttps://doi.org/10.1145/3527325openalex-snapshot
Finding real bugs in big programs with incorrectness logic
inferred← citeshttps://doi.org/10.1145/3540250.3558950openalex-snapshot
Understanding automated code review process and developer experience in industry
inferred← citeshttps://doi.org/10.1145/3544585.3544593openalex-snapshot
Dijkstra’s Legacy on Program Verification
inferred← citeshttps://doi.org/10.1145/3546186.3549929openalex-snapshot
InfERL: scalable and extensible Erlang static analysis
inferred← citeshttps://doi.org/10.1145/3546942openalex-snapshot
Hippodrome : Data Race Repair Using Static Analysis Summaries
inferred← citeshttps://doi.org/10.1145/3551349.3560419openalex-snapshot
Leveraging Practitioners’ Feedback to Improve a Security Linter
inferred← citeshttps://doi.org/10.1145/3551349.3561156openalex-snapshot
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
inferred← citeshttps://doi.org/10.1145/3565800openalex-snapshot
Anchor : Fast and Precise Value-flow Analysis for Containers via Memory Orientation
inferred← citeshttps://doi.org/10.1145/3576915.3623122openalex-snapshot
Unhelpful Assumptions in Software Security Research
inferred← citeshttps://doi.org/10.1145/3582267openalex-snapshot
A Correctness and Incorrectness Program Logic
inferred← citeshttps://doi.org/10.1145/3589250openalex-snapshot
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
inferred← citeshttps://doi.org/10.1145/3589250.3596142openalex-snapshot
RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms
inferred← citeshttps://doi.org/10.1145/3591226openalex-snapshot
Lilac: A Modal Separation Logic for Conditional Probability
inferred← citeshttps://doi.org/10.1145/3591263openalex-snapshot
Automated Expected Value Analysis of Recursive Programs
inferred← citeshttps://doi.org/10.1145/3595376openalex-snapshot
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey
inferred← citeshttps://doi.org/10.1145/3597926.3598042openalex-snapshot
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
inferred← citeshttps://doi.org/10.1145/3597926.3598120openalex-snapshot
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
inferred← citeshttps://doi.org/10.1145/3597926.3598147openalex-snapshot
Understanding Breaking Changes in the Wild
inferred← citeshttps://doi.org/10.1145/3611643.3613889openalex-snapshot
Compositional Taint Analysis for Enforcing Security Policies at Scale
inferred← citeshttps://doi.org/10.1145/3622865openalex-snapshot
Historia: Refuting Callback Reachability with Message-History Logics
inferred← citeshttps://doi.org/10.1145/3632897openalex-snapshot
Monotonicity and the Precision of Program Analysis
inferred← citeshttps://doi.org/10.1145/3639477.3639742openalex-snapshot
PrivacyCAT: Privacy-Aware Code Analysis at Scale
inferred← citeshttps://doi.org/10.1145/3643782openalex-snapshot
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications
inferred← citeshttps://doi.org/10.1145/3648441openalex-snapshot
Interactive Abstract Interpretation with Demanded Summarization
inferred← citeshttps://doi.org/10.1145/3649821openalex-snapshot
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
inferred← citeshttps://doi.org/10.1145/3650212.3652110openalex-snapshot
Precise Compositional Buffer Overflow Detection via Heap Disjointness
inferred← citeshttps://doi.org/10.1145/3653718openalex-snapshot
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?
inferred← citeshttps://doi.org/10.1145/3656437openalex-snapshot
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
inferred← citeshttps://doi.org/10.1145/3660767openalex-snapshot
Can GPT-4 Replicate Empirical Software Engineering Research?
inferred← citeshttps://doi.org/10.1145/3666014openalex-snapshot
Limits and Difficulties in the Design of Under-Approximation Abstract Domains
inferred← citeshttps://doi.org/10.1145/3670795openalex-snapshot
Does Every Computer Scientist Need to Know Formal Methods?
inferred← citeshttps://doi.org/10.1145/3689491.3691814openalex-snapshot
Unified Analysis Techniques for Programs with Outcomes
inferred← citeshttps://doi.org/10.1145/3689756openalex-snapshot
Hypra: A Deductive Program Verifier for Hyper Hoare Logic
inferred← citeshttps://doi.org/10.1145/3689944.3696165openalex-snapshot
On the Security Blind Spots of Software Composition Analysis
inferred← citeshttps://doi.org/10.1145/3691620.3695599openalex-snapshot
Enhancing Compositional Static Analysis with Dynamic Analysis
inferred← citeshttps://doi.org/10.1145/3696630.3734199openalex-snapshot
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
inferred← citeshttps://doi.org/10.1145/3701625.3701650openalex-snapshot
Evaluating Source Code Quality with Large Language Models: a comparative study
inferred← citeshttps://doi.org/10.1145/3702231openalex-snapshot
The Role of Formal Methods in Computer Science Education
inferred← citeshttps://doi.org/10.1145/3716848openalex-snapshot
Security Weaknesses of Copilot-Generated Code in GitHub Projects: An Empirical Study
inferred← citeshttps://doi.org/10.1145/3720486openalex-snapshot
Revealing Sources of (Memory) Errors via Backward Analysis
inferred← citeshttps://doi.org/10.1145/3729303openalex-snapshot
Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
inferred← citeshttps://doi.org/10.1145/3729404openalex-snapshot
Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation
inferred← citeshttps://doi.org/10.1145/3735544.3735583openalex-snapshot
Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
inferred← citeshttps://doi.org/10.1145/3743131openalex-snapshot
Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
inferred← citeshttps://doi.org/10.1145/3744916.3764560openalex-snapshot
Write Your Own Code Checker: An Automated Test-Driven Checker Development Approach with LLMs
inferred← citeshttps://doi.org/10.1145/3756681.3756999openalex-snapshot
LAMeD: LLM-generated Annotations for Memory Leak Detection
inferred← citeshttps://doi.org/10.1145/3759425.3763390openalex-snapshot
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
inferred← citeshttps://doi.org/10.1145/3759429.3762617openalex-snapshot
Synchronous Programming for Kids: A Manifesto
inferred← citeshttps://doi.org/10.1145/3763051openalex-snapshot
Quantified Underapproximation via Labeled Bunches
inferred← citeshttps://doi.org/10.1145/3763081openalex-snapshot
Two Approaches to Fast Bytecode Frontend for Static Analysis
inferred← citeshttps://doi.org/10.1145/3763163openalex-snapshot
Large Language Model Powered Symbolic Execution
inferred← citeshttps://doi.org/10.1145/3776688openalex-snapshot
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
inferred← citeshttps://doi.org/10.1145/3788853.3803091openalex-snapshot
SQLens: Continuous Code-to-SQL Visibility in the Wild
inferred← citeshttps://doi.org/10.1145/3803437.3805202openalex-snapshot
Just-in-Time Catching Test Generation at Meta
inferred← citeshttps://doi.org/10.1145/3808264openalex-snapshot
Trace-Guided Synthesis of Effectful Test Generators
inferred← citeshttps://doi.org/10.1145/3808351openalex-snapshot
Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities
inferred← citeshttps://doi.org/10.1145/3814987.3814990openalex-snapshot
Scaling Static Code Analysis Adoption at WhatsApp iOS
inferred← citeshttps://doi.org/10.1145/3832783.3834427openalex-snapshot
Barista: Synthesizing Typestate Specifications with LLM Agents
inferred← citeshttps://doi.org/10.1145/3832783.3834530openalex-snapshot
FlowChecker: One Command to Model Check Control-Flow Rules in Industrial Java
inferred← citeshttps://doi.org/10.1145/3832783.3837508openalex-snapshot
From Thread to Pool: Modeling and Static Detection of Thread Pool Misuses in Java Programs
inferred← citeshttps://doi.org/10.14722/bar.2021.23002openalex-snapshot
Effects of Precise and Imprecise Value-Set Analysis (VSA) Information on Manual Code Analysis
inferred← citeshttps://doi.org/10.1787/5ee71f34-enopenalex-snapshot
AI and the Future of Skills, Volume 1
inferred← citeshttps://doi.org/10.1787/5fe70a0c-enopenalex-snapshot
Common sense skills: Artificial intelligence and the workplace
inferred← citeshttps://doi.org/10.1787/65774a32-enopenalex-snapshot
New approaches to understanding the impact of computers on work and education
inferred← citeshttps://doi.org/10.1787/fcd5e244-enopenalex-snapshot
Assessing Natural Language Processing
inferred← citeshttps://doi.org/10.1787/feecd512-enopenalex-snapshot
Taxonomy of cognitive abilities and measures for assessing artificial intelligence and robotics capabilities
inferred← citeshttps://doi.org/10.2200/s01089ed1v01y202104csl013openalex-snapshot
Automated Verification of Concurrent Search Structures
inferred← citeshttps://doi.org/10.24963/ijcai.2020/233openalex-snapshot
A Framework for Reasoning about Dynamic Axioms in Description Logics
inferred← citeshttps://doi.org/10.29007/dhpwopenalex-snapshot
Learning Data Structure Shapes from Memory Graphs
inferred← citeshttps://doi.org/10.29007/kg4vopenalex-snapshot
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic
inferred← citeshttps://doi.org/10.3390/app14135542openalex-snapshot
A Method for Processing Static Analysis Alarms Based on Deep Learning
inferred← citeshttps://doi.org/10.3390/computers15080542openalex-snapshot
A Lightweight Hybrid Graph-Neural-Network and Heuristic Framework for Practical Software Vulnerability Assessment in Production Codebases
inferred← citeshttps://doi.org/10.3390/jcp6050163openalex-snapshot
Raw CVE/CWE Retrieval Does Not Improve LLM-Based Vulnerability Detection in Python: A Pre-Specified Null Result and a Retrieval-Dose Audit
inferred← citeshttps://doi.org/10.4204/eptcs.325.22openalex-snapshot
Continuous Reasoning for Managing Next-Gen Distributed Applications
showing the first 200 of 208 · page through all 208
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.