yusuke1997/dblp-id-title huggingface dataset:
Toward presizing and pretransitioning strategies for GraalPython
A Certain Tendency Of The Database Community
Factoring out glue-code in systems of IoT devices: the PalCom architecture model
My Space, Our Space, Their Space: A First Glance at Developers' Experience of Spaces
Reflections on computing beyond pencils
Chatting with glue: cognitive tools for augmented conversation
Draw this object: a study of debugging representations
Scalagna 0.1: towards multi-tier programming with Scala and Scala.js
RML: runtime monitoring language: a system-agnostic DSL for runtime verification
BacCaml: the meta-hybrid just-in-time compiler
Superoptimization of WebAssembly bytecode
Developers' Perspective on Today's and Tomorrow's Programming Tool Assistance: A Survey
A lightweight data sharing system based on bidirectional transformations
Critique of 'let them fail: towards VM built-in behavior that falls back to the program'
An experimental audio-tactile interface for sculpting digital resonance models using modelling clay
Convivial design heuristics for software systems
Locus: A Proposal for Quantum Software Composition
Time series analysis of programmer's EEG for debug state classification
A framework for big-step semantics
Critique of 'lector in Codigo or the role of the reader'
Calling Cards: Concrete Visual End-User Programming
Sulong, and thanks for all the fish
Pattern-match-oriented proof writing language
A framework for dynamic inter-device task dispatch with eventual consistency
The issue of monorepo and polyrepo in large enterprises
VM support for live typing: automatic type annotation for dynamically typed languages
Helping software developers through live software metrics visualization
Why can't programming be like sketching?
Spreadsheets as notational environment for paper weaving
Analyzing State-of-the-Art Role-based Programming Languages
Scaling W State Circuits in the qudit Clifford Hierarchy
Towards dynamic SQL compilation in Apache Spark
The meager validation of live programming
Modular Responsive Web Design: An Experience Report
Live Data Structure Programming
A Live Environment to Improve the Refactoring Experience
Concept-aware Live Programming: Integrating Topic Models for Program Comprehension into Live Programming Environments
Do Java programmers write better Python? Studying off-language code quality on GitHub
Towards End-User Web Scraping for Customization
IDVE: an integrated development and verification environment for JavaScript
Multiagent live programming systems: models and prospects for critical applications
Confidentiality in the process of (model-driven) software development
Unanticipated Debugging with Dynamic Layers
Autocorrection in Projectional Editors
The role of Procedural Guidance in Software Engineering Education
Programming in an fMRI Scanner: A Report from the Field
Creating New Programming Experiences Inspired by Boxer to Develop Computationally Literate Society
Understanding profunctor optics: a representation theorem (extended abstract)
Profiling streams on the Java virtual machine
Experience Report: Functional Reactive Programming and the DOM
Towards language-parametric refactorings
Exploring example-driven migration
Enhancement of OpenJDK biased locking for infrequent lock contention
On the future of research VMs: a hardware/software perspective
Static Analysis for Quantum Software Correctness and Reliability (Keynote)
Weaving Rules into Models@run.time for Embedded Smart Systems
Capturing Qubit Decoherence through Paraconsistent Transition Systems
Web security training [at] UniGe: an experience
Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020
A Constraint Programming Approach for QUBO Solving and Quantum Annealing
Example Mining: Assisting Example Creation to Enhance Code Comprehension
Multimodel correspondence through inter-model constraints
Orchestrated crowdsourced testing of a mobile web application: a case study
Supporting the composition of domain-specific software via task-specific roles
Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018
Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization
What it takes to create with domain-appropriate tools: reflections on implementing the "id" system
Is There Hypothesis for Attribute Grammars?
Towards a Java Virtual Machine for Processing-In-Memory (Extended Abstract)
Wildcard: spreadsheet-driven customization of web applications
Dynamic Software Updating in Java: Comparing Concepts and Resource Demands
Managed Language Runtimes on Heterogeneous Hardware: Optimizations for Performance, Efficiency and Lifetime Improvement
To expose, or not to expose, hardware heterogeneity to runtimes
Interpreter Register Autolocalisation: Improving the Performance of Efficient Interpreters
Extending a meta-tracing compiler to mix method and tracing compilation
Towards a live, moldable code editor
Enhancing DrRacket with Dodona for Learning Scheme
The Next-Gen Interactive Runtime Simulator for Neural Network Programming
Critique of 'Semprola: a semiotic programming language'
What can we learn from systems?
Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019
Overviewing the liveness of refactoring for energy efficiency
An API and visual environment to use neural network to reason about source code
Can programmers escape the gentle tyranny of call/return?
Virtual Machines: Should We Keep Doing Them? (Invited Talk)
F3: Fast Forest Fire graph generation
An annotation system for specifying aliasing invariants on object fields
Identifying Security Issues in Elixir Web Applications
Lector in Codigo or the role of the reader
Dear Developers, What Do You Mean by Photography? (Keynote)
Ironies of Programming Automation: Exploring the Experience of Code Synthesis via Large Language Models
Towards a pattern language for interactive coding tutorials
Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example
Recent Evolution of Dart: A Pragmatic Story (Keynote)
Computing beyond pencils
Property-Based Testing and Debugging of Quantum Programs (Keynote)
Magritte: a modern shell language
MATLAB doesn't love me: an essay
Utilizing Role-based Models for On-Demand Composition of Smart Service Systems
Multiple-Representation Visual Compositional Dataflow Programming
Threaded Execution as a Dual to Native Code
On the semantics of loop transformation languages
DSL for end-user service composition
A Pragmatic Approach to Replay Compilation (Extended Abstract)
N-gram models for code completion in Pharo
Running parallel bytecode interpreters on heterogeneous hardware
Files as directories: some thoughts on accessing structured data within files
Towards Reflection in an FRP Language for Small-Scale Embedded Systems
The Pyttern Program Query Language
Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming language
Understanding task granularity on the JVM: profiling, analysis, and optimization
PolyJuS: a Squeak/Smalltalk-based polyglot notebook system for the GraalVM
Toward Understanding Task Complexity in Maintenance-Based Studies of Programming Tools
Resurrecting Score11 in Siren: What Ever Happened to the 1980s Score Languages?
PShapeTrace: Linking Drawing Instructions with Visual Outcomes in Processing
Debugging support for big data processing applications
Symbolic Quantum Programming for Supporting Applications of Quantum Computing Technologies
Word expansion supports POSIX shell interactivity
BoaSpect: An Expressive Instrumentation Platform for JavaScript
It's OK to Want to Have a Good Time
Towards efficient interdisciplinary authoring of industrial augmented reality applications
Back-In-Time Evaluation: Towards Online Trace-Based Debugging
Optimization coaching for fork/join applications on the Java virtual machine
Exploratory Development of Data-intensive Applications: Sampling and Streaming of Large Data Sets in Live Programming Environments
An Elixir library for programming concurrent and distributed embedded systems
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
Companion to the first International Conference on the Art, Science and Engineering of Programming, Programming 2017, Brussels, Belgium, April 3-6, 2017
Enriching the Internet By Acting and Reacting
SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote)
In-Line Compositional Visual Programming
Faster feedback through lexical test prioritization
Cross-Language Interoperability of Heterogeneous Code
ExtendJ: extensible Java compiler
Mining concepts from code using community detection in co-occurrence graphs
User-Generated Variables: Streamlined Interaction Design for Feature Requests and Implementations
Toward Exploratory Understanding of Software using Test Suites
ReactCOP Supporting Layer Parameter Management for Front-End Web Applications
Civic participation powered by ethereum: a proposal
Achieving guidance in applied machine learning through software engineering techniques
Mutable Value Semantics Through a Runtime-Enforced Framework in Scala (Extended Abstract)
What Can Software Learn From Hypermedia?
A soup of objects: convenience interfaces for accessing domain objects in a global object graph
Enhancing the JTL tool for bidirectional transformations
Towards a DevOps Modeling Based on Context-Oriented Programming
Synthesizing user interfaces using functional reactive web abstractions
Critique of 'files as directories: some thoughts on accessing structured data within files' (1)
Semprola: a semiotic programming language
Javardeye: Gaze Input for Cursor Control in a Structured Editor
Debugging a Smalltalk VM Assisted by Large Automated Reasoning (Extended Abstract)
Cospans and symmetric lenses
A non-tabular spreadsheet with broad applicability
Improving on the Experience of Hand-Assembling Programs for Application-Specific Architectures
A Compact and Extensible Portable Scheme VM
Cantor pairing in a reversible programming language
An Experiment in Live Collaborative Programming on the Croquet Shared Experience Platform
A Virtual Machine for Higher-Order Reactors
Continuous Code Reviews: A Social Coding tool for Code Reviews inside the IDE
Towards polyglot adapters for the GraalVM
On the Effectiveness of Interpreter-Guided Compiler Testing
Application Embedding: From Fish Tank to Axiom
Indigenizing computer programming for cultural maintenance
Self-hosted scripting in guile
Live software development: tightening the feedback loops
An anatomy of interaction: co-occurrences and entanglements
Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems
Lightweight Affine Types for Safe Concurrency in Scala (Keynote)
Managing hybrid memories by predicting object write intensity
Assessing textual source code comparison: split or unified?
Language support for multiple privacy enhancing technologies
The inevitable death of VMs: a progress report
Programming for Deep Learning on Top of Virtual Machines (Keynote)
Exploring Modal Locking in Window Manipulation: Why Programmers Should Stash, Duplicate, Split, and Link Composite Views
Critique of 'files as directories: some thoughts on accessing structured data within files' (2)
On the development of consistent user interfaces (extended abstract)
CodeMap: A Graphical Note-Taking Tool Cooperating with an Integrated Development Environment
Sketching a different programming: (reflections on why can't programming be like sketching?)
Toward a language design for energy prediction
Three trillion lines: infrastructure for mining GitHub in the classroom
Proceedings of the First International Workshop on Euler Diagrams, Euler 2004, Brighton, UK, September 22-23, 2004
A Procedural Semantics for Multi-adjoint Logic Programming
Crime Prediction Using Regression and Resources Optimization
A Bootstrapping Approach for Training a NER with Conditional Random Fields
Learning from Networks of Examples
Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings
Mining Causal Links Between TV Sports Content and Real-World Data
Distributed Coalition Structure Generation with Positive and Negative Externalities
Resolution of Constraints in Algebras of Rational Trees
LING2: A System for Induction
Urban Human Mobility Modelling and Prediction: Impact of Comfort and Well-Being Indicators
A Practical Approach to Fusing Prioritized Knowledge Bases
An Extension of Self-organizing Maps to Categorical Data
Detecting, Predicting, and Preventing Driver Drowsiness with Wrist-Wearable Devices
Next Location Prediction with Time-Evolving Markov Models over Data Streams
A Resource Sharing Model to Study Social Behaviours
A Cooperative CiberMouse@RTSS08 Team
Understanding Implicit Language Structures
Revised Stable Models - A Semantics for Logic Programs
Intelligent Wheelchair Driving: Bridging the Gap Between Virtual and Real Intelligent Wheelchairs
Prompting LLMs for Relation Classification in Portuguese: Is It Worth It?
Class Imbalance in the Prediction of Dementia from Neuropsychological Data
Adaptation to Drifting Concepts
Jason Intentional Learning: An Operational Semantics
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
Measuring Latency-Accuracy Trade-Offs in Convolutional Neural Networks
Multi-relational Data Mining: a perspective
Fair Remuneration of Energy Consumption Flexibility Using Shapley Value
Classification and Selection of Translation Candidates for Parallel Corpora Alignment
Solving Set Partitioning Problems with Global Constraint Propagation
Swarm Robotics Obstacle Avoidance: A Progressive Minimal Criteria Novelty Search-Based Approach
Optimising Cyclic Timetables with a SAT Approach - EPIA 2017
The Joint Role of Batch Size and Query Strategy in Active Learning-Based Prediction - A Case Study in the Heart Attack Domain
Benefit-Harm Assessment of AI in the Justice System
Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction
An Algorithm to Discover the k-Clique Cover in Networks
Neurons, Glia and the Borderline Between Subsymbolic Processing
Multi-output Nonparametric Regression
Bargaining Agents
Robust Artificial Landmark Recognition Using Polar Histograms
Semantic Segmentation of High-Resolution Aerial Imagery with W-Net Models
Ramex-Forum: Sequential Patterns of Prices in the Petroleum Production Chain
Retail Clients Latent Segments
Unveiling MicroRNA Biomarkers for Breast Cancer Sub-typing Using Discriminative Models
Progress in Artificial Intelligence - 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III
Econometric Genetic Programming in Binary Classification: Evolving Logistic Regressions Through Genetic Programming
Erato: Automatizing Poetry Evaluation
A Logical Approach for Distributed Truth Maintenance
Predicting Air Compressor Failures Using Long Short Term Memory Networks
Predicting the Future Impact of Academic Publications
Rule Induction for Sentence Reduction
Adaptation in Games with Many Co-evolving Agents
Data-Driven Digital Twin Based Energy Flexibility Investigation for Commercial Greenhouse Production Process
Heuristic-Based Backtracking for Propositional Satisfiability
Combining Neighbor Models to Improve Predictions of Age of Onset of ATTRv Carriers
The DeepONets for Finance: An Approach to Calibrate the Heston Model
Comparing Aggregated and Separate Models for Crowd Density Forecasting
New Techniques for Relevant Word Ranking and Extraction
Minimal Change in Evolving Multi-Context Systems
ScanType: Evolutionary Letter Finding
Mobility Mining Using Nonnegative Tensor Factorization
Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data
The Semantics of Rational Contractions
Characterization of Classification Algorithms
Experimental LINCS Dam for Low-Cost Monitoring
Dynamics of Fisheries in the Azores Islands: A Network Analysis Approach
Smart Home Appliances Usage Recommendation Using Multi-objective Optimization
Multilingual Open Information Extraction
Intelligent Mixed Reality for the Creation of Ambient Assisted Living
Cross-Lingual Annotation Projection for Argument Mining in Portuguese
Developing Dynamic Conflict Resolution Models Based on the Interpretation of Personal Conflict Styles
A Preference Semantics for Ground Nonmonotonic Modal Logics
Dynamics of Relative Agreement in Multiple Social Contexts
Explicit Context-Based Blackboards Enhancing Blackboard Systems Performance
Model for Dialogue between Informational Agents
Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains
Framework for Adaptive and Creative Learning Based on Generative Artificial Intelligence in Higher Education
Learning Visual Object Categories with Global Descriptors and Local Features
Timetabling Using Demand Profiles
On the Assessment of Deep Learning Models for Named Entity Recognition of Brazilian Legal Documents
A New Formulation of Tabled Resolution with Delay
SimPlanner: An Execution-Monitoring System for Replanning in Dynamic Worlds
Assessment on the Effectiveness of GitHub Copilot as a Code Assistance Tool: An Empirical Study
Resource-Bounded Fraud Detection
Analyzing the Footprint of Classifiers in Adversarial Denial of Service Contexts
Between Clones and Snow-Flakes: Personalization in Intelligent Tutoring Systems
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations
Temporal Reasoning about Actor Systems
A Constraint Maintenance Algorithm Based on Value Propagation
Convergence of Independent Adaptive Learners
Meta-TadGAN: Time Series Anomaly Detection Using TadGAN with Meta-features
Modeling Autonomous Adaptive Agents with Functional Language for Simulations
Reasoning with the Unknown
Sound-Based Anomalies Detection in Agricultural Robotics Application
Object Model of Intelligent Tutoring Shell
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions
An Agent-Based MicMac Model for Forecasting of the Portuguese Population
Memetic Algorithm for Solving the 0-1 Multidimensional Knapsack Problem
Probabilistic Constraints for Robot Localization
A Path Planner for the Cutting of Nested Irregular Layouts
Evaluating the Causal Role of Environmental Data in Shellfish Biotoxin Contamination on the Portuguese Coast
Metaheuristics for Optimal Scheduling of Appliances in Energy Efficient Neighbourhoods
Towards Top-Up Prediction on Telco Operators
Neural Network Based Large Neighborhood Search Algorithm for Ride Hailing Services
A Knowledge-Based System to Synthesize FP Programs from Examples
A Multi-Agent Approach to First-Order Logic
Extending Local Search in Geometric Semantic Genetic Programming
Agent-Based Model of Aedes aegypti Population Dynamics
How are you Riding? Transportation Mode Identification from Raw GPS Data
A Data Mining Approach Applied to the High School National Examination: Analysis of Aspects of Candidates to Brazilian Universities
Reasoning with Uncertainty in Biomedical Models
Regulating Blockchain Smart Contracts with Agent-Based Markets
Vineyard Segmentation from Satellite Imagery Using Machine Learning
Specifying and Verifying Distributed Intelligence Systems
Predicting Within-24h Visualisation of Hospital Clinical Reports Using Bayesian Networks
Sound Visualization Through a Swarm of Fireflies
A Reliable Information Acquisition Model for D&D Players
Mining the Semantics of Text Via Counter-Training
ESTHER: A Recommendation System for Higher Education Programs
Promoting Software Reuse Through Explicit Knowledge Representations
Change Detection in Learning Histograms from Data Streams
CTCHAID: Extending the Application of the Consolidation Methodology
Towards Transparent AI: How will the AI Act Shape the Future?
Data-Driven Academic Performance Evaluation: A Smart Platform Approach
Diagnostic Information at Your Fingertips!
How Does Irony Affect Sentiment Analysis Tools?
Sibilant Consonants Classification with Deep Neural Networks
Towards Artificial Evolution of Complex Behaviors Observed in Insect Colonies
Generalization for a Propositional Calculus: A Constraints-Based Approach
Analysing the Influence of the Cultural Aspect in the Self-Regulation of Social Exchanges in MAS Societies: An Evolutionary Game-Based Approach
Feeling and Reasoning: A Computational Model for Emotional Characters
Application of the Open Scalable Production System to Machine Tending of Additive Manufacturing Operations by a Mobile Manipulator
Towards Understanding the Impact of Crime on the Choice of Route by a Bus Passenger
Compositionality and Ambiguity in Multiword Expressions: A Dataset for the Evaluation of Language Models in Galician
NOPL - Notification Oriented Programming Language - A New Language, and Its Application to Program a Robotic Soccer Team
Case Retrieval Nets for Heuristic Lexicalization in Natural Language Generation
On Predicting the Taxi-Passenger Demand: A Real-Time Approach
YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters
Unveiling Cetacean Voices: Entropy-Powered Spectrogram Denoising for Deep Learning Applications
Visualization of Physiological Response in the Context of Emotion Recognition
Smartphone Keyboard Typing for Rheumatic Disease Identification: A Machine Learning Approach
A Learning Approach to Improve the Selection of Forecasting Algorithms in an Office Building in Different Contexts
Hierarchical Multi-classification with Predictive Clustering Trees in Functional Genomics
Progress in Artificial Intelligence - 21st EPIA Conference on Artificial Intelligence, EPIA 2022, Lisbon, Portugal, August 31 - September 2, 2022, Proceedings
CrioleSet: A New Corpus for Cape Verdean Creole, Towards Robust Machine Translation
Bayesian Networks, Rule Induction and Logistic Regression in the Prediction of the Survival of Women Suffering from Breast Cancer
Towards a Market Mechanism for Airport Traffic Control
An Argumentative Characterization of Disjunctive Logic Programming
Progress in Artificial Intelligence - 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Virtual Event, September 7-9, 2021, Proceedings
Improving Self-Confidence: An Advise-Based Evolutionary Model
A Dynamic Agents' Behavior Model for Computational Trust
Providing Location Everywhere
Deep Learning-Based Microbial Colony Detection on Agar Plates
An Introduction to Object-Oriented RuleML
Aiding Clinical Triage with Text Classification
Lightweight Tree Ensembles with Optimized Features for Five-Class Sleep Apnea Stratification
Extensible Data Ingestion System for Industry 4.0
Logical Omniscience vs. Logical Ignorance on a Dilemma of Epistemic Logic
GRASPER
From Facades to 3D Models: Automating Building Reconstruction with Deep Learning and Texture Analysis
Filtering Software Specifications Written in Natural Language
A Multi-agent System Approach with Generative AI for Improved Elderly Daily Living
An Efficient Approach to Planning in Assembly Tasks
A Web-based Telepsychology Platform Prototype Using Cloud Computing and Deep Learning Tools
Loop Closure Detection with a Holistic Image Feature
Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking
Application of Artificial Neural Networks to Predict the Impact of Traffic Emissions on Human Health
A Recommender System for Telecommunication Operators' Campaigns
Topic-Related Polarity Classification of Blog Sentences
Experiments on Statistical and Pattern-Based Biographical Summarization
On KNoT Meta-Platform for IoT-Based Control of Storage Grains
Automatic Extraction of Explicit and Implicit Keywords to Build Document Descriptors
Low-Cost IoT LoRa®Solutions for Precision Agriculture Monitoring Practices
Training Strategies and Knowledge Acquisition: Using the same Reflective Tools for Different Purposes
Robustness Analysis of Machine Learning Models Using Domain-Specific Test Data Perturbation
Declarative Source Debugging
Dual Watermarking with Deep Learning for Enhancing Security of Medical Images