yusuke1997/dblp-id-title huggingface dataset:
Asymptotically Optimal Planning under Piecewise-Analytic Constraints
Bandit-Based Model Selection for Deformable Object Manipulation
Decentralized Robot Swarm Clustering: Adding Resilience to Malicious Masquerade Attacks
A Lower Bounding Framework for Motion Planning Amid Dynamic Obstacles in 2D
Aggressive Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field
Implicit Multiagent Coordination at Uncontrolled Intersections via Topological Braids
Distributed Construction of Truss Structures
Constraint-Based Motion Planning Using Voronoi Diagrams
Algorithmic Foundation of Robotics VII, Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2006, July 16-18, 2006, New York, NY, USA
A Region-Based Strategy for Collaborative Roadmap Construction
Fast Tree-Based Exploration of State Space for Robots with Dynamics
A State Transition Diagram for Simultaneous Collisions with Application in Billiard Shooting
Information Requirements of Collision-Based Micromanipulation
Learning Constraints from Demonstrations
Maximum-Reward Motion in a Stochastic Environment: The Nonequilibrium Statistical Mechanics Perspective
Pushing the Boundaries of Asymptotic Optimality in Integrated Task and Motion Planning
Balancing Unpredictability and Coverage in Adversarial Patrolling Settings
Algorithmic Foundation of Robotics VIII, Selected Contributions of the Eight International Workshop on the Algorithmic Foundations of Robotics, WAFR 2008, Guanajuato, Mexico, December 7-9, 2008
Sampling-Based Motion Planning for Uncertain High-Dimensional Systems via Adaptive Control
Neural Collision Clearance Estimator for Batched Motion Planning
Low Complexity Control Policy Synthesis for Embodied Computation in Synthetic Cells
Probik: Protein Backbone Motion by Inverse Kinematics
Multi-modal Motion Planning in Non-expansive Spaces
Algorithms for Motion and Navigation in Virtual Environments and Games
Finding a Needle in an Exponential Haystack: Discrete RRT for Exploration of Implicit Roadmaps in Multi-robot Motion Planning
A Generalized Label Correcting Method for Optimal Kinodynamic Motion Planning
SACBP: Belief Space Planning for Continuous-Time Dynamical Systems via Stochastic Sequential Action Control
On the Distinction between Active and Passive Reaction in Grasp Stability Analysis
Uniform Coverage of Simple Surfaces Embedded in for Auto-Body Painting
Multiagent Pursuit Evasion, or Playing Kabaddi
Automatic Cross-domain Task Plan Transfer by Caching Abstract Skills
Asynchronous Distributed Motion Planning with Safety Guarantees under Second-Order Dynamics
LQG-Based Planning, Sensing, and Control of Steerable Needles
The Surprising Effectiveness of Linear Models for Visual Foresight in Object Pile Manipulation
Feedback Control of the Pusher-Slider System: A Story of Hybrid and Underactuated Contact Dynamics
Coordinating Multiple Droplets in Planar Array Digital Microfluidics System
On Rearrangement of Items Stored in Stacks
Motion Planning for a Six-Legged Lunar Robot
Competitive Two Team Target Search Game with Communication Symmetry and Asymmetry
Distributed Motion Planning for 3D Modular Robots with Unit-Compressible Modules
Designing Sparse Reliable Pose-Graph SLAM: A Graph-Theoretic Approach
Using Motion Primitives in Probabilistic Sample-Based Planning for Humanoid Robots
On the Effects of Measurement Uncertainty in Optimal Control of Contact Interactions
Energy-Based Modeling of Tangential Compliance in 3-Dimensional Impact
Beyond the Planning Potpourri: Reasoning About Label Transformations on Procrustean Graphs
Path Planning for Flexible Needles Using Second Order Error Propagation
Multi-agent Path Planning and Network Flow
Scalable Low-Rank Semidefinite Programming for Certifiably Correct Machine Perception
On the Power of Manifold Samples in Exploring Configuration Spaces and the Dimensionality of Narrow Passages
3D Motion Planning Algorithms for Steerable Needles Using Inverse Kinematics
Optimal Gap Navigation for a Disc Robot
Sufficient Conditions for the Existence of Resolution Complete Planning Algorithms
Stratified Deformation Space and Path Planning for a Planar Closed Chain with Revolute Joints
Online Scan Coverage of Grid Environments by a Mobile Robot
Randomized Belief-Space Replanning in Partially-Observable Continuous Spaces
On the Value of Ignorance: Balancing Tracking and Privacy Using a Two-Bit Sensor
Fast Penetration Depth Estimation Using Rasterization Hardware and Hierarchical Refinement
Evasive Navigation of an Autonomous Mobile Robot in Hostile Unknown Environments
Computing Deform Closure Grasps
The Feasible Transition Graph: Encoding Topology and Manipulation Constraints for Multirobot Push-Planning
Distributed Spacing Control for Multiple, Buoyancy-Controlled Underwater Robots
Faster Sample-Based Motion Planning Using Instance-Based Learning
Decidability of Robot Manipulation Planning: Three Disks in the Plane
Algorithmic Challenges in Structural Molecular Biology and Proteomics
An Effective Framework for Path Planning Amidst Movable Obstacles
Modeling Contact Friction and Joint Friction in Dynamic Robotic Simulation Using the Principle of Maximum Dissipation
Extensive Representations and Algorithms for Nonlinear Filtering and Estimation
Path Planning among Movable Obstacles: A Probabilistically Complete Approach
A Quasi-static Model and Simulation Approach for Pushing, Grasping, and Jamming
Sensor Beams, Obstacles, and Possible Paths
Matrix Completion as a Post-Processing Technique for Probabilistic Roadmaps
Hierarchical Reinforcement Learning Under Mixed Observability
Adapting Deep Visuomotor Representations with Weak Pairwise Constraints
Autonomous Visual Rendering using Physical Motion
A Topological Perspective on Cycling Robots for Full Tree Coverage
Large-Scale Heterogeneous Multi-robot Coverage via Domain Decomposition and Generative Allocation
Imitation Learning as f-Divergence Minimization
HybridSLAM: Combining FastSLAM and EKF-SLAM for Reliable Mapping
Towards a Framework for Comparing the Complexity of Robotic Tasks
Hierarchical Multiobjective Shortest Path Problems
On the Relationship between Classical Grid Search and Probabilistic Roadmaps
A Variational Approach to Strand-Based Modeling of the Human Hand
Learning Stabilizable Dynamical Systems via Control Contraction Metrics
Flexonics
Smooth and Dynamically Stable Navigation of Multiple Human-Like Robots
Every Action-Based Sensor
Fast Collision Detection for Motion Planning Using Shape Primitive Skeletons
Minimum Resource Characterization of Biochemical Analyses for Digital Microfluidic Biochip Design
CCQ: Efficient Local Planning Using Connection Collision Query
Configurations and Path Planning of Convex Planar Polygonal Loops
Fast Nearest Neighbor Search in SE(3) for Sampling-Based Motion Planning
The Correlated Arc Orienteering Problem
Fast, High-Quality Dual-Arm Rearrangement in Synchronous, Monotone Tabletop Setups
Sampling-Based Motion Planning under Kinematic Loop-Closure Constraints
A Performance Analysis of Parallel Differential Dynamic Programming on a GPU
Polyhedral Assembly Partitioning with Infinite Translations or The Importance of Being Exact
Resolution-Exact Planner for Thick Non-Crossing 2-Link Robots
Competitive Complexity of Mobile Robot On Line Motion Planning Problems
Time-Optimal Motion of Spatial Dubins Systems
Parametrized Motion Planning and Topological Complexity
RMP flow : A Computational Graph for Automatic Motion Policy Generation
Motion Planning for Reconfigurable Mobile Robots Using Hierarchical Fast Marching Trees
Algorithmic Foundations of Robotics X - Proceedings of the Tenth Workshop on the Algorithmic Foundations of Robotics, WAFR 2012, MIT, Cambridge, Massachusetts, USA, June 13-15 2012
Locally-Connected Interrelated Network: A Forward Propagation Primitive
An Equivalence Relation for Local Path Sets
Kinodynamic RRTs with Fixed Time Step and Best-Input Extension Are Not Probabilistically Complete
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler
Cost Analysis Using Automatic Size and Time Inference
Application of Functional Programming in the Energy Industry: A Local Energy Market Simulator Case Study
Using Multicasting for Optimising Data-Parallelism
Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Shrinking Reductions in SML.NET
The Very Lazy λ-Calculus and the STEC Machine
Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
Polymorphic Type Reconstruction Using Type Equations
Descriptor-Free Representation of Arrays with Dependent Types
Fusion in Practice
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl
Haskell Boards the Ferry - Database-Supported Program Execution for Haskell
An Executable and Testable Semantics for iTasks
Proving Make Correct: I/O Proofs in Haskell and Clean
Circularity and Lambda Abstraction: From Bird to Pettorossi and back
Challenges for a Trace-Based Just-In-Time Compiler for Haskell
The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages
Reflections in Opal - Meta Information in a Functional Programming Language
A Type- and Control-Flow Analysis for System F
Worst-Case Execution Times for a Purely Functional Language
Type Directives and Type Graphs in Elm
HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang
Calculating a Functional Module for Binary Search Trees
A Conference Management System Based on the iData Toolkit
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics
Naira: A Parallel² Haskell Compiler
First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming
Implementing the Conjugate Gradient Algorithm in a Functional Language
ExEl: Building an Elaborator Using Extensible Constraints
Proceedings of the 36th Symposium on Implementation and Application of Functional Languages, IFL 2024, Nijmegen, The Netherlands, August 26-28, 2024
Building JavaScript Applications with Haskell
Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, IFL 2022, Copenhagen, Denmark, 31 August 2022- 2 September 2022
C-: A Portable Assembly Language
Tensor comprehensions in SaC
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour
33rd Symposium on Implementation and Application of Functional Languages, IFL 2021, Nijmegen, The Netherlands, September 1-3, 2021
Proof Tool Support for Explicit Strictness
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell
Predictable Space Behaviour in FSM-Hume
Gast: Generic Automated Software Testing
Explicit Message Passing for Concurrent Clean
A Rational Deconstruction of Landin's SECD Machine
Language-integrated updatable views
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
Design and Implementation of Probabilistic Programming Language Anglican
Source-Based Trace Exploration
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
Parsing Mixfix Operators
An Interaction Net Implementation of Closed Reduction
Symbiotic Expressions
Runtime Behavior of Conversion Interpretation of Subtyping
iTasks 2: iTasks for End-users
Haskell-Coloured Petri Nets
Set-theoretic Types for Erlang
Common Subexpressions Are Uncommon in Lazy Functional Languages
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
A Generic Programming Extension for Clean
Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell
Biorthogonality for a Lazy language
C -> HASKELL, or Yet Another Interfacing Tool
Really Natural Linear Indexed Type Checking
Heuristics for Type Error Discovery and Recovery
Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes
Compilation à la Carte
Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq
Stream Fusion on Haskell Unicode Strings
Reverse-Mode AD of Multi-Reduce and Scan in Futhark
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs
Interfacing Haskell with Object-Oriented Languages
Two-Pass Heap Profiling: A Matter of Life and Death
When Generic Functions Use Dynamic Values
Functional-Based Synthesis of a Systolic Array for GCD Computation
What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation
Pattern Candidate Discovery and Parallelization Techniques
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA
Stacking Cycles: Functional Transformation of Circular Data
Combining Shared State with Speculative Parallelism in a Functional Language
Embedding a Functional Hybrid Modelling Language in Haskell
Resource Analysis for Lazy Evaluation with Polynomial Potential
Polytypic Syntax Tree Operations
Nested and Dynamic Contract Boundaries
Type debugging with counter-factual type error messages using an existing type checker
Simple, Effective Code-Size Reduction for Functional Programs
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013
Polytypic Programming in Haskell
Fixing non-determinism
Decomposing Metaheuristic Operations
Tabular Expressions and Total Functional Programming
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines
Lazy interworking of compiled and interpreted code for sandboxing and distributed systems
XHaskell - Adding Regular Expression Types to Haskell
Context Patterns, Part II
The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language
Encoding Strategies in the Lambda Calculus with Interaction Nets
Towards the Layout of Things
Towards a Haskell/Java Connection
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
The Implementation and Efficiency of Arrays in Clean 1.1
Engineering Proof by Reflection in Agda
From Stack Traces to Lazy Rewriting Sequences
The Implementation of FSM Computation Graphs
Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling
A Dependently Typed Framework for Static Analysis of Program Execution Costs
A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes
Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers
Engineering Higher-Order Modules in SML/NJ
Implementation of Functional Languages, 8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers
Lazy Thread and Task Creation in Parallel Graph-Reduction
Pure Functional Epidemics: An Agent-Based Approach
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages
Types for 0, 1 or Many Uses
The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, Braga, Portugal, August 29-31, 2023
Shapes and flattening
Describing and Optimising Reversible Logic Using a Functional Language
Testing Erlang Refactorings with QuickCheck
Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures: Strategies and Experiments
Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization
Using Clean for Platform Games
An Interactive Approach to Profiling Parallel Functional Programs
Deriving compositional random generators
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment
Recursive Array Comprehensions in a Call-by-Value Language
Editlets: type-based, client-side editors for iTasks
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming
Towards native higher-order remote procedure calls
Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers
Compiling a functional array language with non-semantic memory information
A Strategic Profiler for Glasgow Parallel Haskell
Refining the Delta Debugging of Type Errors
The Foil: Capture-Avoiding Substitution With No Sharp Edges
MIL, a Monadic Intermediate Language for Implementing Functional Languages
Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers
Implementation Skeletons in Eden: Low-Effort Parallel Programming
Distributed Programming in Haskell with Ports
Scans and Convolutions - A Calculational Proof of Moessner's Theorem
The Implementation of iData
Agda Meets Accelerate
Non-determinism Analysis in a Parallel-Functional Language
Ivor, a Proof Engine
Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE
Implementation Architecture and Multithreaded Runtime System of S-Net
End-user feedback in multi-user workflow systems
General Homomorphic Overloading
A Compacting Garbage Collector for Unidirectional Heaps
WITH-Loop-Folding in SAC - Condensing Consecutive Array Operations
Reasoning About Deterministic Concurrent Functional I/O
Sharing-aware improvements in a call-by-need functional core language
Towards a framework for the implementation and verification of translations between argumentation models
A Pattern Logic for Prompt Lazy Assertions in Haskell
With-Loop Scalarization - Merging Nested Array Operations
A Declarative Gradualizer with Language Transformations
A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs
HaskSkel: Algorithmic Skeletons in Haskell
A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC
A Portable VM-based implementation Platform for non-strict Functional Programming Languages
Modulo in high-performance code: strength reduction for modulo-based array indexing in loops
In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays
A Rational Deconstruction of Landin's J Operator
Zero-Cost Constructor Subtyping
The Collective Semantics in Functional SPMD Programming
Dependently Typed Attribute Grammars
On Programming Scientific Applications in SAC - A Functional Language Extended by a Subsystem for High-Level Array Operations
A symbolic execution semantics for TopHat
Transforming Haskell for Tracing
Theorem Proving for Functional Programmers
A trustworthy framework for resource-aware embedded programming
A Distributed Dynamic Architecture for Task Oriented Programming
A new view on parser combinators
Handlers for Non-Monadic Computations
Property-Based Testing and Verification: A Catalog of Classroom Examples
Extended Memory Reuse: An Optimisation for Reducing Memory Allocations
Proving Correctness of Programs with IO - A Paradigm Comparison
Partial Parsing: Combining Choice with Commitment
Composing Reactive GUIs in F# Using WebSharper
Hardware Design with Generalized Arrows
Verifying Generic Erlang Client-Server Implementations
Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code
Fault-tolerance at your Finger Tips with the TeamPlay Coordination Language
Optimal Lambda Lifting in Quadratic Time
iEditors: Extending iTask with Interactive Plug-ins
On Code Generation for Multi-generator WITH-Loops in SAC
A Compilation Scheme for a Hierarchy of Array Types
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining
IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020
Performance Results for an Implementation of the Process Coordination Language K2
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016
Dynamic Construction of Generic Functions
Extrapolate: generalizing counterexamples of functional test properties
A Supercompiler for Core Haskell
Dependent Types for Safe and Secure Web Programming
Complete and Partial Redex Trails of Functional Computations
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018
Sized Types for Typing Eden Skeletons
Optimizations on Array Skeletons in a Shared Memory Environment
Parallelising a Large Functional Program or: Keeping LOLITA Busy
Generic Graphical User Interfaces
Polymorphic System I
Eliom: tierless Web programming from the ground up
Automatic Partial Inversion of Inductively Sequential Functions
A Structure Editor with Type-Safe Copy/Paste
Dynamic TopHat: Start and Stop Tasks at Runtime
Introducing CLOVER: An Object-Oriented Functional Language
Uniqueness Typing Redefined
Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases
Coordinating Functional Processes Using Petri Nets
A New Backend for Standard ML of New Jersey
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning
Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Towards an Operational Semantics for a Parallel Non-Strict Functional Language
Polygonizing Implicit Surfaces in a Purely Functional Way
A Functional Shell That Dynamically Combines Compiled Code
Interpretation and programming of the reversible functional language RFUN
Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
Active Patterns
The Design and Implementation of Glasgow Distributed Haskell
iTask as a New Paradigm for Building GUI Applications
Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences
First Class File I/O
Fully Persistent Graphs - Which One To Choose?
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ +
CSI: Haskell - Tracing Lazy Evaluations in a Functional Language
HoCL: High level specification of dataflow graphs
Synthesis of Railway-Signaling Plans using Reachability Games
Types for Register Allocation
Identifying and introducing interfaces and callbacks using Wrangler
IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019
Checking Dependent Types Using Compiled Code
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, Boston, MA, USA, October 1-3, 2014
Polymonad programming in Haskell
Theory and Practice of Fusion
Exploiting Implicit Parallelism in Functional Programs with SLAM
Lazy Assertions
Efficient Combinator Parsers
Type-Based Uncurrying for Unknown Function Calls
A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description Language
Contractive Functions on Infinite Data Structures
Verified Causal Broadcast with Liquid Haskell
Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
Programming in the Large: The Algebraic-Functional Language Opal 2alpha
Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers
Orthogonal Serialisation for Haskell
A Notation for Comonads
Graph Parser Combinators
Lazy Dynamic Input/Output in the Lazy Functional Language Clean
A Usage Analysis with Bounded Usage Polymorphism and Subtyping