yusuke1997/dblp-id-title huggingface dataset:
Clepsydra: Modeling timing flows in hardware designs
IoT-CAD: Context-Aware Adaptive Anomaly Detection in IoT Systems Through Sensor Association
Coupled Analysis of Electromigration Reliability and Performance in ULSI Signal Nets
CLEO: a CMOS layout generator
Equivalence Checking of Dynamic Quantum Circuits
Monte-Carlo driven stochastic optimization framework for handling fabrication variability
2012 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2012, San Jose, CA, USA, November 5-8, 2012
Workload-Balanced Graph Attention Network Accelerator with Top-K Aggregation Candidates
3D CoSim: Coupled Operator Learning-Based Co-Simulator for Transferable 3D-IC Analysis
Decomposition of timed decision tables and its use in presynthesis optimizations
Implicit enumeration of strongly connected components
Physical modeling of bitcell stability in subthreshold SRAMs for leakage-area optimization under PVT variations
Power-Driven DNN Dataflow Optimization on FPGA
Coupling Extraction and Optimization for Heterogeneous 2.5D Chiplet-Package Co-Design
Full-chip monolithic 3D IC design and power performance analysis with ASAP7 library: (Invited Paper)
Karna: A Gate-Sizing based Security Aware EDA Flow for Improved Power Side-Channel Attack Protection
PROP: a recursive paradigm for area-efficient and performance oriented partitioning of large FPGA netlists
Memory bank customization and assignment in behavioral synthesis
Physical Planning with Retiming
Multi-level clustering for clock skew optimization
Coping with RC(L) interconnect design headaches
1991 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of Technical Papers
ASCENT: Amplifying Power Side-Channel Resilience via Learning & Monte-Carlo Tree Search
Statistical aging analysis with process variation consideration
SuPREME: Substrate and Power-delivery Reluctance-Enhanced Macromodel Evaluation
Digital microfluidic biochips: A vision for functional diversity and more than moore
Reconfigurable scan chains: a novel approach to reduce test application time
Watermarking deep neural networks for embedded systems
Fast Exact NPN Classification with Influence-Aided Canonical Form
Constraint graph-based macro placement for modern mixed-size circuit designs
Efficient equivalence checking of multi-phase designs using retiming
Variation-aware electromigration analysis of power/ground networks
PowerTouch: A Security Objective-Guided Automation Framework for Generating Wired Ghost Touch Attacks on Touchscreens
An efficient channel routing algorithm for defective arrays
FAB: Fast and Demand-Aware Bandwidth Allocation Method for Wavelength-Routed Optical Networks-on-Chip
WSQ-AdderNet: Efficient Weight Standardization Based Quantized AdderNet FPGA Accelerator Design with High-Density INT8 DSP-LUT Co-Packing Optimization
Two-Dimensional Layout Synthesis for Large-Scale CMOS Circuits
Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques
Performance-driven read-after-write dependencies softening in high-level synthesis
Two-dimensional compaction for placement refinement
Soft self-synchronising codes for self-calibrating communication
Efficient Transistor-Level Symbolic Timing Simulation Using Cached Partial Circuit States
ECO algorithms for removing overlaps between power rails and signal wires
An efficient compiler framework for cache bypassing on GPUs
FIONA: Photonic-Electronic CoSimulation Framework and Transferable Prototyping for Photonic Accelerator
High-level design validation and test
Post-fabrication measurement-driven oxide breakdown reliability prediction and management
Codar: a congestion-directed general area router
Cost-effective radiation hardening technique for combinational logic
Scheduling of synchronous data flow models on scratchpad memory based embedded processors
A complete compositional reasoning framework for the efficient verification of pipelined machines
Active learning framework for post-silicon variation extraction and test cost reduction
Circuit Deobfuscation from Power Side-Channels using Pseudo-Boolean SAT
INDENT: Incremental Online Decision Tree Training for Domain-Specific Systems-on-Chip
Efficient analog layout prototyping by layout reuse with routing preservation
Efficient path delay test generation based on stuck-at test generation using checker circuitry
BOOST: Block Minifloat-Based On-Device CNN Training Accelerator with Transfer Learning
Accurate full-chip estimation of power map, current densities and temperature for EM assessment
Looking Into the Mirror of Open Source: Invited Paper
GAIA: Glass-Aware I/O Middleware
Improving dual Vt technology by simultaneous gate sizing and mechanical stress optimization
SiST: Token Similarity and Sparsity Aware Optimization for Transformers on FPGA
On Clustering for Minimum Delay/Area
Everything Depends on Your Hammer: A Systematic Rowhammer Attack Exploration on SPHINCS+
Process variation aware system-level task allocation using stochastic ordering of delay distributions
A CAD Process Scheduling Technique
Fine-Grained Aging Prediction Based on the Monitoring of Run-Time Stress Using DfT Infrastructure
Automatic synthesis of a multi-bus architecture for DSP
Semidefinite Programming-Based Decoupling Capacitor Placement for Power Distribution Network Optimization
A timing-driven data path layout synthesis with integer programming
OSCA: End-to-end Serial Stochastic Computing Neural Acceleration with Fine-grained Scaling and Piecewise Activation
A zero-skew clock routing scheme for VLSI circuits
An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae
CASU: Compromise Avoidance via Secure Update for Low-End Embedded Systems
STEAM: a fast compact thermal model for two-phase cooling of integrated circuits
MCFRoute: a detailed router based on multi-commodity flow method
Probabilistic decision diagrams for exact probabilistic analysis
Parametric test development for RF circuits targeting physical fault locations and using specification-based fault definitions
Conjoining soft-core FPGA processors
Optimal granularity of test generation in a distributed system
On per-test fault diagnosis using the X-fault model
Resource sharing in hierarchical synthesis
Effects of delay models on peak power estimation of VLSI sequential circuits
Handling inductance in early power grid verification
Optimization of a fully integrated low power CMOS GPS receiver
Transition-by-transition FSM traversal for reachability analysis in bounded model checking
Optimal buffered routing path constructions for single and multiple clock domain systems
Novel binary linear programming for high performance clock mesh synthesis
Variational interconnect analysis via PMTBR
Shadow attacks on MEDA biochips
Inhale: Enabling High-Performance and Energy-Efficient In-SRAM Cryptographic Hash for IoT
Integral Design Representations for Embedded Systems
Evaluation of voltage interpolation to address process variations
Aging-Aware Training for Printed Neuromorphic Circuits
Implementation of pulsed-latch and pulsed-register circuits to minimize clocking power
The overview of 2013 CAD contest at ICCAD
MiCo: End-to-End Mixed Precision Neural Network Co-Exploration Framework for Edge AI
Analysis and optimization of substrate noise coupling in single-chip RF transceiver design
Efficient implementation of retiming
Bounding L2 gain system error generated by approximations of the nonlinear vector field
Compact oscillation neuron exploiting metal-insulator-transition for neuromorphic computing
Partial BIST insertion to eliminate data correlation
MobiLattice: A Depth-wise DCNN Accelerator with Hybrid Digital/Analog Nonvolatile Processing-In-Memory Block
EDALearn: A Comprehensive RTL-to-Signoff EDA Benchmark for Democratized and Reproducible ML for EDA Research
Online learning for adaptive optimization of heterogeneous SoCs
3DICT: a reliable and QoS capable mobile process-in-memory architecture for lookup-based CNNs in 3D XPoint ReRAMs
SLTarch: Towards Scalable Point-Based Neural Rendering by Taming Workload Imbalance and Memory Irregularity
A scalable quantitative measure of IR-drop effects for scan pattern generation
Numerically-Stable and Highly-Scalable Parallel LU Factorization for Circuit Simulation
A New Performance Driven Placement Algorithm
System-level power and thermal modeling and analysis by orthogonal polynomial based response surface approach (OPRS)
A Design Flow for Mapping Spiking Neural Networks to Many-Core Neuromorphic Hardware
Exploiting hardware sharing in high-level synthesis for partial scan optimization
Evaluation of using inductive/capacitive-coupling vertical interconnects in 3D network-on-chip
ATree-based topology synthesis for on-chip network
On the verification of state-coding in STGs
DAGSENS: Directed acyclic graph based direct and adjoint transient sensitivity analysis for event-driven objective functions
EDS-SLAM: An Energy-Efficient Accelerator for Real-Time Dense Stereo SLAM with Learned Feature Matching
A cross-layer methodology for design and optimization of networks in 2.5D systems
The Configuration Management for Version Control in an Object-Oriented VHDL Design Environment
Exploring linear structures of critical path delay faults to reduce test efforts
Execution interval analysis under resource constraints
Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations
Parallel timing simulation on a distributed memory multiprocessor
VeriRL: Boosting the LLM-based Verilog Code Generation via Reinforcement Learning
Power minimization using system-level partitioning of applications with quality of service requirements
HeteroCPPR: Accelerating Common Path Pessimism Removal with Heterogeneous CPU-GPU Parallelism
Transient modeling of TSV-wire electromigration and lifetime analysis of power distribution network for 3D ICs
Redundant-wires-aware ECO timing and mask cost optimization
A new RLC buffer insertion algorithm
Transitive Assignment Kernels for Structural Classification
Efficient Regression in Metric Spaces via Approximate Lipschitz Extension
Model-Based Clustering of Inhomogeneous Paired Comparison Data
Data Analysis of (Non-)Metric Proximities at Linear Costs
A Novel Data Representation Based on Dissimilarity Increments
Metric Anomaly Detection via Asymmetric Risk Minimization
Multi-task Regularization of Generative Similarity Models
Similarity Analysis from Limiting Quantum Walks
Large Scale Indefinite Kernel Fisher Discriminant
Exploiting Geometry in Counting Grids
Modeling and Detecting Community Hierarchies
Graph Characterization Using Gaussian Wave Packet Signature
Robust Initialization for Learning Latent Dirichlet Allocation
Deep Metric Learning Using Triplet Network
Feature Point Matching Using a Hermitian Property Matrix
Similarity-Based Pattern Recognition - Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings
Min-sum Clustering of Protein Sequences with Limited Distance Information
A Study on the Influence of Shape in Classifying Small Spectral Data Sets
On a Non-monotonicity Effect of Similarity Measures
Dissimilarity Representations for Low-Resolution Face Recognition
Correlation Clustering with Stochastic Labellings
Analysis of the Schrödinger Operator in the Context of Graph Characterization
Graph Characterization via Backtrackless Paths
One Shot Similarity Metric Learning for Action Recognition
Similarity-Based User Identification Across Social Networks
Supervised Learning of Graph Structure
Attributed Graph Similarity from the Quantum Jensen-Shannon Divergence
Dominant-Set Clustering Using Multiple Affinity Matrices
Multiple-Instance Learning with Instance Selection via Dominant Sets
On the Informativeness of Asymmetric Dissimilarities
Entropy and Heterogeneity Measures for Directed Graphs
Characterizing Multiple Instance Datasets
On the Usefulness of Similarity Based Projection Spaces for Transfer Learning
Similarity-Based Pattern Recognition - First International Workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011. Proceedings
Cluster Merging Based on Dominant Sets
An Adaptive Radial Basis Function Kernel for Support Vector Data Description
Exploiting Dissimilarity Representations for Person Re-identification
Bag Dissimilarities for Multiple Instance Learning
Fast Learning of Gamma Mixture Models with k-MLE
Impact of the Initialization in Tree-Based Fast Similarity Search Techniques
On the Dissimilarity Representation and Prototype Selection for Signature-Based Bio-cryptographic Systems
Supervised Segmentation of Fiber Tracts
An Information Theoretic Approach to Learning Generative Graph Prototypes
Pattern Learning and Recognition on Statistical Manifolds: An Information-Geometric Review
A Study of Embedding Methods under the Evidence Accumulation Framework
Break and Conquer: Efficient Correlation Clustering for Image Segmentation
Introducing Negative Evidence in Ensemble Clustering Application in Automatic ECG Analysis
Unsupervised Motion Segmentation Using Metric Embedding of Features
Mutual Information Criteria for Feature Selection
Section-Wise Similarities for Clustering and Outlier Detection of Subjective Sequential Data
Supervised Learning of Diffusion Distance to Improve Histogram Matching
Discovery of Salient Low-Dimensional Dynamical Structure in Neuronal Population Activity Using Hopfield Networks
Similarity-Based Pattern Recognition - Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015, Proceedings
A Generative Dyadic Aspect Model for Evidence Accumulation Clustering
Information Theoretic Pairwise Clustering
Combining Data Sources Nonlinearly for Cell Nucleus Classification of Renal Cell Carcinoma
Multi-task Averaging via Task Clustering
Dimension Reduction Methods for Image Pattern Recognition
Hybrid Generative-Discriminative Nucleus Classification of Renal Cell Carcinoma
Information-Theoretic Dissimilarities for Graphs
A Repeated Local Search Algorithm for BiClustering of Gene Expression Data
Efficiently Generating Structurally Complex Inputs with Thousands of Objects
Should Superclasses be Abstract?
Maintaining Database Integrity with Refinement Types
Why inheritance anomaly is not worth solving
Transactional Monitors for Concurrent Objects
Programming in the Large for the Internet of Things (Invited Talk)
Semantics of (Resilient) X10
Complete coinductive subtyping for abstract compilation of object-oriented languages
ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings
Online Phase-Adaptive Data Layout Selection
Towards deductive verification of C11 programs with Event-B and ProB
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
Towards gradual typing for generics
MAPO: Mining and Recommending API Usage Patterns
Minimal Session Types (Pearl)
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers
A Core Calculus of Classes and Mixins
Pointcut-based architectural interface for bridging a gap between design and implementation
ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts
Designing event-based context transition in context-oriented programming
Godot: All the Benefits of Implicit and Explicit Futures
A Capability-Based Module System for Authority Control
Combining Feature-Oriented and Aspect-Oriented Programming to Support Software Evolution
Implicitly Distributing Pervasively Concurrent Programs: Extended abstract
Event Race Detection for Node.js Using Delay Injections
A Nominal Theory of Objects with Dependent Types
Type-Directed Operational Semantics for Gradual Typing
Optimizing Smalltalk by Selector Code INdexing Can Be Practical
A Language-Based Version Control System for Python
Object-Oriented Programming: Regaining the Excitement
Type-Safe Method Inlining
Software hardening: a research agenda
Designing reusable designs (panel session): experiences designing object-oriented frameworks
Modular Verification of Finite Blocking in Non-terminating Programs
Proceedings of the 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP 2013, Montpellier, France, July 2, 2013
The Emergent Structure of Development Tasks
A Note on the Soundness of Difference Propagation
Cross Module Quickening - The Curious Case of C Extensions
Propagating Class and Method Combination
ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
An Application Framework For Module Composition Tools
Fair Join Pattern Matching for Actors
A Basic Model of Typed Components
A Refactoring Discovering Tool based on Graph Transformation
Design Patterns: Abstraction and Reuse of Object-Oriented Design
Lock Reservation for Java Reconsidered
Tracking Linear and Affine Resources with Java(X)
Diff Graphs for a fast Incremental Pointer Analysis
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
Object Technology - A Grand Narrative?
Implementation of Distributed Trellis
First Workshop on Programming Models and Languages for Distributed Computing, PMLDC@ECOOP 2016, Rome, Italy, July 17, 2016
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems
Traits: Composable Units of Behaviour
On subtyping, wildcards, and existential types
Contract-Based Data Structure Repair Using Alloy
Reflexive Architecture: From ObjVLisp to CLOS
Inline Caching Meets Quickening
Turning the Network into a Database with Active XML
Intensional changes avoid co-evolution!
Schema Modifications in the LISPO 2 Persistent Object-Oriented Language
Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions
A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction
FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
Distributed Context Petri Nets
Adaptive Variables for Declarative UAV Planning
Adding Dynamic Types to C #
Constrictor: Immutability as a Design Concept
Abstracting Gradual References (SCICO Journal-first)
Active Programming Strategies in Reuse
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
Practical Permissions for Race-Free Parallelism
Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012
Towards Reusable Heterogeneous Data-Centric Disentangled Parts
Verifying the reflective visitor pattern
Reflections on Programming with Grid Toolkits
Loop Tiling in the Presence of Exceptions
A data-parallel extension to Ruby for GPGPU: toward a framework for implementing domain-specific optimizations
Applying Data-driven Tool Development to Context-oriented Languages
The "Extract Refactoring" Refactoring
On the challenges of self-adaptation in systems of systems
Composing Interfering Abstract Protocols
Gradual Typing for Objects
A Timed Calculus for Distributed Objects with Clocks
Automatic verification of Dafny programs with traits
Practical Type-Based Taint Checking and Inference
Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report
An Imperative, First-Order Calculus with Object Extension
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach
Behavioural Up/down Casting For Statically Typed Languages
Pure Methods for roDOT
On Including Part Hierarchies in Object-Oriented Languages with an Implementation in Smalltalk
Prototyping a tool environment for run-time assertion checking in JML with communication histories
JML and OpenJML for Java 16
What is Type-Safe Code Reuse?
Inheritance and Subtyping in a Parallel Object-Oriented Language
Typestates for Objects
Featherweight X10: a core calculus for async-finish parallelism
The ZOO Metasystem: A Direct-Manipulation Interface to Object-Oriented Knowledge Bases
Derivation and Evaluation of Concurrent Collectors
Contrasting Deadlock-Free Session Processes
Feature Interactions Outside a Telecom Domain
Integration of a Programming Environment into ET++ - A Case Study
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper)
Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming
A Type System for Data-Centric Synchronization
Embedding Languages without Breaking Tools
Towards a Meta-Modelling Approach to Configurable Middleware
An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+
Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes
Toward Computer-Aided Usability Evaluation Evolving Interactive Software
From ECOOP'87 to ECOOP 2006 and Beyond
Dynamic Clustering in Object Databases Exploiting Effective Use of Relationships Between Objects
Graphics for object oriented software engineering (workshop session)
GSOHC: Global Synchronization Optimization in Heterogeneous Computing
Pitfalls in Unanticipated Dynamic Software Evolution
An EMF-based toolkit for reasoning on web services evolution
An Empirical Study of Object Protocols in the Wild
A Formal Framework for Java Separate Compilation
A Typing Discipline for Hardware Interfaces
Modeling Object-Oriented Program Execution
Union Types with Disjoint Switches
A Featherweight Approach to FOOL
Towards a Formalization of the Unified Modeling Language
CJAdviser: SMT-based debugging support for ContextJ
Preexistence revisited
ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
Fling - A Fluent API Generator
An inductive abstract semantics for coFJ
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl)
Toward Tool-Independent Summaries for Symbolic Execution
Will Europe ever Produce and sell Objects?
λ-Based Object-Oriented Programming (Pearl)
Towards Automatic Specialization of Java Programs
Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines
Garbage collection: 50+ years later
Failure Transparency in Stateful Dataflow Systems
What If We Don't Pop the Stack? The Return of 2nd-Class Values
Enterprise context: a rich source of requirements for context-oriented programming
Sharing the Runtime Representation of Classes Across Class Loaders
Scala with Explicit Nulls
Programming with Live Distributed Objects
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea)
On Inner Classes
Regular Object Types
GSBL: An Algebraic Specification Language Based on Inheritance
Automating Feature-Oriented Refactoring of Legacy Applications
Extending Moby with Inheritance-Based Subtyping
Multitier Modules
38th European Conference on Object-Oriented Programming, ECOOP 2024, Vienna, Austria, September 16-20, 2024
Multi-Methods in a Statically-Typed Programming Language
Real-Time Specification Inheritance Anomalies and Real-Time Filters
How should context-escaping closures proceed?