yusuke1997/dblp-id-title huggingface dataset:
Making Variables Abstract: An Equational Theory for Russell
Structural Subtyping and the Notion of Power Type
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions
A Meta Lambda Calculus with Cross-Level Computation
Proof-guided underapproximation-widening for multi-process systems
CCured: type-safe retrofitting of legacy code
Security Properties of Typed Applets
Equational Logic Programming: An Extension to Equational Programming
Alias Analysis of Executable Code
Global Value Numbers and Redundant Computations
Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003
Local reasoning about a copying garbage collector
Cantor meets scott: semantic foundations for probabilistic networks
The Semantics of Future and Its Use in Program Optimizations
Specifying the Correctness of Binding-Time Analysis
Modular reasoning about heap paths via effectively propositional formulas
Programmable data dependencies and placements
Higher-order multi-parameter tree transducers and recursion schemes for program verification
Unbounded Speed Variability in Distributed Communication Systems
What packets may come: automata for network monitoring
On the Covering of Left Recursive Grammars
BI as an Assertion Language for Mutable Data Structures
A Novel Framework of Register Allocation for Software Pipelining
Views: A Way for Pattern Matching to Cohabit with Data Abstraction
Dynamic Typing as Staged Type Inference
A semantics for web services authentication
A cost semantics for self-adjusting computation
Constructing Call Multigraphs Using Dependence Graphs
Edge Profiling versus Path Profiling: The Showdown
Automated verification of practical garbage collectors
Summarizing Graphs by Regular Expressions
Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, USA, January 1976
From program verification to program synthesis
Algebraic data types for language-integrated queries
Algebraic foundations for effect-dependent optimisations
The Temporal Logic of Branching Time
Transition predicate abstraction and fair termination
Syntactic control of interference for separation logic
Polymorphic regular tree types and patterns
Reducing crash recoverability to reachability
Operational Semantics of a Parallel Object-Oriented Language
A Formally-Verified C Static Analyzer
Deterministic Parsing of Ambiguous Grammars
A Compositional Account of the Java Virtual Machine
A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions
First-class nonstandard interpretations by opening closures
Modular verification of security protocol code by typing
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables
Towards a program logic for JavaScript
The GDSL toolkit: Generating Frontends for the Analysis of Machine Code
Replicated data types: specification, verification, optimality
The hardness of data packing
CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms
Temporal Verification of Carrier-Sense Local Area Network Protocols
A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp
Relational inductive shape analysis
Visualizing data on the web
Flow Analysis and Optimization of Lisp-Like Structures
A Realistic Compiler Generator Based on High-Level Semantics
Analyzing Program Analyses
Locality approximation using time
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra
Typed self-evaluation via intensional type functions
Bridging the Gulf: A Common Intermediate Language for ML and Haskell
Hierarchical VLSI Design Systems Based on Attribute Grammars
Nested refinements: a logic for duck typing
Code Generation for Silicon
Isolating Side Effects in Sequential Languages
A type system for well-founded recursion
Fast location of similar code fragments using semantic 'juice'
Abstract Semantics for a Higher-Order Functional Language with Logic Variables
Systematic design of program transformation frameworks by abstract interpretation
Safe & Efficient Gradual Typing for TypeScript
Efficient Implementation of the Smalltalk-80 System
A Functional Representation of Data Structures with a Hole
Vector addition system reachability problem: a short self-contained proof
Modeling Prolog Control
Observable Sequentiality and Full Abstraction
The Typed Polymorphic Label-Selective lambda-Calculus
Repeatability, reproducibility and rigor in CS research
The design of kodu: a tiny visual programming language for children on the Xbox 360
Proofs that count
Static and Dynamic Semantics Processing
Concurrent Transition System Semantics of Process Networks
Maple: a Programming Language, Operating System
Pattern-Based Tree Attribution
Predicate abstraction and refinement for verifying multi-threaded programs
Controlling chaos: on safe side-effects in data-parallel operations
Chapar: certified causally consistent distributed key-value stores
Pushdown control-flow analysis for free
Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977
Concurrent Constraint Programming
Tridirectional typechecking
Example-directed synthesis: a type-theoretic interpretation
A nonstandard standardization theorem
Atomic Data Abstractions in a Distributed Collaborative Editing System
Unrestricted Procedure Calls in Hoare's Logic
Program analysis via satisfiability modulo path programs
Modular reasoning for deterministic parallelism
Transforming spreadsheet data types using examples
Pointer-Induced Aliasing: A Problem Classification
Verifying Secrets and Relative Secrecy
The semantics of x86-CC multiprocessor machine code
Practical Use of a Polymorphic Applicative Language
Automatic Array Alignment in Data-Parallel Programs
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth
Wild control operators
Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter
Embedding Type Structure in Semantics
Freeze after writing: quasi-deterministic parallel programming with LVars
Space-Efficient Manifest Contracts
A verified compiler for an impure functional language
Nominal system T
String oriented programming: when ASLR is not enough
Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990
On the Complexity of Flow-Sensitive Dataflow Analyses
Implementing deterministic declarative concurrency using sieves
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space)
How to write a good research paper
Global Storage Allocation in Attribute Evaluation
On the linear ranking problem for integer linear-constraint loops
Optimal Code Generation for Expression Trees: An Application of BURS Theory
Modeling of Problem Domains for Driving Program Development Systems
Graph Types
Programming languages for programmable networks
Minimum Cost Interprocedural Register Allocation
Serializability for eventual consistency: criterion, analysis, and applications
Reducing Indirect Function call Overhead in C++ Programs
Correct blame for contracts: no more scapegoating
Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures
A concurrent constraint handling rules implementation in Haskell with software transactional memory
Computing with streams
Incremental Program Testing Using Program Dependence Graphs
Declaration-Free Type Checking
Data Types as Values: Polymorphism, Type-Checking, Encapsulation
Connecting effects and uniqueness with adoption
What Are Principal Typings and What Are They Good For?
Program Boosting: Program Synthesis via Crowd-Sourcing
Engineering mathematics: the odd order theorem proof
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
Pizza into Java: Translating Theory into Practice
An Algorithm for Structuring Programs
Resource-sensitive synchronization inference by abduction
Automatic modular abstractions for linear constraints
On Oraclizable Networks and Kahn's Principle
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012
Polymorphism by Name for References and Continuations
How to Make ad-hoc Polymorphism Less ad-hoc
Quantitative relaxation of concurrent data structures
Functional logic overloading
Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991
The Evolution of Programs: A System for Automatic Program Modification
Application-level concurrency: combining events and treads: invited talk
Classes and Mixins
Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus
A Practical and Flexible Flow Analysis for Higher-Order Languages
A kripke logical relation between ML and assembly
Contextual isomorphisms
A Really Abstract Concurrent Model and its Temporal Logic
On the Definitional Method of Standard PL/1
Macros That Work
Higher-Order Equational Logic Programming
Analyzing Logic Programs with Dynamic Scheduling
Domain specific compilation in the NVIDIA OptiX ray tracing engine
Filter Fusion
DroidLegacy: Automated Familial Classification of Android Malware
Mathematizing C++ concurrency
Parametric effect monads and semantics of effect systems
From Region Inference to von Neumann Machines via Region Representation Inference
Constraining Control
"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs
Robin Milner 1934--2010: verification, languages, and concurrency
Regular expression pattern matching for XML
Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979
Perl 6: reconciling the irreconcilable
A New Approach to Generic Functional Programming
Towards automatic resource bound analysis for OCaml
Object-Oriented Programming without Recursive Types
Stratified Functional Programs and Computational Complexity
A Galois connection calculus for abstract interpretation
Context-sensitive data-dependence analysis via linear conjunctive language reachability
Contract-based resource verification for higher-order functions with memoization
A simple typed intermediate language for object-oriented languages
Semantic indexing of continuous speech
Evaluation of the ambiguity caused by the absence of diacritical marks in Arabic texts: Statistical study
Stemming impact on Arabic text categorization performance: A survey
A Conceptual Model for Delivering and Sustaining E-Resources and E-Library Services for the Disabled People: The African scenario
NPLS: A help System for Normalization and Personalization of Learning Situations
Technology-enhanced learning and the multi-cultural classroom: Exploring impacts of open educational resources' use on collaboration and teamwork
A web mining based approach for automatic student model discovery
Informing the Design of Attention Assessment System for Children with Autism Spectrum Disorder: A Thematic Analysis Approach
Accessibility of non-trivial remote controlled models and toys
The effects of reading mode (digital vs printed text) on reading comprehension: A literature review of the key assessment factors
Alignment between two domain ontologies (Case of educational orientation in mathematics education)
Legal application ontology in Arabic
Harnessing the Characteristics of Open Educational Resources to the Challenges of Rural Education: A Holistic Understanding
User experiences system design for visually impaired and blind users in Oman
A Multilingual System for the Blind
FOAF-based clustering of handicraft women using ranked features
Towards Intention-based Support for Disabled Individuals Interacting with Virtual Environments
Mada Innovation Program: A Go-to-Market ecosystem for Arabic Accessibility Solutions
A decision-making approach for the synthesis of results issued from different user interface evaluation methods
Mobile app permissions awareness
eLearning tools for programming language
COLORS: Cooperative Learning Object Repository System
Indexing a medical article with a Terminology Oriented Ontology
Statistical Study to Measure the Accessibility of Websites in Morocco: Evaluation of Three Categories of Websites
Can we predict learners' personalities through their behavioural patterns? A pilot study using Behaviour Analytics-Moodle plugin
Security Model in M-Learning Process
Some Topics in E-Government
Towards Generic Semi-Automatic Transformation Process in MDA
A proposal for a user interface with a several-cell refreshable braille display: A case of a wristwatch-shaped wireless refreshable braille display
A New MILP-based Decision Support System for the Fuel Distribution
Adaptive Multirate Signal Processing - A New Horizon
8th International Conference on ICT & Accessibility, ICTA 2021, Tunis, Tunisia, December 8-10, 2021
Addressing the Digital Gap for the Older Persons and their caregivers in the State of Qatar: A Stakeholders' Perspective
The divide-and-conquer paradigm as a basis of a new approach to overcome the time consuming issue of the assessment process in adaptive E-learning systems
Self-assessment through serious game
Educational system based on simulation and intelligent conversation
An investigation of the factors affecting the perception of gamification and game elements
Effectiveness of electronic interactive whiteboard use in developing the creative problem solving and learning motivation
Method of enriching queries by contextual information to approve of information retrieval system in Arabic
Loss Packet and Error concealment in VoIP over DSL Networks
Ysilex- a Friendly reading Interface for Dyslexics
A review on soccer player tracking techniques based on extracted features
Evolution of parameters in Bayesian Overlay Model
An XML-gloss annotation system for sign language processing
Dynamic mesh router placement for connectivity maximization in wireless mesh networks
SureSight - Assisting the blind in identifying and navigating to points of interest using pattern recognition of pre-placed visual markers
Intelligent system to support SOAQs assessment
Wireless power transfer (Wireless lighting)
Performance analysis of the Vehicular Ad hoc Networks (VANET) routing protocols AODV, DSDV and OLSR
A situational analysis on the availability and access to computers for educational purposes by learners with visual impairements in Zambi: A case of three basic and three high schools for the blinds
On the Implementation of an Advanced Online E-Grade System: Case Study of E-Learning System
Use of Mobile Application to Improve Student Performance among Primary School Students in Sri Lanka
An automatic video surveillance indexing based on facial feature descriptors
Hidden Markov models & principal component analysis for multispectral palmprint identification
Assistance system for personal learning environments
Feasibility Analysis for SemiAutomatic Conversion of Text to Improve Readability
Who supports the support workers? E-learning for support workers of students with disabilities
Survey of web service composition
Ontology based description of an accessible learning object
Enhanced redirected walking algorithm
The experience of developing Mr. saud educational system using NAO humanoid robot
Automatic generation of fuzzy logic components for enhancing the mechanism of learner's modeling while using educational games
A choice of relevant association rules based on multi-criteria analysis approach
Towards an automatic translation from Arabic text to sign language
Towards a meta-model of the organization's processes modelling for knowledge localization
ICT-based applications to support the learning of written signed language
Fourth International Conference on Information and Communication Technology and Accessibility, ICTA 2013, Hammamet, Tunisia, October 24-26, 2013
Arabic learning disabilities in public primary schools: The case of east side of Morocco
Covid-19 Awareness Game for Deaf Children
Challenges with creating accessible and usable learning environments for visually impaired students' language education
Arab gloss annotation system for Arabic Sign Language
Intellectual disability and e-accessibility- Raising awareness of web accessibility's invisible community
Efficient object matching using partial dominant orientation descriptor
Incremental dynamic case-based reasoning-MAS: From static to dynamic cycle
Requirement elicitation for a toilet training wearable watch to serve autistic children
Hidden Markov model for inferring user task using mouse movement
Innovatively Teaching Traditional Subjects with E-Learning Information Systems Designed for the Deaf
Towards a Competence Web -Based Assessment model to support lifelong learning
Guide interface for a Remote Vision Guidance System for Visually Impaired Pedestrians
Load Balancing Effects in DCUR QoS Routing Algorithm
Ar-SLoTE: A Recognizing Textual Entailment Tool for Arabic Question/Answering Systems
A greedy inverse kinematics algorithm for animating 3D signing avatars
An Analysis of International Conference Proceedings on Artificial General Intelligence (AGI) from 2008 to 2020: A Data-Mining Mapping Analysis
A collaborative distributed video indexing
Personalization of Learning Scenarios for Programming Languages
Promoting Web Accessibility In A Web Applications Engineering Course: A Case From Saudi Arabia
The use of Open Educational Resources at Cadi Ayyad University: State of art review
Assistive technology competencies in learning disability program candidates at Sultan Qaboos University: A proposed model
OBSemE: An ontology-based semantic metadata extraction system for learning objects
Towards accessible and personalized mobile learning for learners with disabilities
Knowledge practices of people with disabilities and the role of ICT
Enhancing Assistive Technology with Eye-Controlled Interfaces
Integrating learning analytics to predict student performance behavior
Mada Web Accessibility Monitor Tool
VANET congestion control approach using empathy
Towards an approach for behavioral specification of reactive multi-agent system
Synthesizing facial expressions for signing avatars using MPEG4 feature points
The Deaf Experience in Remote Learning during COVID-19
Automatic face recognition with aging using the invariant features
E-accessibility supports researchers with disabilities
Accessibility of Graphics and E-learning
Improving coverage of rule based NER systems
A system for composition and adaptation of educational resources based on learner profile
Moving towards digital manufacturing in the Arab Region: A 3D printing workshop experience
An application to index the didactic resources in an adaptive learning system (ALS)
Toward sign language handshapes recognition using Myo armband
Towards feedback personalization in mobile assessment based on semantic web
Towards modeling the learner's concentration in e-learning environments
A feature extraction technique of EEG based on EMD-BP for motor imagery classification in BCI
Recognize assyrian cuneiform characters by virtual dataset
A learning version of Pacman game
Currency recognition system for visually impaired: Egyptian banknote as a study case
An Example of Adobe Captivate E-learning Tutorial
Reverse engineering to create a generic workflow E-Assessment system
Metadata protection scheme for JPEG privacy & security using hierarchical and group-based models
A mobile agent team works model for HPC big data analysis: Fuzzy logic application
Hidden Markov Models and Support Vector Machines applied to P300 Based Brain-Computer Interface - a Comparative study
Towards ICT-CFT aligned Open Educational Resources Recommendations Based on Elicited Teachers' ICT Competencies
Handwritten Arabic Touching and overlapping Characters Separation Methods
A Streamlined Continuous Improvement Process Based on Learning Analytics: Insights from the IT Program at King Saud University
Arab gloss and implementation for Arabic Sign Language
Toward better web accessibility
Towards a Multimedia Ontology for Tunisian Archaeology Field
Enterprise architecture of mobile healthcare for large crowd events
Multi-purpose HealthCare monitoring System based on ISM band communication link support
A new fast method for 3D indexing and retrieval based on mapping techniques
An experimental study for some supervised lexical disambiguation methods of arabic language
Educational Computer Game for learning History: Impact on learners' level of knowledge and learners' satisfaction
SIP-based Service Architecture for Application-aware Optical Network
Education of children with complex disabilities who can't attend school in Sudan: Evaluation and future plan from the perception of the inclusive learning lab
Dynamic hierarchical Bayesian network for Arabic handwritten word recognition
Examining the effectiveness of using online activities in learning english vocabulary
Reconciling Needs and Feasibility When Developing Technologies for Persons with Cognitive Disabilities: A Case Study
A crosswords game for deaf
A methodology for regression testing reduction and prioritization of agile releases
A parallel algorithm for solving the PFSP with load balancing on the grid: An empirical study
UVCA: a Unified Vocal Commands Approach for Mobile Applications
An approach to compose personal curriculums
Toward the creation of an Arab Gloss for arabic Sign Language annotation
An educational decision support system: case of learners clustering
Enhancing young children's mathematics skills using serious game approach
Beyond the Pandemic Reflections on Teacher Competencies
An Integration between 0/1 Integer Programming and Fuzzy Logic Approaches to Optimize User Curriculum in an e-learning system
An improvement of DENCLUE algorithm for the data clustering
7th International conference on ICT & Accessibility, ICTA 2019, Hammamet, Tunisia, December 13-15, 2019
N-scheme model: An approach towards reducing Arabic language sparseness
Modelling the Learner's Values with Computer-based Educational Game
Understanding Prosodic Pauses in Sign Language from Motion-Capture and Video-data
Cloud computing services and its Effect on tertiary education: Using Google Classroom
Towards a framework for building automatic recommendations of answers in MOOCs' Discussion Forums
Toward HMM based machine translation for ASL
Accessible numerical information: Cookery recipes as a special case
A practitioner's approach to using WCAG evaluation tools
Helping Persons with Cognitive Disabilities using Voice-Activated Personal Assistants
An Educational Software Project For the Preschool Students
Linguistic processing to adapt written text for a better translation into sign language
Get only the essential information: Text summarizer based on implicit data
An assistive mobile application i-AIM app with accessible UI implementation for visually-impaired and aging users
Assessing modelling readiness in a games environment
On the Development of Cost Estimation Technique Adopted for Distance Learning System
Training pre-service teachers to use technologies in teaching to students with handicaps, social maladjustments and learning difficulties
Mada Tawasol Symbols & Mobile App
Digital skills as a tool for visually disabled people
An analytical study of research orientations for infographies applications in education
Spectrum allocation algorithms in a cognitive radio system
A deep learning based approach for Arabic Sign language alphabet recognition using electromyographic signals
Instance matching based on discriminative property values
Toward personalization in MOOCs
Toward a new transcription model in XML for Sign Language Processing based on gloss annotation system
Fostering Teachers-Led Open Education in Universities: Recommendations Emerging from Research
TeachInclusive: Building an Inclusive Resource
Teaching programming for blinds: A review