yusuke1997/dblp-id-title huggingface dataset:
Affective Expression in Computer Generated Music and its Effect on Player Experience
Meaning in Context
Identifying the Interaction Context in CSCLE
Coping with Unconsidered Context of Formalized Knowledge
Towards a Logic of Epistemic Theory of Measurement
Context and Design Agents
A Quantitative Categorization of Phonemic Dialect Features in Context
A Theory of Contextual Propositions for Indicatives
Toward Distributed Context-Mediated Behavior for Multiagent Systems
Cross-Linguistic Experimental Evidence Distinguishing the Role of Context in Disputes over Taste and Possibility
Modelling Behaviour Semantically
Explanation as Contextual Categorization
A Constraint-Based Approach to Context
Mobile Phone Talk in Context
A Computational Logic Approach to the Belief Bias in Human Syllogistic Reasoning
Contextual Dependence and the Epistemic Foundations of Dynamic Semantics
Gender Roles in Russian Prohibitive Constructions: A Corpus Study
Strawson on Intended Meaning and Context
Modeling and Using Context - 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings
Towards Context-Based Explanations for Teacher Support
A Mathematical Model for Context and Word-Meaning
Compositionality and Contextuality: The Symbolic and Statistical Theories of Meaning
Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings
Contextual Validity in Hybrid Logic
The Truth Rule: Definitional or Essential?
A Model of Explicit Context Representation and Use for Intelligent Agents
Context and Relevance: A Pragmatic Approach
From a Contextual Graph to a Tree Representation
Context and Natural Language in Formal Concept Analysis
Contextual Graphs for Modeling Group Interaction
Cooperating Context Method: A Contextual Approach to Story Generation and Telling
Understanding Context Before Using It
On the Context Dependence of Many
A Context-Based Logic for Distributed Knowledge Representation and Reasoning
Understanding the Patient 2.0 - Gaining Insight into Patients' Rating Behavior by User-Generated Physician Review Mining
Context and the Virtual Human
Counterfactual Reasoning
Pragmatic Reasoning: Inferring Contexts
A Trace Analysis Based Approach for Modeling Context Components
Context in Natural-Language Communication: Presupposed or Co-supposed?
Combining Cases and Rules to Provide Contextualised Knowledge Based Systems
Autodoxastic Conditional Reasoning: The Monotonic Case
Context Dependence, MOPs, WHIMs and Procedures - Recanati and Kaplan on Cognitive Aspects in Semantics
Neither Noise nor Signal - The Role of Context in Memory Models
Enhancing Alignment Based Context Prediction by Using Multiple Context Sources: Experiment and Analysis
Process-based and Context-sensitive Information Supply in Medical Care
Context and Interference Effects in the Combinations of Natural Concepts
Contextual Inference in Computational Semantics
Between Symbol and Language-in-use
Modeling Context for Referring in Multimodal Dialogue Systems
Modelling Context Awareness for a Situated Semantic Agent
Dynamics and Automaticity of Context: A Cognitive Modeling Approach
Delayed Synapses: An LSM Model for Studying Aspects of Temporal Context in Memory
GloBuddy, a Dynamic Broad Context Phrase Book
An Ostensive Browsing and Searching on the Web
Impact of the signal control strategy on red light running
Varieties of Contexts
The Role and Modeling of Context in a Cognitive Model of Rogers' Person-Centred Approach
Using Context to Guide Information Search for Preventive Quality Management
Task-Realization Models in Contextual Graphs
Distributed Spatial Reasoning for Wireless Sensor Networks
An Empirical Study on Web Search Behavior through the Investigation of a User-Clustered Query Session
The Formal Structure of Ecological Contexts
Context Aware Data Synchronisation During Emergencies
Natural Deduction and Context as (Constructive) Modality
Context-based security (and safety) meta-policies for pervasive computing environments: the case of smart momes
Context in the Study of Human Languages and Computer Programming Languages: A Comparison
An Approach to Data Fusion for Context Awareness
Using Contextual Knowledge for Trust Strategy Selection
Non-acceptances: Re- or Un-creating Context?
Production-Contextual Clinical Information
Objective and Cognitive Context
Investigating the Causal Link Between Context Triggers and Context: An Adaptive Approach
Presupposition Incorporation in Adverbial Quantification
Context-sensitive Referencing for Ontology Mapping Disambiguation
WHERE: An Autonomous Localization System with Optimized Size of the Fingerprint Database
Contextual Graphs Platform as a Basis for Designing a Context-Based Intelligent Assistant System
Connectionist Analysis and Creation of Context for Natural Language Understanding and Knowledge Management
Context-Based Ambiguity Management for Natural Language Processing
On the importance of context in understanding conflicts between pedestrians and drivers
Classical Planning and Causal Implicatures
The Emotion Ontology: Enabling Interdisciplinary Research in the Affective Sciences
Contextualising Contrastive Discourse Relations: Evidence from Single-Authored and Co-constructed Texts
Effects of Context on the Description of Olfactory Properties
Proceedings of the CONTEXT 2007 Workshop on Representation Models and Techniques for Improving E-Learning ReTIeL 2007, Roskilde University, Denmark, August 20, 2007
Dynamic page sharing optimization for the R language
On the use of type predicates in object-oriented software: the case of Smalltalk
Language design: back to the future?
Proceedings of the 6th Symposium on Dynamic Languages, DLS 2010, October 18, 2010, Reno, Nevada, USA
The impact of optional type information on jit compilation of dynamically typed languages
Tracking down performance variation against source code evolution
A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools
Proxies: design principles for robust object-oriented intercession APIs
Efficient interpretation using quickening
Cross-language compiler benchmarking: are we fast yet?
DelayRepay: delayed execution for kernel fusion in Python
The Bright Future of Debuggers: Challenges and Opportunities (Invited Talk)
Typed objects in JavaScript
Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms
A tested semantics for getters, setters, and eval in JavaScript
Improved type specialization for dynamic scripting languages
JITs Are Nice, but Why Aren't We Using Them? (Invited Talk)
Dynamic atomicity: optimizing swift memory management
Dynamic AspectJ
Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2022, Auckland, New Zealand, 7 December 2022
Amalgamating different JIT compilations in a meta-tracing JIT compiler framework
Patterns as objects in grace
Efficiently implementing the copy semantics of MATLAB's arrays in JavaScript
DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, Virtual Event / Chicago, IL, USA, October 19, 2021
Whalesong: running racket in the browser
Loop-aware optimizations in PyPy's tracing JIT
High-performance cross-language interoperability in a multi-language runtime
Python 3 types in the wild: a tale of two type systems
Using JavaScript and WebCL for numerical computations: a comparative study of native and web technologies
Polymorphic identifiers: uniform resource access in objective-smalltalk
Fast type reconstruction for dynamically typed programming languages
A small embedding of logic programming with a simple complete search
Experiences with an icon-like expression evaluation system
Object versioning to support recovery needs: using proxies to preserve previous development states in lively
Dynamic detection of object capability violations through model checking
Keeping the asm in Wasm: Running High-Level Languages on a Low-Level VM (Invited Talk)
Optimizing R language execution via aggressive speculation
Report on the probabilistic language scheme
Why do we know so little about programming languages, and what would have happened if we had known more?
Wasm/k: delimited continuations for WebAssembly
Precise and scalable static analysis of jQuery using a regular expression domain
Who You Gonna Call: Analyzing the Run-Time Call-Site Behavior of Ruby Applications
Explicit use-case representation in object-oriented programming languages
Contracts for first-class modules
Access control to reflection with object ownership
Arrays of objects
DLS'13, Proceedings of the 9th Symposium on Dynamic Languages, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013
Lazy pointer update for low heap compaction pause times
Analyzing permission transfer channels for dynamically typed languages
Garbage collection and efficiency in dynamic metacircular runtimes: an experience report
The Lively Kernel: just for fun, let's take JavaScript seriously
Log++ logging for a cloud-native world
Sampling optimized code for type feedback
Object-oriented programming with gradual abstraction
Proceedings of the 19th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2023, Cascais, Portugal, 24 October 2023
Design and evaluation of gradual typing for python
SqueakJS: a modern and practical smalltalk that runs in any browser
Measuring polymorphism in python programs
HorseIR: bringing array programming languages together with database query processing
Language embedding and optimization in mython
The JavaScriptCore virtual machine (invited talk)
Union and intersection contracts are hard, actually
Efficient floating-point number handling for dynamically typed scripting languages
The behavior of gradual types: a user study
The ruby intermediate language
Type safety analysis for Dart
Type refinement for static analysis of JavaScript
Highly dynamic behaviour adaptability through prototypes with subjective multimethods
Detecting conflicts among declarative UI extensions
Optimization of dynamic languages using hierarchical layering of virtual machines
Ownership, filters and crossing handlers: flexible ownership in dynamic languages
Language-independent storage strategies for tracing-JIT-based virtual machines
TeJaS: retrofitting type systems for JavaScript
From APIs to languages: generalising method names
Dynamic data polyvariance using source-tagged classes
Static vs. dynamic type systems: an empirical study about the relationship between type casts and development time
Is Polyglot Programming Really a Thing? (Invited Talk)
Bringing dynamic languages to .NET with the DLR
Runtime and compiler support for HAMTs
Compiling for multi-language task migration
Mirages: behavioral intercession in a mirror-based architecture
All about the with statement in JavaScript: removing with statements in JavaScript applications
Optimizing MATLAB feval with dynamic techniques
Parallel virtual machines with RPython
All Languages Are Dynamic (Invited Talk)
Contracts for first-class classes
The semantics of name resolution in grace
DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, Virtual Event, USA, November 17, 2020
Challenges and progress toward efficient gradual typing (invited talk)
Sweeten your JavaScript: hygienic macros for ES5
Proceedings of the 12th Symposium on Dynamic Languages, DLS 2016, Amsterdam, The Netherlands, November 1, 2016
Robust scripting via patterns
Context-oriented software transactional memory in common lisp
CompGen: generation of fast JIT compilers in a multi-language VM
Polymorphic type inference for scripting languages with object extensions
Optimizing dynamic dispatch with fine-grained state tracking
OMeta: an object-oriented language for pattern matching
Framework-aware debugging with stack tailoring
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2018, Boston, MA, USA, November 6, 2018
Abstracting abstract control
Java-to-JavaScript translation via structured control flow reconstruction of compiler IR
Programming Languages for AI Programing Agents (Invited Talk)
A parsing machine for PEGs
Proceedings of the 7th Symposium on Dynamic Languages, DLS 2011, October 24, 2011, Portland, OR, USA
Proceedings of the 2005 Symposium on Dynamic Languages, DLS 2005, October 18, 2007, San Diego, California, USA
First-class dynamic types
Decoding Lua: formal semantics for the developer and the semanticist
Contextual values
Type unsoundness in practice: an empirical study of Dart
Gradual certified programming in Coq
R melts brains: an IR for first-class environments and lazy effectful arguments
Python programmers have GPUs too: automatic Python loop parallelization with staged dependence analysis
Directing JavaScript with arrows
Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2019, Athens, Greece, October 20, 2019
Optimizing and evaluating transient gradual typing
DLS'14, Proceedings of the 10th ACM Symposium on Dynamic Languages, part of SLASH 2014, Portland, OR, USA, October 20-24, 2014
A formalization of typed lua
Flexible object encapsulation for ambient-oriented programming
Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, October 22, 2007, Montreal, Quebec, Canada
Building efficient and highly run-time adaptable virtual machines
Compile-time meta-programming in a dynamically typed OO language
Language constructs for context-oriented programming: an overview of ContextL
Bootstrapping a self-hosted research virtual machine for JavaScript: an experience report
Dynamic ownership in a dynamic language
Higher order messaging
Beyond static and dynamic scope
Relationally-parametric polymorphic contracts
Places: adding message-passing parallelism to racket
Server-side type profiling for optimizing client-side JavaScript engines
Proceedings of the 5th Symposium on Dynamic Languages, DLS 2009, October 26, 2010, Orlando, Florida, USA
Cast insertion strategies for gradually-typed objects
An adaptive package management system for scheme
HappyJIT: a tracing JIT compiler for PHP
Groovy package templates: supporting reuse and runtime adaption of class hierarchies
Contracts for domain-specific languages in Ruby
Modular semantic actions
Reflections on the compatibility, performance, and scalability of parallel Python
Proceedings of the 2008 Symposium on Dynamic Languages, DLS 2008, July 8, 2008, Paphos, Cyprus
An interpreter for server-side hop
Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages
Efficient dynamic access analysis using JavaScript proxies
Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism
Scriptable operating systems with Lua
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017
Bounded-latency regional garbage collection
Language-independent development environment support for dynamic runtimes
Object equivalence: revisiting object equality profiling (an experience report)
Controlling dynamic module composition through an extensible meta-level API
First-class environments in R
ACDC-JS: explorative benchmarking of javascript memory management
Numerical computing on the web: benchmarking for the future
An empirical investigation of the effects of type systems and code completion on API usability using TypeScript and JavaScript in MS visual studio
Adaptive data parallelism for internet clients on heterogeneous platforms
Sound, heuristic type annotation inference for Ruby
Gradual typing with unification-based inference
Factor: a dynamic stack-based programming language
Control-flow analysis of dynamic languages via pointer analysis
Self-contained development environments
Proceedings of the 11th Symposium on Dynamic Languages, DLS 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015
Filtered dispatch
Query-based object-oriented programming: a declarative web of objects
Dynamic pattern matching with Python
Alias analysis for optimization of dynamic languages
A trustworthy mechanized formalization of R
RPython: a step towards reconciling dynamically and statically typed OO languages
Are We Heading towards a Dynamic Language Winter? (Invited Talk)
CoExist: overcoming aversion to change
Of scripts and programs: tall tales, urban legends, and future prospects
Self-optimizing AST interpreters
Semantics of asynchronous JavaScript
Message safety in Dart
Sindarin: a versatile scripting API for the Pharo debugger
JavaScript AOT compilation
Proceedings of the 8th Symposium on Dynamic Languages, DLS '12, Tucson, AZ, USA, October 22, 2012
Tradeoffs in retrofitting security: an experience report
Language Runtimes for the New Cloud Era (Invited Talk)
Repair and Generation of Formal Models Using Synthesis
Translations between Textual Transition Systems and Petri Nets
Formal Methods Meet Domain Specific Languages
Model-Checking Circus State-Rich Specifications
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Partially-Supervised Plants: Embedding Control Requirements in Plant Components
On Type Checking Delta-Oriented Product Lines
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Translating TLA + to B for Validation with ProB
Capturing Conflict and Confusion in CSP
Certified Verification of Relational Properties
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
Temporal Random Testing for Spark Streaming
How to Write a Healthiness Condition
CTL Model Checking Partially Specified Systems
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
From Implicit Specifications to Explicit Designs in Reactive System Development
Transient and Steady-State Statistical Analysis for Discrete Event Simulators
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
An Algebraic Theory for Web Service Contracts
Accelerating Parameter Synthesis Using Semi-algebraic Constraints
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams
Rhapsody: A Complete Life-Cycle Model-Based Development System
Tight Error Analysis in Fixed-Point Arithmetic
Study of Integrating Random and Symbolic Testing for Object-Oriented Software
Guiding the Correction of Parameterized Specifications
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
Decomposing Integrated Specifications for Verification
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus
A Systematic Literature Review on a Decade of Industrial TLA + Practice
A Method for Compiling and Executing Expressive Assertions
An Integrated Framework for Scenarios and State Machines
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques
A UTP Semantics of pGCL as a Homogeneous Relation
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
Synthesizing B Specifications from EB 3 Attribute Definitions
Safe Temperature Regulation: Formally Verified and Real-World Validated
Modeling Explanations in Autonomous Vehicles
On Model Checking Techniques for Randomized Distributed Systems
Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Automata Learning - Expect Delays!
Embedding the Stable Failures Model of CSP in PVS
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions
A Separation Principle for Embedded System Interfacing
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks
Complexity Analysis for Java with AProVE
Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
Chunks: Component Verification in CSP||B
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports
Efficiently Characterizing the Undefined Requests of a Rule-Based System
Concurrency Under Control: Systematic Analysis of SDN Races Hazards
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management
Reachability Analysis and Simulation for Hybridised Event-B Models
Formalising Behaviour Trees with CSP
Relating Alternating Relations for Conformance and Refinement
Safe Commits for Transactional Featherweight Java
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT
Summary of: An Evaluation of Interaction Paradigms for Active Objects
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation
Extending PlusCal for Modeling Distributed Algorithms
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
Integrating Temporal Logics
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
Scalable Typestate Analysis for Low-Latency Environments
Specifying Component and Context Specification Using Promotion
Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees
CSP with Hierarchical State
Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
SIGmA: GPU Accelerated Simplification of SAT Formulas
Scalable and Precise Refinement Types for Imperative Languages
Verifying Controlled Components
Embeddings of Hybrid Automata in Process Algebra
An Approach to Symbolic Test Generation
Decomposition Structures for Event-B
Modelling Divergence in Relational Concurrent Refinement
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
Solving Games Using Incremental Induction
Program Equivalence by Circular Reasoning
Common Semantics for Use Cases and Task Models
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning
Evaluation of Program Slicing in Software Verification
Translating Pi-Calculus into LOTOS NT
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks
Slotted-Circus
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models
Formalising Interactive Voice Services with SDL
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
A Component-Based Approach to Hybrid Systems Safety Verification
Specification-Driven Unit Test Generation for Java Generic Classes
Constituent Elements of a Correctness-Preserving UML Design Approach
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands
Interactive Visualization of Saturation Attempts in Vampire
Verified Password Generation from Password Composition Policies
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications
Formal Verification of Safety PLC Based Control Software
Solvent: Liquidity Verification of Smart Contracts
Integrating Verification, Testing, and Learning for Cryptographic Protocols
Generating Path Conditions for Timed Systems
Verification of STAR-Vote and Evaluation of FDR and ProVerif
Refinement-Based Development of Timed Systems
Proof Systems for Message-Passing Process Calculi
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus
An Integration of Program Analysis and Automated Theorem Proving
A Program Logic for Dependence Analysis
Symbolic Reachability Analysis of B Through ProB and LTSmin
Automatic Generation of Guard-Stable Floating-Point Code
Dynamic Reconfigurations in Frequency Constrained Data Flow
Philosophers May Dine - Definitively!