yusuke1997/dblp-id-title huggingface dataset:
Automatic Goal Clone Detection in Rocq
Remote Batch Invocation for Compositional Object Services
VM Wrapping: Fake it till you make it
Modules with Interfaces for Dynamic Linking and Communication
Transforming Programs between APIs with Many-to-Many Mappings
A Higher Abstraction Level Using First-Class Inheritance Relations
Early Concurrent/Mobile Objects
Naïve transient cast insertion isn't (that) bad
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
A Study of Context-Oriented Programming for Applying to Robot Development
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
The Runtime Structure of Object Ownership
Modeling flexible Monitoring Systems with a Role-Based Control Loop
Behavioral Compatibility of Self-Typed Theories
Distinctness and Sharing Domains for Static Analysis of Java Programs
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
Run-time Validation of Behavioral Adaptations
Reconciling Event Structures with Modern Multiprocessors
muPuppet: A Declarative Subset of the Puppet Configuration Language
Synthesizing Objects
C++ const and Immutability: An Empirical Study of Writes-Through-const
Type Tailoring
Modelica - A Unified Object-Oriented Language for System Modelling and Simulation
Modular Termination Verification
PQL: A Purely-Declarative Java Extension for Parallel Programming
Towards a tight integration of a functional web client language into Scala
Using Aspects to Make Adaptive Object-Models Adaptable
Domain-Polymorphic Programming of Privacy-Preserving Applications
Implementational Reflection in Silica
Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms
Rationally Reconstructing the Escrow Example
The Mjølner Environment: Direct Interaction with Abstractions
Developing Security Systems in the Real World
Reusable Concurrent Data Types
CCC: User-Defined Object Structure in C
Yet another DSL for cross-platforms mobile development
ObjVProlog: Metaclasses in Logic
Towards Gaze Control in Programming Environments
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
Two-Dimensional Bi-directional Object Layout
Attribute Grammar-Based Language Extensions for Java
Reducing biased lock revocation by learning
Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)
Atomic Boxes: Coordinated Exception Handling with Transactional Memory
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016
Program Tailoring: Slicing by Sequential Criteria
Using Patterns for Design and Documentation
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach
Context Slices: Lightweight discovery of behavioral adaptations
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
Inheritance and Cofree Constructions
A Reflective Architecture for Process Control Applications
ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings
Evolving systems of systems: industrial challenges and research perspectives
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
Enabling Additional Parallelism in Asynchronous JavaScript Applications
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
Modeling Infinite Behaviour by Corules
Revision classes for explicit versioning
Towards Type Inference for JavaScript
System Design by Composing Structures of Interacting Objects
Regression verification for Java using a secure information flow calculus
An Extended Theory of Primitive Objects: FIrst Order System
Designing an Extensible Distributed Language with a Meta-Level Architecture
Modular verification of linked lists with views via separation logic
UML-F: A Modeling Language for Object-Oriented Frameworks
A unified context activation mechanism
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Patterns Generate Architectures
Building object oriented programs out of pieces
Do Machine Learning Models Produce TypeScript Types That Type Check?
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first)
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages
Deductive Object Databases
Implementing Layered Designs with Mixin Layers
Characteristics of Runtime Program Evolution
Differential Privacy for Coverage Analysis of Software Traces
Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation
Metalevel Programming in CLOS
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages
Extending the model of ObjectTeams/Java programming language to distributed environments
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Typed First-Class Traits
When Compilers Are Mirrors
{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Using Metaobject Protocols to Implement Atomic Data Types
Collecting Type Information Using Unit Tests for Customizing JavaScript Virtual Machines
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
Incremental Mature Garbage Collection Using the Train Algorithm
Disciplined Inheritance
A Unified Framework for Verification Techniques for Object Invariants
Feature Interaction and Composition Problems in Software Product Lines
AOP vs Software Evolution: a Score in Favor of the Blueprint
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification
REST: Integrating Term Rewriting with Program Verification
ObjView: A Task-Oriented, Graphics-Based Tools for Object Visualization and Arrangement
Inheritance-Inspired Interface Versioning for CORBA
Gradual Program Analysis for Null Pointers
International Workshop on Context-Oriented Programming, COP 2009, Genova, Italy, July 7, 2009
Extensions during Software Evolution: Do Objects Meet Their Promise?
On Satisfiability of Nominal Subtyping with Variance
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Information Flow Analysis for Detecting Non-Determinism in Blockchain
Towards an actor-based concurrent machine model
Verifying traits: a proof system for fine-grained reuse
Patterns of Memory Inefficiency
Maniposynth: Bimodal Tangible Functional Programming
Garbage-Free Abstract Interpretation Through Abstract Reference Counting
Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS 2009, Genova, Italy, July 6, 2009
An AOP Implementation Framework for Extending Join Point Models
Asynchronous Liquid Separation Types
Static Type Checking for the Kompics Component Model: Kola - The Kompics Language
Inference and Checking of Object Ownership
Dynamic Object Evolution without Name Collisions
Import is Not Inheritance - Why We Need Both: Modules and Classes
Wide Classes
29th European Conference on Object-Oriented Programming, ECOOP 2015, Prague, Czech Republic, July 5-10, 2015
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism
Thread and execution-context specific barriers via dynamic method versioning
Pause 'n' Play: Formalizing Asynchronous C#
Tracing sharing in an imperative pure calculus: extended abstract
RAM-SE'08-ECOOP'08 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Paphos, Cyprus, July 7, 2008
Design Patterns - 15 Years Later
AOP and Reflection for Dynamic Hyperslices
Solving Aspectual Semantic Conflicts in Resource Aware Systems
Programming language feature agglomeration
How to Take the Inverse of a Type
Growing XQuery
Specification-based sketching with Sketch
Proceedings of the European Conference on Object-Oriented Programming Addendum: Systems, Languages, and Applications, OOPSLA/ECOOP 1990 Addendum, Ottawa, Canada, 1990
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
The Beauty and the Beast: Separating Design from Algorithm
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism
Functional Programming with Datalog
Making Programmers Aware Of Refactorings
Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach
A component-based approach for specifying DSML's concrete syntax
ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings
Precise Visual Specification of Design Patterns
A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects
What is "Object-Oriented Programming?"
Analyzing inheritance hierarchies through Formal Concept Analysis: A 22-years walk in a landscape of conceptual structures
Object Protocols as Functional Parsers
Object Initialization in X10
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
First-Class Relationships in an Object-Oriented Language
Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST
Issues in the Design and Implementation of a Schema Designer for an OODBMS
Programming as an Experience: The Inspiration for Self
Using program metadata to support SDT in object-oriented applications
Type Inference for Place-Oblivious Objects
AmbientTalk: modern actors for modern networks
Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies
Streams a la carte: Extensible Pipelines with Object Algebras
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)
Domain specific languages for the model driven organization
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017
Dynamic Query-Based Debugging
A Statically Safe Alternative to Virtual Types
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
Ozone: Fully Out-of-Order Choreographies
Formalization IDEs Integrated with a Verifying Compiler
Composable Encapsulation Policies
Evolvable Pattern Implementations Need Generic Aspects
Built-in Object Security
Evolving Pointcut Definition to Get Software Evolution
Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Mixing Metaphors: Actors as Channels and Channels as Actors
Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping
Dynamically Composable Collaborations with Delegation Layers
IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL
Proceedings of the 9th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PLE, ICOOOLPS@ECOOP 2014, Uppsala, Sweden, July 28, 2014
The M.A.D. Experience: Multiperspective Application Development in evolutionary prototyping
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Finding and Removing Performance Bottlenecks in Large Systems
Refactoring traces to identify concurrency improvements
People and the Limits of Methodology
Dynamic Framed Aspects for Dynamic Software Evolution
Context-oriented programming for mobile devices: JCop on Android
Unifying Multiple Layer Activation Mechanisms Using One Event Sequence
Towards Practical Gradual Typing
Activities: Abstractions for Collective Behavior
EventJava: An Extension of Java for Event Correlation
Inductive Predicate Synthesis Modulo Programs
Compiling Volatile Correctly in Java
Metis: a smart memory allocator using historical reclamation information
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution, RAM-SE 2009, Genova, Italy, July 7, 2009
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP 2018, Amsterdam, Netherlands, July 16-21, 2018
The Return of Transactions
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
A Theory of (Linear-Time) Timed Monitors
Rich Interfaces for Software Modules
PLAM: Preemptive Layer Activation Architecture based on Multithreading in Context-Oriented Programming
A Semantics for the Essence of React
Aspect-Oriented Programming Beyond Dependency Injection
COP '20: Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, COP@ECOOP 2020, Virtual Event, 21 July 2020
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
Extending the ODMG Object Model with Time
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
Consistent Unanticipated Adaptation for Context-Dependent Applications
The Common Lisp Object System: An Overview
On the Rise of Modern Software Documentation (Pearl/Brave New Idea)
Adaptive Tuning of Reserved Space in an Appel Collector
A typed intermediate language for supporting interfaces
Integrating Nominal and Structural Subtyping
Identifying Mandatory Code for Framework Use via a Single Application Trace
Just-In-Time compilation on ARM processors
The Filter Browser Defining Interfaces Graphically
Operation-based Merging of Development Histories
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Proceedings of the 9th International Workshop on Context-Oriented Programming, COP@ECOOP 2017, Barcelona, Spain, June 20, 2017
Constraint-Based Refactoring with Foresight
Implementing Federated Object Systems
Towards virtual traits in Scala
DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems
Fair Termination of Asynchronous Binary Sessions
Combining Form and Function: Static Types for JQuery Programs
Semantics for Noninterference with Interaction Trees
Design-By-Contract for Flexible Multiparty Session Protocols
Typecasting actors: from Akka to TAkka
Bridging the Gap Between C++ and Relational Databases
Learning to Accelerate Symbolic Execution via Code Transformation
Compiling with Arrays
Debugging Model-Transformation Failures Using Dynamic Tainting
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper
Introduction to: The Myths of Object-Orientation
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
Using Object-Oriented Programming Techniques for Implementing ISDN Supplementary Services
Lightweight Defect Localization for Java
Cyclic Distributed Garbage Collection with Group Merger
ICOOOLPS 2021: Proceedings of the 16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems, Virtual Event, Denmark, 13 July 2021
Pointer Analysis in the Presence of Dynamic Class Loading
To Dream the Impossible Dream: Toward Security Analysis for JavaScript
Object-orientation in operating systems (workshop session)
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
A generic type system for featherweight Java
LOOJ: Weaving LOOM into Java
Issues with Exception Handling in Object-Oriented Systems
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs
A three-valued type system for true positives detection in Java-like languages
Semantic Patches for Java Program Transformation (Experience Report)
Supporting methods and events by an integrated abstraction
Reuse, Recycle to De-bloat Software
SciFe: Scala framework for efficient enumeration of data structures with invariants
Practical Object-Oriented Back-in-Time Debugging
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
Rose: Composable Autodiff for the Interactive Web
Concolic Execution for WebAssembly
A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems
Constructing Call Graphs of Scala Programs
Semantics-Based Composition of Class Hierarchies
Objectively: Components versus Web Services
Aspect-Based Introspection and Change Analysis for Evolving Programs
GOODS to Appear on the Stage
The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime
The Role of Design Information in Software Evolution
Functional Programming for Distributed Systems with XC
True small-step reduction for imperative object oriented languages
Relaxed Linear References for Lock-free Data Structures
An efficient approach for accessing C data structures from JavaScript
A proposal for consolidated intentional modeling language
Failboxes: Provably Safe Exception Handling
Interface-Based Protocol Specification of Open Systems using PSL
Walkabout Revisited: The Runabout
Algebraic Replicated Data Types: Programming Secure Local-First Software
Parsing graphs: applying parser combinators to graph traversals
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
Problems in Object-Oriented Software Reuse
ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
Direct Foundations for Compositional Programming
The Optimistic Readers Transformation
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
Inlining of Virtual Methods
ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings
PoTo: A Hybrid Andersen's Points-To Analysis for Python
Framework Design for End-to-End Optimization
A Biologist's View of Software Evolution
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation
An approach combining SysML and modelica for modelling and validate wireless sensor networks
Synchronizing Actions
A Heuristic-Based Approach to Code-Smell Detection
Self-inferencing Reflection Resolution for Java
Specifying Reusable Components Using Contracts
Efficient Dynamic Look-Up Strategy for Multi-Methods
Loosely-Separated "Sister" Namespaces in Java
Generic Universe Types
Decidable tag-based semantic subtyping for nominal types, tuples, and unions
Making Aspect Oriented System Evolution Safer
OOZE: An Object Oriented Z Environment
A new concurrency model for Scala based on a declarative dataflow core
Dependent Types for Class-based Mutable Objects
Inheritance and Synchronization in Concurrent OOP
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML
Definite Reference Mutability
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
Are We Ready for a Safer Construction Environment?
Dependent Merges and First-Class Environments
An Object-Oriented Class Library for Scalable Parallel Heuristic Search
Cloud Types for Eventual Consistency
Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
Session-Based Distributed Programming in Java
Open APIs for Embedded Security
SORMASA: A tool for Suggesting Model Refactoring Actions by Metrics-led Genetic Algorithm
Estimation of non-linear effects for Capacitive DAC in SAR ADC: An Analytical Model
Response Characteristics of Optical Waveguides Containing Diarylethene : * Note: Sub-titles are not captured in Xplore and should not be used
Comparative Stability Analysis of Pristine and AsF5 Intercalation Doped Top Contact Graphene Nano Ribbon Interconnects
A Brief Review of Recent Studies on Performance Improvement of Graphene Nanoribbon Interconnect
Heat Mitigation in 3D ICs by Improvised TTSV Structure
Deep Learning Based Real Time Face Recognition For University Attendance System
Data Communication and Remote Monitoring using Raspberry Pi in a Solar-Wind-Biogas integrated Micro-grid system
An IoT-gateway with the information-centric communication
Growth of ZnSnO3 nano-crystalloids on Sisubstrate by employing chemical bath deposition (CBD) technique for self-powered UV-light sensing applications
Design of CMOS Memristor Emulator and Logic Gates For Neuromorphic Circuits
CdS Quantum Dots Based Nano Light Emitting Device
Power and Thermal Modeling of In-3D-Memory Computing
Design of High Gain Low-Noise Amplifier at X-Band Frequency
Broadband and Broad-Angle Optical Absorption by MoS2 and MoSe2 Monolayers in 1D Photonic Crystals
Switching Activity Reduction in Graphene PN Junction Circuits using Circuit Re-structuring
Investigation of density and alignment of ZnO-nanowires grown by double-step chemical bath deposition (CBD/CBD) technique on metallic, insulating and semiconducting substrates
A comprehensive review on ReRAM-based accelerators for deep learning
Performance Evaluation of Unrolled Cipher based Glitch PUF Implemented on Virtex-7
Carrier Dynamics in Lightly-doped Resistance Region in Power MOSFETs
4th International Symposium on Devices, Circuits and Systems, ISDCS 2021, Higashi-Hiroshima, Japan, March 3-5, 2021
An Improved Online Testing Technique For Reversible Circuits
Development of In-situ Monitoring System for Crop Growth Observation
Design of an Optimized Micro-heater using Soft-Computing Tools for Low Temperature Gas Sensing Application
Seasonal Variability in Optical Properties of Photovoltaic Module due to Dust Deposition: A Case Study in IIEST, Shibpur
History Effect on Circuit Performance of SOI-MOSFETs
Force-Sensor-Based Walking-Environment Recognition of Biped Robots
Stability Analysis of Humanoid Robots with Gyro Sensors Subjected to External Push Forces
A New Digital Color Image Watermarking Algorithm with its FPGA and ASIC Implementation
Experimental Demonstration of All-Fiber Electric Field Sensing Device
Loss Reduction in a Grid-Connected Photovoltaic System Operated with P-&-O Algorithm based MPPT Control by introducing Diamond MOSFET
Optimization of stacked di-electric bilayer at rear side of PERC solar cell for better light management
Image Classification Based on Approximate Wavelet Transform and Transfer Learning on Deep Convolutional Neural Networks
Security Attacks on Social Networking: A Review
Resource-efficient VLSI Architecture of Softmax Activation Function for Real-time Inference in Deep Learning Applications
A New Test Vector Reordering Technique for Low Power Combinational Circuit Testing
A Novel Step-shaped Gate Tunnel FET with Low Ambipolar Current
Target Voltage Control Approach for Active Distribution System Based on PV Active and Reactive Powers Nodal Prices
Voltage Regulation of DC-DC Boost Converter using H-infinity Controller
Comparative study for the impedimetric detection and quantification of adulterants in different bio-consumables
Motion Retargeting and Machine Learning for Humanoid Robotics
Effect of Anti-Reflective Coating for Si Optical Resonator Biosensors
Hardware Trojan Detection Using Improved Testability Measures
Structuring Element-counting Approach for Morphological Pattern Spectrum-based Image Manipulation Detection
One-pass Synthesis for Digital Microfluidic Biochips: A Survey
Microfluidic Cyberphysical Diagnostic System: An ANN Based Application
Optimal Sizing, Placement and Performance Analysis of DSTATCOM with Improved Controller without Current Sensors
International Symposium on Devices, Circuits and Systems, ISDCS 2023, Higashi-Hiroshima, Japan, May 29-31, 2023
Investigation of HfSiOX Passivation Effect on AlGaN/GaN HEMT
Design of Two-Stage Fully-Differential Driver in SAR ADC with Indirect Feedback Compensation Technique
A low power driver amplifier for Fully Differential ADC
A CMOS Integrated Sweat Monitoring System for Medical Applications
Towards Polynomial Formal Verification of AI-Generated Arithmetic Circuits
Analysis of Self-Lift Luo Converter in DCM and Critical Inductance Calculation
Surface Recognition and Speed Adjustment of Humanoid Robot Using External Control Circuit
Hybrid Genetic Algorithm Random Forest algorithm (HGARF) for improving the missing value Imputation in Hepatitis Medical Dataset
On Defect Tolerance of Nanocrossbar Arrays using Divide and Conquer Technique
Temperature Sensor Circuit for a Wearable Perspiration Monitoring System
An Intelligent Grid integrated BESS Solar PV System to Supply Critical Loads under Grid Outage Condition