yusuke1997/dblp-id-title huggingface dataset:
Model Checking and Boolean Graphs
Correctness of Code Generation from a Two-Level Meta-Language
Safe Deferred Memory Reclamation with Types
Core Formal Molecular Biology
A Hybrid Denotational Semantics for Hybrid Systems
A Framework for Substructural Type Systems
Verified Compilation for Shared-Memory C
First-Class Structures for Standard ML
Typed Norms
Modular Monad Transformers
A Typed Assembly Language for Confidentiality
Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
A Denotational Approach to Release/Acquire Concurrency
Counters in Kappa: Semantics, Simulation, and Static Analysis
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Enforcing Stateful Authorization and Information Flow Policies in Fine
Constraining Delimited Control with Contracts
Modular Reasoning about Separation of Concurrent Data Structures
Using History Invariants to Verify Observers
On the Expressiveness of Event Notification in Data-Driven Coordination Languages
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Builtin Types Viewed as Inductive Families
The Decidability of Verification under PS 2.0
Flow-Directed Closure Conversion for Typed Languages
Soft Concurrent Constraint Programming
Resources, Concurrency, and Local Reasoning (Abstract)
Improving Strategies via SMT Solving
A Semantics Driven Temporal Verification System
Stateful Contracts for Affine Types
Scalar Outcomes Suffice for Finitary Probabilistic Testing
Fictional Separation Logic
Interprocedural Herbrand Equalities
Extracting a Data Flow Analyser in Constructive Logic
Solving Program Sketches with Large Integer Values
Shapely Types and Shape Polymorphism
Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
Maximal Quantified Precondition Synthesis for Linear Array Loops
An Experiment in Practical Semantics
Correctness of Data Representations Involving Heap Data Structures
Software Verification for Weak Memory via Program Transformation
Types in Lambda Calculi and Programming Languages
Computing with Semirings and Weak Rig Groupoids
Flow Analysis in the Geometry of Interaction
Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS
Towards an Expressive Language for PDE Solvers
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation
Exploring the Design Space of Higher-Order Casts
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Constructive Game Logic
A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification
A Theory of Software Reusability
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
Verifying Concurrent Memory Reclamation Algorithms with Grace
Static Analysis by Policy Iteration on Relational Domains
Circuit Width Estimation via Effect Typing and Linear Dependency
A Prototype Dependency Calculus
Interprocedural Type Propagation for Object-Oriented Languages
An Adequate Operational Semantics for Sharing in Lazy Evaluation
Relaxed virtual memory in Armv8-A
A Sound Semantics for OCamllight
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts
Probabilistic Anonymity Via Coalgebraic Simulations
Enhancing Prolog to Support Prolog Programming Environments
Small Witnesses for Abstract Interpretation-Based Proofs
Proving Entailment Between Conceptual State Specifications
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
Adaptive Pattern Matching on Binary Data
Verifying Algorithmic Versions of the Lovász Local Lemma
A Bisimulation Method for Cryptographic Protocols
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs
Graded Hoare Logic and its Categorical Semantics
Tool Demonstration: Finding Duplicated Code Using Program Dependences
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
From Interpreting to Compiling Binding Times
Verified Inlining and Specialisation for PureCake
Caper - Automatic Verification for Fine-Grained Concurrency
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem
Garp: Graph Abstractions for Concurrent Programming
A Functional Language for the Specification of Complex Tree Transformations (System Exhibition)
Semi-persistent Data Structures
Linear Types for Packet Processing
Structured Communication-Centred Programming for Web Services
Exceptions, Continuations and Macro-expressiveness
Type-Based Amortised Heap-Space Analysis
Grounding Synchronous Deterministic Concurrency in Sequential Programming
Staged Computation with Staged Lexical Scope
GADTs Meet Subtyping
A Formalisation of Java's Exception Mechanism
ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings
Effectful Normal Form Bisimulation
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling
A Safe Approach to Parallel Combinator Reduction (Extended Abstract)
Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution
Immutable Objects for a Java-Like Language
Deny-Guarantee Reasoning
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
Consistent Subtyping for All
Equational Reasoning for Linking with First-Class Primitive Modules
Contextual Modal Type Theory with Polymorphic Contexts
Linear Absolute Value Relation Analysis
ML-Like Inference for Classifiers
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine
SIGNAL as a Model for Real-Time and Hybrid Systems
Security Properties: Two Agents Are Sufficient
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement
Enforcing Safety Properties Using Type Specialization
A PolyTime Functional Language from Light Linear Logic
Finite-Control Mobile Ambients
A Calculus for Orchestration of Web Services
Semi-automated Reasoning About Non-determinism in C Expressions
Compiling Haskell by Program Transformation: A Report from the Trenches
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools
Proving Linearizability Using Partial Orders
Embedding Dynamic Dataflow in a Call-by-Value Language
Pi-Nets: A Graphical Form of pi-Calculus
Multi-language Synchronization
Programming Languages for Compressing Graphics
Automatic Type Inference for Amortised Heap-Space Analysis
Towards the Theory of Programming in Constructive Logic
Modular Causality in a Synchronous Stream Language
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
Intel PMDK Transactions: Specification, Validation and Concurrency
A Programming Logic for Sequential Java
Compositional Semantics of Non-Deterministic Synchronous Languages
MAGπ: Types for Failure-Prone Communication
All Secrets Great and Small
Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
Why3 - Where Programs Meet Provers
Verified Software Toolchain - (Invited Talk)
Automatic Autoprojection of Higher Order Recursive Equations
Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors
Compiling Extended Concurrent Prolog - Single Queue Compilation
For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM
Quotienting Share for Dependency Analysis
Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
A Verified Compiler from Isabelle/HOL to CakeML
Extensible Datasort Refinements
A Certified Lightweight Non-interference Java Bytecode Verifier
Checking Robustness Between Weak Transactional Consistency Models
Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis
Semantics and Program Analysis of Computationally Secure Information Flow
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Extraction of Strong Typing Laws from Action Semantics Definitions
Fusion on Languages
On the Weak Adequacy of Branching-Time Remporal Logic
Denotational Semantics for Abadi and Leino's Logic of Objects
A Rewriting Logic for Declarative Programming
Anti-pattern Matching
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs
Named Arguments as Intersections, Optional Arguments as Unions
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract
The ASTREÉ Analyzer
From Classes to Objects via Subtyping
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
The Rely-Guarantee Method in Isabelle/HOL
Reducing Recursion to Iteration by Algebraic Extension
Modular Product Programs
Inferring Channel Buffer Bounds Via Linear Programming
A Decidable Logic for Describing Linked Data Structures
Secure the Clones - Static Enforcement of Policies for Secure Object Copying
Checking Linearizability of Encapsulated Extended Operations
Is Structural Subtyping Useful? An Empirical Study
Denotational Semantics of Nets with Nondeterminism
Linear Time Hierarchies for a Functional Language Machine Model
A Modular, Extensible Proof Method for Small-Step Flow Analyses
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization
Minimization Algorithm for Symbolic Bisimilarity
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs
Entailment with Conditional Equality Constraints
Amortized Resource Analysis with Polynomial Potential
Program Verification by Coinduction
Validating LR(1) Parsers
Tagging, Encoding, and Jones Optimality
Abstract Specifications for Concurrent Maps
Upper Adjoints for Fast Inter-procedural Variable Equalities
Pure Pattern Calculus
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
Typing Copyless Message Passing
The Value Flow Graph: A Program Representation for Optimal Program Transformations
Programming Type-Safe Program Updates
Compiling Sandboxes: Formally Verified Software Fault Isolation
Metric Reasoning About \lambda -Terms: The General Case
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Mixed Sessions
Building Certified Libraries for PCC: Dynamic Storage Allocation
Tackling Real-Life Relaxed Concurrency with FSL++
A Higher-Order Logic for Concurrent Termination-Preserving Refinement
Compile-Time Debugging of C Programs Working on Trees
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
Type Inference for Action Semantics
Observers for Linear Types
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close
ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
A 3-Part Type Inference Engine
An And-Parallel Execution Model of Logic Programs
Parametric Overloading in Polymorphic Programming Languages
A Formal Treatment of Bidirectional Typing
Programs Using Syntax with First-Class Binders
A Generic Framework for Specialization (Abridged Version)
Size-Change Termination Analysis in k -Bits
Expressing Structural Properties as Language Constructs
An Abstract Domain to Infer Ordinal-Valued Ranking Functions
Adding Relational Query Facilities to Software Development Environments
General Bindings and Alpha-Equivalence in Nominal Isabelle
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs
Formulas as Processes, Deadlock-Freedom as Choreographies
Algebraic Proofs of Properties of Objects
Formal Autograding in a Classroom
A Static Higher-Order Dependency Pair Framework
Model and Proof Generation for Heap-Manipulating Programs
Needle & Knot: Binder Boilerplate Tied Up
A Provably Correct Compiler Generator
Algebraic Semantics of Exception Handling
Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Pretty-Big-Step Semantics
A Semantics for Multiprocessor Systems
Deciding Subtyping for Asynchronous Multiparty Sessions
The Conversation Calculus: A Model of Service-Oriented Computation
Approximate Pruning in Tabled Logic Programming
Adding Equations to System F Types
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap
A Calculus for Compiling and Linking Classes
View-Based Owicki-Gries Reasoning for Persistent x86-TSO
Path Optimization in Programs and Its Application to Debugging
A Dependent Dependency Calculus
Secure Information Flow as Typed Process Behaviour
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation
Set Domains
Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads
Typing Safe Deallocation
Implementation of an Interpreter for a Parallel Language in Centaur
ML and Extended Branching VASS
Techniques for Contextual Equivalence in Higher-Order, Typed Languages
A Separation Logic for a Promising Semantics
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
Fully Abstract Translations and Parametric Polymorphism
The Session Abstract Machine
Multiparty Session Types Meet Communicating Automata
Multiparty Session Types with a Bang!
Dependent Types for Low-Level Programming
Parameterized Memory Models and Concurrent Separation Logic
Incremental Update for Graph Rewriting
ULM: A Core Programming Model for Global Computing: (Extended Abstract)
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
Types for Complexity of Parallel Computation in Pi-Calculus
Diagnosis of Acute Respiratory Syndromes from X-Rays using Customised CNN Architecture
Automated Retinal Blood Vessel Feature Extraction in Digital Fundus Images
Hierarchical Multi-agent System in Traffic Network Signalization with Improved Genetic Algorithm
Wi-Fi Group Monitoring System Using Free Space Propagation Model with Active Scanning
Four Wheeled Mobile Robots: A Review
Single-Input Fuzzy-Sliding Mode Control for an Underactuated Quadrotor Craft
Enhanced Multi-Hop Mechanism in Vehicular Communication System using Swarm Algorithm
Development of a Virtual Vehicle Identification for Tracking Hit-and-Run Vehicle
A Comparative Study of COVID-19 CT Image Synthesis using GAN and CycleGAN
Discrete Wavelet Transform based EEG Feature Extraction and Classification for Mental Stress using Machine Learning Classifiers
Optimization of Signalized Traffic Network using Swarm Intelligence
Prediction of Maximum Temperatures by Time Series and Artificial Neural Networks (Case Study: Isfahan Station)
Detection of Drowsiness using EEG Probes Sensory Logic Signals Activeness Topology
The Development of Simultaneous Congkak Game with Intelligent Agents
Kiwi Fruit IoT Shelf Life Estimation During Transportation with Cloud Computing
Integrated Optimization Algorithm in Solving Economic Dispatch Problems
Determination of Tomato Fruit Stages Using Principal Component Analysis and Fuzzy Logic Algorithm
Spatial Feature Based Violence Detection Using Convolutional Neural Network
An Investigation of the Effect of Different Number of Electrodes on EIT Reconstructed Images
Text Classification of Medical Transcriptions using N-Gram Machine Learning Approach
Efficient Spectrum Allocation in Cognitive Radio using Yellow Saddle Goatfish Algorithm
Long - Term Forecast of Emergency Demand Using EMS Big Data and Population Estimates by Age
Stock Market Price Prediction: Text Analytics of the GameStop Short Squeeze
Effectiveness of dynamic image features for estimating daily conversation atmosphere
Analyzing News Sentiments and their Impact on Stock Market Trends using POS and TF-IDF based approach
Experimenting Deep Convolutional Visual Feature Learning using Compositional Subspace Representation and Fashion-MNIST
Modeling Lung Functionality in Volume-Controlled Ventilation for Critical Care Patients
Brain Tumor Classification from MRI Images Using Convolutional Neural Network
IEEE International Conference on Artificial Intelligence in Engineering and Technology, IICAIET 2022, Kota Kinabalu, Malaysia, September 13-15, 2022
3rd IEEE International Conference on Artificial Intelligence in Engineering and Technology, IICAIET 2021, Kota Kinabalu, Malaysia, September 13-15, 2021
Factors Promoting Digital Transaction through Adoption of NFC Technology
Optimization of Yeast Fermentation Process using Genetic Algorithm
Saturation Degree-Based Constructive Heuristic for Master Surgery Scheduling Problem
Internet-of-Things for Smart Dryers: Enablers, State of the arts, Challenges, and Solutions
Simulation and Batch Modelling of Microbial Biosurfactant Production
An On-Call Shift for Anaesthetist Rostering Problem (ARP): A Mathematical Model
Detection of Forged Handwriting Through Analyzation of Handwritten Characters Using Support Vector Machine
Optimization of Photovoltaic Energy Harvesting using Artificial Neural Network
Performance Comparison of Convolutional Neural Network Models on Cervical Cell Classification
Smart Wheelchairs: A Review on Control Methods
Optimizing High-Density Aquaculture Rotifer Detection Using Deep Learning Algorithm
Application Water Level Prediction Through Seasonal Autoregressive Integrated Moving Average: Red Hills Reservoir Case Study
Performance Evaluation of Machine Learning Algorithms for Intrusion Detection in IoT Applications
Generating Conversation Opportunity for Elderly People Integrating Agent and Conferencing Service
Energy Efficient Scheduling in Smart Home using Deep Reinforcement Learning
Utilization of Response Surface Methodology and Regression Model in Optimizing Bioretention Performance
Third Eye Hand Glove Object Detection for Visually Impaired using You Only Look Once (YOLO)v4-Tiny Algorithm
Energy Efficiency of IoT-Edge Computing in Smart Grid Using Deep Reinforcement Learning
Features Extraction Technique Analysis of EEG Signal for Motor Imagery Classification
Blockchain-Based Anti-Counterfeit Product Identification System
Real Time Bangla Number Plate Recognition using Computer Vision and Convolutional Neural Network
Real-time Detection of Aquarium Fish Species Using YOLOv4-tiny on Raspberry Pi 4
Engine Fault Diagnosis using Probabilistic Neural Network
Autonomous Path Optimization in Unfamiliar Map Through Deep Reinforcement Learning
A Real-Time Web-Based Monitoring System for Stingless Bee Farming
Benchmarking CNN Models for Black Pepper Diseases and Malnutrition Prediction
Sleep Stage Scoring of Single-Channel EEG Signal based on RUSBoost Classifier
Ad-Gency: Hospital Patients' Admission Management Information System and Analytics Development on Health Emergency Situation
A Prototype Model of Monitoring Energy Consumption and Optimizing Distribution of Smart Buildings
CMOS LNA for IoT RFID
Artificial Intelligence-based Safety Helmet Recognition on Embedded Devices to Enhance Safety Monitoring Process
Evaluation of Machine Learning Methods for Android Malware Detection using Static Features
Comparing Machine Learning Models for Heart Disease Prediction
A Hybrid Biosignal Compression Model for Healthcare Sensor Networks
Real-time Muscle Activity Indication Method for Pedaling Motion using Surface EMG
Non-destructive Determination of Sweetness of Philippine Fruits using NIR Technology
An Evaluation of Patch Match-based Copy-Move Forgery Detection (CMFD) on Social Media Images
A Smartphone-Based IoT System to Monitor Driving Behaviors by Using a Machine Learning Classifier
Online Courier Management System with Text Blast and QR Code Technology
Comparison of Anomaly Detection and Solution Strategies for Household Service Robotics using Knowledge Graphs
Multi-Step API Prediction in Malaysia: Evaluating Recursive NARX and SVM Models
Automata Theory Approach for Nurse Rostering Problem
Dense-par-AttNet: An Attention Based Deep Learning Model For Skin Lesion Classification By Transfer Learning Approach
Concurrent Architecture of High Speed Viterbi Decoder Using Xilinx HLS Tool
Prediction And Detection In Change Of Cognitive Load For VIP's By A Machine Learning Approach
Efficient Transmission based on Genetic Evolutionary Algorithm
Forest Fire Detection for Edge Devices
Blended QR Code for Digital Advertising
Ripeness Classification of Cacao Using Cepstral-Based Statistical Features and Support Vector Machine
Optimized Energy Extraction in Tidal Current Technology using Evolutionary Algorithm
IoT-Based Tracing and Communication Platform for Disease Control
Gamified Online Active Learning Theory
Edge computing: Architecture, Applications and Future Perspectives
Efficient Distributed Consensus Algorithm For Swarm Robotic
Toxic Voice Classification Implementing CNN-LSTM & Employing Supervised Machine Learning Algorithms Through Explainable AI-SHAP
An Empirical Model of Classifying Lung Affected Diseases to Detect COVID-19 Using Chest X-ray Employing Convolutional Neural Architecture
Improved Q-Learning Algorithm for Path Planning of an Automated Guided Vehicle (AGV)
Computer-assisted Table Tennis Posture Analysis using Machine Learning
Fuzzy Logic Based Perturb-and-Observe Algorithm for Minimizing Output Fluctuation of a PV System
Bengali Speech Recognition: An Overview
Text Analytics on Course Reviews from Coursera Platform
Adaptive Route Optimization for Mobile Robot Navigation using Evolutionary Algorithm
A Comparative Study of Chatbot Catered Toward Mental Health
A Study on Multiword Expression Features in Emotion Detection of Code-Mixed Twitter Data
Enhancing Fuzzy Logic MPPT Controller with Metaheuristic Mechanism in Photovoltaic System
Photovoltaic-Thermoelectric Generator Monitoring System using Arduino Based Data Acquisition system Technique
Generic Expressions for Early Estimation of Performance of Binary Multipliers
A Real-Time Approach to Classify the Water Quality of the River Ganga at Mehandi Ghat, Kannuaj
RSS Based Vertical Handover Schemes in Heterogeneous Wireless Networks: Past, Present & Future
Development of Exercise Promotion System Using Smartphone and AI Speaker
Energy Meter based Wireless Monitoring System using Blynk Application via smartphone
Performance of Content-Based Features to Detect Depression Tendencies in Different Text Lengths
Securing mHealth Applications with Grid-Based Honey Encryption
Performance Metrics of Pristine Graphene Nanoribbons Field-Effect Transistor with Different Types of Contacts
Clustering of Rippling Traffic Waves for Driving Behavioural Pattern Learning
Adapting Perturbation Voltage For Variable Speed Micro-Hydro Using Particle Swarm Optimization (PSO)
Environment-Based Oil Palm Yield Prediction Using K-Nearest Neighbour Regression
IEEE International Conference on Artificial Intelligence in Engineering and Technology, IICAIET 2023, Kota Kinabalu, Malaysia, September 12-14, 2023
Unique Approach to Detect Bowling Grips Using Fuzzy Logic Contrast Enhancement
Network Coding Schemes with MIMO-NOMA for Two-Way Relay Networks
A Volume and Assist Controlled Mechanical Emergency Ventilator for Respiratory Support