yusuke1997/dblp-id-title huggingface dataset:
Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
Decision Procedures over Sophisticated Fractional Permissions
X10: Concurrent Programming for Modern Architectures
Formal Verification of Atomicity Requirements for Smart Contracts
Lightweight Family Polymorphism
Enforcing Programming Guidelines with Region Types and Effects
Context-Preserving XQuery Fusion
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings
Separation Logic with Monadic Inductive Definitions and Implicit Existentials
Mining Optimized Ranges
Compositional Entailment Checking for a Fragment of Separation Logic
JNI Light: An Operational Model for the Core JNI
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming
Reasoning about Computations Using Two-Levels of Logic
Model-Checking for Android Malware Detection
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
A Relational Model for Object-Oriented Designs
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings
An Improved Differential Fixpoint Iteration Method for Program Analysis
Model Checking Differentially Private Properties
Cost Analysis of Concurrent OO Programs
An Abstract Interpretation Perspective on Linear vs. Branching Time
A Parametric Model for the Analysis of Mobile Ambients
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms
Correctness of a Higher-Order Removal Transformation through a Relational Reasoning
Sound and Complete Type Inference for a Systems Programming Language
A Dynamic Interpretation of the CPS Hierarchy
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References
Inference of Necessary Field Conditions with Abstract Interpretation
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs
Inserting Safe Memory Re-use Commands into ML-like Programs
Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses
The Scala Experiment - Can We Provide Better Language Support for Component Systems?
Build, Augment and Destroy, Universally
Automatic Construction of Hoare Proofs from Abstract Interpretation Results
Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Function Pointer Eliminator for C Programs
Linearity Analysis of Concurrent Logic Programs
Towards a Framework for Developing Verified Assemblers for the ELF Format
Efficient Functional Reactive Programming Through Incremental Behaviors
Efficient Interpretation of Chart Pattern Language
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes
Non-linear Pattern Matching with Backtracking for Non-free Data Types
Implementing Cantor's Paradise
A Type-Based Approach to Parallelization (preliminary report)
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc
Template-Based Unbounded Time Verification of Affine Hybrid Automata
Ambivalent Types for Principal Type Inference with GADTs
Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
Resource Protection Using Atomics - Patterns and Verification
Reasoning about Java's Reentrant Locks
Particle-Style Geometry of Interaction as a Module System
SPEC: An Equivalence Checker for Security Protocols
Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
Extending Sized Type with Collection Analysis
More Typed Assembly Languages for Confidentiality
Decision Algorithms for Checking Definability of Order-2 Finitary PCF
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers
Automatic Generation of Very Efficient Programs by Generalized Partial Computation
A Case for Behavior-Preserving Actions in Separation Logic
Automated Modular Verification for Relaxed Communication Protocols
Call-by-Value Is Dual to Call-by-Name, Extended
A Functional View of Imperative Information Flow
Towards Deriving Type Systems and Implementations for Coroutines
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy
Soundness of Data Flow Analyses for Weak Memory Models
Scalable Simulation of Cellular Signaling Networks
An Approach for Assessing Software Coupling
Specification based on Backus-Naur Formalism and Programming Language
A Debugger-Cooperative Higher-Order Contract System in Python
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
On the Complexity of Pointer Arithmetic in Separation Logic
Principal Type Inference for GHC-Style Multi-parameter Type Classes
Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings
Suppl: A Flexible Language for Policies
An Effect System Combining Alias and Liveness for Explicit Memory Reuse
Aliasing Control in an Imperative Pure Calculus
A Probabilistic Applied Pi-Calculus
Probabilistic Programming Language and its Incremental Evaluation
Compact Difference Bound Matrices
A Type Theory for Krivine-Style Evaluation and Compilation
A Dictionary-Passing Translation of Featherweight Go
Automated Temporal Verification for Algebraic Effects
A Functional Language for Logarithmic Space
The Essence of Form Abstraction
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Dissecting Widening: Separating Termination from Information
Weak updates and separation logic
Refining Abstract Interpretation-Based Static Analyses with Hints
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers
Polymorphic Delimited Continuations
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
Translation Correctness for First-Order Object-Oriented Pattern Matching
Scrap Your Boilerplate
Eliom: A Core ML Language for Tierless Web Programming
Types and Access Controls for Cross-Domain Security in Flash
Shrinkable Polymorphic Variants
Automatic Memory Management Based on Program Transformation Using Ownership
History Effects and Verification
Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Resource Bound Certification for a Tail-Recursive Virtual Machine
An Optimal Staging Algorithm
Necessary and Sufficient Preconditions via Eager Abstraction
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning
The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings
Yicho - A System for Programming Program Calculations
Controlling and Optimizing the Usage of One Resource
A Formal Foundation for Equational Reasoning on Probabilistic Programs
A Sound Floating-Point Polyhedra Abstract Domain
A Typed, Compositional Logic for a Stack-Based Abstract Machine
Simple and Efficient Algorithms for Octagons
A Bytecode Logic for JML and Types
Simulations in Rank-Based Büchi Automata Complementation
Resource Analysis of Complex Programs with Cost Equations
On a Tighter Integration of Functional and Logic Programming
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata
PType System: A Featherweight Parallelizability Detector
Region-Based Memory Management for a Dynamically-Typed Language
A Fresh Look at Separation Algebras and Share Accounting
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells
Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS
Model Checking Dynamic Pushdown Networks
Abductive Inference for Reasoning about Heaps
Modular Verification of SPARCv8 Code
Quantum Programming Without the Quantum Physics
A Differential Evaluation of Fixpoint Iterations
Modular Verification of Concurrent Thread Management
Conditional Analysis and Verification
HoIce: An ICE-Based Non-linear Horn Clause Solver
Programming Techniques for Reversible Comparison Sorts
VM lambda: a Functional Calculus for Scientific Discovery
A New Criterion for Safe Program Transformations
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
The Choice Construct in the Soufflé Language
Manifest Contracts with Intersection Types
Persistent Oberon: A Programming Language with Integrated Persistence
Translating a Continuous-Time Temporal Logic into Timed Automata
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
Bisimulation for Higher-Order Pi-calculus
Compiler Backend Generation for Application Specific Instruction Set Processors
A Translation of Intersection and Union Types for the λμ-Calculus
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection
Specification Inference Modulo Oracles for Database-Backed Web Applications
Loop Invariants on Demand
Abstract Transformers for Thread Correlation Analysis
On the Rôle of Abstract Non-interference in Language-Based Security
Proofs as Terms, Terms as Graphs
Certified Semantics for Relational Programming
The Proof Assistant as an Integrated Development Environment
Simplifying Alternating Automata for Emptiness Testing
Argument Reduction of Constrained Horn Clauses Using Equality Constraints
A Note on Model Checkers Reuse and Validation
A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming
Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
Higher-Order Model Checking in Direct Style
An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines
Separation Logic Modulo Theories
Abstraction of Optional Numerical Values
Live Heap Space Bounds for Real-Time Systems
A Flow-Sensitive Region Inference for CLI
Combining Offline and Online Optimizations: Register Allocation and Method Inlining
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping
The Sketching Approach to Program Synthesis
Type and Effect System for Multi-staged Exceptions
Black-Box Equivalence Checking Across Compiler Optimizations
Simple Type Inference for Structural Polymorphism
A Practical String Analyzer by the Widening Approach
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion
A Fine-Grained Join Point Model for More Reusable Aspects
A Logical Mix of Approximation and Separation
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
Dynamic Alias Protection with Aliasing Contracts
J-ReCoVer: Java Reducer Commutativity Verifier
Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
Type Processing by Constraint Reasoning
Constructing List Homomorphisms from Proofs
Temporal Specification Mining for Anomaly Analysis
Towards a General Theory of Barbs, Contexts and Labels
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method
Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures
Automated Synthesis of Functional Programs with Auxiliary Functions
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance
Kima - An Automated Error Correction System for Concurrent Logic Programs
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
Solving Not-Substring Constraint withFlat Abstraction
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis
A Type System for the Push-Enter Model
Proving Copyless Message Passing
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists
Mechanized Semantics for Compiler Verification
Fair Termination for Resource-Aware Active Objects
Positive Sharing and Abstract Machines
Automated Inference of Library Specifications for Source-Sink Property Verification
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Mixed Inductive/Coinductive Types and Strong Normalization
Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies
Applicative Intersection Types
Using Datalog with Binary Decision Diagrams for Program Analysis
Polymorphic Multi-stage Language with Control Effects
Recursion Removal from Recursive Programs with One Descent Function
Partiality and Container Monads
D-Fusion: A Distinctive Fusion Calculus
Expressive Power of One-Shot Control Operators and Coroutines
A Diamond Machine for Strong Evaluation
A Set-Based Context Model for Program Analysis
Brzozowski's and Up-To Algorithms for Must Testing
Register Allocation Based on a Reference Flow Analysis
Event Driven Software Quality
Relational Parametricity for a Polymorphic Linear Lambda Calculus
Automatic Testing of Higher Order Functions
Parameterized Synthesis with Safety Properties
A Pushdown Machine for Recursive XML Processing
XML Validation for Context-Free Grammars
GDSL: A Universal Toolkit for Giving Semantics to Machine Language
Logic Programming and Logarithmic Space
A Semantics for Context-Sensitive Reduction Semantics
A Calculus for Hybrid CSP
Termination Analysis of Higher-Order Functional Programs
Static Detection of Place Locality and Elimination of Runtime Checks
Existential Types for Relaxed Noninterference
Computation-by-Interaction with Effects
Call-by-Name and Call-by-Value in Normal Modal Logic
An Algebraic Approach to Bi-directional Updating
A Realizability Interpretation for Intersection and Union Types
A Formalized Proof of Strong Normalization for Guarded Recursive Types
Binary Session Types for Psi-Calculi
Exception Handlers as Extensible Cases
Capabilities for Java: Secure Access to Resources
Positive Arithmetic Without Exchange Is a Subclassical Logic
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly
Concurrency Combinators for Declarative Synchronization
Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus
Using Locality of Flow in Dataflow Analyses
A Deductive Database with Datalog and SQL Query Languages
Private Row Types: Abstracting the Unnamed
Data Structure Fusion
Certified Reasoning in Memory Hierarchies
Banyan: Coordination-Free Distributed Transactions over Mergeable Types
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Liberal Typing for Functional Logic Programs
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL
A Localized Tracing Scheme Applied to Garbage Collection
Fusion Transformation on Functional Programs of Regular Expression Types
Abstraction of Clocks in Synchronous Data-Flow Systems
Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
New Approaches for Almost-Sure Termination of Probabilistic Programs
Proof Abstraction for Imperative Languages
A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking
Complexity Analysis of Tree Share Structure
A Secure Compiler for ML Modules
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations
An Efficient SSA-Based Algorithm for Complete Global Value Numbering
Functional Logic Origami Programming
Synthesizing SystemC Code from Delay Hybrid CSP
Extensional Universal Types for Call-by-Value
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints
The Essence of Ruby
TxForest: A DSL for Concurrent Filestores
Race Conditions in Message Sequence Charts
Typechecking Higher-Order Security Libraries
Deriving Compilers and Virtual Machines for a Multi-level Language
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General
More Sound Static Handling of Java Reflection
Scheme with Classes, Mixins, and Traits
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models
An Interoperable Calculus for External Object Access
Transport via Partial Galois Connections and Equivalences
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
Decentralized Delimited Release
Inferring Region Types via an Abstract Notion of Environment Transformation
An Operational Semantics for JavaScript
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
Laws of Programming for References
Counterexample-Guided Bit-Precision Selection
Objects in Polynomial Time
Solving Recursion-Free Horn Clauses over LI+UIF
Verification of Tree-Processing Programs via Higher-Order Model Checking
Verifying Concurrent Graph Algorithms
Server-Side Computation of Package Dependencies in Package-Management Systems
A Compilation Method for Dynamic Typing in ML
Type-Based Verification of Connectivity Constraints in Lattice Surgery
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses
Programming and Proving with Classical Types
Exploiting Java Objects Behavior for Memory Management and Optimizations
Calculating Polynomial Runtime Properties
Typed Non-determinism in Functional and Concurrent Calculi
Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection
From a Verified Kernel towards Verified Systems
Generic Reasoning of the Locally Nameless Representation
Deforesting in Accumulating Parameters via Type-Directed Transformations
Call-by-Value in a Basic Logic for Interaction
Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras
Useless Code Elimination and Programm Slicing for the Pi-Calculus
Bi-Abduction with Pure Properties for Specification Inference
Static and Dynamic Analysis: Better Together
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
A Compositional Framework for Querying Optimized Ranges
An Open Environment for Cooperative Equational Solving
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
A ZDD-Based Efficient Higher-Order Model Checking Algorithm
Transactions on Mergeable Objects
Continutation Semantics for Parallel Haskell Dialects
Semantics of Probabilistic Programs: A Weak Limit Approach
Shallow Effect Handlers
Shifting the Blame - A Blame Calculus with Delimited Control
A Program Inverter for a Functional Language with Equality and Constructors
Programming with Logical Links
Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA
Estimating Exception-Induced Control Flow for Java
Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications
Bringing Order to the Separation Logic Jungle
Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism
U3D File Format Analyzing and 3DPDF Generating Method
A Survey on Dynamic Hand Gesture Recognition Using Kinect Device
A Mixed-Method Approach for Rapid Modeling of the Virtual Scene Building
Improved Robust Watermarking Based on Rational Dither Modulation
Improving Authentic Learning by AR-Based Simulator
Ship Recognition Based on Active Learning and Composite Kernel SVM
A Patch-Based Non-local Means Denoising Method Using Hierarchical Searching
Spatio-Temporal Context Tracking Algorithm Based on Master-Slave Memory Space Model
Image Segmentation via the Continuous Max-Flow Method Based on Chan-Vese Model
Pupil Segmentation Method Based on Treasure Theory and Region Growing
SAR Image Registration Using Cluster Analysis and Anisotropic Diffusion-Based SIFT
Deep Multi-scale Learning on Point Sets for 3D Object Recognition
A Novel Terrain Rending Method for Visual Navigation
Quality Assessment for Pansharpening Based on Component Analysis
The Orientation Angle Detection of Multiple Insulators in Aerial Image
Boosting Multi-view Convolutional Neural Networks for 3D Object Recognition via View Saliency
Robust and Accurate Calibration Point Extraction with Multi-scale Chess-Board Feature Detector
An Automatic White Balance Algorithm Based on Pixel Luminance and Chromaticity
Infrared Face Recognition Based on Adaptive Dominant Pattern of Local Binary Pattern
Application of Ghost Images for Object Detection and Quality Assessment
Infrared and Visible Image Matching Algorithm Based on SIFT and LDB
Simulation Research for Outline of Plant Leaf
Object Detection and Segmentation Method for Multi-category Armored Targets Based on CNN
Micro-video Segmentation Based on Histogram and Local Optimal Solution Method
Schatten-p Norm Based Linear Regression Discriminant Analysis for Face Recognition
Isosurface Algorithm Based on Generalized Three Prism Voxel
Fast Image Blending Using Seeded Region Growing
Viewpoints Selection of 3D Object Recognition Based on Manifold Topological Multi-resolution Analysis Method
Research of Meso-pore Structures of Eco-material
Rock-Ring Accuracy Improvement in Infrared Satellite Image with Subpixel Edge Detection
The Research of Vehicle Tracking Based on Difference Screening and Coordinate Mapping
Design of a Computer-Aided-Design System for Museum Exhibition Based on Virtual Reality
Vascular Model Editing for 3D Printing Based on Implicit Functions
A Visual-Inertial Information Fusion Method for SLAM Front-End Odometry
Parametric Display Surface Geometric Calibration Method Based on Parameter Estimation
Computational Complexity Balance Between Encoder and Decoder for Video Coding
A Parallel SIFT Algorithm for Image Matching Under Intelligent Vehicle Environment
Convolutional Randomized Binary Features for Keypoints Recognition
An Automatical Camera Calibration Method Based on Coded Ring Markers
Estimation of 6Dof Pose Using Image Mask and Bounding Box
CNN Transfer Learning for Automatic Image-Based Classification of Crop Disease
Remote Sensing Image Change Detection Based on Low-Rank Representation
Deep Multi-resolution Feature Fusion Network Based 3D Object Recognition
Long-Term Tracking Algorithm with the Combination of Multi-feature Fusion and YOLO
Probabilistic Model for Virtual Garment Modeling
Calibration Method to the Temperature Measuring System Based on Color CCD Camera
A Fast Optical Method to Estimate Melanin Distribution from Colour Images
A Merging Model Reconstruction Method for Image-Guided Gastroscopic Biopsy
The Extraction of Rutting Transverse Profiles' Indicators Using 13-Point Based Lasers
Human Fungal Infection Image Classification Based on Convolutional Neural Network
A Study of Preschool Instructional Design Based on Augmented Reality Games
A Framework for Multi-view Feature Selection via Embedding Space
Retraction Note to: Image Colorization Using Convolutional Neural Network
An Independently Carrier Landing Method Using Point and Line Features for Fixed-Wing UAVs
Detection of Small Moving Targets in Videos Using Skew Normal Mixture Model
Classification of Imagined Digits via Brain-Computer Interface Based on Electroencephalogram
Multimodal Visual Analysis of Vector-Borne Infectious Diseases
Design of Interactive System for Digital Splash-color Painting based on the Mobile Platform
Improved Design of UEP-LDPC Encoder Using Two-Stage Dynamic Programming in Image Transmission