yusuke1997/dblp-id-title huggingface dataset:
Putting Randomized Compiler Testing into Production (Experience Report)
Capabilities for Uniqueness and Borrowing
VeriFx: Correct Replicated Data Types for the Masses
An overview of the Leon verification system: verification by translation to recursive functions
Security Monitor Inlining for Multithreaded Java
Object-Oriented Analysis and Top-Down Software Development
RAM-SE'07-ECOOP'07 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Berlin, Germany, July 31, 2007
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
Transactional Tasks: Parallelism in Software Transactions
Modular Visitor Components
Ionic Types
Using dafny to solve the VerifyThis 2021 challenges
Call-target-specific method arguments
Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution
Foundations for Virtual Types
A Step toward Programming with Versions in Real-World Functional Languages
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types
Encapsulating Plurality
L: context-oriented programming with only layers
Components, ADL & AOP: Towards a Common Approach
Tackling pointcut fragility with dynamic annotations
Reference Mutability for DOT
Python Type Hints Are Turing Complete (Pearl/Brave New Idea)
33rd European Conference on Object-Oriented Programming, ECOOP 2019, London, United Kingdom, July 15-19, 2019
A Context-Oriented Software Architecture
The Expression Problem Revisited
Synchron - An API and Runtime for Embedded Systems
Automata Learning with an Incomplete Teacher
The Construction of User Interfaces and the Object Paradigm
A Concurrent Specification of POSIX File Systems
ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings
Optimizing Java Programs in the Presence of Exceptions
Object Imaging
Corecursive Featherweight Java
Paragon: Programming with Information Flow Control (Demo)
Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2011, Lancaster, United Kingdom, July 26, 2011
A Shared, Persistent Object Store
State Based Ownership, Reentrance, and Encapsulation
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Verification of Snapshot Isolation in Transactional Memory Java Programs
Efficient compilation of .NET programs for embedded systems
Metaprogramming with Traits
Externalizing Java Server Concurrency with CAL
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
A Model for Structuring User Documentation of Object-Oriented Frameworks Using Patterns and Hypertext
Semantic predicate types and approximation for class-based object oriented programming
MELDing Multiple Granularities of Parallelism
Scopes and Frames Improve Meta-Interpreter Specialization
Proceedings of the International Workshop on Context-Oriented Programming, COP 2012, Beijing, China, June 11, 2012
The Essence of Data Access in C omega
A Compositional Model for Software Reuse
Lifting Sequential Effects to Control Operators
ScalaDyno: making name resolution and type checking fault-tolerant
The Algebra of Patterns
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
Guarded type promotion: eliminating redundant casts in Java
Checking Framework Interactions with Relationships
Integration Challenges of Pure Operation-based CRDTs in Redis
Objects with Multiple Most Specific Classes
Concrete Types for TypeScript
Essential AOP: The A Calculus
Matching Plans for Frame Inference in Compositional Reasoning
Proceedings of the ECOOP 2001 Workshop on Feature Interaction in Composed Systems (FICS 2001), Budapest, Hungary, June 18-22, 2001
Eliminating Virtual Function Calls in C++ Programs
Dynamic Enforcement of Dynamic Policies
Automatically Extracting Class Diagrams from Spreadsheets
Static Typing of Complex Presence Constraints in Interfaces
Design Patterns Application in UML
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
Combining Object-Oriented Analysis and Formal Description Techniques
Exemplifying Moldable Development
Object-Oriented Programming and Computerised Shared Material
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World
Proceedings of the 7th International Workshop on Context-Oriented Programming, COP 2015, Prague, Czech Republic, July 4-10, 2015
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
A Specification Language for Object-Oriented Analysis and Design
Persistence and Migration for C++ Objects
Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013
Safely updating running software: tranquility at the object level
ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
Guard the Cache: Dispatch Optimization in a Contextual Role-oriented Language
Definition of Reusable Concurrent Software Components
ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings
Graceful Dialects
TRACK: keeping track of highly mobile objects: a lanugage-level proposal position paper
A Co-contextual Type Checker for Featherweight Java
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
A Generic Approach to Flow-Sensitive Polymorphic Effects
Recency Types for Analyzing Scripting Languages
MorphScala: safe class morphing with macros
Meta-level Programming with CodA
Atomic Instructions in Java
Supporting architectural decision making for systems-of-systems design under uncertainty
Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering
Towards a Unified Programming Language
RAM-SE'04-ECOOP'04 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Oslo, Norway, June 15, 2004
A Marriage of Class- and Object-Based inheritance Without Unwanted Children
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009
Source language representation of function summaries in static analysis
A Study of the Allocation Behavior of the SPECjvm98 Java Benchmark
Declarative layer composition in framework-based environments
Using software product lines for runtime interoperability
Combining formal and machine learning techniques for the generation of JML specifications
Increasing Concurrency in Databases Using Program Analysis
Program Execution Environments as Contextual Values
Modeling the C++ Object Model, An Application of an Abstract Object Model
Tracing the meta-level: PyPy's tracing JIT compiler
A graph-based operational semantics for context-oriented programming
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols
Modeling Runtime Behavior in Framework-Based Applications
A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Java Subtype Tests in Real-Time
Adding Digital Video to an Object-Oriented User Interface Toolkit
Towards reducing the need for algorithmic primitives in dynamic language VMs through a tracing JIT
QL: Object-oriented Queries on Relational Data
Magda: A New Language for Modularity
An Object-Oriented Effects System
On-Demand Layer Activation for Type-Safe Deactivation
Product Line Variability Refactoring Tool
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
Object Representation of Scope During Translation
On Object Extension
Refactoring and representation independence for class hierarchies: extended abstract
MetaFlex: A Flexible Metaclass Generator
Linear Promises: Towards Safer Concurrent Programming
Database Concepts Discussed in Object-Oriented Perspective
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only
ECOOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings
Lightweight Polymorphic Effects
Towards a framework for analyzing context-oriented programming languages
Type-directed language extension for effectful computations
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
Sealing, Encapsulation, and Mutability
Program Metamorphosis
The Design of an Integrity Consistency Checker (ICC) for an Object-Oriented Database System
A comparison of context-oriented programming languages
Automatic Generation of User Interfaces From Data Structure Specifications and Object-Oriented Application Models
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs
Cycles without pollution: a gradual typing poem
Modular Verification of State-Based CRDTs in Separation Logic
Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness
A Refactoring Constraint Language and Its Application to Eiffel
Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015
Coinductive big-step operational semantics for type soundness of Java-like languages
Range parameterized types: use-site variance without the existential questions
Containers and aggregates, mutators and isolates for reactive programming
Lock Inference in the Presence of Large Libraries
Objects - A Fresh Look
Reflections on MOPs, Components, and Java Security
Variance and Generalized Constraints for C # Generics
A Comparative Study of Manual and Automated Refactorings
Formal Specification and Prototyping of CORBA Systems
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014
Challenges to Achieving High Availability at Scale (Invited Talk)
Smaller Footprint for Java Collections
Demo of docking: enabling language based dynamic coupling
Protection in the Guide Object-Oriented Distributed System
Difference-Based Modules: A Class-Independent Module Mechanism
OASIS: Organic Aspects for System Infrastructure Software Easing Evolution and Adaptation through Natural Decomposition
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea)
HERCULES/PL: the pattern language of HERCULES
An Extensible State Machine Pattern for Interactive Applications
Reflection and metalevel architectures in object-oriented programming (workshop session)
The Complexity of Type Analysis of Object Oriented Programs
Parametric Trace Expressions for Runtime Verification of Java-Like Programs
Providing Orthogonal Persistence for Java (Extended Abstract)
Static Sessional Dataflow
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Genericity in Java with Virtual Types
The performance of object encodings in JavaScript
A Self-Dual Distillation of Session Types
Features and Features Interactions in Software Engineering using Logic
Definition of processes for MDE-based migrations
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
RAMSES: a Reflective Middleware for Software Evolution
DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access
A tracing technique using dynamic bytecode instrumentation of Java applications and libraries at basic block level
Implementing semantic feedback in a diagram editor
Stepping Stones over the Refactoring Rubicon
Analysis of MiniJava programs via translation to ML
A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
Qafny: A Quantum-Program Verifier
You Sank My Battleship!: A Case Study in Secure Programming
Tool Support for Object-Oriented Patterns
Inheritance in Object-Oriented Z
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
Preliminary design of a unified JML representation and software infrastructure
Scalad: an interactive type-level debugger
Traveler: The Apiary Observatory
RAM-SE'05-ECOOP'05 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Glasgow, UK, July 15, 2005
On Ownership and Accessibility
Efficient Multimethods in a Single Dispatch Language
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
Efficiently Verifiable Escape Analysis
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)
Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming
Proceedings of the 8th International Workshop on Context-Oriented Programming, COP@ECOOP 2016, Rome, Italy, July 19, 2016
MAO: Ownership and Effects for More Effective Reasoning About Aspects
Modeling Subobject-based Inheritance
Hot Code Patching in CPython: Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code
AspectJ2EE = AOP + J2EE
An Object-Oriented Notation for Attribute Grammars
Concurrent Abstract Predicates
ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings
Extensible Universes for Object-Oriented Data Models
Generalizing Dispatching in a Distributed Object System
Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study
Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Provably live exception handling
First-class concepts: reifying architectural knowledge beyond the dominant decomposition
Economic theory for memory management optimization
Language, Objects, and Intentionality
Tunable Static Inference for Generic Universe Types
Ensuring correct cryptographic algorithm and provider usage at compile time
Engineering Event-Based Systems with Scopes
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Type-Safe Eventful Sessions in Java
ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
Open Modules: Modular Reasoning About Advice
Patterns as Signs
Open GADTs and declaration-site variance: a problem statement
Synchronizing Refactored UML Class Diagrams and OCL Constraints
Proceedings of 6th International Workshop on Context-Oriented Programming, COP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014
Reusing Highly Optimized IR in Dynamic Compilation
Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach
Progress Report: Exploring API Design for Capabilities for Programming with Arrays
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015
Strongest postcondition of unstructured programs
Type-Based Object Immutability with Flexible Initialization
Object Location Control Using Meta-level Programming
Nesting Actions through Asynchronous Message Passing: the ACS Protocol
Third CLOS users and implementors workshop (workshop session)
Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither
On self-adaptation in systems-of-systems
Towards a full multiple-inheritance virtual machine
Developing a Class Hierarchy for Object-Oriented Transaction Processing
Detecting Refactored Clones
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Static Detection of Loop-Invariant Data Structures
Capture-Avoiding and Hygienic Program Transformations
Safe corecursion in coFJ
Nested Pure Operation-Based CRDTs
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, SESoS@ECOOP, Montpellier, France, July 2, 2013
A Language Framework for Multi-Object Coordination
Prototyping and Composing Aspect Languages
Creative Object-Oriented Modelling: Support for Intuition, Flexibility, and Collaboration in CASE Tools
Language Support for Connector Abstractions
FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation
An Approach to Classify Semi-structured Objects
Code Analyses for Refactoring by Source Code Patterns and Logical Queries
Towards a model of corecursion with default
Towards a Change Specification Language for API Evolution
Context oriented programming in highly concurrent systems
An Implementation Method of Migratable Distributed Objects Using an RPC Technique Integrated with Virtual Memory Management
Supporting Physical Independence in an Object Database Server
A comparison of the Essence 1.0 and SPEM 2.0 specifications for software engineering methods
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
Automatic vectorization using dynamic compilation and tree pattern matching technique in Jikes RVM
Engineering Usability for Software Refactoring Tools
LJGS: Gradual Security Types for Object-Oriented Languages
Uniting global and local context behavior with context Petri nets
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
Object-Oriented Multi-Methods in Cecil
ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes
External Uniqueness Is Unique Enough
Trace-based debugging for advanced-dispatching programming languages
Meta Patterns - A Means For Capturing the Essentials of Reusable Object-Oriented Design
A way forward in parallelising dynamic languages
JCoBox: Generalizing Active Objects to Concurrent Components
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures
Measurement Strategies
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
PANDA - Supporting Distributed Programming in C++
Precise Constraint-Based Type Inference for Java
Marco: Safe, Expressive Macros for Any Language
J-Orchestra: Automatic Java Application Partitioning
Proceedings of the 3rd International Workshop on Context-Oriented Programming, COP 2011, Lancaster, United Kingdom, July 25, 2011
The Closing of the Frontier
An Adaptation Browser for MOF
Predicate Dispatching: A Unified Theory of Dispatch
Typed Concurrent Objects
Early Identification of Incompatibilities in Multi-component Upgrades
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering
ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications
A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests
Statement Annotations for Fine-Grained Advising
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model
How We Should Use Aspects
KABA: Automated Refactoring for Improved Cohesion
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
Classification of Actions, or Inheritance also for Methods
Layered method dispatch with INVOKEDYNAMIC: an implementation study
Refactoring in Erlang, a Dynamic Functional Language
Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study
Incremental Class Dictionary Learning and Optimization
Object Integrity Using Rules
Scoped Types and Aspects for Real-Time Java
Annotations for Seamless Aspect Based SW Evolution
A Modeller's Workbench: Experiments in Object-Oriented Simulation
Program Sliding
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
The bottom line (workshop session): using OOP in a commercial environment
How Live are Live Programming Systems?: Benchmarking the Response Times of Live Programming Environments
Mutable WadlerFest DOT
Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency
Evaluating Support for Features in Advanced Modularization Technologies
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
Attaching Second-Order Types to Methods in an Object-Oriented Language
Salsa: static analysis of serialization features
Fearless Asynchronous Communications with Timed Multiparty Session Protocols
Refactoring-Based Support for Binary Compatibility in Evolving Frameworks
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Reconstructing z3 proofs in KeY: there and back again
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns
Flexible Transformation Language
Customising Object Allocation
ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings
Bridging real-world contexts and units of behavioral variations by composite layers
Foo: a minimal modern OO calculus
O-O Requirements Analysis: an Agent Perspective
FHJ: A Formal Model for Hierarchical Dispatching and Overriding
Exploring Role Based Adaptation
Evolving User Interfaces From Within Self-supporting Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs
History-based specification and verification of Java collections in KeY (keynote)
Towards Making a Computer Tutor for Children of All Ages: A Memo
Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language
Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
Feature Modeling and Composition with Coordination Contracts
Making Sense of Large Heaps
Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs
Representing and Reasoning on Feature Architecture: A Description Logic Approach
IDE-integrated Support for Schema Evolution in Object-Oriented Applications
Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea)
Declarative Object Identity Using Relation Types
Declarative Dynamic Object Reclassification
A Case Study for Aspect Based Updating
Challenges for SoS architecture description
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks
Retargetting Legacy Browser Extensions to Modern Extension Frameworks
Code Generation in Serializers and Comparators of Apache Flink
A Class Hierarchy for Building Stream-Oriented File Systems
Using OOP for real-time programming (workshop session)
Efficient Object Querying for Java
Debugging Method Names
Composing polymorphic information flow systems with reference immutability
31st European Conference on Object-Oriented Programming, ECOOP 2017, Barcelona, Spain, June 19-23, 2017
Towards Alias-Free Pointers
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly
Data-centric metaprogramming in object-oriented languages
Imperative objects with dependent types
Evolution of an Adaptive Middleware Exploiting Architectural Reflection
Daileon: a tool for enabling domain annotations
History-based security for JavaScript
The Duality of Subtyping
COPE - Automating Coupled Evolution of Metamodels and Models
Issues in object data management (panel session)
Multiparty Session Programming With Global Protocol Combinators
Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages
Coupling catch clauses with local declarations
Code Roots
Parallel Operators