yusuke1997/dblp-id-title huggingface dataset:
The Ecce and Logen partial evaluators and their web interfaces
A constraint language for static semantic analysis based on scope graphs
Specialization for applications using shared libraries
Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References
Towards bridging the gap between programming languages and partial evaluation
An approach to generate text-based IDEs for syntax completion based on syntax specification
Detecting Static Algorithms by Partial Evaluation
A Type Specialisation Tutorial
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity
Typing as functional-logic evaluation
Component specialization
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects
Fast partial evaluation of pattern matching in strings
Predicting resource consumption of higher-order workflows
Incremental Computation: What Is the Essence? (Invited Contribution)
Toward the Partial Evaluation of CLP Languages
StagedSAC: a case study in performance-oriented DSL development
Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks
Intermediate-representation recovery from low-level code
Static elaboration of recursion for concurrent software
Polyvariant Constructor Specialisation
Compiling Inheritance using Partial Evaluation
Reduction from branching-time property verification of higher-order programs to HFL validity checking
Securing web applications with static and dynamic information flow tracking
A disciplined approach to aspect composition
Method name suggestion with hierarchical attention networks
A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis
Context-sensitive analysis of obfuscated x86 executables
Completeness and predicate-based abstract interpretation
Towards typing for small-step direct reflection
C++ Templates as Partial Evaluation
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines
Binding-Time Analysis for Standard ML
Partial Evaluation of Hardware
Binding Time Analysis: A New PERspective
Programming with singular and plural non-deterministic functions
Globalization and Live Variables
Analysing Resource Use in the Lambda Calculus by Type Inference
A Safety Analysis for Functional Programs
Compiling real time functional reactive programming
Automating branch-and-bound for dynamic programs
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015
Compiling the Polymorphic Lambda-Calculus
Partial evaluation of the reversible language janus
Improving Abstract Interpretations by Combining Domains
Slicing and partial evaluation of CORBA component model designs for avionics system
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003
A text-based syntax completion method using LR parsing
Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2026, Rennes, France, January 11-17, 2026
Invited application paper: a proposal for the specialization of HA/DRE systems
Compiling math to fast code
Making "stricterness" more relevant
Translation and optimization for a core calculus with exceptions
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop
Lessons from a web-based IDE and runtime
Streams that compose using macros that oblige
Generic framework for integration of programming languages into netbeans ide
Using indexed data structures for program specialization
Dependent tagless final
PET: a partial evaluation-based test case generation tool for Java bytecode
A semantics for lazy assertions
Shape Analysis as a Generalized Path Problem
Bridging the gap between symbolic and efficient AES implementations
Online partial evaluation for shift and reset
A Programming Environment for Binding-time Based Partial Evaluators
A3PAT, an approach for certified automated termination proofs
Staged compilation
Calculating Sized Types
Core role-based access control: efficient implementations by transformations
Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract)
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability
Semi-inversion of functional parameters
Mechanical verification of refactorings
A meta-circular language for active libraries
Well-typed narrowing with extra variables in functional-logic programming
Clone detection and elimination for Haskell
Advanced Logic Program Specialisation
Developments in property-based testing (invited talk)
Partial Evaluation of Numerical Programs in Fortran
Taming code explosion in supercompilation
Safe Concurrency Introduction through Slicing
Representation-based just-in-time specialization and the psyco prototype for python
SWIN: Towards Type-Safe Java Program Adaptation between APIs
Aspects of the PGG System: Specialization for Standard Scheme
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)
Distillation with labelled transition systems
O, partial evaluator, where art thou?
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems
Staging Transformations for Abstract Machines
Prescriptive Frameworks for Multi-Level Lambda-Calculi
Identifying Profitable Specialization in Object-Oriented Languages
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
Specification and verification of meta-programs
Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation
The Correctness of an Optimized Code Generation
Deriving interpretations of the gradually-typed lambda calculus
Ideas for connecting inductive program synthesis and bidirectionalization
Traceability and evidence of correctness of EDSL abstractions
Polymorphic Strictness Analysis using Frontiers
Dynamic slicing based on redex trails
Greening The Network Using Traffic Prediction and Link Rate Adaptation
The Impact of Inter-Virtual Machine Traffic on Energy Efficient Virtual Machines Placement
A Testbed for Adaptive Microphones in Ultra-Low-Power Systems
Power Consumption and Delay in Wired Parts of Fog Computing Networks
Considering the temporal variability of power generation in the assessment of ICT emissions: presentation of the IEEE 1922.2 standard draft
ALTM: Adaptive learning-based thermal model for temperature predictions in data centers
A new routing metric for real-time applications in smart cities
Environmental Assessment of Fluctuating Residential Electricity Demand
Energy Efficient Bike-Share Tracking System with BLE Beacons and LoRa Technology
IEEE Sustainability through ICT Summit, StICT 2019, Montréal, QC, Canada, June 18-19, 2019
Toward Predictive Handover Mechanism in Software-Defined Enterprise Wi-Fi Networks
PMU Placement for Maximal Power System Observability Using Topology Transformation
PReS: Power Peak Reduction by Real-time Scheduling for Urban Railway Transit
First International Workshop on Concurrent Constraint Programming, CCP 1995, Cà Dolfin, Venice, Italy, May 29-31, 1995
Concurrent Constraint Programming with Information Removal
GOFFIN: Higher-Order Functions Meet Concurrent Constraints
Tuning Constraint-Based Communication in Distributed Problem Solving
DF Constraint System
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
cc(M), a kernel implementing cc languages
A Distributed Arc-Consistency Algorithm
Constraints for Free in Concurrent Computing
Partial Evaluation of AKL
Data Alignment and Task Scheduling on Parallel Machines Using Concurrent Model-based Programming
The DelPhi Multiprocessor Inference Machine
Construction of CLP Programs
Logic, Language and the Quest for Intelligence
Accessing Relational and NF2 Databases Through Database Set Predicates
SEL Compiler & Abstract Analyzers
Can Filters do Magic for Deductive Databases?
Term-Encodable Description Spaces
An Amalgamated Temporal Logic
Time Representation in Prolog Circuit Modelling
Using Algebraic Semantics for Proving Prolog termination and Transformation
An Introduction to Gödel
The Wivenhoe Computational Model: In Search of More Parallelisms
A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming
Logic Programming - Expanding the Horizons, Papers from the first ALPUK, London, 1989
Deriving Answers to Logical Queries Via Answer Composition
Using Prolog to Animate Mathematics
On the Semantics of Concurrent Constraint Programming
Modularity for Logic Programs
Logic Programming via Proof-valued Computations
ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992
Extending the Integrity Maintenance Capability in Deductive Databases
Orn Clause Logic 1992
Rewriting Concepts in the Study of Termination of Logic Programs
Distributed Logic Programming
Disciplined Exceptions in Logic Programming
A Simple Prolog Techniques Editor for Novice Users
From A Hilbert Calculus to its Model Theoretic Semantics
Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems
A General Computational Scheme for Constraint Logic Programming
A Model for OR-Parallel Prolog Execution using Graph Reduction
The Predicate consult/1 - A Problem in Prolog Standardisation
Metalevel and Constraint Technology in a Pure Logic Language
Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers
Some Control Engineering Applications of Prolog
Metric Characterizations of Contextual Logic Programs
GAP: An Exercise in Model Oriented Programming
Parallel Logic Programming in Strand: A Tutorial
Speculative Computation and Priorities in Concurrent Logic Languages
L2||O2: Operational and Declarative Semantics
An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs
Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990
Soft Sorting in Logic Programming
Event Abstraction Debuggers for Layered Systems in Prolog
Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991
How to make teaching materials gender sensitive: an example from the human-computer interaction at the university of applied sciences emden/leer
Cognitive walkthrough of a learning management system with gendered personas
Gender-specific attitudes and competences of young professionals in the context of digitalization
'Digital me': best practice example for a gender sensitive offer to foster young women's interest in IT-jobs
Gender influences on school students' mental models of computer science: a quantitative rich picture analysis with sixth graders
Culturally Responsive Making with American Indian Girls: Bridging the Identity Gap in Crafting and Computing with Electronic Textiles
Social actions in MMORPG raiding groups from the perspective of culture-inclusive action theory
Making IT work: integrating gender research in computing through a process model
IT-driven transcriptions: about gender and ethically relevant usage of speech and metaphors in computing and IT
Video Games and the Customization of Learning: Interactive Narratives as a Promising Design Framework for Crafting Inclusive Educational Environments
Computational making, binary gender and LEGO
Lessons Learned With Girls, Games, and Design
Queering (meta)data ontologies
Bridging (Gender-Related) Barriers: A comparative study of intercultural computer clubs
Impacts of female doctoral researchers from China and India on the 'masculinized' disciplinary culture of german computer science
Building an online community of care: Tumblr use by transgender individuals
Gendering marteloscopes: digitalization of gender-knowledge in STEM
Gender-specific motivation and expectations toward computer science
Virtual reality or virtuous reality?: how gender stereotypes limit access to virtual reality
Game Design: Whose game works at the end of the day?
Gender audit: linguistic approach to gender stereotypes in online communication
Gender Analysis of a Large Scale Survey of Middle Grades Students' Conceptions of Computer Science Education
Gender sensitive design of e-learning applications: online-education in gender competences
'It's your period and therefore it has to be pink and you are a girl': users' experiences of (de-)gendered menstrual app design
The critical transformative room "elite sport" as phenomenon
Reinforcing gender equality by analysing female teenagers' performances in coding activities: a lesson learned
Proceedings of the 4th Conference on Gender & IT, GenderIT 2018, Heilbronn, Germany, May 14-15, 2018
Does Gender Matter? Women Talk about Being Female in College Computing Classes
"A nice brain teaser"
Gender-perspectives in practice-based computing
Biological sex vs. psychological gender-roles in online channel choices: evidence from two studies in the financial services industry
Find the right role: specialist vs. management career - individual career coaching for IT specialists
Putting the gender back in digital housekeeping
Deconstructing sociotechnical identity in maker cultures
Sexism in remote collaboration in student teams
Gendered Barriers to Participation in Gaming Culture
What's in a name?: an online survey on gender stereotyping of humanoid social robots
Who Are You? We Really Wanna Know... Especially If You Think You're Like a Computer Scientist
Hands-on participatory and interdisciplinary design in computer science: an example
Study decisions, entrance and academic success of women and men in STEM
Digital training in tech: a matter of gender?
Challenges and lessons learned by applying living labs in gender and IT contexts
What is your "formal" name?: situational usage of surnames in Japanese social life
From beliefs to intention: mentoring as an approach to motivate female high school students to enrol in computer science studies
Programming in secondary schools in Norway: a wasted opportunity for inclusion
Encouraging Women to Become CS Teachers
Proceedings of the Third Conference on GenderIT, GenderIT 2015, Philadelphia, PA, USA, April 24, 2015
Research-based gender competences as a professional skill in STEM exemplified by the "fix-IT. fixing IT for women" project
The @work experience framework: a guide for retaining women in technology
Agile redesign of student projects in a women-only degree course
How many story points for diversity?: estimation as a chance for diversity reflexion
To whom does the driver's seat belong in the future?: a case of negotiation between gender studies and automotive engineering
Strengthening the self- and external perceptions of young women STEM professionals (YWSP) during career entry and advancement: a research project
Girls Learning Computer Science Principles with After School Games
Proposal for 4.5 dimensional design via product models and expert system
Conceptual designing as a sequence of situated acts
Applying quantitative constraint satisfaction in preliminary design
On theoretical backgrounds of CAD
An investigation into the integration of neural networks with the structured genetic algorithm to aid conceptual design
Integration of expert systems in a structural design office
Using knowledge nodes for knowledge discovery and collaboration
Knowledge discovery from multimedia case libraries
Case-based design process facilitating collaboration and information evolution
AI methods in concurrent engineering
CAD modelling in multidisciplinary design domains
Software agent techniques in design
Heating system design support
Internet-based web-mediated collaborative design and learning environment
Structural Monitoring: Decision-Support through Multiple Data Interpretations
Knowledge-based assistants in collaborative engineering
A family of software components to deliver solutionf for the interpretation of monitoring data
Shared experiences: Management of experiential knowledge in the building industry
Teaching knowledge engineering: Experiences
Collaborative desktop engineering
Integrating virtual reality and telepresence to remotely monitor construction sites: A ViRTUE project
Augmented Reality Applications to Structural Monitoring
Articulate design of free-form structures
Structural monitoring of civil structures using vibration measurement - current practice and future
Artificial Intelligence in Structural Engineering, Information Technology for Design, Collaboration, Maintenance, and Monitoring
A collaborative negotiation methodology for large scale civil engineering and architectural projects
Agents in computer-assisted collaborative design
Design support for viaducts
Customisable knowledge bases for conceptual design
Some personal experience in computer aided engineering research
A new collaborative design environment for engineers and architects
Towards personalized structural engineering tools
A product information system based on dynamic classification
Finding the right model for bridge diagnosis
Design and verification of real-time systems
Intelligent Structures: A New Direction in Structural Control
Object-oriented software patterns for engineering design standards processing
Formalizing product model transformations: Case Examples and applications
Dam safety: Improving management
Analysis and design of the as-built model
Converting function into object
Wearable computers for field inspectors: Delivering data and knowledge-based support in the field
Complex systems: Why do they need to evolve and how can evolution be supported
Mathematical modeling of nonlinearity impairments in optical OFDM communication systems using multiple optical phase conjugate
Cooperative Abnormality Detection in Fluidic Medium Molecular Communication
Hypothesis testing approach to privacy of smart meters with reliability constraints
Performance Analysis of All-Optical Multi-Hop FSO System over Gamma-Gamma Fading Channel
Random coding bound for E-capacity region of the relay channel with confidential messages
One-level LDPC lattice codes for the relay channels
An application of a wringing lemma to the multiple access channel with cooperative encoders
A new general inner bound for multiple-access relay channel with non-causal side information at one encoder and common message
Mining DNA sequences based on spatially coded technique using spatial light modulator
From source model to quantum key distillation: An improved upper bound
Private function retrieval
Private Shotgun DNA Sequencing: A Structured Approach
12th Iran Workshop on Communication and Information Theory, IWCIT 2024, Tehran, Iran, May 1-2, 2024
Intelligent Reflecting Surfaces for Compute-and-Forward
Type based sign modulation for molecular communication
Bounds on compressed voice channel capacity
10th Iran Workshop on Communication and Information Theory, IWCIT 2022, Iran, May 11-12, 2022
Minimum free distance of CCSDS turbo encoders under (Truncated) Möbius interleavers
Iran Workshop on Communication and Information Theory, IWCIT 2021, Tehran, Iran, May 19-20, 2021
Statistical characterization of the output of nonlinear power-cubic detection unit for ultrashort light pulse communication in the presence of Gaussian noise
Finite-SNR diversity-multiplexing tradeoff of linear dispersion coded MISO systems
Network delay analysis of a (¿, ¿) ¿ Regular traffic stream over multiple paths in a network of fair-queuing servers
Towards optimization of toeplitz matrices for compressed sensing
Power management policies for slowly varying Bernoulli energy harvesting channels
Circulant matrix representation of PN-sequences with ideal autocorrelation property
Dynamic index coding gain over a complete bi-directional side information graph
Information theoretic limits of learning of the causal features in a linear model
Maximum-weight scheduling with hierarchical modulation
Perfect interference alignment utilizing channel structure
Deep CSI Compression in Wireless Networks: Exploiting Data Heterogeneity for User Clustering
A New Probabilistic Constellation Shaping Scheme for APSK Modulation
Phase retrieval of sparse L-ary signals from magnitudes of their Fourier transform
The Impact of Distribution Uncertainty on The Average Distortion in a Block Fading Channel
State-dependent multiple access relay channel with cooperating transmitters
Limited-Sharing Multi-Party Computation With Reduced Recovery Threshold
Optimal power and rate allocation in the degraded Gaussian relay channel with energy harvesting nodes
Wyner-Ziv source coding with feedback and uncertain side information
On dimension bounds for quantum systems
The Statistical Dictionary-Based String Matching Problem
Outage Performance in Secure Cooperative NOMA
Outage analysis of uplink open access two-tier networks
Extending Partial Differential Private Mechanisms via Linear Programming
Iran Workshop on Communication and Information Theory, IWCIT 2013, Tehran, Iran, May 8-9, 2013
Physical layer network coding in molecular two-way relay networks
On the implemetation aspects of adaptive power control algorithms in free-space optical communications
On Körner-Marton's sum modulo two problem
Multipartite monotones for secure sampling by public discussion from noisy correlations
The fast fading Z cognitive interference channel
Sensitivity of the secrecy capacity of a wiretap channel to the channel gains with imperfect channel information
New Inner Bounds for the Gaussian Interference Channel with a Cognitive Relay
Adaptive Back-Off and Retransmission Strategies for Efficient and Scalable Preamble Allocation in 5G Nr Critical Mmtc
Iterative block-sparse recovery method for distributed MIMO radar
Performance analysis of network coding-based content delivery in dual interface cellular networks
13th Iran Workshop on Communication and Information Theory, IWCIT 2025, Tehran, Iran, May 6-8, 2025
Coded Secure Multi-Party Computation for Massive Matrices with Adversarial Nodes
A new robust correntropy based Levenberg-Marquardt algorithm
Query Age of Information Analysis in STAR-RIS-Assisted PQ and QAPA Systems
An iterative bit flipping based decoding algorithm for LDPC codes
Degrees of freedom in a three-user cognitive interference channel
Efficiency and Crosstalk in Demultiplexing Orbital Angular Momentum Modes using a Geometrical Transformation-based Mode Sorter
Statistical distribution of intensity fluctuations for underwater wireless optical channels in the presence of air bubbles
Cost-Optimized Quantum Communication Networks: The Crucial Role of Trusted Node Placement in Multi-Band and Multi-Fiber Realms
The Information & Mutual Information Ratio for Counting Image Features and Their Matches
Radio resource allocation for physical-layer security in OFDMA based HetNets with unknown mode of adversary
Age of Information in Symmetric Broadcast Networks with Stochastic Packet Arrivals
Adaptive resource allocation for the fading interference channel with source cooperation
On the performance of polar codes for lossy compression of Gaussian sources
Wiretap channel with strictly causal side information at encoder
An online transmission policy for energy harvesting systems with data traffic arrival
A novel approach to mathematical multiple criteria decision making methods based on information theoretic measures
On secure degrees of freedom for three-user MISO broadcast channel with three messages
Perfect secrecy via compressed sensing
Delayed data offloading based on full-duplex D2D communications in a cellular network