yusuke1997/dblp-id-title huggingface dataset:
Multiple Facets for Dynamic Information Flow with Exceptions
A Method for Specializing Logic Programs
Pointer analysis for structured parallel programs
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
A Distributed Algorithm for Minimum-Weight Spanning Trees
An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs
Proving Liveness Properties of Concurrent Programs
Gradualizing the Calculus of Inductive Constructions
Static validation of XSL transformations
Operational Semantics-Directed Compilers and Machine Architectures
A Flexible Notation for Syntactic Definitions
Lazy Caching
Using Message Passing for Distributed Programming: Proof Rules, Disciplines
A System for Assisting Program Transformation
Type-Safe linking with recursive DLLs and shared libraries
Mechanically verified proof obligations for linearizability
Simplification by Cooperating Decision Procedures
Specification of Abstract Data Types in Modula
A Proof System for Communicating Sequential Processes
Deducing Fairness Properties in UNITY Logic - A New Completeness Result
Verification of a Cryptographic Primitive: SHA-256
Local and Temporal Predicates In Distributed Systems
Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits
Refactoring using type constraints
Linearity and the pi-calculus
DRF x : An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages
Interconnectability of Session-Based Logical Processes
Standard fixpoint iteration for Java bytecode verification
Efficient and Flexible Incremental Parsing
Program locality analysis using reuse distance
A Coroutine Approach to Parsing
Efficient and safe-for-space closure conversion
Type-based analysis of uncaught exceptions
A Brookes-Style Denotational Semantics for Release/Acquire Concurrency
Noncanonical SLR(1) Grammars
Notes on "A Methodology for Implementing Highly Concurrent Data Objects"
Remote Evaluation
Divergence analysis
Conjoining Specifications
Space/Time-Efficient Scheduling and Execution of Parallel Irregular Computations
A Superimposition Control Construct for Distributed Systems
On the Performance of Balanced Hashing Functions When the Keys Are Not Equiprobable
Analysis of modular arithmetic
Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors
The type system for object initializatiion in the Jave bytecode language
A New, Simpler Linear-Time Dominators Algorithm
Erratum to "Efficient constraint propagation engines"
Automatic Program Improvement: Variable Usage Transformations
Efficientlty Computing Phi-Nodes On-The-Fly
Transformational Derivation of a Garbage Collection Algorithm
Locally Least-Cost Error Recovery in Early's Algorithm
Compact Storage of Binary Trees
The Concept of a Supercompiler
An optimization framework for embedded processors with auto-addressing mode
Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems
An indexed model of recursive types for foundational proof-carrying code
Automated termination proofs for haskell by term rewriting
Data Types Are Values
Toward a Complete Transformational Toolkit for Compilers
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy
Verifying Temporal Properties without Temporal Logic
A Simple Interprocedural Register Allocation Algorithm and Its Effectiveness for Lisp
Functions as Passive Constraints in LIFE
A region-based compilation technique for dynamic compilers
Generalizing Specifications for Uniformly Implemented Loops
Floyd-hoare logic for quantum programs
Design, implementation, and evaluation of a compilation server
Distributed Cooperation with Action Systems
'C and tcc: A Language and Compiler for Dynamic Code Generation
From flop to megaflops: Java for technical computing
ECCS and LIPS: Two Languages for OSI Systems Specification and Verification
Class analyses as abstract interpretations of trace semantics
Distributed Algorithms for Finding Centers and Medians in Networks
Immutability and Encapsulation for Sound OO Information Flow Control
Efficient Implementation of Adaptive Software
A global communication optimization technique based on data-flow analysis and linear algebra
Static Caching for Incremental Computation
A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem
I-Structures: Data Structures for Parallel Computing
Automatic derivation of compiler machine descriptions
Cost Analysis of Logic Programs
Program transformation and runtime support for threaded MPI execution on shared-memory machines
A Formal Definition of Priority in CSP
Is Sometimes Ever Better Than Alway?
Nontermination inference of logic programs
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Local type inference
What's Decidable About Causally Consistent Shared Memory?
Probabilistic Predicate Transformers
Slicing Real-Time Programs for Enhanced Schedulability
Detecting bugs in register allocation
Implicit-signal monitors
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
Run-time principals in information-flow type systems
win and sin : Predicate Transformers for Concurrency
Fast Algorithms for Compressed Multimethod Dispatch Table Generation
Mechanizing a theory of program composition for UNITY
Incremental Global Reoptimization of Programs
Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers
The POLYLITH Software Bus
Witnessing side effects
And/Or Programs: A New Approach to Structured Programming
A semantics for advice and dynamic join points in aspect-oriented programming
Cliché-Based Program Editors
A Practical Approach for Model Checking C/C++11 Code
Total Correctness by Local Improvement in the Transformation of Functional Programs
Optimizing Compilation of CLP(R)
Efficient Register Allocation via Coloring Using Clique Separators
Register allocation for software pipelined multidimensional loops
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Linearizability: A Correctness Condition for Concurrent Objects
M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
Generative Communication in Linda
Typing linear constraints
Disjunctive Program Analysis for Algebraic Data Types
On the Construction of Submodule Specifications and Communication Protocols
Constraint-based termination analysis of logic programs
An Axiomatic Approach to Information Flow in Programs
A Methodology for Implementing Highly Concurrent Objects
An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis
On Convergence Toward a Database of Program Transformations
An O(n log n) Unidirectional Algorithm for the Circular Extrema Problem
An Introduction to S/SL: Syntax/Semantic Language
Reply to "Type-Extension Tests Can Be Performed In Constant Time"
Code Generation Using Tree Matching and Dynamic Programming
Reachability analysis of program variables
Fusion-based register allocation
Reasoning About Naming Systems
Some Comments on "A Denotational Semantics for Prolog"
Efficient constraint propagation engines
An efficient on-the-fly cycle collection
The CLP(R) Language and System
Incremental Data-Flow Analysis
Debugging Optimized Code Without Being Misled
The benefits and costs of DyC's run-time optimizations
High-Level Language Implications of the Proposed IEEE Floating-Point Standard
Formal Specification of Graphic Data Types
An Editor for Revision Control
A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications
Automated Classification of Data Races Under Both Strong and Weak Memory Models
A systematic approach to static access control
Allocating architected registers through differential encoding
Nominal logic programming
Compiling Nested Data-Parallel Programs for Shared-Memory Multiprocessors
Equivalence checking of static affine programs using widening to handle recurrences
Type Matching, Type-Graphs, and the Schanuel Conjecture
Editing Data Structures
An Alternative Solution to a Problem on Self-Stabilization
A Short Proof of a Conjecture of DeRemer and Pennello
A Structural View of the Cedar Programming Environment
Optimal Parallel Generation of a Computation Tree Form
BURS Automata Generation
Type-Extension Type Tests Can Be Performed In Constant Time
ThisType for Object-Oriented Languages: From Theory to Practice
An interval constraint system for lattice domains
Unassigned Objects
Kleene Algebra with Tests
Output Guards and Nondeterminism in "Communicating Sequential Processes"
Parlog: Parallel Programming in Logic
ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States
Suspension Analyses for Concurrent Logic Programs
The "Hoare Logic" of CSP, and All That
The VAL Language: Description and Analysis
A Model Parametric Real-Time Logic
Conditional Attribute Grammars
A balanced code placement framework
Structured Communication-Centered Programming for Web Services
Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar Dialects
Remote specialization for efficient embedded operating systems
A relational approach to interprocedural shape analysis
An Efficient Unification Algorithm
The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests
Live-Structure Dataflow Analysis for Prolog
Optimistic register coalescing
Dependency analysis for Standard ML
The undecidability of associativity and commutativity analysis
A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables
Exceptional situations and program reliability
The apprentice challenge
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications
Multilisp: A Language for Concurrent Symbolic Computation
A type discipline for authorization policies
Affine Refinement Types for Secure Distributed Programming
Automatic Data Layout for Distributed-Memory Machines
A Transformation Framework for Optimizing Task-Parallel Programs
A New Analysis of LALR Formalisms
TransformGen: Automating the Maintenance of Structure-Oriented Environments
Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs
Revisiting coroutines
Dynamic Currency Determination in Optimized Programs
Lazy rewriting on eager machinery
Efficient Construction of LR(k) States and Tables
A probabilistic language based on sampling functions
Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC
Sound Non-Statistical Clustering of Static Analysis Alarms
Verifying safety properties of concurrent heap-manipulating programs
Recursion As an Effective Step in Program Development
Empirical study of optimization techniques for massive slicing
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework
An Effective Implementation for the Generalized Input-Output Construct of CSP
An Automatic Technique for Selection of Data Structures in SETL Programs
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications
Fast interprocedural linear two-variable equalities
Optimal Control Dependence Computation and the Roman Chariots Problem
Indirect Distributed Garbage Collection: Handling Object Migration
An Overview of the SR Language and Implementation
Assignment and Procedure Call Proof Rules
A Principled Approach to Selective Context Sensitivity for Pointer Analysis
Correctness Proofs of Communicating Processes: Three Illustrative Examples from the Literature
PolyTOIL: A type-safe polymorphic object-oriented language
Control Flow Aspects of Semantics-Directed Compiling
Time-Constrained Buffer Specifications in CSP+T and Timed CSP
A Model for Implementing Euclid Modules and Prototypes
Data abstraction and information hiding
Intensional analysis of quantified types
Extracting Task-Level Parallelism
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models
Interprocedural pointer alias analysis
A Task- and Data-Parallel Programming Language Based on Shared Objects
Formally Based Profiling for Higher-Order Functional Languages
A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology
Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization
Operator strength reduction
Jam - designing a Java extension with mixins
Efficient and effective branch reordering using profile data
A Layered Approach to Intensional Analysis in Type Theory
Magma2: A Language Oriented toward Experiments in Control
Automatic data and computation decomposition on distributed memory parallel computers
A step towards unifying schedule and storage optimization
Denotational Semantics of a Goal-Directed Language
Typechecking and Modules for Multimethods
Principles and Practice of Unification Factoring
A Methodology for Synthesis of Recursive Functional Programs
Quantified types in an imperative language
Safe-by-default Concurrency for Modern Programming Languages
Decomposing bytecode verification by abstract interpretation
A Mechanism for Environment Integration
Modular Logic Programming
VLSI Layout as Programming
A Syntax-Error-Handling Technique and Its Experimental Analysis
Defining Context-Dependent Syntax Without Using Contexts
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation
TF-Coder: Program Synthesis for Tensor Manipulations
Higher-order Demand-driven Program Analysis
A transformational approach to binary translation of delayed branches
Static Slicing in the Presence of Goto Statements
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs
Probabilistic Relational Reasoning for Differential Privacy
Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories
A provenly correct translation of Fickle into Java
Compact Encodings of List Structure
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism
Contracts for First-Class Classes
Omnisemantics: Smooth Handling of Nondeterminism
Soundness of Hoare's Logic: An Automated Proof Using LCF
Synthesis of fault-tolerant concurrent programs
A Polymorphic Record Calculus and Its Compilation
Parallelizing Nonnumerical Code with Selective Scheduling and Software Pipelining
Analyzing Runtime and Size Complexity of Integer Programs
Saturn: A scalable framework for error detection using Boolean satisfiability
A Note on Median Split Trees
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
An Ad Hoc Approach to the Implementation of Polymorphism
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables
A Worst Case of Circularity Test Algorithms for Attribute Grammars
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
On the usefulness of type and liveness accuracy for garbage collection and leak detection
Cost-Optimal Code Motion
Alma-O: An Imperative Language That Supports Declarative Programming
Static correlated branch prediction
Failure Recovery in Resilient X10
Generic Bidirectional Typing for Dependent Type Theories
MultiJava: Design rationale, compiler implementation, and applications
Sets and constraint logic programming
The Undecidability of Aliasing
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
RustHorn: CHC-based Verification for Rust Programs
Comments on "Communicating Sequential Processes"
Atomicity Refinement for Verified Compilation
Design of a Machine-Independent Optimizing System for Emulator Development
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code
Efficient Demand-Driven Evaluation - Part 1
A Statement-Oriented Approach to Data Abstraction
Composing First-Class Transactions
Graph Translation Schemes to Generate Compiler Parts
Specification and dialogue control of visual interaction through visual rewriting systems
Selective and Locally Controlled Transport of Privileges
Type-based publish/subscribe: Concepts and experiences
Managing Reentrant Structures Using Reference Counts
Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms
A Compiler Approach to Scalable Concurrent-Program Design
Constrained Types and Their Expressiveness
Revisiting Iso-Recursive Subtyping
Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management
Scheduling Expressions on a Pipelined Processor with a Maximal Delay of One Cycle
Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8
An Effective Fusion and Tile Size Model for PolyMage
Trace-Based Network Proof Systems: Expressiveness and Completeness
A schema for interprocedural modification side-effect analysis with pointer aliasing
A Data-Driven Model for a Subset of Logic Programming
Experience with a Software-Defined Machine Architecture
Optimization of Parser Tables for Portable Compilers
Handling Floating-Point Exceptions in Numeric Programs
Computability classes for enforcement mechanisms
SPL: An Extensible Language for Distributed Stream Processing
Inessential Error Entries and Their Use in LR Parser Optimization
Experience with the SETL Optimizer
Independence in CLP languages
Armed Cats: Formal Concurrency Modelling at Arm
Referencing and Retention in Block-Structured Coroutines
Multiple Input Parsing and Lexical Analysis
Efficient logic variables for distributed computing
A framework for the integration of partial evaluation and abstract interpretation of logic programs
Choral: Object-oriented Choreographic Programming
Embedding Continuations in Procedural Objects
Extending Graham-Glanville techniques for optimal code generation
An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints
Certificate translation for optimizing compilers
On exponential-time completeness of the circularity problem for attribute grammars
Sublinear-Space Evaluation Algorithms for Attribute Grammars
Local policies for resource usage analysis
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs
Procedural Implementation of Algebraic Specification
Synthesis of Concurrent Systems with Many Similar Processes
Runtime Complexity Bounds Using Squeezers
Chaining Span-Dependent Jump Instructions
Static Identification of Injection Attacks in Java
Row Replacement Algorithms for Screen Editors
Synchronizing Resources
Strong-separation Logic
The Promotion and Accumulation Strategies in Transformational Programming
Constraint-Based Refactoring
An Ada Package for Dimensional Analysis
Information-Flow and Data-Flow Analysis of while-Programs
On Parsing and Compiling Arithmetic Expressions on Vector Computers
The role of commutativity in constraint propagation algorithms
Generating Editing Environments Based on Relations and Attributes
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG
Resource aware programming
La dolce vita at TOPLAS
LoRe: A Programming Model for Verifiably Safe Local-first Software
The Gold Standard for Assessing Creativity
Technology-Enhanced Learning in Cyber-Physical Systems Embedding Modeling and Simulation
Quality-Assurance Assessment of Learning Outcomes in Mathematics
Gender and Self-Selection Among Engineering Students
An Example of a Successful Inclusion of Teamwork and Web 2.0 Elements in Teaching Practice
Engineers' Abilities Improved Thanks to a Quality WIL Model in Coordination with the Industry for Two Decades
Framework of Competencies for Internationalizing Engineering Curriculum
Problem-Based Learning and Authentic Assessment as an Implementation of Outcomes-Based Education in the Computer Engineering Program of Ateneo de Davao University
Higher and Engineering Education Quality Assurance: Past, Present, and Future
Design for Quality of ICT-Aided Engineering Course Units
Students' Feedback: An Imperative to Enhance Quality of Engineering Education
Leveraging Community-Based Service Learning Experiences into Academic Credit in Engineering Curricula
Design of Assessment Information System for Program Accreditation
The Ranking of Science, Technology and Society (STS) Issues by Students and Physics Teachers in Secondary School, Yemen
Implementation of Online Instructional Technology and Hands-On Skills Training
Problems First, Second, and Third
Developing Conversations: Supporting Learning with a Group Support System
Self-Regulated Learning as the Enabling Environment to Enhance Outcome-Based Education of Undergraduate Engineering Mathematics
Moving Beyond Traditions: Bachelor Thesis Redesign
Evaluating Engineering Students' Perceptions: The Impact of Team-Based Learning Practices in Engineering Education
Developing Mentoring Programs in Engineering and Technology Education
Aligning Engineering Design Education with Accreditation Requirements
Defining, Teaching, and Assessing Engineering Design Skills
Personality Traits of Students of Helping and Non-Helping Professions: Case-Based Reasoning Approach
A Brief History of Networked Classrooms to 2013: Effects, Cases, Pedagogy, and Implications with New Developments
Engineering Professional Development Related to Sustainability of Quality
Enhancing Engineering Education Learning Outcomes Using Project-Based Learning: A Case Study
Evaluation of Students' Satisfaction with Instructional Facilitation of a Technology Management Programme
Teaching with a Tablet PC
Effectiveness of Problem-Based Learning Implementation
Proposing a Feedback System to Enhance Learning Based on Key Performance Indicators
The Relationship between Remediation and Degree Completion for Engineering and Technology Students
Peer Evaluation of Master Programs: Closing the Quality Circle of the CDIO Approach?
Students' Expectations About Their Grades Versus Course Expectations From Them: Will the Mismatch Ensure Quality Education?
Experience Teaching Introductory Programming Courses
Engineering Education and Attitudes Toward Mathematics: A Comparative Study
Improving Quality Assurance with CDIO Self-Evaluation: Experiences From a Nordic Project
Mapping the Relationship Between the CDIO Syllabus and the CEAB Graduate Attributes: An Update
Conducting an Effective Residential School for an Undergraduate Materials Science and Engineering Course
Defining Knowledge Constituents and Contents
Strategies to Remove Barriers and Increase Motivation to Use the Tablet PC in Formative Assessment
Quality Accreditation System for Indian Engineering Education Using Knowledge Management and System Dynamics
Portfolio Assessment in Engineering: Student Perspectives on Effective Implementation
Development of Virtual Reality Tool for Creative Learning in Architectural Education
CDIO as an Enabler for Graduate Attributes Assessment: A Canadian Case Study
Addressing the Politics of Accreditation in Engineering Education: The Benefits of Soft Systems Thinking
Project/Problem Based Learning in the Field of Materials, Food, and Chemical Engineering at Helsinki Metropolia University of Applied Sciences
Developing Engineering Students' Communication and Information Retrieval Skills Utilizing Capstone Projects
Architecting the CDIO Educational Framework Pursuant to Constructive Alignment Principles
Hubble's Expanding Universe: a Model for Quality in Technology Infused engineering and Technology Education
Development of "Real World" Project Skills for Engineering Students
Mobility of Engineering and Technology Professionals and Its Impact on the Quality of Engineering and Technology Education: The Case of Chinhoyi University of Technology, Zimbabwe