yusuke1997/dblp-id-title huggingface dataset:
The Cuban software revolution: 2016¿2025
Tackling the discovery costs of evolving software systems
Object-Oriented Programming in Smalltalk and ADA
Isolates, channels, and event streams for composable distributed programming
Coping with distance: an empirical study of communication on the jazz platform
A model-driven approach to formal refactoring
Catch me if you can: performance bug detection in the wild
The essence of live coding: change the program, keep the state!
Object-Oriented Type Inference
The 11th workshop on domain-specific modeling
Empirical assessment of object-oriented implementations with multiple inheritance and static typing
Panel: Training Professionals in Object Technology
Refactoring is not (yet) about transformation
Applying test-driven development for creating and refining domain-specific modeling languages and generators
Software architecture at a large financial firm
Using early phase termination to eliminate load imbalances at barrier synchronization points
An Object-Oriented Application Security Framework
Using Tuple Space Communication in Distributed Object-Oriented Languages
Strategies for Scientific Prototyping in Smalltalk
Composing new abstractions from object fragments
OOPSLA Distributed Object Management (Panel)
Experiences in DBMS Implementation Using an Object-Oriented Persistent Programming Language and a Database Toolkit
An approach to safely evolve program families in C
On the way of bottom-up designing textual domain-specific modelling languages
From developer's head to developer tests: characterization, theories, and preventing one more bug
Modular Reasoning in the Presence of Subclassing
Java performance evaluation through rigorous replay compilation
Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1986, Portland, Oregon, USA, Proceedings
Streamlining the Project Cycle With Object-Oriented Requirements
Model driven architecture: the realities, a year later
The impact of static-dynamic coupling on remodularization
Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL@SPLASH 2018, Boston, MA, USA, November 4, 2018
An end-to-end domain-driven software development framework
Object-Oriented Programming for Product Development - Panel
PaCon: a symbolic analysis approach for tactic-oriented clustering of programming submissions
PatternStudio: a tool for design pattern management
Fast conservative garbage collection
Logical Composition of Object-Oriented Interfaces
JML (poster session): notations and tools supporting detailed design in Java
What's wrong with git?: a conceptual design analysis
Runtime specialization with optimistic heap analysis
OOP in the Real World (Panel)
Objects in their Eyes (Panel)
Energy types
Testing domain-specific languages
The Direct Cost of Virtual Function Calls in C++
Multiple ownership
Case Study of Object-Oriented Software Development
Bridging software languages and ontology technologies: tutorial summary
Panel: Teaching OOP
Machine learning for programming
Experiences with automotive service modeling
Language support for dynamic, hierarchical data partitioning
How did the failure come to be?
A mini-plop at OOPSLA '07
Bottom up creation of a DSL using templates and JSON
Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System
Seventh OOPSLA workshop on behavioral semantics of OO business and system specifications
Searching for answers: an exploratory study of the formation, use, and impact of queries during debugging
Do language constructs for concurrent execution have impact on energy efficiency?
Accelerating program analyses by cross-program training
CPAL: high-level abstractions for safe embedded systems
Semantics of persistence in the glib programming language
Type Consistency of Queries in an Object-Oriented Database System
SpeechClipse: an Eclipse speech plug-in
Automated testing of pointcuts in AspectJ programs
Automatic generation and inference of interface properties from program source code
Using architecture to change code: studying information needs
Virtual machines should be invisible
How to Preserve the Benefits of Design Patterns
Web testing made easy
Subject-Oriented Composition Rules
Safer unsafe code for .NET
ManiplIcons in ThinkerToy
Strategies for Object-Oriented Technology Transfer (Panel)
Exception Handling and Object-Oriented Programming: Towards a Synthesis
Medic: metaprogramming and trace-oriented debugging
Defining and implementing a scientific analysis software architecture
Java and scala's type systems are unsound: the existential crisis of null pointers
How to design a good API and why it matters
Software reuse: nemesis or Nirvana? (panel)
Hamster: making grid middleware fault-tolerant
Development of an OO Infrastructure for Mainframe Database Applications
Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1987, Orlando, Florida, USA, October 4-8, 1987, Proceedings
Tribal ownership
Interactive exploration of compacted visualizations for understanding behavior in complex software
Dynamic optimization of bytecode instrumentation
The design of a task parallel library
Semantic Analysis of Virtual Classes and Tested Classes
Agile architecture methodology: long term strategy interleaved with short term tactics
The design and implementation of formal monitoring techniques
Using software quality standards to assure the quality of the mobile software product
VMIL@SPLASH '13: Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, Indianapolis, IN, USA, 28 October 2013
Contracts: Specifying Behavioural Compositions in Object-Oriented Systems
Epi-aspects: aspect-oriented conscientious software
Toward tool support for interactive synthesis
Online feedback-directed optimizations for parallel Java code
Finding the forest in the trees
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts
INSIST: Interactive Simulation in Smalltalk
Activating refactorings faster
The entangled strands of time in software development
Notes on notes on postmodern programming: radio edit
Automatically fixing security vulnerabilities in Java code
Refactoring with synthesis
Physics as freedom
The culture of programming languages
GraalVM native image: large-scale static analysis for Java (keynote)
Domain-specific modeling as an enabling technology for small and medium-sized enterprises
Wyvern: Impacting Software Security via Programming Language Design
The intuitive control of smart home and office environments
Capturing and analyzing low-level events from the code editor
Refactoring support for the C++ development tooling
SEPS 2014: first international workshop on software engineering for parallel systems
Teachable moments in functional audio processing
Finding concurrency bugs using graph-based anomaly detection in big code
Designing language-oriented programming languages
Towards a dynamic object model within Unix processes
Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors
Finding refactorings via change metrics
Toward a Java based infrastructure for unmanned aerial vehicles
Mentat: An Object-Oriented Macro Data Flow System
Ercatons and organic programming: say good-bye to planned economy
Can infopipes facilitate reuse in a traffic application?
Fusing method handle graphs for efficient dynamic JVM language implementations
Garbology: a study of how Java objects die
Next in line, please!: exploiting the indirect benefits of inlining by accurately predicting further inlining
Using Key Object Opportunism to Collect Old Objects
pi: a pattern language
Reasoning about multiple related abstractions with MultiStar
Lively groups: shared behavior in a world of objects without classes or prototypes
A Study of Exception Handling and Its Dynamic Optimization in Java
A Distributed Object-Oriented Framework for Dependable Multiparty Interactions
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation
Programming with neural surrogates of programs
Automatic fine-grain locking using shape properties
Towards a Metrics Suite for Object Oriented Design
The causes of bloat, the limits of health
Using predicate fields in a highly flexible industrial control system
A simulation-based software design framework for network-centric and parallel systems
Efficient Handling of Multiple Inheritance Hierarchies
Building connections between theories of computing and physical systems
A Laboratory for Teaching Object-Oriented Thinking
A principled approach to REPL interpreters
Vamp: The Aldus Application Framework
Programming with relaxed synchronization
VMIL 2010: 4th workshop on virtual machines and intermediate languages
Understanding the effects of code presentation
Generics of a higher kind
Open and efficient type switch for C++
Performance analysis of idle programs
Extending abstract GPU APIs to shared memory
eXtreme ISO ?!?
Flapjax: a programming language for Ajax applications
Evaluating object-oriented design
What makes a programming language popular?: an essay from a historical perspective
Et (smart) phone home!
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems
How natural is natural language?: how well do computer science students write use cases?
The serious game: wemakewords
Efficient concurrency-bug detection across inputs
Monitor optimization via stutter-equivalent loop transformation
ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012
MDE-based sensor management and verification for a self-driving miniature vehicle
Second ACM Workshop on Refactoring Tools, WRT 2008, in conjunction with OOPSLA 2008, Nashville, TN, USA, October 19, 2008
Monterey Phoenix, or how to make software architecture executable
Mining source code repositories with boa
Optimisation of service provision for composite web services
Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, Portland, OR, USA, October 21, 2014
On the Semantic Diversity of Delegation-Based Programming Languages
Reasoning about the POSIX file system: local update and global pathnames
Teaching strategies for reinforcing structural recursion with lists
Scalable nonblocking concurrent objects for mission critical code
Model driven software engineering in the large: experiences at the Dutch tax and customs service (industry talk)
Distributed REScala: an update algorithm for distributed reactive programming
CLAM: an OO framework for developing audio and music applications
The view: the ultimate IT chat
Product lines of theorems
Instance modeling assisted by an optional meta level
Type qualifier inference for java
A software product line architecture for distributed real-time and embedded systems: a separation of concerns approach
An Evaluation of Automatic Object Inline Allocation Techniques
Objects and databases: state of the union in 2006
Tackling the awkward squad for reactive programming: the actor-reactor model
SoftTest: a framework for software testing of Java programs
Use of Object-Oriented Programming in a Time Series Analysis System
Implementing delta-oriented SPLs using PEoPL: an example scenario and case study
NitroGen: rapid development of mobile applications
Jeannie: granting java native interface developers their wishes
Mandatory Security in Object-Oriented Database Systems
Language-based capabilities
Design snippets: partial design representations extracted from source code
On-the-fly capacity planning
Producer: A Tool for Translating Smalltalk-80 to Objective-C
Using a Prototype-based Language for User Interface: The Newton Project's Experience
The future is dynamic: adaptive runtime resource management for heterogeneous computer platforms
The 8th OOPSLA workshop on domain-specific modeling
An evaluation of secialized Java bytecodes
Understanding energy behaviors of thread management constructs
How to make tasks faster: revealing the complex interactions of tasks in the memory system
The squawk virtual machine: Java on the bare metal
Phrase-Based Statistical Translation of Programming Languages
Extending OpenJDK to support hybrid STM/HTM: preliminary design
VMIL: workshop on virtual machines and intermediate languages
Living in your programming environment: towards an environment for exploratory adaptations of productivity tools
Panel: Using Ada within an Object-Oriented Software Development Paradigm
Jatte: a tunable tree editor for integrated DSLs
Transformation of an application data layer
Composite Multimedia and Active Objects
Racket's intermediate language for control (invited talk)
Good examples for exposing bad practice: a "killer examples" workshop
The role of the customer in software development: the XP customer - fad or fashion?
Symbolic execution of multithreaded programs from arbitrary program contexts
Formal Techniques for OO Software Development (Panel)
Using Objects To Design and Build Radar ESM Systems
Tolerating memory leaks
Cloud computing beyond objects: seeding the cloud
A compiler for linear algebra operations
Benefits and barriers of user evaluation in software engineering research
Portable Resource Control in Java: The J-SEAL2 Approach
Javana: a system for building customized Java program analysis tools
Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations
Ultra-large-scale systems
A Comparative Performance Evaluation of Write Barrier Implementations
Structured co-evolution of models and web application platforms
Deploying lightweight processes (poster session)
Event-driven programming facilitates learning standard programming concepts
Turning nondeterminism into parallelism
A comparison of compilation techniques for trace monitors with free variables
The JVM is not observable enough (and what to do about it)
Eval begone!: semi-automated removal of eval from javascript programs
DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, Chicago, IL, USA, 18 October 2021
Selective control-flow abstraction via jumping
Asynchronous monad for reactive IoT programming
Addendum to the Proceedings on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1994 Addendum, Portland, Oregon, USA, October 23-28, 1994
Implementing Constraint Imperative Programming Languages: The Kaleidospace'93 Virtual Machine
Applying aspect mining techniques to understand an existing program
Bounded exhaustive test input generation from hybrid invariants
Checking reachability using matching logic
Fraglight: shedding light on broken pointcuts in evolving aspect-oriented software
Art, science, and fear
Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs
State machine specification directly in Java and C++ (poster session)
Identification of reusable components within an object-oriented software system using algebraic graph theory
Frequency distribution of error messages
MIX10: compiling MATLAB to X10 for high performance
Understanding the behavior of database operations under program control
Refactoring UML models: using openarchitectureware to measure uml model quality and perform pattern matching on UML models with OCL queries
Virtual yacht racing on the Web
Machine learning pedagogy to support the research community
2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary
Agile and object oriented practices in embedded systems
Concurrency by default: using permissions to express dataflow in stateful programs
Cedalion: a language for language oriented programming
Hybrid STM/HTM for nested transactions on OpenJDK
A regression testing framework for financial time-series databases: an effective combination of fitnesse, scala, and kdb/q
Strict serializability is harmless: a new architecture for enterprise applications
Automating vertical profiling
By-example adaptation of the generic model versioning system AMOR: how to include language-specific features for improving the check-in process
To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains
An approach for persistent time-varying values
Concepts: linguistic support for generic programming in C++
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java
Chianti: a tool for change impact analysis of java programs
"Killer examples" for design patterns: the fifth annual OOPSLA "Killer Examples" workshop
AngularJS in the wild: a survey with 460 developers
DSLs: the good, the bad, and the ugly
Starc: static analysis for efficient repair of complex data
A Fast Method Dispatcher for Compiled Languages with Multiple Inheritance
Ficticious: MicroLanguages for interactive fiction
Bypassing portability pitfalls of high-level low-level programming
CommonLoops: Merging Lisp and Object-Oriented Programming
Program transformations for re-engineering C++ components [OOPSLA/GPCE]
Towards stable software analysis patterns
Language constructs for improving reusability in object-oriented software
An 'explicit type enforcement' program transformation tool for preventing integer vulnerabiliites
A proposal for taming uncertainty in the collaborative conceptual model development process
Type Substitution for Object-Oriented Programming
Call Graph Construction in Object-Oriented Languages
Safe futures for Java
A Status Report on the oo7 OODBMS Benchmarking Effort
Volatility metric to detect anomalies in source code repositories
How to Get a Paper Accepted at OOPSLA (Panel)
Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine
A market-based approach to software evolution
A concurrent dynamic analysis framework for multicore hardware
To inclusive design through contextually extended IoC: infusion IoC, a JavaScript library and mentality for scalable development of accessible and maintainable systems
Effective race detection for event-driven programs
xWIDL: modular and deep JavaScript API misuses checking based on extended WebIDL
A practical high volume software product line
Creating Host Compliance in a Portable Framework: A Study in the Use of Existing Design Patterns
ALIA4J's [(just-in-time) compile-time] MOP for advanced dispatching
Custom full-coverage dynamic program analysis for Android
A study on the most popular questions about concurrent programming
The Basic Object System: Supporting a Spectrum From Prototypes To Hardened Code
Pegasus: first steps toward a naturalistic programming language
Formal specification of CORBA services: experience and lessons learned
Modeling dynamic/emergent distributed object systems
SCONE: Using Concurrent Objects for Low-level Operating System Programming
Creating an informative workspace
AVANCE: An Object Management System
Modeling object-oriented design
CodeQuest: querying source code with datalog
Managing Object Oriented Projects - Panel Session
Summary of the 17th ACM SIGPLAN international workshop on domain-specific modeling (DSM 2019)
Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language
Taking off the gloves with reference counting Immix
An understandability metrics for object oriented programs
F4F: taint analysis of framework-based web applications
On the usage of pythonic idioms
Beyond Schema Evolution to Database Reorganization
Transparent fault tolerance for CORBA based distributed components (poster session)
Upload your program, share your model
Improving performance and quality of database-backed software
Towards a theory of conceptual design for software
Declarative access policies based on objects, relationships, and states
Understanding code architectures via interactive exploration and layout of layered diagrams
Continuously measuring critical section pressure with the free-lunch profiler
now happens-before later: static schedule analysis of fine-grained parallelism with explicit happens-before relationships
Ownership, encapsulation and the disjointness of type and effect
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
Automatic code generation for cross-platform, multi-device mobile apps: some reflections from an industrial experience
The Design of the C++ Booch Components
Incremental forest: a DSL for efficiently managing filestores
Retaining comments when refactoring code
The pareto distribution of software features and no-code
Business Compilers: towards supporting a highly re-configurable architectural style for service-oriented architecture
Creating domain-specific modeling languages using by-demonstration technique
Dynamically inferring, refining, and checking API usage protocols
Expertiza: students helping to write an OOD text
Dynamically diagnosing type errors in unsafe code
Cross language refactoring for Eclipse plug-ins
The algorithm for precision medicine (invited talk)
Does better throughput require worse latency?
Using FindBugs on production software
High-level declarative user interfaces
Opus: A Smalltalk Production System
"Objects first, interfaces next" or interfaces before inheritance
A Pragmatic System for Shared Persistent Objects
Escaped from the lab: innovation practices in large organizations
Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015)
Workshop on tools
A recommender for conflict resolution support in optimistic model versioning
Do you still use a database?
Going green with refactoring: sustaining the "worldwide virtual machine"
Porting the NetBeans Java 8 enhanced for loop lambda expression refactoring to eclipse
Mobile application test case generation focusing on external events
CViMe: viewing conditionally compiled C/C++ sources through Java
Issues on building T++, a tool for web application development with C++
Mining student capstone projects with FRASR and ProM
Exploiting the JaCaMo framework for realising an adaptive room governance application
Object-Oriented Megaprogramming (Panel)
How much information do software metrics contain?
"No silver bullet" reloaded: retrospective on "essence and accidents of software engineering"
ETX'14: 2014 workshop on eclipse technology exchange
The crisis in systems code maintenance: sourceforge, we have a problem
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes
OOP and AI (Panel)
A measure of design readiness: using patterns to facilitate teaching introductory object-oriented design
Megamodelling with NGA multimodels
Cross-layer memory management for managed language applications
Automatic Inheritance Hierarchy Restructuring and Method Refactoring
Constraints as a design pattern
Finding the missing eclipse perspective: the runtime perspective
Model driven development: the case for domain oriented programming
Global reuse strategy based on use cases (poster session)
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine
An Event-Driven Model-View-Controller Framework for Smalltalk
A graph-based approach to API usage adaptation
Panel - Which Method is Best?
Using Sybase WorkSpace to build service oriented architecture (SOA) applications quickly
OOGIE: ownership object graph interactive editor
Tool support for the static extraction of sound hierarchical representations of runtime object graphs
"Good enough" software reliability estimation plug-in for Eclipse
SyQL: an object oriented, fuzzy, temporal query language for repositories of software artifacts
SugarJ: library-based syntactic language extensibility
Model-based, event-driven programming paradigm for interactive web applications
Lime: a Java-compatible and synthesizable language for heterogeneous architectures
KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework
Transformations to automate model change evolution
Io: a small programming language
An Interactive Environment for Object-Oriented Music Composition and Sound Synthesis
Observationally cooperative multithreading
Static analysis of event-driven Node.js JavaScript applications