yusuke1997/dblp-id-title huggingface dataset:
Executable formal semantics for the POSIX shell
A dual number abstraction for static analysis of Clarke Jacobians
Optimal CHC Solving via Termination Proofs
A unifying type-theory for higher-order (amortized) cost analysis
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
Abstracting Effect Systems for Algebraic Effect Handlers
Reconciling optimization with secure compilation
Manifest sharing with session types
On automatically proving the correctness of math.h implementations
Effects for efficiency: asymptotic speedup with first-class control
Compilation of Qubit Circuits to Optimized Qutrit Circuits
Geometry types for graphics programming
DimSum: A Decentralized Approach to Multi-language Semantics and Verification
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Calculating Compilers for Concurrency
Programming-by-Demonstration for Long-Horizon Robot Tasks
Bolt-On Strong Consistency: Specification, Implementation, and Verification
Algorithmic analysis of termination problems for quantum programs
Model Checking C/C++ with Mixed-Size Accesses
Modular probabilistic models via algebraic effects
CRGC: Fault-Recovering Actor Garbage Collection in Pekko
Veracity: declarative multicore programming with commutativity
Certifying graph-manipulating C programs via localizations within data structures
Double-Ended Bit-Stealing for Algebraic Data Types
Orthologic with Axioms
Verified compilation of Quantum oracles
Finding broken promises in asynchronous JavaScript programs
Higher-Order Leak and Deadlock Free Locks
Probabilistic Programming with Programmable Variational Inference
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Refinement in object-sensitivity points-to analysis via slicing
Internal Parametricity, without an Interval
UniSparse: An Intermediate Language for General Sparse Format Customization
Inference Plans for Hybrid Particle Filtering
Non-termination Proving at Scale
Staged compilation with two-level type theory
WATCHER: in-situ failure diagnosis
Derivative grammars: a symbolic approach to parsing with derivatives
Type Inference Logics
High-level effect handlers in C++
What's the difference? a functional pearl on subtracting bijections
Modular Denotational Semantics for Effects with Guarded Interaction Trees
Nominal Recursors as Epi-Recursors
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
Tower: data structures in Quantum superposition
Designing types for R, empirically
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
How Profilers Can Help Navigate Type Migration
Leveraging Rust Types for Program Synthesis
Functional programming for modular Bayesian inference
Elements of Quantitative Rewriting
Tight typings and split bounds
Concurrency-aware object-oriented programming with roles
Deductive verification with ghost monitors
APIfix: output-oriented program synthesis for combating breaking changes in libraries
Inductive Program Synthesis Guided by Observational Program Similarity
Propositional equality for gradual dependently typed programming
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
The theory of call-by-value solvability
A history of MATLAB
Denotational validation of higher-order Bayesian inference
SpaceSearch: a library for building and verifying solver-aided tools
How Hard Is Weak-Memory Testing?
Modular Component-Based Quantum Circuit Synthesis
Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming
Efficient parameterized algorithms for data packing
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
Multiparty GV: functional multiparty session types with certified deadlock freedom
Synthesizing differentially private programs
Automated policy synthesis for system call sandboxing
Elaboration with first-class implicit function types
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
A history of Clojure
Binders by day, labels by night: effect instances via lexically scoped handlers
The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl)
A Hybrid Approach to Semi-automated Rust Verification
Retrofitting parallelism onto OCaml
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Robust relational layout synthesis from examples for Android
Unifying execution of imperative generators and declarative specifications
VESPA: static profiling for binary optimization
Parallelism in a Region Inference Context
Relational algebra by way of adjunctions
Model checking copy phases of concurrent copying garbage collection with various memory models
Julia: dynamism and performance reconciled by design
Automata and fixpoints for asynchronous hyperproperties
Monadic and comonadic aspects of dependency analysis
A Case for Synthesis of Recursive Quantum Unitary Programs
Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation
Solving constrained Horn clauses modulo algebraic data types and recursive functions
Proving expected sensitivity of probabilistic programs
One tool, many languages: language-parametric transformation with incremental parametric syntax
Concurrent Immediate Reference Counting
From Batch to Stream: Automatic Generation of Online Algorithms
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Who guards the guards? formal validation of the Arm v8-m architecture specification
Hydra: Generalizing Peephole Optimizations with Program Synthesis
Verified symbolic execution with Kripke specification monads (and no meta-programming)
Shoggoth: A Formal Foundation for Strategic Rewriting
Higher-order constrained horn clauses for verification
Reasoning about distributed reconfigurable systems
With a Few Square Roots, Quantum Computing Is as Easy as Pi
Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning
Towards a unified proof framework for automated fixpoint reasoning using matching logic
Optimal Program Synthesis via Abstract Interpretation
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Incremental type-checking for free: using scope graphs to derive incremental type-checkers
Compositional optimizations for CertiCoq
Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice
Solving String Constraints with Lengths by Stabilization
DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
Scalable, Validated Code Translation of Entire Projects using Large Language Models
Demystifying differentiable programming: shift/reset the penultimate backpropagator
Decalf: A Directed, Effectful Cost-Aware Logical Framework
A general construction for abstract interpretation of higher-order automatic differentiation
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization
Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq
A simple and efficient implementation of strong call by need by an abstract machine
CT-wasm: type-driven secure cryptography for the web ecosystem
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
P/Taint: unified points-to and taint analysis
Approximate normalization for gradual dependent types
From Semantics to Syntax: A Type Theory for Comprehension Categories
Effect Handlers for C via Coroutines
A cost-aware logical framework
Program synthesis by type-guided abstraction refinement
Functional Ownership through Fractional Uniqueness
Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion
Snapshottable Stores
Gradual session types
Miri: Practical Undefined Behavior Detection for Rust
Initializing Global Objects: Time and Order
Ripple: Asynchronous Programming for Spatial Dataflow Architectures
Generic zero-cost reuse for dependent types
Diamonds are not forever: liveness in reactive programming with guarded recursion
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
Randomized testing of distributed systems with probabilistic guarantees
Reward-Guided Synthesis of Intelligent Agents with Control Structures
Lilac: A Modal Separation Logic for Conditional Probability
Decidable verification of uninterpreted programs
Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming
Julia subtyping: a rational reconstruction
Efficient compilation of algebraic effect handlers
Online detection of effectively callback free objects with applications to smart contracts
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
Example-Based Reasoning about the Realizability of Polymorphic Programs
The next 700 compiler correctness theorems (functional pearl)
Reflection-aware static regression test selection
Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis
Natural synthesis of provably-correct data-structure manipulations
Associated Effects: Flexible Abstractions for Effectful Programming
Inductive Approach to Spacer
Automatic migration from synchronous to asynchronous JavaScript APIs
A Uniform Framework for Handling Position Constraints in String Solving
Characterizing Implementability of Global Protocols with Infinite States and Data
RustBelt meets relaxed memory
Usability Barriers for Liquid Types
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Language-integrated privacy-aware distributed queries
Inference of Robust Reachability Constraints
Combining the top-down propagation and bottom-up enumeration for inductive program synthesis
Checking equivalence in a non-strict language
Compositional soundness proofs of abstract interpreters
A Modular Static Cost Analysis for GPU Warp-Level Parallelism
Efficient automated repair of high floating-point errors in numerical libraries
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
Dynaplex: analyzing program complexity using dynamically inferred recurrence relations
Verified Foundations for Differential Privacy
Mechanized logical relations for termination-insensitive noninterference
On Extending Incorrectness Logic with Backwards Reasoning
Counterexample-Guided Inference of Modular Specifications
Relational cost analysis for functional-imperative programs
Simple noninterference from parametricity
Probabilistic Programming with Vectorized Programmable Inference
S, R, and data science
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism
Scaling Type-Based Points-to Analysis with Saturation
Skip blocks: reusing execution history to accelerate web scripts
Verifying efficient function calls in CakeML
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Energy-Oriented Material Flow Simulation as a Contribution to Automotive Industry 4.0
Fit for Duty Assessment of Driver Fatigue based on Statistical Modelling of Cardiovascular Parameters
Model-based Safety Monitoring of Product Flow Paths
Co-Simulation - An Empirical Survey: Applications, Recent Developments and Future Challenges
Support of Event-Graph Lectures by the MMT E-learning System
Concept and Realisation of a Holistic, Highly Flexible HiL Test System for Testing Autonomous Driving Functions
ARGESIM Benchmark C7 'Constrained Pendulum' - Solution in MATLAB Environment and Extensions with Linear Approach, Symbolic Approach, Sensitivity, and Integration into TU Vienna's MMT E-Learning Environment
Hybrid Models and Digital Twins for Condition Monitoring: HVAC System for Railway
Simulated Race for Exam Grades
Event-based and State-Automata-based Modelling of FMS
Modelling and Simulation of GMA Welding Process and Welding Power Sources
PDE Modeling with Modelica via FMI Import of HiFlow3 C++ Components
Reservoir Wave Paradigm: An Implementation and Sensitivity Analysis
Physical Simulation Related Exercises for the Education in the STEM Field - Approaches Based on the Physolator Framework
An Agent-based Approach to ARGESIM Benchmark C16 'Restaurant Business Dynamics' based on NetLogo
SyNumSeS: A Python Package for Numerical Simulation of Semiconductor Devices
Modelling and Simulation of the Melting Process in Electric Arc Furnace: An Overview
Plant Disease Outbreak - Prediction by Advanced Data Analysis
Modelling and Simulation in Health Care Technology - from Development via Implementation to Assessment
An Adaptable Full-Scale Aircraft Cabin in an Interconnected Simulation Environment
Design of Simulation Model for Novel Solar Thermal Storage Tank
Network-based Simulation in Water Construction - a Flexible Tool for Equipment Selection
A Simulation Model of the Interactions between Power Producers and Customers
In-Process Agent Simulation for Early Stages of Hospital Planning
A Tutorial-oriented Approach to ARGESIM Benchmark C11 'SCARA Robot' in MATLAB, Simulink and Stateflow
A MATLAB-based Solution to ARGESIM Benchmark C6 'Emergency Department' using SimEvents
MbedTarget - A Simulink Target for Cortex-M Microcontrollers
Software for Higher-order Sensitivity Analysis of Parametric DAEs
Cross-boundary Simulations of Fuel Cells
Modeling and Simulation of Patient Flow in Hospitals for Resource Utilization
Comparison Open Modelica - Dymola for Power Plant Simulation
Probabilistic Drift Formulation of SIRS Models based on SPDEs and the Kolmogorov Equation
Concept Development for Coupling Simulation and Machine Learning in Supply Chains
Co-operating with Municipal Partners on Indicator Identification and Data Acquisition
Simulation of Heat Radiation Asymmetry with Maple
Wildfire Spreading Simulator Using Fast Marching Algorithm
Hydro Power Systems: Scripting Modelica Models for Operational Studies in Education
Let's Build a Tunnel! - A Closer Look at Cologne's New Subway Routes
Coupled Simulation of Energy and Material Flow using Plant Simulation and MATLAB Simulink
Investigation on Stability Properties of Hierarchical Co-Simulation
Towards Dynamic Structure Hybrid DEVS forScientific and Technical Computing Environments
Simulation-based Evaluation of Dynamic Vehicle Routing Problem Features for Algorithm Selection
Application of the Fourier Analysis for the Validation and Optimisation of Discrete Event Models
Simulating and Evaluating Different Boarding Strategies on the Example of the Airbus A320
A Scipt Language-supported Approach to ARGESIM Benchmark C14 'Supply Chain' in Enterprise Dynamics
Robust Simulation of Stream-Dominated Thermo-Fluid Systems: From Directed to Non-Directed Flows
Simulation and Optimization of Cologne's Tram Schedule
Truck Shuttle Simulation between Production Plant and Logistics Centre: Data Acquisition and Preparation
Modeling Hybrid Systems in MvStudium
Differential Equations and Carathéodory Solutions: How System Dynamics Describes Formal Dynamical Systems
Influence of TAS' Characteristics on the Related Drayage Network
Model-based Parallelization of Discrete Traffic Simulation Models
Long Term Behaviour of Agent based Epidemic Simulation of Streptococcus Pneumoniae - A Mathematical Status Report
A Critical Overview of Modelling and Simulating Methods for Complex Dynamic Systems
High-Order Acausal Models
Model-based Prediction of the Remaining Useful Life of the Machines
A New Approach for Integrating Discrete Element Method into Component-oriented System Simulations
Dynamic Distributed Simulation of DEVS Models on the OSGi Service
Flexible Task Oriented Robot Controls Using the System Entity Structure and Model Base Approach
Efficient Validation of Process-based Simulation Models
Simulation in Wood Science: using the Process Gluing as an Example
A Drilling Force Model for Use in Multibody System Simulation Environments
Experimental Adaptation of a Training Simulator for Manual Welding Processes towards the Teach-In of Welding Robots
An Open Source Tool for Calculating CO2 Pipeline Decompression Wave Speed
High Precision Conformal Map of the Unit Disk to Star-Shaped Domains
Comparing Different Pruning Strategies for the Evaluation Task of Virtual Stochastic Sensors
Modeling and Simulation-based Development of Autonomy Features for Drones
Application of CAE to Model and Simulate Wheel-ground Contact in Railway Vehicle
Simulation Processes for Onboard State Estimation in a Small UAV Environment
Modeling and Validation of an Open-Source Mean Value Heavy-Duty Diesel Engine Model
Ensuring Supply for Emergency Services - Modeling Supply Chains with Incomplete Sets of Data
Adapting to Change of Model Transitions in Proxel Based Simulation of CHnMMs
Parallel Multi-agent Smart Grid Simulation
Towards Clothes Hanging via Cloth Simulation and Deep Convolutional Networks
Optimized Balance of Plant for a Medium-size PEM electrolyzer. Design, Modelling and Control
A Bi-Modal Simulation Model to Increase the Resilience of Public Transit Networks
LABI - Laboratory of Mathematical Models
Dynamic Modeling of a Methanization Plant
Vehicle Coordination and Configuration in High-powered Automated Vehicle Storage and Retrieval Systems
RPDEVS Abstract Simulator
A Soft Computing Model for Server Outage Detection
Exploring the Advantages of Multi-Method Modelling in the Use Case of a Large Socio-Technical Infrastructure System: The Airport City
Agent-based Simulation of the Railway Connection from and to the Vienna International Airport
An Approximate Differentiation Method of Inverse Simulation based on a Continuous System Simulation Approach
Diffusion Approximation in a Stochastic Cellular Automaton Model for Epidemics
Issues of Fitness for Purpose in Train Simulation Models: a Review
Modelling and Simulation in Adaptive Intelligent Control
Modelling of Methane Hydrate Formation and Dissociation using Residual Thermodynamics
STROBOSCOPE Solution to ARGESIM Benchmark C8 'Canal and Lock System'
STROBOSCOPE Models for ARGESIM Benchmark C22 'Non-standard Queuing Policies'
Coupled Simulation of the Injection and Combustion Process of an Industrial Diesel Engine
Conceptualization of a Procedural Model for Selecting Decision Support Methods in Production and Logistics
Stochastic Models for Intermittent Demands Forecasting and Stock control
Development of a Container Terminal Simulation Ontology
A Software Framework for Modeling and Simulation of Dynamic Metabolic and Isotopic Systems
Applying Hybrid Tokens to the Estimation of the Therapeutic Outcome of Psychiatric Treatments
Simulating a Pneumatics Network using the Modelica Fluid Library
A Solution to ARGESIM Benchmark C21 based on Modelica Components
Combining Pre-Event Planning and Emergency Response in a Simulation Model to Increase the Resilience in Public Transit Networks
Genetic Algorithms in the Domain of Personalized Nutrition
Concept for Mathematical Models for Subprocesses in the Manufacture of Particleboards
An Agent-Based Approach to Increasing Space Utilization of Office Buildings
Object-Oriented Modelling for Energy-efficient Production
Approach for Synthesis and Optimization of Complex Thermal Systems for Supermarkets
Modeling Material and Energy Flow in an Eco-industrial Park using Discrete Event Simulation
Integration of Reinforcement Learning and Discrete Event Simulation
Fault Tolerant Control for a Rotary Wing Aircraft
Novel Concept of Modelling Embryology for Structuring an Artificial Neural Network
Generating of Task-Based Controls for Joint-Arm Robots with Simulation-based Reinforcement Learning
Simulation System for Radiology Education Integration of Physical and Virtual Realities: Overview and Software Considerations
A Simulation Model of a School's Evacuation
Two Examples of Testing Global Identifiability with the DAISY Software
Implementing Standard Examples with NSA-DEVS
Conversion of Iterative Balance Models to Directly Calculating Explicit Models for Real-time Process Optimization and Scheduling
The ARCH Project: Investigating the Impact of Climate Change on Historic Areas
Expressing Requirements in Modelica
Development of a Simulation Model to Analyze the Performance of Decentral Rescheduling Algorithms in Production Systems
Identification of the Long-Term Effects of Mild to Moderate Neonatal Cerebral Hypoxia Based on EEG Signals Analysis
Agent-based Modelling and Simulation for Population Dynamics under Agricultural Constraints in Prehistoric Hallstatt: Hints for a Second Settlement
Interactive Modelling and Simulation of Micromirror MEMS Devices
On the Relationship between Model Complexity and Decision Support in Agent-based Modeling and Simulation
Estimation of Discontinuities from Point Cloud Based on Variable-Box Segmentation Method
How to Define SES Trees for Variability Modeling
A Stable but Explicit Cosimulation Coupling Method
Decision Making in Ambient Assisted Living Environments based on Uncertain and Fuzzy Data
Machine Learning and the Digital Era from a Process Systems Engineering Perspective
Simulation of a Discharge Electrode Needle for Particle Charging in an Electrostatic Precipitator
Methods for Integrated Simulation - 10 Concepts to Integrate
MATLAB/Simulink Based Rapid Control Prototyping for Multivendor Robot Applications
Modeling Exercising on Wrist Exerciser
SimLack: Simulation-based Optimization and Scheduling of Generic Powder Coating Lines
ARGESIM Benchmark C13 'Crane and Embedded Control': SIMULINK-modelled Dynamics and MATLAB-programmed Control
Coupling of Simulation Tools for Obtaining Local Fatigue in Combination with Experimental Data
Mathematical Analysis of a Compartment Model
The Modelica Library 'AlternativeVehicles' for Vehicle System Simulation
Agent Reasoning Based on Trust and Reputation
Assessment of Influencing Factors in Decentralized Energy Supply of Manufacturing Industries Using Probabilistic Methods
NSA-DEVS: Combining Mealy Behaviour and Causality
Using Decision Trees and Reinforcement Learning for the Dynamic Adjustment of Composite Sequencing Rules in a Flexible Manufacturing System
Microscopic Pendulum Modelling: Absurd Idea or Innovative View on Old Problems?
The Proposal of the Alternately Evolving Genetic Algorithm and its Application
An Incivility Analysis of Austrian Political Speeches
Construction and Implementation of a Simple Agent-Based System on GPU-Architectures
Extendable Hybrid Approach to Detect Conscious States in a CLIS Patient Using Machine Learning
Modelling of Indoor Lighting Conditions in Buildings for Control Design Purposes
Modeling and Simulation Using Cellular Automata
Burdens of Obesity: Multi-Model Description
A Comparison of Microscopic Pedestrian Simulation Models based on RiMEA Test Cases
An Extension for the Specification and Automated Selection of System Variants Based on the System Entity Structure Using a Problem from Process Industry
Evaluation of Risk Factors for Parametrization of Cancer Models
ARGESIM Benchmark C20 'Complex Production System' - Definition and Call
The Lattice Boltzmann Method and Multiscale Hemodynamics: Recent Advances and Persepectives
ROCS: A Realtime Optimization and Control Simulator
Model Reduction of Highly Viscous, Non-isothermal Fluids with Free Surface Using Perturbation Theory
Dynamic Optimization of Chemical and Bio-chemical Processes using an Efficient Global Optimization Metaheuristic
Modeling Time Table based Tram Traffic
Falsification by Modelling and Simulation for Investigations in Hallstatt Archaeology
Methodology for Modeling, Parameter Estimation, and Validation of Powertrain Torsional Vibration
Exploring the Possibilities of Co-Simulation with CATIA V6 Dynamic Behavior Modeling
Electrical Power Peaks in the Simulation of Material Handling Systems
A New Technique for Interactive Simulation of Recurrent Neural Networks