yusuke1997/dblp-id-title huggingface dataset:
Learning Concepts by Modeling Relationships
QoS Adaptive Data Organizing and Delivery Framework for P2P Media Streaming
Video Streaming to Mobile Handheld Devices: Challenges in Decoding, Adaptation, and Browsing
The Real Problem of Bridging the "Semantic Gap"
Efficient Image Retrieval Using Conceptualization of Annotated Images
The Research of an Embedded Processor Element for Multimedia Domain
A Prediction Error Compression Method with Tensor-PCA in Video Coding
Senary Huffman Compression - A Reversible Data Hiding Scheme for Binary Images
Decomposition in Hidden Markov Models for Activity Recognition
Fingerprinting Codes for Live Pay-Television Broadcast Via Internet
Fast Mode Decision by Exploiting Spatio-temporal Correlation in H.264
Face Recognition by Matching 2D and 3D Geodesic Distances
A Hybrid Approach for Authenticating MPEG-2 Streaming Data
SIEVE - Search Images Effectively Through Visual Elimination
Multimedia Ontology Based Computational Framework for Video Annotation and Retrieval
Speeding Up Scalar Multiplication Using a New Signed Binary Representation for Integers
3-D Camera Modeling and Its Applications in Sports Broadcast Video Analysis
A Three-Level Scheme for Real-Time Ball Tracking
FBSA: A Self-adjustable Multi-source Data Scheduling Algorithm for P2P Media Streaming
A Blind Watermarking Scheme Based on Visual Model for Copyright Security
Shape Retrieval Based on the Relativity of Chain Codes
Scalable Indexing for Perceptual Data
Video Object Mining with Local Region Tracking
Story Unit Segmentation with Friendly Acoustic Perception
Managing and Searching Distributed Multidimensional Annotations with Large Scale Image Data
Multimedia Content Analysis and Mining, International Workshop, MCAM 2007, Weihai, China, June 30 - July 1, 2007, Proceedings
A Closed-Form Solution of Reconstruction from Nonparallel Stereo Geometry Used in Image Guided System for Surgery
Constructing and Application of Multimedia TV News Archives
Searching One Billion Web Images by Content: Challenges and Opportunities
Moving Object Tracking in H.264/AVC Bitstream
Panoramic Video Coding Using Affine Motion Compensated Prediction
3D Motion Segmentation from Straight-Line Optical Flow
Challenges on Peer-to-Peer Live Media Streaming
Building Large Scale 3D Face Database for Face Analysis
HOS-Based Image Super-Resolution Reconstruction
Players and Ball Detection in Soccer Videos Based on Color Segmentation and Shape Analysis
Fixed-Mobile Convergence, Streaming Multimedia Services, and Peer-to-Peer Communication
Color-Texture Image Segmentation by Combining Region and Photometric Invariant Edge Information
Image Inpainting with Improved Exemplar-Based Approach
Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers
Robust Bootstrapping of Speaker Models for Unsupervised Speaker Indexing
On the Robustness of Parametric Watermarking of Speech
Virtual Community Based Secure Service Discovery and Access for 3D Video Steaming Applications
A Robust Caption Detecting Algorithm on MPEG Compressed Video
An Optimized Topology Maintenance Framework for P2P Media Streaming
Shared Latent Dynamical Model for Human Tracking from Videos
A New Type of Proxy Ring Signature Scheme with Revocable Anonymity and No Info Leaked
Blind Passive Media Forensics: Motivation and Opportunity
Security Models of Digital Watermarking
Control-Flow Effects for Escape Analysis
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
Continuation-Based Partial Evaluation without Continuations
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Fractional Types
Precise Thread-Modular Verification
Automatic Fence Insertion in Integer Programs via Predicate Abstraction
Parametric and Termination-Sensitive Control Dependence
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis
Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
Semantics and Analyses for JavaScript and the Web
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
On the Monniaux Problem in Abstract Interpretation
Typestate Verification: Abstraction Techniques and Complexity Results
Generalized Records and Spatial Conjunction in Role Logic
Creating Transformations for Matrix Obfuscation
Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Termination Analysis for Functional Programs using Term Orderings
Polymorphic Types and Widening Operators
Chaotic Fixpoint Iteration Guided by Dynamic Dependency
Inférer rapidement la géométrie des collections
Expectation Invariants for Probabilistic Program Loops as Fixed Points
Exploiting Sparsity in Difference-Bound Matrices
Time of Time
Sharing Analysis of Lazy First-Order Functional Programs
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation
Compositional Verification of Smart Contracts Through Communication Abstraction
Partial Redundancy Elimination on Predicated Code
Completeness Refinement in Abstract Symbolic Trajectory Evaluation
Automatic Determination of Communication Topologies in Mobile Systems
Partial Evaluation of Interaction Nets
Automatic Construction of Prolog Primitives for Type Checking Analysis
Efficient Strictness Analysis of Haskell
Domain Precision in Galois Connection-Less Abstract Interpretation
Weighted Systems Revisited
Template Polyhedra with a Twist
Automatic Parallelization and Optimization of Programs by Proof Rewriting
The Complexity of Abduction for Separated Heap Abstractions
Making Abstract Model Checking Strongly Preserving
Synthesis of Memory Fences via Refinement Propagation
Purity Analysis: An Abstract Interpretation Formulation
Security Typings by Abstract Interpretation
Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Static Analysis of Mega-Programs
Static Analysis in Disjunctive Numerical Domains
Interprétation abstraite au moyen de grammaires attribuées
Disjunctive Interval Analysis
A New Solution to the Hidden Copy Problem
Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi
An Abstract Analysis of the Probabilistic Termination of Programs
Concurrent Separation Logic for Pipelined Parallelization
FULLDOC: A Full Reporting Debugger for Optimized Code
Abstract Reduction Using a Tableau Calculus
Towards Efficient Reasoning of Quantum Programs
Static Analysis of Data Science Software
Soft Scheduling for Hardware
Bottom-Up Shape Analysis
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
Refinement of Trace Abstraction
Static Analysis of Interaction Nets for Distributed Implementations
Quantum Constant Propagation
Automated Verification of Linearization Policies
Logical Optimality of Groundness Analysis
A Framework for End-to-End Verification and Evaluation of Register Allocators
Synthesizing Imperative Programs from Examples Guided by Static Analysis
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs
Compiling FX on the CM-2
Certifying, Optimizing Compilation (Abstract)
A Type and Effect Analysis of Security Protocols
Region-Based Selective Flow-Sensitive Pointer Analysis
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
Optimizing Pointer Analysis Using Bisimilarity
Under-Approximating Memory Abstractions
Code Compaction of Matching Single-Entry Multiple-Exit Regions
GoGuard: Efficient Static Blocking Bug Detection for Go
Analysis of Multithreaded Programs
Automatic Synthesis of Data-Flow Analyzers
Local Completeness Logic on Kleene Algebra with Tests
Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Shape Analysis Quantitative Shape Analysis
Size-Change Termination and Transition Invariants
Message Analysis for Concurrent Languages
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections
When the Decreasing Sequence Fails
Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
Efficient Modular SMT-Based Model Checking of Pointer Programs
Analyzing Fair Parametric Extended Automata
Cell Morphing: From Array Programs to Array-Free Horn Clauses
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
Instantaneous Termination in Pure Esterel
Mechanical Elimination of Commutative Redundancy
A Shape Analysis for Non-linear Data Structures
Compactly Representing First-Order Structures for Static Analysis
Safety versus Secrecy
Static Resource Analysis at Scale (Extended Abstract)
Generalized Dominators for Structured Programs
A Parametric Abstract Domain for Lattice-Valued Regular Expressions
Modelling Metamorphism by Abstract Interpretation
States vs. Traces in Model Checking by Abstract Interpretation
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases
Set-Sharing is Redundant for Pair-Sharing
Fixpoint-Guided Abstraction Refinements
Dynamic Partitioning in Analyses of Numerical Properties
Effective Strictness Analysis with HORN Constraints
Interprocedural Shape Analysis for Cutpoint-Free Programs
Direct Manipulation for Imperative Programs
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
Craig Interpolation and Reachability Analysis
Static Analysis of ReLU Neural Networks with Tropical Polyhedra
A Progress Bar for Static Analyzers
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants
Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis
Finite Subtype Inference with Explicit Polymorphism
Efficient Decision Procedures for Heaps Using STRAND
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
Peak Cost Analysis of Distributed Systems
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
Volume-Based Merge Heuristics for Disjunctive Numeric Domains
Modelling Prolog Control
Approximations d'évaluateurs fonctionnels
Efficient Inference of Static Types for Java Bytecode
A Type-based Framework for Program Analysis
Adversarial Logic
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form
Reactivity of Cooperative Systems - Application to ReactiveML
Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack
Inferring Min and Max Invariants Using Max-Plus Polyhedra
Type-Based Analysis of Communication for Concurrent Programming Languages
Parametric Optimization of Open Real-Time Systems
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
An Attempt to Find Polymorphic Types by Abstract Interpretation
Client-Driven Pointer Analysis
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis
Bounded-Exhaustive Subspace Diversification for SMT Solver Testing
Evaluation partielle paramétrable
Abstract Interpretation of Game Properties
Mode Analysis of Functional Logic Programs
Temporal Verification of Programs via First-Order Fixpoint Logic
An Application of Abstract Interpretation to Floating Point Arithmetic
The Power of QDDs (Extended Abstract)
Fast and Effective Procedure Inlining
Improving the Precision of Equality-Based Dataflow Analyses
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
Translating Out of Static Single Assignment Form
Deciding Program Properties via Complete Abstractions on Bounded Domains
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
Fast and Efficient Bit-Level Precision Tuning
Static Analysis for Java Servlets and JSP
Case Study on Verification-Witness Validators: Where We Are and Where We Go
Enhancing Neural Network Robustness via Synthesis of Repair Programs
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
Class-Level Modular Analysis for Object Oriented Languages
Farkas-Based Tree Interpolation
Abstract Interpretation and Verification of Reactive Systems
Formal Framework for Reasoning About the Precision of Dynamic Analysis
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
Subtyping Constrained Types
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings
Loop Invariants from Counterexamples
An Improved Constraint-Based System for the Verification of Security Protocols
Verifying Infinitely Many Programs at Once
Language Strength Reduction
Estimating the Computational Cost of Logic Programs
Axiomatising Uniform Properties of Recursive Data Structures
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version)
Enforcing Termination of Interprocedural Analysis
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
Inference of Well-Typings for Logic Programs with Application to Termination Analysis
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
Abstracting Concolic Execution for Soft Contract Verification
Modular Software Fault Isolation as Abstract Interpretation
Accelerated Data-Flow Analysis
Polymorphic Type, Region and Effect Inference
On the Design of Generic Abstract Interpretation Frameworks
Static Analysis of Numerical Algorithms
Combining Slicing and Constraint Solving for Validation of Measurement Software
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis
Call-By-Name CPS-Translation as a Binding-Time Improvement
Hash Consed Points-To Sets
Using Static Analysis in Space: Why Doing so?
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation
Building Complete Abstract Interpretations in a Linear Logic-based Setting
Improving Thread-Modular Abstract Interpretation
Uniqueness and Completeness Analysis of Array Comprehensions
Value Transforming Style
Certificate Translation for Optimizing Compilers
Verifying Properties of Differentiable Programs
A Product of Shape and Sequence Abstractions
Underapproximating Predicate Transformers
Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines
Deriving Parallel Codes via Invariants
Formal Verification of a C Value Analysis Based on Abstract Interpretation
Abstract Interpreters for Free
A New Class of Functions for Abstract Interpretation
Static Analysis of Gated Data Dependence Graphs
Optimality in Abstractions of Model Checking
Magic-Sets Transformation for the Analysis of Java Bytecode
Shape Analysis for Unstructured Sharing
Error Invariants for Fault Localization via Abstract Interpretation
Extended Analysis of Data Fields
Automatic Analysis of Open Objects in Dynamic Language Programs
System F and Abstract Interpretation
A Context-Sensitive Memory Model for Verification of C/C++ Programs
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications
Bound Analysis of Imperative Programs with the Size-Change Abstraction
Solving Multiple Dataflow Queries Using WPDSs
Polymorphic Time Systems for Estimating Program Complexity
Finiteness Analysis in Polynomial Time
A Simple Abstraction of Arrays and Maps by Program Translation
Path-Sensitive Dataflow Analysis with Iterative Refinement
Program Analysis for Web Security
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
Constraint-Based Program Analysis (Abstract)
The Octahedron Abstract Domain
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic
Abstract Domains of Affine Relations
Points-to Analysis as a System of Linear Equations
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Static Analysis in the Continuously Changing World
Secure Information Flow as a Safety Problem
Generation of Efficient Interprocedural Analyzers with PAG
Language-Based Security: What's Needed and Why
Scaling up Roundoff Analysis of Functional Data Structure Programs
Abstract Interpretation in Industry - Experience and Lessons Learned
Complementation in Abstract Interpretation
Binary Decision Graphs
Reverse Template Processing Using Abstract Interpretation
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
The Blast Query Language for Software Verification.
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation
On the Power of Homeomorphic Embedding for Online Termination
Splitting the Control Flow with Boolean Flags
Astrée: Design and Experience
Sparse Dataflow Analysis with Pointers and Reachability
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Exploiting Sparsity in Polyhedral Analysis
Denotational Abstract Interpretation of Functional Logic Programs
A Generic Framework for Interprocedural Analysis of Numerical Properties
Abstract Interpretation from Improving WAM Code
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs
Automatic Verification of Erlang-Style Concurrency
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels
Nonuniform Alias Analysis of Recursive Data Structures and Arrays
Static Program Analysis via 3-Valued Logic
Refining Static Analyses by Trace-Based Partitioning Using Control Flow
Automated Verification of Concurrent Linked Lists with Counters
Model Checking as Constraint Solving
Exact and Linear-Time Gas-Cost Analysis
Static Analysis - 32nd International Symposium, SAS 2025, Singapore, October 13-14, 2025, Proceedings
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli
Hierarchical Pointer Analysis for Distributed Programs
Detecting Optimal Termination Conditions of Logic Programs
Taming the Wrapping of Integer Arithmetic
On Sequentializing Concurrent Programs
Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings
IGOR: A Tool for Developing Prolog Dataflow Analyzers
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
Simulation and Invariance for Weak Consistency
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings
Path-Sensitive Backward Slicing
A Backward Slicing Algorithm for Prolog
Verifying Components of Arm ® Confidential Computing Architecture with ESBMC
Equational Semantics
A Tutorial on Domain Theory in Abstract Interpretation
Pair-Sharing Analysis of Object-Oriented Programs
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation
Efficient Closure Analysis with Reachability
Detecting Equalities of Variables: Combining Efficiency with Precision
Abstract Interpretation of CTL Properties
Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Combining Abstract Interpretation and Partial Evaluation (Brief Overview)
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation
An Efficient Abductive Reasoning System Based on Program Analysis
Speeding Up Parallelism Detection for Attribute Grammars
Relating Distances and Abstractions - An Abstract Interpretation Perspective
The Causal Graph Revisited for Directed Model Checking
Backward Symbolic Execution with Loop Folding
A Gradual Interpretation of Union Types
Securing a Compiler Transformation
Using Bounded Model Checking to Focus Fixpoint Iterations
SecWasm: Information Flow Control for WebAssembly
Automated Verification of the Parallel Bellman-Ford Algorithm
On Boolean Feature Types
Convex Hull of Arithmetic Automata
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Building Trust and Safety in Artificial Intelligence with Abstract Interpretation
An Abstract Domain to Infer Octagonal Constraints with Absolute Value
Generalized Program Sketching by Abstract Interpretation and Logical Abduction
Axiomatizations of Backtracking
Checking Interference with Fractional Permissions
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation
Tractable Constraints in Finite Semilattices
Analysis of Low-Level Code Using Cooperating Decompilers
Effective Flow Analysis for Avoiding Run-Time Checks
Statically Inferring Complex Heap, Array, and Numeric Invariants
Termination of Polynomial Loops
Thread-Modular Counterexample-Guided Abstraction Refinement
Unfolding, Procedural and Fixpoint Semantics of Logic Programs
Robustness Verification of Support Vector Machines
Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
Responsibility Analysis by Abstract Interpretation
Satisfiability Solvers Are Static Analysers
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings
A Practical Application of Sharing and Freeness Inference
Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings
Spatial Analysis of BioAmbients
Beyond Iteration Vectors: Instancewise Relational Abstract Domains
Optimizing Lazy Functional Programs Using Flow Inference
An Abstraction-Refinement Framework for Trigger Querying
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis
Non-termination Inference for Constraint Logic Programs
Program Analysis as Model Checking of Abstract Interpretations
The Complexity of Andersen's Analysis in Practice
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions
Typing Linear Constraints for Moding CLP() Programs
Abstract Interpretation from a Topological Perspective
Reflections on the Role of Static Analysis in Cooperative Bug Isolation
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
Efficiently Learning Safety Proofs from Appearance as well as Behaviours
Guaranteed Optimization: Proving Nullspace Properties of Compilers
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
Eliminating Dead Code on Recursive Data
Demonstration: Static Analysis of AKL
Applications of Extended Static Checking
Symbolic Transformation of Expressions in Modular Arithmetic
Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings
ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers
Boolean Heaps
Uniformity for the Decidability of Hybrid Automata
Selective Thunkification
Generating Transformers for Deforestation and Supercompilation
Towards Declarative Programming for Web Services
Polyhedral Analysis Using Parametric Objectives
On Sparse Evaluation Representations
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
Tree Schemata and Fair Termination
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Verifying Low-Dimensional Input Neural Networks via Input Quantization
Useless-Variable Elimination