yusuke1997/dblp-id-title huggingface dataset:
Histogram-Based Partial Differential Equation for Object Tracking
A Novel Rough Set based Technique for Character Spotting on Inscription Images
A Fingerprint Authentication Mobile Phone Based on Sweep Sensor
Locating and Tracking Facial Landmarks Using Gabor Wavelet Networks
Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, SLIPE 1985, Seattle, Washington, USA, June 25-28, 1985
Understanding Program Visualizations in the Wild
Designing safe programmed molecular systems (keynote)
ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Improving the Quality of Creative Practices with Pattern Languages (Keynote)
Mio: A Block-Based Environment for Program Design
Visualizing Composed Turing Machines
LambdaLab: an interactive λ-calculus reducer for learning
Psamathe: a DSL for safe blockchain assets
Using Mutations to Analyze Formal Specifications
A Word about Programming: Applying a Natural Language Vocabulary Acquisition Model to Programming Education
Suppose You Had Blocks within a Notebook
Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud
Evaluating the Quality of Student-Written Software Tests with Curated Mutation Analysis
Ordering Rejectable Stacks in SGLR Parsing
Teaching Programming with Graphics: Pitfalls and a Solution
Avoiding monomorphization bottlenecks with phase-based splitting
Remote Just-in-Time Compilation for Dynamic Languages
Formally Verified Resource Bounds through Implicit Computational Complexity
Why digital agriculture is fertile ground for software systems research (keynote)
Explicit Code Reuse Recommendation
SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17 - 22, 2021, Companion Volume
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
SPLASH-E '18 - Proceedings of the 2018 ACM SIGPLAN Workshop on SPLASH-E, Boston, MA, USA, November 5, 2018
Composing Turing Machines in FSM
Rose: Extensible Autodiff on the Web
Trillions of Formally Verified Authorizations a Day! (Keynote)
Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2024, Pasadena, CA, USA, 24 October 2024
Transforming Ideas into Code: Visual Sketching for ML Development
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Evaluating importance of edge types when using graph neural network for predicting return types of Python functions
Step-wise Execution of Data-Centric Systems
An Observational Study of Undergraduate Teaching Assistants' Use of Subgoal Learning Integrated in an Introductory Programming Course
Sui Move: Modern Blockchain Programming with Objects
JMVX: Improving Record-Replay for Managed Languages
Towards the Formal Verification of Wigderson's Algorithm
Everything Is a Program (Even If It's Not) (Keynote)
Domain-Specific Visual Language for Data Engineering Quality
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, Companion Volume
Towards answering "Am I on the right track?" automatically using program synthesis
SPLASH-E '20 - Proceedings of the 2020 ACM SIGPLAN Workshop on SPLASH-E, Virtual Event, November 20, 2020
SASIL: a domain-specific language for simulating declarative specifications of scheduling systems
Modelling the Quantification of Technical Debt
Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2022, Auckland, New Zealand, 5 December 2022
Using Computation Graphs to Explain Nondeterminism to Students
Theia: automatically generating correct program state visualizations
Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Data Science Pedagogy to Support Industry, Governmental, and Research Initiatives
AI: Winter of Our Discontent (Keynote)
Detecting performance patterns with deep learning
Provably Correct Smart Contracts: An Approach using DeepSEA
Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration
Proving Obliviousness of Probabilistic Algorithms with Formal Verification
Mocking Temporal Logic
Experiences in bridging from functional to object-oriented programming
Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2024, Pasadena, CA, USA, October 20-25, 2024
Algebraic Effect Handlers with Bidirectional Type-Checking
Team Harmony before, during, and after COVID-19
A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic
Partial Gradual Dependent Type Theory
Interleaved 2D Notation for Concatenative Programming
Termination of Recursive Functions by Lexicographic Orders of Linear Combinations
Judicious: API Documentation for Novices
Programming-by-example by programming-by-example: synthesis of looping programs
Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course Materials
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation
JaMaBuild: Mass Building of Java Projects
Implementation of an end-to-end gradual verification system
Parallelism in practice: experiences teaching concurrency and parallelism in an undergraduate OS course
Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
Programming Smart Objects: How Young Learners' Programming Skills, Attitudes, and Perception Are Influenced
Run-time data analysis to drive compiler optimizations
Run-time data analysis in dynamic runtimes
Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, PAINT 2022, Auckland, New Zealand, 5 December 2022
A Framework for the Localization of Programming Languages
Towards decidable and expressive DOT
Models and programs: better together (keynote)
A study of call graph effectiveness for framework-based web applications
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
Towards Reusable GUI Structures
Crossing Learning Thresholds Progressively via Active Learning
Design and implementation of a gradual verifier
Simple Extensible Programming through Precisely-Typed Open Recursion
Semantic Versioning for Python Programs
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver
The State of Debugging in 2022 (Keynote)
(I Can't Get No) Verification (Keynote)
Creating Dynamic Prototypes from Web Page Sketches
AUTOINC: Incrementality for Free
Modular Educational Languages
Synthesizing Recursive Programs through Dataflow Constraints
Interaction vs. Abstraction: Managed Copy and Paste
Towards Automated Updates of Software Dependencies
Reusing Single-Language Analyses for Static Analysis of Multi-language Programs
Testing deep neural networks (keynote)
Design and Implementation of Facets of Dynamic Policies
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Scaling up Program Synthesis to Efficient Algorithms
Qiwi: A Beginner Friendly Quantum Language
Extensible Testing for Infrastructure as Code
ChocoPy: a programming language for compilers courses
Nudging student learning strategies using formative feedback in automatically graded assessments
Toward a VR-Native Live Programming Environment
SOAR: synthesis for open-source API refactoring
Myths and Mythconceptions: What Does It Mean to Be a Programming Language, Anyhow? (Keynote)
Lambdulus: teaching lambda calculus practically
Exploring Engagement and Self-Efficacy in an Introductory Computer Science Course
Large Language Models for Automated Program Repair
Dynamic Library Compartmentalization
Automatic Local Inverse Calculation for Change of Variables
Safe Combination of Data-Centric and Operation-Centric Consistency
Program Synthesis for Artifacts beyond Programs
Blocks, Blocks, and More Blocks-Based Programming
Static-Dynamic Information Flow Control in Rust
Verification of Hardware and Software with Fuzzing and Proofs
Foundationally Sound Annotation Verifier via Control Flow Splitting
KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education
Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2023, Cascais, Portugal, 25 October 2023
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Grammar Inference for Ad Hoc Parsers
Machine learning to ease understanding of data driven compiler optimizations
Source code authorship attribution using file embeddings
The Role of Abstraction in Introductory Programming
Verification of Programs with Concealed Components
CSS instruction enhanced by objective typography
Integrated scientific modeling and lab automation (keynote)
Expressions in Java: Essential, Prevalent, Neglected?
Design of Fractional Permissions for a Gradual Verifier
Unified Analysis Techniques for Programs with Outcomes
A VM-Based Approach for Power Modeling
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2022, Auckland, New Zealand, December 5-10, 2022
Towards a Verified Cost Model for Call-by-Push-Value
The PL-detective revisited
Automatically Generating an Abstract Interpretation-Based Optimizer from a DSL
LoRe: Local-First Reactive Programming with Verified Safety Guarantees
ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises
SPLASH-E '19 - Proceedings of the 2019 ACM SIGPLAN Workshop on SPLASH-E, Athens, Greece, October 25, 2019
A framework for code-level tracing of map-based algorithm visualizations
Gradual value-dependent information flow control
Grammar Derivation Visualization in Automata Theory
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript
A software library model for the internet of things
Edgeworth: authoring diagrammatic math problems using program mutation
VESC: Towards Temporal Verification of Smart Contracts
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023
Composing Linear Types and Separation Logic Proofs of Memory Safety
Consolidation: a technique for improving permissiveness of human-machine interfaces
Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
Evaluating ProDirect manipulation in hour of code
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
Roles of Variables in the Hedy Programming Language
A Pragmatic Approach to Syntax Repair
Gender Differences in Story, Game and Visual Adventures in Hedy
Witter: A Library for White-Box Testing of Introductory Programming Algorithms
Clearing the Trail: Motivations for Maintenance Work in Open Source
Extrapolation-based approach to optimization with constraints determined by the Robin boundary problem for the Laplace equation
Power loss model for efficiency improvement of boost converter
Evaluation of the diffusion-like accelerated demons algorithm
Evaluation of noise suppression and luminance reconstruction in high dynamic range image deghosting methods
Design of the image-based satellite attitude control algorithm
FPGA based Hexapod Robot Navigation using Arbitration of Fuzzy Logic Controlled Behaviors
Wheel forces estimation via adaptive sub-optimal second order sliding mode observers
The application of a Parallel Genetic Algorithm to timetabling of elementary school classes: A coarse grained approach
Study of drought impact on inland navigation systems based on a flow network model
The effect of dictionary learning algorithms on super-resolution hyperspectral reconstruction
A frequency based method for complete identification of Hammerstein-type plants based on relay feedback
Data mining techniques and SAS as a tool for graphical presentation of principal components analysis and disjoint cluster analysis results
Bloom filter based acceleration scheme for flow table lookup in SDN switches
Fault-tolerant distributed feedback global chassis control
Implementation of the open-software models of switched reluctance motor on model-in-the-loop platform
Design and evaluation of a serial elastic actuator for human assistance
Modelling constraints in school timetabling using integer linear programming
A dynamic sampling methodology for plasma etch processes using Gaussian process regression
Automatic Segmentation and Classification of Resistors in Digital Images
Spatial analysis of target signatures
A novel technique for automated red eye detection and correction
Playground Algorithm as a New Meta-heuristic Optimization Algorithm
An orthogonal ARX network for identification and control of nonlinear systems
Model based predictive peak observer method in parameter tuning of PI controllers
Emulation design based linear quadratic regulation
Controller Design for a Nonlinear 3 DOF Helicopter Model Using Adaptive Sliding Surfaces
Towards better integration of performing and managing the information systems development
Exact inversion of TSK fuzzy systems with linear consequents
Evaluation of sophisticated hardware architectures for safety applications
Application of HHT for Identification of Low-Frequency Electromechanical Oscillatory Modes, Their Character and Damping
Fault isolation using Model-on-Demand algorithm
Miniaturized safety systems: A way for future tasks in safety engineering
State dependent riccati equation based model reference adaptive control design for nonlinear systems
A market based approach for complex task allocation for wireless network based multi-robot system
Multi-Agent Architecture for Peer-to-Peer Electricity Trading based on Blockchain Technology
Software package for tracking status of inspection dates and reports of medical devices in healthcare institutions of Bosnia and Herzegovina
An algorithm for boost converter efficiency optimization
Image retrieval using annular histograms of simple binarized feature vectores generated from DCT coefficients
Towards Efficient Alternating Current Optimal Power Flow Analysis on Graphical Processing Units
Reliable software development methodology for safety related applications: From simulation to reliable source code
Intrusion detection using neural network committee machine
Design and implementation of DSP-based three-phase PFC
Multilayered feedforward neural networks as a tool for distinction of the authors of texts
XXVIII International Conference on Information, Communication and Automation Technologies, ICAT 2022, Sarajevo, Bosnia and Herzegovina, June 16-18, 2022
School Timetable - suggestions for a more efficient representation and a solution for schools with shifts
Evaluation of Persian text based on Huffman data compression
Generic Motion Primitives-based Safe Motion Planner under Uncertainty for Autonomous Navigation in Cluttered Environments
Design of a distributed ultrasound-based sensory system
Learning from depth sensor data using inductive logic programming
Early Stage Flame Segmentation with Deep Learning and Intel's OpenVINO Toolkit
VPCA-based fault diagnosis of spacecraft reaction wheels
Quantum Channel Characteristics from the Point of View of Stability
An investigation of the influence of SIP message differentiation on the quality of unified communications
Credit Scoring Model Implementation in a Microfinance Context
Error detection on precise laser scanner based navigation
Design of wound rotor low-voltage synchronous generator
A risk and threat assessment approaches overview in autonomous systems of systems
Design of Active Visual Marker for High Speed Object Tracking by Frame Subsampling
A compact color descriptor for image retrieval
A Multi-Heuristic Search-based Motion Planning for Automated Parking
Calculation of traversing time distributions in semi-Markov chains with application on Petri Nets
The smart home for the elderly: Perceptions, technologies and psychological accessibilities: The requirements analysis for the elderly in Thailand
Analysing Transfer Learning Efficacy with Different Feature Sets for Occupancy Detection
Distributed feedforward control of vehicle dynamics based on event-triggered optimization
Mitigating Power Peaks in Automotive Power Networks by Exploitation of Flexible Loads
Micro and nano robotics
Timed transition automata and their ladder logic implementation
Design and application of an active suspension system on a 6 DOF half vehicle model
A state feedback controller for uncertain networked control systems
Robust brake linings friction coefficient estimation for enhancement of ehb control
On-line parameter tuning of discontinous fuzzy friction compensator in linear drive
A control engineering perspective to radio resource management challenges in emerging cellular/"noncellular" radio systems
Parallel DNA sequencing with exact and approximate string-matching algorithms
Selecting samples for labeling in unbalanced streaming data environments
Using temporal user profiles in collaborative filtering recommender system
A non-supervised approach to locate and to measure the nuchal translucency by means of wavelet analysis and neural networks
A partially automated HiL test environment for model-based development using Simulink® and OPC technology
Using Genetic Algorithms for Load Balancing in Cloud Computing
Optimal City Selection and Concert Tour Planning Based on Heuristic Optimization Methods and the Use of Social Media Analytics
Considering and comparing safety parameters - Using different calculation approaches of PFD/PFH/HR
Predictive monitoring of train wagons conditions using wireless network technologies
Switching design for the observation of the biomass in alcoholic fermentation processes
Autonomy requirements engineering for micro-satellite systems: CubeSat case study
Position control of a planar robot manipulator mounted on a VTOL aircraft
Transportation network model with time delay for flood lamination strategy
High-Speed FPGA-Based Ethernet Traffic Generator
3D configurator for portrait lighting simulations
Efficient processing of large 3D point clouds
Enhancing Performance of CUDA Quicksort Through Pivot Selection and Branching Avoidance Methods
Higher order sliding mode based finite-time order zeroing control for MIMO LTI systems
A Methodology to Develop Extended Reality Applications for Exhibition Spaces in Museums
User and mobile-friendly learning management system design
A numerically controlled oscillator based on De Moivre's identity and linear approximation: A ROMless NCO
Real-Time Estimation of Instantaneous Power System Fundamental Frequency
Partial discharges measurements as an on-site diagnostic tool during after-laying tests of high voltage extruded cable systems
Consensus over multi-hop networked systems subject to heterogeneous time delays
Cooperative load balancing algorithm in multiple bottleneck networks
SqueezeJet-3: An HLS-based Accelerator for Edge CNN Applications on SoC FPGAs
Distinguishing physical actions using an artificial neural network
Fail-safe protection Circuit for industrial safety applications
PMU Spoof Detection via Image Classification Methodology against Repeated Value Attacks by using Deep Learning
Lowering SCADA development and implementation costs using PtP concept
The effects of magnetic circuit geometry on torque generation of 8/14 switched reluctance machine
Trajectory Tracking of the Octo-Rotor Unmanned Aerial Vehicle Exposed to Parametric Uncertainties and External Disturbances Using First Order Sliding Mode Control
Contribution to reducing the critical faults in critical Software Systems
A possible approach for determining safety parameters for safety integrated circuits
Zigbee network for remote patient monitoring on general hospital wards
ReadGoGo!: Towards real-time notification on readers' state of attention
Principle software reliability analysis with different failure rate models
Exact double DCJ distance between circular genomes
Adaptive scalable rate control over IEEE 802.15.4 using particle swarm optimization
XXIV International Symposium on Information, Communication and Automation Technologies, ICAT 2013, Sarajevo, Bosnia and Herzegovina, October 30 - November 1, 2013
A Simple and Elegant Method for Computing the Inverse Z-transform of Rational Functions
Experimental Determination of Grounding System Impulse Impedance under High Frequency Electromagnetic Interferences
Nonlinear model predictive control of a benchmark nonlinear boiler
Semantic Visual Segmentation of a Mobile Robot Environment Using Deep Learning Model
Prediction of lung nicotine concentration based on novel GA-ANFIS system approach
New web information retrieval paradigm based on a multi-space interpretation index and projection operations
Mixed-criticality communication scheme for networked mobile robots
Implementation and performance analysis of the Simplex algorithm adapted to run on commodity OpenCL enabled graphics processors
Explorative Evaluation of Heart Rate Variability Spectral Analysis Approaches
Modeling offset adaptations for latency minimization in cascaded communication networks for factory automation
L2-L∞ filtering for stochastic Markov jump systems with uncertain transition probabilities
Experiment of Sliding Mode Control with Nonlinear Sliding Surface Design for a 3-DOF Helicopter Model
Multidimensional performance optimization of switched reluctance machines
Realization of the action-oriented education approach by programming a microcontroller steered mobile robot
Training network managers in ethical hacking techniques to manage resource starvation attacks using GNS3 simulator
Behavioral modeling of knitted shape memory membrane
Study of the best view selection based on a human observer
Investigation of a reliability prevention model for remanufactured systems in automotive
Path planning using adaptive burs of free configuration space
Control and estimation scheme for PV central inverters
On-line evolving clustering for financial statements' anomalies detection
Design and implementation of an IP-core based safety-related communication architecture on FPGA
Gradient based adaptive trajectory tracking control for mobile robots
Implementation of indirect vector control to induction motor with zero current transition inverter
XXIX International Conference on Information, Communication and Automation Technologies, ICAT 2023, Sarajevo, Bosnia and Herzegovina, June 11-14, 2023
Evaluation of authorship attribution software on a Chat bot corpus
Modified growing neural gas algorithm for faster convergence on signal distribution sudden change
State of Charge Estimation on Constrained Embedded Devices
Surface reconstruction algorithms in cultural heritage digital representation
Model of elevator drive with jerk control
Grammar inference algorithms and applications in software engineering
Design of PLC-based PI controller for the permanent magnet DC motor under real constraints and disturbances
3D point cloud compression using conventional image compression for efficient data transmission
Statistical filtering methods for feature selection in arrhythmia classification
Recognizing actions with the associative self-organizing map
A New Method for Improving Content-Based Image Retrieval using Deep Learning
Evaluation of OpenCL native math functions for image processing algorithms
Teleoperation system of the mobile Manipulator Robot ROBUTER_ULM: Implementation issues
Survey of integrability of procedural modeling techniques for generating a complete city
Experimental study of event based PID controllers with different sampling strategies. Application to brushless DC motor networked control system
Estimation and control of brush pressure by using IMC based controller
Multi-agents based virtual environments for cultural heritage
DoS attack mitigation in SDN networks using a deeply programmable packet-switching node based on a hybrid FPGA/CPU data plane architecture
Development of a soft PZT based tactile sensor array for force localization