yusuke1997/dblp-id-title huggingface dataset:
Selective interpretation as a technique for debugging computationally intensive programs
An integrated proof language for imperative programs
Compiler Support for Garbage Collection in a Statically Typed Language
Towards a logical account of declassification
Automatic Accurate Live Memory Analysis for Garbage-Collected Languages
Static conflict analysis for multi-threaded object-oriented programs
Asynchronous Exceptions in Haskell
Making numerical program analysis fast
Predictive synthesis of API-centric code
A complete formal semantics of x86-64 user-level instruction set architecture
Interprocedural side-effect analysis in linear time (with retrospective)
Towards size-dependent types for array programming
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)
Unsupervised learning of API aliasing specifications
ActionScript bytecode verification with co-logic programming
Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language
Proving optimizations correct using parameterized program equivalence
A formally verified compiler for Lustre
Symbolic reasoning for automatic signal placement
Defensive loop tiling for multi-core processor
Ur: statically-typed metaprogramming with type-level record computation
The APGAS library: resilient parallel and distributed programming in Java 8
Space Efficient Conservative Garbage Collection
Checking type safety of foreign function calls
Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs
The Semantic Approach to Program Slicing
Limiting information leakage in event-based communication
Maximal sound predictive race detection with control flow abstraction
Informal presentation: a trust management perspective on managing policy updates in security-typed languages
Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990
Real-Time Concurrent Collection on Stock Multiprocessors
Array programming in Whiley
Certified In-lined Reference Monitoring on .NET
Taming the IXP network processor
A Data Locality Optimizing Algorithm
Multi-modal synthesis of regular expressions
Quality and Speed in Linear-scan Register Allocation
Automatic Generation of Fast Optimizing Code Generators
Retrieval on source code: a neural code search
Repairing serializability bugs in distributed database programs via automated schema refactoring
SAFERPHP: finding semantic vulnerabilities in PHP applications
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths
Data-centric Multi-level Blocking
Extract and Extend Parallelism using C/C++ Extension for Array Notation on Multicore and Many-core Platforms: An Empirical Investigation with Quantitative Finance Examples
Constant-time foundations for the new spectre era
Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation
Using managed runtime systems to tolerate holes in wearable memories
FlashExtract: a framework for data extraction by examples
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study
Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector
Caisson: a hardware description language for secure information flow
Memory Access Coalescing: A technique for Eliminating Redundant memory Accesses
A VHDL Compiler Based on Attribute Grammar Methodology
Large-scale analysis of format string vulnerabilities in Debian Linux
Responsive parallelism with futures and state
Learning to make compiler optimizations more effective
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra
Object support in an array-based GPGPU extension for Ruby
Exploiting Implicit Parallelism in Dynamic Array Programming Languages
CycleQ: an efficient basis for cyclic equational reasoning
HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading
PaC-trees: supporting parallel and compressed purely-functional collections
Precise and efficient static array bound checking for large embedded C programs
Programming ad-hoc networks of mobile and resource-constrained devices
Accurate application progress analysis for large-scale parallel debugging
LiteRace: effective sampling for lightweight data-race detection
A weakest precondition approach to active attacks analysis
Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance
Proceedings of the 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering, TRUST 2014, Edinburgh, United Kingdom, June 9-11, 2014
Efficient synthesis of network updates
Calculating bounds on information leakage using two-bit patterns
Recursion synthesis with unrealizability witnesses
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012
Bamboo: a data-centric, object-oriented approach to many-core software
Automatic volume management for programmable microfluidics
Latte: a language, compiler, and runtime for elegant and efficient deep neural networks
Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices
A generalized algorithm for graph-coloring register allocation
A computational model for TensorFlow: an introduction
Automatic Verification of Pointer Programs using Monadic Second-Order Logic
Synchronization via scheduling: techniques for efficiently managing shared state
Web question answering with neurosymbolic program synthesis
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991
Class properties for security review in an object-capability subset of Java: (short paper)
Diesel: DSL for linear algebra and neural net computations on GPUs
Let there be light!: the future of memory systems is photonics and 3D stacking
Side-effect analysis with fast escape filter
Automatically proving the correctness of compiler optimizations
Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs
A data-driven CHC solver
Faster general parsing through context-free memoization
Evaluating the accuracy of Java profilers
Guarded models for intrusion detection
Type Declarations as Subtype Constraints in Logic Programming
Assessing the limits of program-specific garbage collection performance
Reusable inline caching for JavaScript performance
Designing and Optimizing a Scalable CORBA Notification Service
Practical Data Breakpoints: Design and Implementation
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines
The Design and Implementation of a Certifying Compiler
Adaptive, efficient, parallel execution of parallel programs
FunTAL: reasonably mixing a functional language with assembly
Fast RMWs for TSO: semantics and implementation
Sound reasoning about integral data types with a reusable SMT solver interface
Supporting peripherals in intermittent systems with just-in-time checkpoints
Inline Function Expansion for Compiling C Programs
Just-in-time Length Specialization of Dynamic Vector Code
Type-preserving compilation of end-to-end verification of security enforcement
Improving Performance by Branch Reordering
The semantics of transactions and weak memory in x86, Power, ARM, and C++
Online performance auditing: using hot optimizations without getting burned
CUBA: interprocedural Context-UnBounded Analysis of concurrent programs
Parcae: a system for flexible parallel execution
Logical bytecode reduction
Synthesis of machine code from semantics
Higher-Order Attribute Grammars and Editing Environments
Transparency in Public Life: A Quantum Cognition Perspective
Experimental Evidence for Quantum Structure in Cognition
Envisioning Dynamic Quantum Clustering in Information Retrieval
Graded Semantic Vectors: An Approach to Representing Graded Quantities in Generalized Quantum Models
Probabilistic Programs for Investigating Contextuality in Human Information Processing
A Methodological Call for a Quantum Econophysics
The Sphynx's New Riddle: How to Relate the Canonical Formula of Myth to Quantum Interaction
Characterizing Pure High-Order Entanglements in Lexical Semantic Spaces via Information Geometry
Quantum and Classical Structures in Nondeterminstic Computation
Purposeful Choice and Point-of-View - A Generalized Quantum Approach
Probabilistic Nature of a Field with Time as a Dynamical Variable
Balanced Quantum-Like Model for Decision Making
Hilbert Space Models Commodity Exchanges
Hierarchical Bayesian Estimation of Quantum Decision Model Parameters
Comparison of Quantum and Bayesian Inference Models
Can Bohmian Quantum Information Help us to Understand Consciousness?
Non-Classical Probabilities from Pilot Wave Models
What is Quantum? Unifying Its Micro-physical and Structural Appearance
Generalising Unitary Time Evolution
Eigenlogic: A Quantum View for Multiple-Valued and Fuzzy Systems
Many Paths Lead to Discovery: Analogical Retrieval of Cancer Therapies
Towards an Empirical Test of Realism in Cognition
Eraser Lattices and Semantic Contents
Decision Making for Inconsistent Expert Judgments Using Negative Probabilities
Preventing (Another) Lubitz: The Thermodynamics of Teams and Emotion
Lamarckian Evolution of Epigenome from Open Quantum Systems and Entanglement
Financial Payoff Functions and Potentials
MPEG-7 Features in Hilbert Spaces: Querying Similar Images with Linear Superpositions
Age and Time Operator of Evolutionary Processes
Conceptual Machinery of the Mythopoetic Mind: Attis, A Case Study
A Predicative Characterization of Quantum States and Matte Blanco's Bi-logic
Contextuality in the Integrated Information Theory
Fundamental Physics and the Mind - Is There a Connection?
On Least Action Principles for Discrete Quantum Scales
A First Attempt at Ordinal Projective Measurement
Quantum Entanglement and the Issue of Selective Influences in Psychology: An Overview
Semantic Vector Combinations and the Synoptic Gospels
Real, Complex, and Binary Semantic Vectors
Dynamic Optimization with Type Indeterminate Decision-Maker: A Theory of Multiple-self Management
Towards a Quantum Probability Theory of Similarity Judgments
An Introduction to Symmetric Inflated Probabilities
Quantum Coherence without Quantum Mechanics in Modeling the Unity of Consciousness
Entanglement of Conceptual Entities in Quantum Model Theory (QMod)
Quantum Interaction - 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
Conservation of Information: A New Approach to Organizing Human-Machine-Robotic Agents under Uncertainty
Complementarity in Psychophysics
Ideologies and Their Points of View
Interpretations of QM with Applications for Formal Epistemology
A Hierarchical Sorting Oracle
Fractals and the Fock-Bargmann Representation of Coherent States
Adaptive Dynamics and Optical Illusion on Schröder's Stair
Quantum Structure in Cognition: Why and How Concepts Are Entangled
Measuring Observable Quantum Contextuality
Subadditivity of Episodic Memory States: A Complementarity Approach
Quantum Probabilistic Description of Dealing with Risk and Ambiguity in Foraging Decisions
A Quantum State Metanalysis of the Dynamic Inconsistency Effect
Interference in Choice and Confidence: Using the Quantum Random Walk to Model Distributions of Confidence
A Vector Field Approach to Lexical Semantics
Can Classical Epistemic States Be Entangled?
A Quantum Formalization for Communication Coordination Problems
Testing Contextuality in Cyclic Psychophysical Systems of High Ranks
Similarity Metrics within a Point of View
The Relevance of Bell-Type Inequalities for Mental Systems
Exploration of Contextuality in a Psychophysical Double-Detection Experiment
Contextuality and the Weak Axiom in the Theory of Choice
Contextuality-by-Default: A Brief Overview of Ideas, Concepts, and Terminology
Moral Dilemmas for Artificial Intelligence: A Position Paper on an Application of Compositional Quantum Cognition
Why Should We Use Quantum Theory? - The Case of Human Sciences
Episodic Source Memory over Distribution by Quantum-Like Dynamics - A Model Exploration
Combining Word Semantics within Complex Hilbert Space for Information Retrieval
Language Geometry Using Random Indexing
Categorical Compositional Cognition
Indiscernability and Mean Field, a Base of Quantum Interaction
Investigating Non-classical Correlations Between Decision Fused Multi-modal Documents
Toward a Formal Model of the Shifting Relationship between Concepts and Contexts during Associative Thought
Entanglement Zoo II: Examples in Physics and Cognition
The Quantum Inspired Modelling of Changing Attitudes and Self-organising Societies
Quantum Phenomenology and Dynamic Co-emergence
Emergence and Instability of Individual Identity
Contextual Image Annotation via Projection and Quantum Theory Inspired Measurement for Integration of Text and Visual Features
Stochastic Mechanics of Particles and Fields
Beyond Ontology in Information Systems
Introducing Scalable Quantum Approaches in Language Representation
Quantum Interaction - 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers
Introducing Quantum-Like Influence Diagrams for Violations of the Sure Thing Principle
A Compositional Distributional Semantics, Two Concrete Constructions, and Some Experimental Evaluations
Pseudo-classical Nonseparability and Mass Politics in Two-Party Systems
Quantum Interaction - 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers
The Relation Between Acausality and Interference in Quantum-Like Bayesian Networks
Semantic Composition Inspired by Quantum Measurement
Embedding Probabilities in Predication Space with Hermitian Holographic Reduced Representations
A New Perspective on Observables in the Category of Relations: A Spectral Presheaf for Relations
A Quantum-Like Model of Escherichia coli's Metabolism Based on Adaptive Dynamics
Quantum Interaction - 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
Quantum Cognition Beyond Hilbert Space: Fundamentals and Applications
Structured Information Retrieval and Quantum Theory
Games with Type Indeterminate Players - A Hilbert Space Approach to Uncertainty and Strategic Manipulation of Preferences
Revealing Quantum Entanglement via Locally Noneffective Operations
On the Interpretation of Probabilities in Generalized Probabilistic Models
Quantum Theory, the Chinese Room Argument and the Symbol Grounding Problem
Interference in Text Categorisation Experiments
Quantum Calculus (q-Calculus) and Option Pricing: A Brief Introduction
Density Hypercubes, Higher Order Interference and Hyper-decoherence: A Categorical Approach
Fractals, Dissipation and Coherent States
Quantum Model Theory (QMod): Modeling Contextual Emergent Entangled Interfering Entities
Born's Rule as an Empirical Addition to Probabilistic Coherence
Why Linear? An Illustration Using a Geometric Model of Quantum Interaction
Polynomial Time Quantum Algorithm for Search Problem and Its Application
Applying POVM to Model Non-orthogonality in Quantum Cognition
Quantum Interaction - 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014. Revised Selected Papers
Intentional Quantum Dynamics: Entangling Choices and Goals
On Incompatible Descriptions of Systems Across Scales of Granularity
Temporal Non-Locality: Fact or Fiction?
Looking at Vector Space and Language Models for IR Using Density Matrices
Quantum Correlations: Challenging the Tsirelson Bound
Meaning-Focused and Quantum-Inspired Information Retrieval
Quantum Interactions as Niche-Structure
Quantum-Like Representation of Macroscopic Configurations
Quantum Mechanics: Harbinger of a Non-commutative Probability Theory?
Are Decisions of Image Trustworthiness Contextual? A Pilot Study
Modelling Attitudes to Climate Change - An Order Effect and a Test Between Alternatives
Quantum-Like Paradigm: From Molecular Biology to Cognitive Psychology
The Guppy Effect as Interference
Graded Vector Representations of Immunoglobulins Produced in Response to West Nile Virus
Contextuality-by-Default 2.0: Systems with Binary Random Variables
A Quantum Cognition Analysis of the Ellsberg Paradox
Contextual Query Using Bell Tests
Options for Testing Temporal Bell Inequalities for Mental Systems
Entanglement Zoo I: Foundational and Structural Aspects
Select the Appropriate Map Depending on Context in a Hilbert Space Model (SCOP)
Is Stress Quantum-Like?
Quantum Interaction, Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
On Quantum Models for Opinion and Voting Intention Polls
Quantum Bootstrap Aggregation
Positive Operator-Valued Measures in Quantum Decision Theory
Semantic Spaces: Measuring the Distance between Different Subspaces
Aesthetics as Incentive: Privacy in a Presence Culture
A Quantum Model for the Ellsberg and Machina Paradoxes
Type Indeterminacy in Privacy Decisions: The Privacy Paradox Revisited
The Power of Distraction: An Experimental Test of Quantum Persuasion
Quantum-Like Uncertain Conditionals for Text Analysis
Nonseparability of Shared Intentionality
Quantum Like Modelling of the Nonseparability of Voters' Preferences in the U.S. Political System
Modelling Word Activation in Semantic Networks: Three Scaled Entanglement Models Compared
Fuzzy Logic Behavior of Quantum-Controlled Braitenberg Vehicle Agents
Do Preferences and Beliefs in Dilemma Games Exhibit Complementarity?
Expansion-by-Analogy: A Vector Symbolic Approach to Semantic Search
Toward a Gauge Theory of Musical Forces
Modelling Cued-Target Recall Using Quantum Inspired Models of Target Activation
Finding Schizophrenia's Prozac Emergent Relational Similarity in Predication Space
Introduction to Quantum Probability for Social and Behavioral Scientists
Generalized Quantum Theory, Contextual Emergence and Non-Hierarchic Alternatives
Hydrodynamic Equations and Finance
Real-Orthogonal Projections as Quantum Pseudo-Logic
Classical Logical Versus Quantum Conceptual Thought: Examples in Economics, Decision Theory and Concept Theory
Quantum(-like) Formalization of Common Knowledge: Binmore-Brandenburger Operator Approach
Measuring Conceptual Entanglement in Collections of Documents
Extracting Spooky-Activation-at-a-Distance from Considerations of Entanglement
A Qualified Kolmogorovian Account of Probabilistic Contextuality
On the Nature of the Human Mind: The Cognit Space Theory
Quantum Amplitude Amplification Algorithm: An Explanation of Availability Bias
Feedback Loops: A Fundamental Ingredient of Information Processing
Quantum Interaction - 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers
Quantum-Like Representation of Irrational Inference
Probabilistic Programs: Contextuality and Relational Database Theory
Orthogonality and Orthography: Introducing Measured Distance into Semantic Space
Senses in Which Quantum Theory Is an Analogy for Information Retrieval and Science
Investigating Bell Inequalities for Multidimensional Relevance Judgments in Information Retrieval
Modelling the Acitivation of Words in Human Memory: The Spreading Activation, Spooky-activation-at-a-distance and the Entanglement Models Compared
A Compositional Explanation of the 'Pet Fish' Phenomenon
Quantum-Like Behavior of Classical Systems
Social-Psychological Harmonic Oscillators in the Self-regulation of Organizations and Systems
A Quantum Framework for 'Sour Grapes' in Cognitive Dissonance
Adaptive Dynamics and Its Application to Context Dependent Systems Breaking the Classical Probability Law
Testing Boundaries of Applicability of Quantum Probabilistic Formalism to Modeling of Cognition: Metaphors of Two and Three Slit Experiments
A Quantum-Conceptual Explanation of Violations of Expected Utility in Economics
Connecting the Dots: Mass, Energy, Word Meaning, and Particle-Wave Duality
A Symbolic Classical Computer Language for Simulation of Quantum Algorithms
Quantum Interaction - 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers
An Exploration of Type Indeterminacy in Strategic Decision-Making
On Voting Process and Quantum Mechanics
On Peculiar Relations Between Measurement Incompatibility and Contextuality
Quantum(-Like) Decision Making: On Validity of the Aumann Theorem
An Empirical Test of Type-Indeterminacy in the Prisoner's Dilemma
Initial Specifications for the Design of Information Retrieval Systems Based on Quantum Detector Using Kinds
Spectral Composition of Semantic Spaces
Extending IPOL to New Data Types and Machine-Learning Applications
ReScience C: A Journal for Reproducible Replications in Computational Science
Implementation and Reproducibility Notes on GolfSwing Dataset and GolfPose Models
A Heuristic-Based Decision Tree for Connected Components Labeling of 3D Volumes: Implementation and Reproducibility Notes
Connected Components Labeling on DRAGs: Implementation and Reproducibility Notes
Reproducible Research in Pattern Recognition - Fifth International Workshop, RRPR 2024, Kolkata, India, December 1, 2024, Revised Selected Papers
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming
Reproducible Research in Pattern Recognition - Fourth International Workshop, RRPR 2022, Montreal, Canada, August 21, 2022, Revised Selected Papers
Reproducible Research in Pattern Recognition - Third International Workshop, RRPR 2021, Virtual Event, January 11, 2021, Revised Selected Papers
On Reproducibility of Deep Convolutional Neural Networks Approaches
New Definition of Quality-Scale Robustness for Image Processing Algorithms, with Generalized Uncertainty Modeling, Applied to Denoising and Segmentation
Implementation and Reproducibility Notes on EMPATH: Enhancing Word-Level Sign Language Recognition
Pith Estimation on Tree Log End Images
A Benchmark for Automated Vickers Hardness Testing
Non-deterministic Behavior of Ranking-Based Metrics When Evaluating Embeddings
Reproducibility Aspects of Crack Detection as a Weakly-Supervised Problem: Towards Achieving Less Annotation-Intensive Crack Detectors
Structure, Concept and Result Reproducibility of the Benchmark on Vesselness Filters
On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) Under Class-Prior Shift
torchdistill: A Modular, Configuration-Driven Framework for Knowledge Distillation
BarBeR - Barcode Benchmark Repository: Implementation and Reproducibility Notes
Reproducing the Sparse Huffman Address Map Compression for Deep Neural Networks
Creating Emotion Recognition Algorithms Based on a Convolutional Neural Network for Sentiment Analysis
A Novel Pattern-Based Edit Distance for Automatic Log Parsing: Implementation and Reproducibility Notes
Development Efforts for Reproducible Research: Platform, Library and Editorial Investment
Reproducible Research in Pattern Recognition - Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers
On the Implementation of Planar 3D Transfer Learning for End to End Unimodal MRI Unbalanced Data Segmentation
Some Comments on Variational Bayes Block Sparse Modeling with Correlated Entries
Discrete Regular Polygons for Digital Shape Rigid Motion via Polygonization
Exploring the Impact of Model Parameters and Components on Video Saliency Prediction with Foundation Models
On Reproducibility of Graph Neural Network for Facial Palsy and Paresis Assessment: Effects of Pose Variability in Dataset
MATLAB Implementation Details of a Scalable Spectral Clustering Algorithm with the Cosine Similarity
On Challenging Aspects of Reproducibility in Deep Anomaly Detection
Research Reproducibility Paper: Learning Neural Networks for Multi-label Medical Image Retrieval Using Hamming Distance Fabricated with Jaccard Similarity Coefficient
Automatic Forest Road Extraction from LiDAR Data Using Convolutional Neural Networks
Unified Anomaly Detection Methods on Edge Device Using Knowledge Distillation and Quantization