yusuke1997/dblp-id-title huggingface dataset:
Weight monitoring with linear temporal logic: complexity and decidability
Exact Exploration and Hanging Algorithms
A Resolution Variant Deciding some Classes of Clause Sets
On Bounded Theories
The Cutting Plane Proof System with Bounded Degree of Falsity
Predicate Transformers and Linear Logic: Yet Another Denotational Model
Descriptive Complexity of #AC 0 Functions
First-Order Queries on Finite Abelian Groups
On Disjunctive Self-Reducibility
Local Problems, Planar Local Problems and Linear Time
Branching vs. Linear Time: Semantical Perspective
Graphical Conjunctive Queries
Computational Representations of Herbrand Models Using Grammars
Permissive Equilibria in Multiplayer Reachability Games
Back to the Future: Explicit Logic for Computer Science (Invited Lecture)
Inductive Definitions with Decidable Atomic Formulas
Universes in the Theory of Types and Names
Precongruence Formats with Lookahead through Modal Decomposition
Number of Variables for Graph Differentiation and the Resolution of GI Formulas
Minimality in Finite-Dimensional ZW-Calculi
On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates
A Cyclic Proof System for HFL_ℕ
On the Logic of the Standard Proof Predicate
Modelling Coeffects in the Relational Semantics of Linear Logic
Optimization Problems with Approximation Schemes
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint
Towards an Implicit Characterization of NC k
A Positive Perspective on Term Representation (Invited Talk)
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
Generalized Universe Hierarchies and First-Class Universe Levels
Non-commutativity and MELL in the Calculus of Structures
Coslice Colimits in Homotopy Type Theory
A Functional Scenario for Bytecode Verification of Resource Bounds
On the Computational Interpretation of Negation
Equivalence Constraint Satisfaction Problems
Computing Haar Measures
Tree Grammars for the Elimination of Non-prenex Cuts
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle
Bistability: An Extensional Characterization of Sequentiality
Propositional Logic for Circuit Classes
On an Optimal Deterministic Algorithm for SAT
Kleene's Amazing Second Recursion Theorem
Simultaneous Regid E-Unification Is Undecidable
Hedging Bets in Markov Decision Processes
Eilenberg-MacLane spaces in homotopy type theory
Infinitary Cut-Elimination via Finite Approximations
Undefinability of Approximation of 2-To-2 Games
Axioms for Modelling Cubical Type Theory in a Topos
Robust Linear Temporal Logic
An "Ehrenfeucht-Fraïssé Game" for Fixpoint Logic and Stratified Fixpoint Logic
Proving Infinitude of Prime Numbers Using Binomial Coefficients
Stratification of Definite Clause Programs and of General Logic Programs
Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle
Automata vs. Logics on Data Words
Compositional Modelling of Network Games
An Improved Extensionality Criterion for Higher-Order Logic Programs
Presheaf Models for Concurrency
Timeless Games
Modal Automata: Analysing Modal Fixpoint Logics, One Step at a Time (Invited Talk)
Anchored LTL separation
Extending the WMSO+U Logic with Quantification over Tuples
A Road-Map on Complexity for Hybrid Logics
AC Dependency Pairs Revisited
The Semantics of Disjunctive Deductive Databases
Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk)
Cuts for circular proofs: semantics and cut-elimination
Exact Pairs for Abstract Bounded Reducibilities
Choice Logic Programs and Nash Equilibria in Strategic Games
Means and Limits of Decision (Invited Talk)
A Formal Operational Semantics for Languages of Type Prolog III
Kleene Algebra with Products and Iteration Theories
A Complete Diagrammatic Calculus for Automata Simulation
Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas
An Algebraic Point of View on the Crane Beach Property
Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws
Formal Theories for Linear Algebra
Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata
On the equational consistency of order-theoretic models of the lambda-calculus
On the discriminating power of passivation and higher-order interaction
Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals
The Gap-Language-Technique Revisited
Incorporating Generalized Quantifiers and the Least Fixed Point Operator
On context semantics and interaction nets
On Completeness of Program Synthesis Systems
Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes
The Power of Counting Logics on Restricted Classes of Finite Structures
On closure ordinals for the modal mu-calculus
Complete Lax Logical Relations for Cryptographic Lambda-Calculi
Data-Refinement for Call-By-Value Programming Languages
Monadic Second-Order Logic and Linear Orderings of Finite Structures
Satisfiability of a Spatial Logic with Tree Variables
Deciding Monotonic Games
A Model for Behavioural Properties of Higher-order Programs
A Truly Concurrent Semantics for a Simple Parallel Programming Language
One-variable first-order linear temporal logics with counting
Mona & Fido: The Logic-Automaton Connection in Practice
Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk)
An Infinite Automaton Characterization of Double Exponential Time
Computer Science Logic - 26th International Workshop / 21st Annual Conference of the EACSL, CSL 2012, Fontainebleau, France, September 3-6, 2012
On Supergraphs Satisfying CMSO Properties
Completeness of Higher-Order Duration Calculus
Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk)
Signed Interval Logic
Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings
The Complexity of Subtheories of the Existential Linear Theory of Reals
Descriptive Complexity for Neural Networks via Boolean Networks
Difference Decision Diagrams
Completeness of Resolution for Definite Answers with Case Analysis
The Conjunctive Complexity of Quadratic Boolean Functions
Energy Games over Totally Ordered Groups
Symmetric Circuits for Rank Logic
Guarded Cubical Type Theory: Path Equality for Guarded Recursion
Realizability with Stateful Computations for Nonstandard Analysis
Computational Adequacy in an Elementary Topos
Removing Cycles from Proofs
Complexity Classes and Rewrite Systems with Polynomial Interpretation
Complexity Cores and Hard-To-Prove Formulas
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories
A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs
Powerdomains, Powerstructures and Fairness
A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic
Decidable Navigation Logics for Object Structures
Abstract interpretation: past, present and future
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
Deciding Horn Classes by Hyperresolution
The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum
A static microcode analysis tool for programmable load drivers
Determining dynamic coupling in JavaScript using object type inference
Data Representation Alternatives in Semantically Augmented Numerical Models
Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010, Timisoara, Romania, 12-13 September 2010
Does Infrastructure as Code Adhere to Semantic Versioning? An Analysis of Ansible Role Evolution
A Precise Framework for Source-Level Control-Flow Analysis
Measurement and Analysis of Runtime Profiling Data for Java Programs
DroidXP: A Benchmark for Supporting the Research on Mining Android Sandboxes
Generating Understandable Unit Tests through End-to-End Test Scenario Carving
Pangea: A Workbench for Statically Analyzing Multi-language Software Corpora
A Case for Software Specific Natural Language Techniques
The Strengths and Behavioral Quirks of Java Bytecode Decompilers
Transforming Embedded Java Code into Custom Tags
4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA
Detecting function purity in JavaScript
Refactoring Support for Modularity Maintenance in Erlang
Fix that Fix Commit: A real-world remediation analysis of JavaScript projects
Semantic Versioning versus Breaking Changes: A Study of the Maven Repository
[Research Paper] Untangling Composite Commits Using Program Slicing
How do Scratch Programmers Name Variables and Procedures?
Lint-Based Warnings in Python Code: Frequency, Awareness and Refactoring
CPP Denotational Semantics
Fast Approximate Matching of Programs for Protecting Libre/Open Source Software by Using Spatial Indexes
SATT: Tailoring Code Metric Thresholds for Different Software Architectures
Mining for Framework Instantiation Pattern Interplays
CheckPointer - A C Memory Access Validator
The impact of cross-distribution bug duplicates, empirical study on Debian and Ubuntu
A Source-to-Source Compiler for Generating Dependable Software
SecuCheck: Engineering configurable taint analysis for software developers
Unambiguity of Python Language Elements for Static Analysis
Exploring the Effects of History Length and Age on Mining Software Change Impact
N-Lane Bridge Performance Antipattern Analysis Using System-Level Execution Tracing
[Engineering Paper] Graal: The Quest for Source Code Knowledge
InputTracer: A Data-Flow Analysis Tool for Manual Program Comprehension of x86 Binaries
Understanding and Characterizing Changes in Bugs Priority: The Practitioners' Perceptive
The Ekeko/X Program Transformation Tool
Concolic Fault Localization
Can the use of types and query expansion help improve large-scale code search?
Comparative Study of Refactoring Haskell and Erlang Programs
Change Impact Graphs: Determining the Impact of Prior Code Changes
Interactive Refactoring Documentation Bot
Keynote Address: .QL for Source Code Analysis
How do Software Engineering Researchers Use GitHub? An Empirical Study of Artifacts & Impact
Some Assembly Required - Program Analysis of Embedded System Code
The Role of Implicit Conversions in Erroneous Function Argument Swapping in C++
Detection of Redundant Code using R2D2
A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs
I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors
On the Quality of Identifiers in Test Code
Evolutionary Feature Dependencies: Analyzing Feature Co-Changes in C Systems
Parallel Reachability and Escape Analyses
Data tainting and obfuscation: Improving plausibility of incorrect taint
IEEE International Conference on Source Code Analysis and Manipulation, SCAM 2024, Flagstaff, AZ, USA, October 7-8, 2024
Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software
Scala-AM: A Modular Static Analysis Framework
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation
A Change-Type Based Empirical Study on the Stability of Cloned Code
An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools
Tree-Oriented vs. Line-Oriented Observation-Based Slicing
22nd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2021, Limassol, Cyprus, October 3, 2022
21st IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2021, Luxembourg, September 27-28, 2021
Specifying the Law of Demeter and C++ Programming Guidelines with FCL
From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis
The Architectural Security Tool Suite - ARCHSEC
Minimal Slicing and the Relationships Between Forms of Slicing
Can We Trust the Default Vulnerabilities Severity?
Extracting Meaning from Abbreviated Identifiers
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code
Control Flow Reversal for Adjoint Code Generation
Software De-Pipelining Technique
Extending Dynamic Aspect Mining with Static Information
Software Quality Assurance Analytics: Enabling Software Engineers to Reflect on QA Practices
[Engineering Paper] An IDE for Easy Programming of Simple Robotics Tasks
Evaluating Key Statements Analysis
The Hidden Costs of Automation: An Empirical Study on GitHub Actions Workflow Maintenance
A Source-Level Energy Optimization Framework for Mobile Applications
Incremental Flow Analysis through Computational Dependency Reification
Recording and replaying system specific, source code transformations
Less is More: From Multi-objective to Mono-objective Refactoring via Developer's Knowledge Extraction
Security Testing of Web Applications: A Search-Based Approach for Cross-Site Scripting Vulnerabilities
Rebasing in Code Review Considered Harmful: A Large-Scale Empirical Investigation
Learning from 6, 000 Projects: Mining Models in the Large
Looking for Software Defects? First Find the Nonconformists
GitHub Label Embeddings
[Research Paper] Towards Anticipation of Architectural Smells Using Link Prediction Techniques
Rascal, 10 Years Later
Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms
LUDroid: A Large Scale Analysis of Android - Web Hybridization
An Empirical Investigation into the use of Dockerfile Preprocessors for Docker Image Management
Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
A preliminary evaluation on the relationship among architectural and test smells
Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities
[Engineering] eNYPD - Entry Points Detector Jakarta Server Faces Use Case
Improving Bug Location Using Binary Class Relationships
A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading
Software Engineering by Source Transformation-Experience with TXL
Evolving Transformation Sequences using Genetic Algorithms
No Accounting for Taste: Supporting Developers' Individual Choices of Coding Styles
D-REX: Static Detection of Relevant Runtime Exceptions with Location Aware Transformer
A Hidden Markov Model to detect coded information islands in free text
AccessAnalysis: A Tool for Measuring the Appropriateness of Access Modifiers in Java Systems
Using changeset descriptions as a data source to assist feature location
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages
Combining Conceptual and Domain-Based Couplings to Detect Database and Code Dependencies
Normalizing Metamorphic Malware Using Term Rewriting
Identifying Clones in the Linux Kernel
What You See is What You Asked for: An Effort-Based Transformation of Code Analysis Tasks into Interactive Visualization Scenarios
sql-schema-comparer: Support of multi-language refactoring with relational databases
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms
On the Investigation of Exception Pull Request Characteristics: Exploring the Apache Ecosystem
DCT: An Scalable Multi-Objective Module Clustering Tool
Using Program Transformations to Add Structure to a Legacy Data Model
Mechanized Operational Semantics of WSL
Steering Committee
Plug and Analyze: Usable Dynamic Taint Tracker for Android Apps
An Extensible Metrics Extraction Environment for Object-Oriented Programming Languages
Deriving Modernity Signatures for PHP Systems with Static Analysis
Reproducing and Improving the BugsInPy Dataset
Multi-Modal Code Summarization with Retrieved Summary
Unique Renaming of Java Using Source Transformation
C/C++ Thread Safety Analysis
How They Relate and Leave: Understanding Atoms of Confusion in Open-Source Java Projects
Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs
Effective Static Analysis to Find Concurrency Bugs in Java
Enabling Go Program Analysis in Rascal
Towards Detecting Inconsistent Comments in Java Source Code Automatically
Statement-Level Cohesion Metrics and their Visualization
Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done
Automated Identification of On-hold Self-admitted Technical Debt
Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation
Multi-layer software configuration: Empirical study on wordpress
A Security Perspective on Code Review: The Case of Chromium
Don't DIY: Automatically transform legacy Python code to support structural pattern matching
Parfait - A Scalable Bug Checker for C Code
Engineering Abstractions in Model Checking and Testing
SimNav: Simulink navigation of model clone classes
On the Use of Stemming for Concern Location and Bug Localization in Java
Catching Smells in the Act: A GitHub Actions Workflow Investigation
Instrumentation of Annotated C Programs for Test Generation
PtrTracker: Pragmatic pointer analysis
Aspectual source code analysis with GASR
Toward Interactive Optimization of Source Code Differences: An Empirical Study of Its Performance
Parse-Tree Annotations Meet Re-Engineering Concerns
Detecting Security Vulnerabilities in Object-Oriented PHP Programs
Finding Inputs that Reach a Target Expression
On Temporal Path Conditions in Dependence Graphs
Recovering a Balanced Overview of Topics in a Software Domain
A Metric Extraction Framework Based on a High-Level Description Language
[Research Paper] Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries
From Indentation Shapes to Code Structures
Relating the Evolution of Design Patterns and Crosscutting Concerns
Precise Call Graph Construction in the Presence of Function Pointers
Evaluating Automatic Fault Localization Using Markov Processes
[Research Paper] Fine-Grained Model Slicing for Rebel
Augur: Incorporating Hidden Dependencies and Variable Granularity in Change Impact Analysis
Bit-Level Taint Analysis
Deciphering Discrepancies: A Comparative Analysis of Docker Image Security
When to Let the Developer Guide: Trade-offs Between Open and Guided Test Amplification
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis
Total ADS: Automated Software Anomaly Detection System
Extending Attribute Grammars with Collection Attributes--Evaluation and Applications
Source Meter Sonar Qube Plug-in
An Interprocedural Amorphous Slicer for WSL
An Investigation into the Effect of Control and Data Dependence Paths on Predicate Testability
When code smells twice as much: Metric-based detection of variability-aware code smells
Library Transformations
13th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2013, Eindhoven, Netherlands, September 22-23, 2013
JSNOSE: Detecting JavaScript Code Smells
Improving Readability of Scratch Programs with Search-based Refactoring
Test Transplantation through Dynamic Test Slicing
On Automatically Generating Commit Messages via Summarization of Source Code Changes
Online Cycle Detection and Difference Propagation for Pointer Analysis
Analyzing the Effect of Preprocessor Annotations on Code Clones
How do Java methods grow?
The Semantics of Abstract Program Slicing
Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave
Reinforest: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
Characterizing Leveraged Stack Overflow Posts
[Research Paper] Combining Obfuscation and Optimizations in the Real World
Quality Assurance Awareness in Open Source Software Projects on GitHub
Does the Choice of Configuration Framework Matter for Developers? Empirical Study on 11 Java Configuration Frameworks
CAWDOR: Compiler Assisted Worm Defense
Visualization of C++ Template Metaprograms
Code clustering workbench
Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++
Evaluating C++ Design Pattern Miner Tools
Vulnerability Prediction Models: A Case Study on the Linux Kernel
Unboxing Default Argument Breaking Changes in Scikit Learn
From preprocessor-constrained parse graphs to preprocessor-constrained control flow
Improved Static Resolution of Dynamic Class Loading in Java
An Exploratory Study of Interface Redundancy in Code Repositories
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs
Tracing with a minimal number of probes
Fast Flow Analysis with Godel Hashes
Experiment Using Partial Evaluation for Transformational Debugging
SENSA: Sensitivity Analysis for Quantitative Change-Impact Prediction
Factoring Differences for Iterative Change Management
Message from the Chairs
2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 1 October 2002, Montreal, Canada
Adding Distribution to Existing Applications by Means of Aspect Oriented Programming
Free the Bugs: Disclosing Blocking Violations in Reactive Programming
Backporting Java 5 Code
Stop-List Slicing
Naming Amplified Tests Based on Improved Coverage
Towards a taxonomy for annotation of data science experiment repositories
An Empirical Study of Function Overloading in C++
Permission Issues in Open-Source Android Apps: An Exploratory Study
Deriving Coupling Metrics from Call Graphs
Towards Understanding Developers' Machine-Learning Challenges: A Multi-Language Study on Stack Overflow
Slicing the SCAM Mug: A Case Study in Semantic Slicing
Automating the performance deviation analysis for multiple system releases: An evolutionary study
Clone Detection in Source Code by Frequent Itemset Techniques
23rd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2023, Bogotá, Colombia, October 2-3, 2023
Maintaining Fine-Grained Code Metadata Regardless of Moving, Copying and Merging
A CASE Tool Platform Using an XML Representation of Java Source Code
Do Comments follow Commenting Conventions? A Case Study in Java and Python
Flaky Test Sanitisation via On-the-Fly Assumption Inference for Tests with Network Dependencies
MOAD: Modeling Observation-Based Approximate Dependency
On Developing and Improving Tools for Architecture-Smell Tracking in Java Systems
Executable Source Code and Non-Executable Source Code: Analysis and Relationships
Aspect-Aware Points-to Analysis
Predicate-Based Dynamic Slicing of Message Passing Programs
FaultBuster: An automatic code smell refactoring toolset
Fex: Assisted Identification of Domain Features from C Programs
Driving a sound static software analyzer with branch-and-bound
Investigating the Use of Code Analysis and NLP to Promote a Consistent Usage of Identifiers
Handling Preprocessor-Conditioned Declarations
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Impact of Code Refactoring Using Object-Oriented Methodology on a Scientific Computing Application
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK
Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs
Calibrating Deep Learning-based Code Smell Detection using Human Feedback
Assessing the Impact of Execution Environment on Observation-Based Slicing
Chopping Concurrent Programs
Applying the Universal Version History Concept to Help De-Risk Copy-Based Code Reuse
Construction of the System Dependence Graph for Web Application Slicing
A state alteration and inspection-based interactive debugger
Security Smells in Android
Software Engineering by Source Transformation - Experience with TXL (Most Influential Paper, SCAM 2001)
Toward Optimal Selection of Information Retrieval Models for Software Engineering Tasks
BinCFP: Efficient Multi-threaded Binary Code Control Flow Profiling
Constructing Subtle Faults Using Higher Order Mutation Testing
SQuAVisiT: A Software Quality Assessment and Visualisation Toolset
Behind Developer Contributions on Conflicting Merge Scenarios