yusuke1997/dblp-id-title huggingface dataset:
Transmit Waveform Design Based on the Cramér-Rao Lower Bound
Cooperative Audio Source Separation and Enhancement Using Distributed Microphone Arrays and Wearable Devices
Probabilistic Spiking Neural Networks Training with Expectation - Propagation
Wideband channel tracking for mmWave MIMO system with hybrid beamforming architecture: (Invited Paper)
The alternating descent conditional gradient method for sparse inverse problems
A constrained formulation for compressive spectral image reconstruction using linear mixture models
EEG sparse source localization via Range Space Rotation
Robust multitask Elliptical Regression (ROMER)
Algebraic and Optimization Based Algorithms for Multivariate Regression Using Symmetric Tensor Decomposition
Helicopter classification via period estimation and time-frequency masks
Sequential detection of low-rank changes using extreme eigenvalues
Power-Saving Design for Holographic Metasurface Enabled NOMA Communications
Memory efficient low-rank non-linear subspace tracking
Weight shrinkage for portfolio optimization
Rank estimation in Cointegrated Vector Auto-Regression models via automated Trans-dimensional Markov chain Monte Carlo
Bayesian compressed sensing in ultrasound imaging
Coordination Methods for Entropy-Based Multi-Agent Exploration Under Sparsity Constraints
Coalition formation in MISO interference channels
A compressive sensing-maximum likelihood approach for off-grid wideband channel estimation at mmWave
Network estimation via poisson autoregressive models
Low-Rank tensor regression: Scalability and applications
Locating rare and weak material anomalies by convex demixing of propagating wavefields
Sparse through-the-wall imaging
Joint design of co-existing communication system and pulsed radar
RIShield: Enabling Electromagnetic Blackout in Radiation-Sensitive Environments
DOA estimation and beamforming using spatially under-sampled AVS arrays
Subspace-based semiblind channel estimation method for fast fading orthogonally coded MIMO-OFDM systems
DOA estimation using a sparse uniform linear array with two CW signals of co-prime frequencies
Sparse Bayesian learning with dictionary refinement for super-resolution through time
Solutions of the Graph Matching Problem Using Graph Signals
Distributed Pressure Matching for Personal Sound Zone Control Using Diffusion Adaptation
Orthogonalization techniques for single group multicasting in cooperative amplify-and-forward networks
Robust source localization and tracking using MUSIC-Group delay spectrum over spherical arrays
Radar Waveform Recognition Using Fourier-Based Synchrosqueezing Transform and CNN
One-shot atomic detection
Learned Patch-Based Regularization for Inverse Problems in Imaging
Random Pairwise Gossip on Hadamard manifolds
Sparse Reconstruction of Aliased Seismic Signals Recorded During the Insight Mars Mission
Particle Flow Particle Filter using Gromov's method
On Wigner-based sparse time-frequency distributions
Deep Unrolling for Anomaly Detection in Network Flows
Performance of TOA and FOA-based localization for Cospas-Sarsat search and rescue signals
On Inner-Product Kernels of High Dimensional Data
Overcomplete tensor decomposition via convex optimization
Extracting Interpretable Features for Fetal Heart Rate Recordings with Gaussian Processes
Robust Identification of Graph Structure
Marginal likelihoods for distributed estimation of graphical model parameters
Greedy phase retrieval with reference points and bounded sparsity
Manifold sparse beamforming
Resource-efficient parametric recovery of linear time-varying systems
A Simple Framework for Learning Stabilizable Systems
Asymptotic Gaussian Fluctuations of Spectral Clustering Eigenvectors
Unbiased Group-Sparsity Sensing Using Quadratic Envelopes
An empirical-bayes approach to recovering linearly constrained non-negative sparse signals
Multi-relay network design using power-normalized SNR
Submodular Optimization for Placement of Intelligent Reflecting Surfaces in Sensing Systems
Estimation bounds for GNSS synthetic aperture techniques
Under-Determined tensor diagonalization for decomposition of difficult tensors
Network beamforming for asynchronous MIMO two-way relay networks
Multi-Model Federated Learning Optimization Based on Multi-Agent Reinforcement Learning
On the Cramér-Rao Bound Under a Linear Transformation of the Parameter
Performance Analysis of a Low-Rank Detector Under Training Data Contamination
Rank-one matrix completion is solved by the sum-of-squares relaxation of order two
Spectrum-blind signal recovery on graphs
Polarimetric MIMO radar target detection using game theory
Computational framework for optimal robust beamforming in coordinated multicell systems
EE maximization for massive MIMO with fully connected hybrid beamformers
Autofocus for coherent through-the-wall imaging with multiple antenna arrays
Robust Low-Complexity methods for matrix column outlier identification
Robust MDDR beamforming for sub-Gaussian signals in the presence of fast-moving interferences
Margin-based active subspace clustering
Rapid system identification for jump Markov non-linear systems
Sparse X-ray CT image reconstruction and blind beam hardening correction via mass attenuation discretization
Position aided beam alignment for millimeter wave backhaul systems with large phased arrays
Quantifying uncertainty in variable selection with arbitrary matrices
Dynamic and decentralized learning of overlapping network communities
Dithering in quantized RSS based localization
Joint factor analysis and latent clustering
Two-stage variable selection for molecular prediction of disease
Particle flow auxiliary particle filter
XML templates and caching in WASH
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010
A functional-logic library for wired
Embedding a full linear Lambda calculus in Haskell
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004
Why it's nice to be quoted: quasiquoting for haskell
Improving STM performance with transactional structs
Interactive type debugging in Haskell
Plugging Haskell in
Type-safe observable sharing in Haskell
Hoopl: a modular, reusable library for dataflow analysis and transformation
Promoting functions to type families in Haskell
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs
A formal specification of the Haskell 98 module system
Making monads first-class with template haskell
BNF converter
Describing microservices using modern Haskell (experience report)
Template your boilerplate: using template haskell for efficient generic programming
Lightweight monadic regions
Improving Haskell types with SMT
Algebraic graphs with class (functional pearl)
There and back again: arrows for invertible programming
Supermonads: one notion to bind them all
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell
LiquidHaskell: experience with refinement types in the real world
Layout-sensitive language extensibility with SugarHaskell
Termination combinators forever
Making a faster Curry with extensional types
Demo proposal: making web applications -XSafe
Clase: cursor library for a structured editor
Extended static checking for haskell
The Yampa arcade
Comparing libraries for generic programming in haskell
Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, Haskell 2024, Milan, Italy, September 6-7, 2024
Finding the needle: stack traces for GHC
Freer monads, more extensible effects
Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022
A systematic derivation of the STG machine verified in Coq
Wormholes: introducing effects to FRP
Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021
Functional pearl: i am not a number-i am a free variable
Guiding parallel array fusion with indexed types
Streaming irregular arrays
Towards secure IoT programming in Haskell
Seq no more: better strategies for parallel Haskell
Experience report: type-checking polymorphic units for astrophysics research in Haskell
Déjà Fu: a concurrency testing library for Haskell
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly
Multi-stage programs in context
Functional Reactive Programming, Rearranged
Express: applications of dynamically typed Haskell expressions
Hasochism: the pleasure and pain of dependently typed haskell programming
A type-preserving closure conversion in haskell
Tool DemonstrationCLasHFrom Haskell to Hardware
Strongly typed memory areas programming systems-level data structures in a functional language
Embedding effect systems in Haskell
Supercompilation by evaluation
Hardware software co-design in Haskell
The HdpH DSLs for scalable reliable computation
STCLang: state thread composition as a foundation for monadic dataflow parallelism
Unembedding domain-specific languages
An EDSL approach to high performance Haskell programming
Techniques for embedding postfix languages in Haskell
Language and program design for functional dependencies
Improving type error diagnosis
Embedding session types in Haskell
AutoBench: comparing the time performance of Haskell programs
Haskell: batteries included
Experience report: using hackage to inform language design
The Essence of Reactivity
Visual haskell: a full-featured haskell development environment
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013
Non-recursive make considered harmful: build systems at scale
Bidirectional type class instances
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime
Feat: functional enumeration of algebraic types
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell
Prettier concurrency: purely functional concurrent revisions
Species and functors and types, oh my!
A shortcut fusion rule for circular program calculation
Beauty in the beast
Rhine: FRP with type-level clocks
Safe mutation with algebraic effects
Helium, for learning Haskell
Using Coq to write fast and correct Haskell
Algorithmic music in Haskell (invited talk)
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler
RepLib: a library for derivable type classes
Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002
Shared subtypes: subtyping recursive parametrized algebraic data types
Bridging the GUI gap with reactive values and relations
Functional Pearl trouble shared is trouble halved
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023
A recursive do for Haskell
Dependently typed programming with singletons
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!
Haskell program coverage
A simple semantics for Haskell overloading
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically
Assessing the quality of evolving Haskell systems by measuring structural inequality
Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000
Types are calling conventions
Eager Haskell: resource-bounded execution yields efficient iteration
Extensible effects: an alternative to monad transformers
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler
Coherent explicit dictionary application for Haskell
The linearity Monad
Vectorisation avoidance
A totally predictable outcome: an investigation of traversals of infinite structures
Indentation-sensitive parsing for Parsec
Extending the Haskell foreign function interface with concurrency
Type families with class, type classes with family
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values
Strong types for relational databases
Invertible syntax descriptions: unifying parsing and pretty printing
Data flow fusion with series expressions in Haskell
Effect handlers in scope
Testing type class laws
Embedded parser generators
Extending monads with pattern matching
Modeling quantum computing in Haskell
Interactive debugging with GHCi
Well-typed music does not sound wrong (experience report)
How to twist pointers without breaking them
Scripted signal functions
Hobbits for Haskell: a library for higher-order encodings in functional programming languages
Understanding idiomatic traversals backwards and forwards
Verifying haskell programs using constructive type theory
Efficient parallel stencil convolution in Haskell
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq
Ghosts of departed proofs (functional pearl)
xmonad in Coq (experience report) : programming a window manager in a proof assistant
Haskell type browser
Haskell tools from the programatica project
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs
A promise checked is a promise kept: inspection testing
Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl)
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020
A compositional theory for STM Haskell
Partial type constructors in practice
Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016
Ode on a random urn (functional pearl)
Working with source plugins
Roll your own test bed for embedded real-time protocols: a haskell experience
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results
Lightweight concurrency primitives for GHC
Introducing the Haskell equational reasoning assistant
High-performance client-side web applications through Haskell EDSLs
Finger trees explained anew, and slightly simplified (functional pearl)
Eliminating bugs with dependent Haskell (experience report)
Tool support for refactoring functional programs
Uniform boilerplate and list processing
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018
Liquid proof macros
Type variables in patterns
A high-performance multicore IO manager based on libuv (experience report)
Losing functions without gaining data: another look at defunctionalisation
The performance of the Haskell containers package
Chesskell: a two-player game at the type level
Injective type families for Haskell
Type-safe, self inspecting code
Haskell' status report
Revisiting software transactional memory in Haskell
Improving implicit parallelism
Strongly typed heterogeneous collections
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005
Harpy: run-time code generation in haskell
Functional pearl: getting a quick fix on comonads
Yi: an editor in haskell for haskell
The remote monad design pattern
Demo outline: switched-on yampa
Improving typeclass relations by being open
Lazy functional incremental parsing
Shrinking and showing functions: (functional pearl)
Polymorphic string matching
Flexible dynamic information flow control in Haskell
Maintaining verified software
Higher Order Patterns for Rewrite Rules
Dynamic applications from the ground up
Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Comprehensive comprehensions
Template meta-programming for Haskell
Haskell and principal types
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014
Towards Haskell in the cloud
A meta-EDSL for distributed web applications
Staged sums of products
Running the manual: an approach to high-assurance microkernel development
Haddock, a Haskell documentation tool
A library for light-weight information-flow security in haskell
Reflection without remorse: revealing a hidden sequence to speed up monadic reflection
An llVM backend for GHC
Putting curry-howard to work
How to safely use extensionality in Liquid Haskell
A generic deriving mechanism for Haskell
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007
Structure and interpretation of quantum mechanics: a functional framework
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study
Practical probabilistic programming with monads
Parallel performance tuning for Haskell
Guilt free ivory
Functional reactive programming, refactored
A monad for deterministic parallelism
falsify: Internal Shrinking Reimagined for Haskell
A lightweight interactive debugger for haskell
Free delivery (functional pearl)
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Synthesizing functional reactive programs
Design patterns for parser combinators (functional pearl)
Embedded pattern matching
Programming graphics processors functionally
Pattern synonyms
Testing monadic code with QuickCheck
Embedding invertible languages with binders: a case of the FliPpr language
The Intel labs Haskell research compiler
Safe haskell
The Evolution of Effects (Keynote)
Surveyor: a DSEL for representing and analyzing strongly typed surveys
Deadlock-free session types in linear Haskell
Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages
GenI: natural language generation in Haskell
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)
User-level transactional programming in Haskell
Nikola: embedding compiled GPU functions in Haskell
Names for free: polymorphic views of names and binders
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009
Back to the future: time travel in FRP
Open transactional actions: interacting with non-transactional resources in STM Haskell
Variations on variants
Student paper: HaskellDB improved
Statically typed linear algebra in Haskell
Stitch: the sound type-indexed type checker (functional pearl)
Modular reifiable matching: a list-of-functors approach to two-level types
Lazy graph processing in Haskell
The Key monad: type-safe unconstrained dynamic typing
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching
Oregano: staging regular expressions with Moore Cayley fusion
Experience report: developing high performance HTTP/2 server in Haskell
Haskell for Choice-Based Learning (Keynote)
Evaluating linear functions to symmetric monoidal categories
Branching processes for QuickCheck generators
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006
SmartCheck: automatic and efficient counterexample reduction and generalization
G2Q: Haskell constraint solving
Causal commutative arrows revisited
Haskell on a shared-memory multiprocessor
Experience report: the next 1100 Haskell programmers
Simulating quantified class constraints
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008
Functional pearl: implicit configurations-or, type classes reflect the values of types
A lightweight implementation of generics and dynamics
FitSpec: refining property sets for functional testing
MicroHs: A Small Compiler for Haskell
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017
Effect Handlers for Programmable Inference
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Effect handlers in Haskell, evidently
Adding structure to monoids: thus hopefully ending Haskell's string type confusion
HsDebug: debugging lazy programs by not being lazy
The architecture of the Utrecht Haskell compiler
Monadic functional reactive programming
HasTEE: Programming Trusted Execution Environments with Haskell
Systems demonstration: writing NetBSD sound drivers in Haskell
Splittable pseudorandom number generators using cryptographic hashing
Functional reactive programming, continued
Haskell Symposium Program Chair's Report
Making a Curry Interpreter using Effects and Handlers
Composing effects into tasks and workflows
Experience report: types for a relational algebra library
Haskell session types with (almost) no class
Causality of optimized Haskell: what is burning our cycles?
Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs
Concurrent orchestration in Haskell
Haskell ready to dazzle the real world
Desugaring Haskell's do-notation into applicative operations
Haskell server pages through dynamic loading
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Halfs: a haskell filesystem
Alloy: fast generic transformations for Haskell
Generic and flexible defaults for verified, law-abiding type-class instances
Suggesting valid hole fits for typed-holes (experience report)
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015
An extensible dynamically-typed hierarchy of exceptions
A seamless, client-centric programming model for type safe web applications
Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk)
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003
Scalable i/o event handling for GHC
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration)
Graded monads and type-level programming for dependence analysis
Polymorphic variants in Haskell
QuickFuzz: an automatic random fuzzer for common file formats
Formally proving a compiler transformation safe
Monoids: theme and variations (functional pearl)
A library writer's guide to shortcut fusion
Deriving via: or, how to turn hand-written instances into an anti-pattern
Practical normalization by evaluation for EDSLs
Bringing back monad comprehensions
Generic programming of all kinds
Formal verification of spacecraft control programs (experience report)
Packrats parse in packs
wxHaskell: a portable and concise GUI library for haskell
Foreign inline code: systems demonstration
Type-safe runtime code generation: accelerate to LLVM
Building secure systems with LIO (demo)
Calculating Compilers Effectively (Functional Pearl)
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
A graded Monad for deadlock-free concurrency (functional pearl)
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012
Haskell⁻¹: automatic function inversion in Haskell
TypeCase: a design pattern for type-indexed functions
Darcs: distributed version management in haskell
Verifying effectful Haskell programs in Coq
Quantified class constraints
Composable network stacks and remote monads
Mio: a high-performance multicore io manager for GHC
Monad transformers and modular algebraic effects: what binds them together
Scoping monadic relational database queries
Energy amplification in channel flow over riblets
Code generation for receding horizon control
2010 IEEE International Symposium on Computer-Aided Control System Design, CACSD 2010, Yokohama, Japan, September 8-10, 2010
Nonparametric decoupling of MIMO systems
A desktop environment for assessment of fault diagnosis based fault tolerant flight control laws
Min-max approximate dynamic programming
Numerical iterative methods solving three-phase multilevel voltage converter