yusuke1997/dblp-id-title huggingface dataset:
Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings
Blind Optimization for Exploiting Hardware Features
Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
Valence: variable length calling context encoding
Finding missed compiler optimizations by differential testing
Optimal Register Allocation in Polynomial Time
Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality
Static deadlock detection for concurrent go by global session graph synthesis
SYCO: a systematic testing tool for concurrent objects
Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR
Data-aware process networks
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode
VLIW Compilation Techniques for Superscalar Architectures
Extended Linear Scan: An Alternate Foundation for Global Register Allocation
SYS/3 - A Software Development Tool
Developing a Foundation for Code Optimization
Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms
A Programmable ANSI C Transformation Engine
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
Evaluation of Algorithms for Local Register Allocation
MLIR-based code generation for GPU tensor cores
CoSense: Compiler Optimizations using Sensor Technical Specifications
Inside VOLT: Designing an Open-Source GPU Compiler (Tool)
Analyzing Direct Non-local Dependencies in Attribute Grammars
Tree-affix dendrogrammars for languages and compilers
Region-Based Partial Dead Code Elimination on Predicated Code
An implementation of affix grammars
Proceedings of the 28th International Conference on Compiler Construction, CC 2019, Washington, DC, USA, February 16-17, 2019
Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Developing Efficient Interpreters Based on Formal Language Specifications
Compiler-Based Memory Encryption for Machine Learning on Commodity Low-Power Devices
Towards a Multilingual Natural Language Understanding Interface (Extended Abstract)
An Incremental Points-to Analysis with CFL-Reachability
Implementation Issues of Loop-Level Speculative Run-Time Parallelization
Age-Oriented Concurrent Garbage Collection
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator
Local Stack Allocation
A Comparison of Modulo Scheduling Techniques for Software Pipelining
Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers
SSA-Based Register Allocation with PBQP
Rie and Jun: Towards the Generation of all Compiler Phases
Widening Integer Arithmetic
Compiler Support for Speculation in Decoupled Access/Execute Architectures
Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis
Keep Off the Grass: Locking the Right Path for Atomicity
Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks
Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
PAGODE: A Back End Generator Using Attribute Abstract Syntaxes and Term Rewritings
Seamless deductive inference via macros
PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language
Biotite: A High-Performance Static Binary Translator using Source-Level Information
Integrating the Soot Compiler Infrastructure into an IDE
Automatic C-to-CUDA Code Generation for Affine Programs
Secure Scripting with CHERIoT MicroPython
pyATF: Constraint-Based Auto-Tuning in Python
Precision in Practice: A Type-Preserving Java Compiler
Polyglot: An Extensible Compiler Framework for Java
Strategies for Predicate-Aware Register Allocation
Shape Analysis
How to CPS Transform a Monad
Generalized Constant Propagation: A Study in C
A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System
Optimization space pruning without regrets
Linker Code Size Optimization for Native Mobile Applications
Efficient and Effective Handling of Exceptions in Java Points-to Analysis
Forwarding in Attribute Grammars for Modular Language Design
Performant portable OpenMP
Interprocedural Shape Analysis for Recursive Programs
Code Generation for a RISC Machine
MATE - A Metasystem with Concurrent Attribute Evaluation (Abstract)
Enabling prefix sum parallelism pattern for recurrences with principled function reconstruction
Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
One-shot tuner for deep learning compilers
Efficient profile-guided size optimization for native mobile applications
Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations
A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs
Scheduling Instructions by Direct Placement
Efficient Symbolic Analysis for Optimizing Compilers
The LDL - Language Development Laboratory
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Array Unification: A Locality Optimization Technique
Scheduling Tasks to Maximize Usage of Aggregate Variables in Place
Compiler Implementation of ADTs Using Profile Data
Computer-Aided Building of a Compiler: An Example (Abstract)
Data Structure Free Compilation
Floating Point to Fixed Point Conversion of C Code
How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation
A constructive approach to compiler correctness
The CGiS Compiler-A Tool Demonstration
Finding Missed Code Size Optimizations in Compilers using Large Language Models
Region-Based Data Layout via Data Reuse Analysis
Java Vector API: Benchmarking and Performance Analysis
Cape: compiler-aided program transformation for HTM-based cache side-channel defense
A Short Review of High Speed Compilation
Using Inter-Procedural Side-Effect Information in JIT Optimizations
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?
Action Transformations in the ACTRESS Compiler Generator
Liveness-Based Garbage Collection
Automatically harnessing sparse acceleration
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization
Structuring Decompiled Graphs
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences
An Extended Static Checker for Modular-3
Challenges in Code Optimization of Parallel Programs
On the computation of interprocedural weak control closure
Practical MHP Analysis for Java
Subregion Analysis and Bounds Check Elimination for High Level Arrays
A Representation for Bit Section Based Analysis and Optimization
Using Prefetching to Improve Reference-Counting Garbage Collectors
Towards a Scalable Framework for Context-Free Language Reachability
Compiling Nested Loops for Limited Connectivity VLIWs
Rule splitting and attribute-directed parsing
Parallel Replication-Based Points-To Analysis
Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Elkhound: A Fast, Practical GLR Parser Generator
Data-Flow Analysis as Model Checking Within the jABC
A System for Generating Static Analyzers for Machine Instructions
HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance
Using category theory to design implicit conversions and generic operators
StreamIt: A Language for Streaming Applications
Data Dependence Profiling for Speculative Optimizations
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL
Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis
A Practical Approach to the Symbolic Debugging of Parallelized Code
Caviar: an e-graph based TRS for automatic code optimization
A New Method for Program Inversion
Data structure-aware heap partitioning
Portable Debugging and Profiling
XML Goes Native: Run-Time Representations for Xtatic
A modern compiler for the French tax code
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming
Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract)
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes
Reducing the Cost of Object Boxing
SSA Elimination after Register Allocation
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
Efficient State-Diagram Construction Methods for Software Pipelining
Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
Incremental Algorithms in Prof-LP
Coqa: Concurrent Objects with Quantized Atomicity
Faster Generalized LR Parsing
Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End
Nsight Python: A Python-First Profiling Toolkit for Seamless GPU Kernel Analysis (Tool)
Optimizing Directly Executable LR Parsers
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees
Efficient dynamic analysis for Node.js
Actress: An Action Semantics Directed Compiler Generator
Integrating Generations with Advanced Reference Counting Garbage Collectors
A Fast Cutting-Plane Algorithm for Optimal Coalescing
Actor-Based Parallel Dataflow Analysis
Tool Support for Language Design and Prototyping with Montages
Termination checking and task decomposition for task-based intermittent programs
Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Linear Scan Register Allocation in the Context of SSA Form and Register Constraints
Static Detection of Unsafe Component Loadings
On the formal definition of ADA
Bitwidth customization in image processing pipelines using interval analysis and SMT solvers
UNIFICO: Thread Migration in Heterogeneous-ISA CPUs without State Transformation
The Verifying Compiler: A Grand Challenge for Computing Research
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures
Precise Exception Semantics in Dynamic Compilation
MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL
The Implementation of ObjectMath - a High-Level Programming Environment for Scientific Computing
A Unified Memory Dependency Framework for Speculative High-Level Synthesis
A Graphical Model for Context-Free Grammar Parsing
Attribute-Directed Top-Down Parsing
Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective
Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017
Non-monotone Fixpoint Iterations to Resolve Second Order Effects
JPure: A Modular Purity System for Java
Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity
Imperative Program Transformation by Rewriting
Automatic adaptive approximation for stencil computations
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages
Dynamic Elimination of Overflow Tests in a Trace Compiler
Register Allocation by Optimal Graph Coloring
Program Refactoring, Program Synthesis, and Model-Driven Development
GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers
Kindergarten cop: dynamic nursery resizing for GHC
Data Slicing: Separating the Heap into Independent Regions
Register Spilling and Live-Range Splitting for SSA-Form Programs
Property caches revisited
Parsing C/C++ Code without Pre-processing
Removing Anti Dependences by Repairing
Context-Sensitive Points-to Analysis: Is It Worth It?
Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling
An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures
PAYJIT: space-optimal JIT compilation and its practical implementation
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
GC-Safe Interprocedural Unboxing
Challenges and Oppurtunities Visual Programming Languages Bring to Programming Language Research
Helper function inlining in dynamic binary translation
On fusing recursive traversals of K-d trees
Register Saturation in Superscalar and VLIW Codes
Lightning BOLT: powerful, fast, and scalable binary optimization
Compiling Flang
A Deep Learning Model for Loop Interchange
Compiler Compilers and High Speed Compilation, 2nd CCHSC Workshop, Berlin GDR, October 10-14, 1988, Proceedings
The Polyhedral Model Is More Widely Applicable Than You Think
Register Pressure Sensitive Redundancy Elimination
Generalized Index-Set Splitting
Instruction Scheduling for Complex Pipelines
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs
Control Flow Emulation on Tiled SIMD Architectures
Probabilistic Points-to Analysis for Java
Using Partial Evaluation in Support of Portability, Reusability, and Maintainability
Functional Incremental Attribute Evaluation
On Interprocedural Data Flow Analysis for Object Oriented Languages
Disambiguation Filters for Scannerless Generalized LR Parsers
A Declarative Framework for Analysis and Optimization
A Practical, Robust Method for Generating Variable Range Tables
The Interprocedural Coincidence Theorem
Vectorization-aware loop unrolling with seed forwarding
Register Allocation for Compressed ISAs in LLVM
A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers
Mechanizing conventional SSA for a verified destruction with coalescing
Codestitcher: inter-procedural basic block layout optimization
Constant-Time Root Scanning for Deterministic Garbage Collection
Flow Grammars - a Flow Analysis Methodology
Relaxed dependence tracking for parallel runtime support
Polyhedral expression propagation
If-Convert as Early as You Must
Relaxing the one definition rule in interpreted C++
YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs
Improving Data Locality by Chunking
Secure delivery of program properties through optimizing compilation
Attributed Tree Transformations with Delayed and Smart Re-Evaluation
On LR Parsing with Selective Delays
A Framework for Loop Distribution on Limited On-Chip Memory Processors
Experimental Comparison of call string and functional Approaches to Interprocedural Analysis
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis
Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience
Building an Interpreter with Vmgen
Generalised Parsing: Some Costs
Static optimization in PHP 7
Constant Propagation on the Value Graph: Simple Constants and Beyond
Compiler Construction - 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
Input space splitting for OpenCL
JReq: Database Queries in Imperative Languages
Compiling Discrete Probabilistic Programs for Vectorized Exact Inference
A Code Motion Framework for Global Instruction Scheduling
Testing Completeness of Code Selector Specifications
A First Step towards a Compiler for Business Processes
Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Debugging Eli-Generated Compilers With Noosa
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies
Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, CC 2026, Sydney, NSW, Australia, 31 January 2026 - 1 February 2026
From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme
Using Multiple Memory Access Instructions for Reducing Code Size
Generalised Regular Parsers
Visualization of Program Dependence Graphs
Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors
Extended lattice-based memory allocation
Enhanced Bitwidth-Aware Register Allocation
A Hotspot-Driven Semi-automated Competitive Analysis Framework for Identifying Compiler Key Optimizations
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors
An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas
Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction
Increasing the Applicability of Scalar Replacement
A Compiler Generator for Attributive Evaluation During LR Parsing
Obfuscating Java: The Most Pain for the Least Gain
DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler
Hob: A Tool for Verifying Data Structure Consistency
Computing partially path-sensitive MFP solutions in data flow analyses
Provably Correct Compiler Development and Implementation
Improving database query performance with automatic fusion
Address Register Assignment for Reducing Code Size
Modular Static Program Analysis
TinyGen: Portable and Compact Code Generation for Tiny Machine Learning
Post-Link Outlining for Code Size Reduction
Code Generation = A* + BURS
Parallel sparse flow-sensitive points-to analysis
Integrated Graphics Environment to Develop Applications Based on Attribute Grammars
SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks
FFT Compiler Techniques
Software pre-execution for irregular memory accesses in the HBM era
Implementation and Use of Transactional Memory with Dynamic Separation
On defining semantics by means of extended attribute grammars
Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes
Aggressive Loop Unrolling in a Retargetable Optimizing Compiler
Static detection of energy defect patterns in Android applications
Interprocedural Dataflow Analysis in the Presence of Large Libraries
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation
Verification of Source Code Transformations by Program Equivalence Checking
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model
CPerfSmith: A Randomized C Program Generator for Performance-Oriented Compiler Testing
Compiler Compilers, Third International Workshop on Compiler Construction, CC'90, Schwerin, Germany, October 22-26, 1990, Proceedings
Simple Generation of Static Single-Assignment Form
Mining Opportunities for Code Improvement in a Just-In-Time Compiler
Another Solution of Scoping Problems in Symbol Tables
Compiler Construction by Object-Oriented System Nut
Let it recover: multiparty protocol-induced recovery
Issues in Translating Smalltalk into Java
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling
A polynomial time exact solution to the bit-aware register binding problem
SVF: interprocedural static value-flow analysis in LLVM
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation
Compiler Construction: Craftmanship or Engineering?
Thread-level speculation with kernel support
Compiler Construction - 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Comparing Software Pipelining for an Operation-Triggered and a Tarnsport-Triggered Architecture
Low-cost deterministic C++ exceptions for embedded systems
Semantic definitions in REFAL and the automatic production of compilers
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler
A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction
Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC
Torchy: A Tracing JIT Compiler for PyTorch
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language
Faster, Practical GLL Parsing
QSSA: an SSA-based IR for Quantum computing
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules
Fast and flexible instruction selection with constraints
A Hybrid Top-Down Parsing Technique (Abstract)
One-Pass, Optimal Tree Parsing - With Or Without Trees
Accurately Choosing Execution Runs for Software Fault Localization
Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork
CodeSurfer/x86-A Platform for Analyzing x86 Executables
An LSTM Framework for the Effective Screening of Dementia for Deployment on Edge Devices
Securing Hybrid Wireless Body Area Networks (HyWBAN): Advancements in Semantic Communications and Jamming Techniques
A Mobile Application Can Be Used as an Alternative to the Traditional Preparation Method for Parents in Pediatric Day Surgery: A Randomized Controlled Trial
Factors Affecting Marginalized Older Peoples' Digital Exclusion Evaluated by Gerontological Social Work Professionals
Digital Twins for Development of Microwave-Based Brain Tumor Detection
Near-Infrared Spectroscopic Study Towards Clinical Radiotherapy Treatment Monitoring
A Distributed Framework for Remote Multimodal Biosignal Acquisition and Analysis
Inter- and Intra-Day Precision of a Low-Cost and Wearable Bioelectrical Impedance Analysis Device
Using Machine Learning Methods to Predict the Lactate Trend of Sepsis Patients in the ICU
Enhancing Independent Auditory and Speechreading Training - Two Finnish Free Mobile Applications Constructed for Deaf and Hard of Hearing Children and Adults
Adaptive Security in 6G for Sustainable Healthcare
Study on Fat as the Propagation Medium in Optical-Based In-Body Communications
Digital Health and Wireless Solutions - First Nordic Conference, NCDHWS 2024, Oulu, Finland, May 7-8, 2024, Proceedings, Part II
Older Adults' Emotional User Experiences with Digital Health Services
The Viewpoint of Informal Carers of People with Multiple Sclerosis in Digital Health Research: A Scoping Review
Influence of Arterial Vessel Diameter and Blood Viscosity on PTT in Pulsatile Flow Model
Expert Perspectives on Future 6G-Enabled Hospital Metaverse
Experimental Study of In-Body Devices Misalignment Impact on Light-Based In-Body Communications
Dual-Perspective Modeling of Patient Pathways: A Case Study on Kidney Cancer
Decentralized Pub/Sub Architecture for Real-Time Remote Patient Monitoring: A Feasibility Study
Real-Time Gait Anomaly Detection Using 1D-CNN and LSTM
The Role of Digital Care Pathway for Epilepsy on Patients' Treatment Burden: Clinicians' Perspective
Digital Health and Wireless Solutions - First Nordic Conference, NCDHWS 2024, Oulu, Finland, May 7-8, 2024, Proceedings, Part I
Preliminary Studies on mm-Wave Radar for Vital Sign Monitoring of Driver in Vehicular Environment
Exploring and Extending Human-Centered Design to Develop AI-Enabled Wellbeing Technology in Healthcare
Wearable Motion Sensors in the Detection of ADHD: A Critical Review
Visual Modeling of Multiple Sclerosis Patient Pathways: The Healthcare Workers' Perspectives
The Adoption of MyData-Based Health Applications Among Elderly Citizens in Nordic Countries and the UK
Social and Health Care Teachers' Experiences of Implementing Multidisciplinary Specialisation Studies in a Digital Learning Environment