yusuke1997/dblp-id-title huggingface dataset:
DISCOPAR: a visual reactive programming language for generating cloud-based participatory sensing platforms
The Object-Oriented Implementation of a Document Editor
Higher-order delta modeling for software product line evolution
PCLOS: Stress Testing CLOS Experiencing the Metaobject Protocol
Removing stagnation from modern code review
Multiple dispatch in practice
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch
VMIL 2021: Proceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Virtual Event / Chicago, IL, USA, 19 October 2021
Distributed ray tracing in x10
GPUVerify: a verifier for GPU kernels
Doing your first OO project: OO education issues in industry and academia
Profile-Guided Receiver Class Prediction
Customizable gradual polymorphic effects for Scala
Automatic detection, correction, and visualization of security vulnerabilities in mobile apps
Cross-domain compilation: exploiting synergies across the CS community (keynote)
Is the licensing of software engineers good for the OT community? (panel report)
The Use of Multimethods and Method Combination in a CLOS Based Window System Interface
Motivating complexity understanding by profiling energy usage
Dependent partitioning
Grace: safe multithreaded programming for C/C++
Middleware object query processing with deferred updates and autonomous sources
A Formal Framework for the Java Bytecode Language and Verifier
Privacy and security constraints for code contributions
Typestate-like analysis of multiple interacting objects
On the implications of language constructs for concurrent execution in the energy efficiency of multicore applications
Asynchronous assertions
Plaid: a permission-based programming language
Reducing the barriers to writing verified specifications
Survey of approaches for assessing software energy consumption
Addendum to the Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1995 Addendum, Austin, Texas, USA, October 15-19, 1995
A different kind of programming languages course
Scalable race detection for Android applications
Facilitating collaboration in high-performance computing projects with an interaction room
Versionable, Branchable, and Mergeable Application State
Heterogeneous multi-core systems: UML profiles vs. DSM approaches
Targeted and depth-first exploration for systematic testing of android apps
Debugging support for multi-paradigm concurrent programs
On testing the source compatibility in Java
Automatic identification of common and special object-oriented unit tests
Event-based parsing
Dependable distributed object systems
Workshop preview of the 3rd international workshop on mobile development lifecycle (MobileDeLi 2015)
Enforcing reference and object immutability in Java
On the language metaphor
Can Structured Methods be Objectified? (Panel)
A formal foundation for trace-based JIT compilers
Bottleneck analysis in java applications using hardware performance monitors
Java interfaces in CS 1 textbooks
Webrb: evaluating a visual domain-specific language for building relational web-applications
A semantic integrated development environment
Infra: structure all the way down: structured data as a visual programming language
Stability in a bidding/quotation system
MOLEGA: modeling language for educational card games
Mostly-copying Reachability-based Orthogonal Persistence
Model and techniques to specify, develop and use a framework: a meta modeling approach
From clarity to efficiency for distributed algorithms
Making the Future Safe for the Past: Adding Genericity to the Java Programming Language
Patterns in software architecture
Building an object oriented problem solving environment for the parallel numerical solution of PDEs
Business object design and implementation III
Semantic framework for DSLs
Write barrier removal by static analysis
HJ-Viz: a new tool for visualizing, debugging and optimizing parallel programs
Collaborative annotations for large touchscreen web Applications
Dolli 2: project presentation
Quality of experience for composite web services (QoE4CWS): focusing on the client
Infection size as a measure of bug severity
Evolving to Objects - The Witches' Brew
Diagnosing degenerate forms in software
Program transformation techniques applied to languages used in high performance computing
Asserting reliable convergence for configuration management scripts
Rapid prototyping of chatbots for data exploration
Comparing transitive to non-transitive object immutability
The Amadeus GRT - Generic Runtime Support for Distributed Persistent Programming
Toward refactoring in a polyglot world: extending automated refactoring support across Java and XML
Just-in-time data structures: towards declarative swap rules
Assessing distributed pair programming
Abstract factories and the shape calculator
Finding bugs in spreadsheets using reference counting
Micro patterns in Java code
Determinacy in static analysis for jQuery
Objects in Concurrent Logic Programming Languages
Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience
The anti-goldilocks debugger: helping the average bear debug transparently transformed programs
Beyond the language workbench: a runtime platform for practical semantic computing
Synchronous-reactive web programming
A dynamic evaluation of the precision of static heap abstractions
Foundations of Concurrent Object-Oriented Programming (Panel)
Escape Analysis for Object-Oriented Languages: Application to Java
OOPAL: integrating array programming in object-oriented programming
Set-based pre-processing for points-to analysis
Designing XML vocabularies with UML (poster session)
The design and verification of Java's memory model
Partial Method Compilation using Dynamic Profile Information
Toward abstract interpretation of program transformations
Formal Design Constraints
Delegated isolation
How FIFO is your concurrent FIFO queue?
Supporting software product lines development: FLiP - product line derivation tool
Is text search an effective approach for fault localization: a practitioners perspective
Marine biology simulation
The java module system: core design and semantic definition
Maple: a coverage-driven testing tool for multithreaded programs
Second life: the world's biggest programming environment
Towards compilation of an imperative language for FPGAs
Visualizing software evolution with lagrein
Living it up with a live programming language
Reducing Attack Surface on Cordova-based Hybrid Mobile Apps
Scalable component abstractions
REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Chicago, IL, USA, 18 October 2021
Meta: extending and unifying languages
Concurrency by modularity: design patterns, a case in point
An Efficient Meta-Lock for Implementing Ubiquitous Synchronization
Workshop preview of the 2015 workshop on smart software strategies: 15 years after Y2K - everything old is new again (SMART 2015)
CoJava: a unified language for simulation and optimization
PREFAIL: a programmable tool for multiple-failure injection
Using framework interfaces with design fragments
1st ACM workshop on hot topics in software upgrades (HotSWUp 2008)
Customer context server application enabling customer-focused e-commerce
Quota queue: a new queue data structure that provides prioritized, predictable, guaranteed and fair dequeue mechanism
MetaEdit+: integrated modeling and metamodeling environment for domain-specific languages
Mirrors: design principles for meta-level facilities of object-oriented programming languages
2nd workshop on programming for mobile and touch: PROMOTO 2014
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA
OO process and metrics for effort estimation
Vectorization of apply to reduce interpretation overhead of R
Alternate annotation checkers using fractional permissions
Meeting the requirements of a large scale Software Engineering Environment with Open Software solutions
Toward a management framework for self-adaptive systems
Using C language extensions for developing embedded software: a case study
The paradoxical success of aspect-oriented programming
Usability and Suitability Survey of Features in Visual Ides for Non-Programmers
Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015
Task fusion: improving utilization of multi-user clusters
Getting to Flow in Software Development
Modeling turnpike: a model-driven framework for domain-specific software development
Rebuilding an airliner in flight: a retrospective on refactoring IBM testarossa production compiler for Eclipse OMR
Introducing lightweight reactive values to Java
The influence of HPCToolkit and Score-p on hardware performance counters
The Factors that Influence Apropos Security Approaches for the Object-Oriented Paradigm
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect
The Marmoset project: an automated snapshot, submission, and testing system
Declarative, formal, and extensible syntax definition for aspectJ
Scaling Android user interfaces: a case study of Squid
Sprint: speculative prefetching of remote data
Graphical Specification of Object-Oriented Systems
Smalltalk in the Business World: The Good, the Bad, and the Future (Panel)
Finding resume and restart errors in Android applications
3rd workshop on assessment of contemporary modularization techniques (ACoM 2009)
Dynamics Class Loading in the Java Virtual Machine
The puppet and the probe
TuningFork: a platform for visualization and analysis of complex real-time systems
Adaptive compositions across organizational boundaries
Not so eXtreme programming: agile practices for R&D projects
4th int'l workshop on SOA and web services
Domain driven web development with WebJinn
Atlas: A Case Study in Building a Web-Based Learning Environment using Aspect-oriented Programming
Towards self-adaptable languages
Considering Productivity Effects of Explicit Type Declarations
A world of active objects for work and play: the first ten years of lively
Teaching DevOps: a tale of two universities
It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It
Parametric Polymorphism for Java: A Reflective Solution
Example-based live programming for everyone: building language-agnostic tools for live programming with LSP and GraalVM
Injecting mechanical faults to localize developer faults for evolving software
TROPIC: a framework for model transformations on petri nets in color
Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2017, Vancouver, BC, Canada, October 23 - 27, 2017
SmartEMF: guidance in modeling tools
Simple and Effective Analysis of Statically Typed Object-Oriented Programs
Parasitic Methods: An Implementation of Multi-Methods for Java
Best practices in cloud computing: implementation and operational implications for the cloud
End-user software customization by direct manipulation of tabular data
libDSU: towards hot-swapping dynamically linked libraries on stock Linux
VMIL@SPLASH 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Virtual Event, USA, November 17, 2020
Interlanguage migration: from scripts to programs
Panel on inheritance
MetaCG: annotated call-graphs to facilitate whole-program analysis
Multicore, manycore, and cloud computing: is a new programming language paradigm required?
Reimagining literate programming
Constructing a metacircular Virtual machine in an exploratory programming environment
The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing
JRes: A Resource Accounting Interface for Java
Isolation for nested task parallelism
Ambiance: adaptive object model-based platform for macroprogramming sensor networks
Finding bugs in eclipse
A safe autonomous vehicle trajectory domain specific modeling language for non-expert development
Mach and Matchmaker: Kernel and Language Support for Object-Oriented Distributed Systems
Keshmesh: a tool for detecting and fixing java concurrency bug patterns
@composite: macro annotations for Java C
Language factories
A tag-based approach for the design and composition of information processing applications
Introducing the project/process evaluation and development framework (poster session)
Aspect-oriented frameworks (poster session): the design of adaptable operating systems
Dynamic constraint detection for polymorphic behavior
The two-state solution: native and serializable continuations accord
*J: a tool for dynamic analysis of Java programs
FeatureCoPP: compositional annotations
Sixth international workshop on SOA & web services: best practices
Comparative language fuzz testing: programming languages vs. fat fingers
A metamodeling approach to model transformation
Exploring multi-threaded Java application performance on multicore hardware
Reflections on Metaclass Rorgramming in SOM
Developing competency in parallelism: techniques for education and training
Capturing and Exploiting IDE Interactions
Tilcara: an OO perspective to handle continuous fields in GIS
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA
Pseudo-classes: very simple and lightweight mockObject-like classes for unit-testing
An Open Implementation Analysis and Design for Lightweight Threads
Removing GC synchronisation
Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens, Greece, October 21, 2019
Creating the Architecture of a Manufacturing Framework by Design Patterns
Automatic atomic region identification in shared memory SPMD programs
TruSSCom: proposal for trustworthy service representation, selection and negotiation for integrating software systems
Regression aware debugging for mobile applications
Encapsulating concurrency with Early-Reply
Trustworthy numerical computation in Scala
Software security: a study in technology transfer
Improving the Java memory model using CRF
The OOPSLA trivia show (TOOTS)
Research Issues in Discretionary Authorizations for Object Bases
Demystifying dependence
Smten with satisfiability-based search
Concurrency for the application programmer
Concept analysis in programming language research: done well it is all right
Building a Timeline Editor from Prefab Parts: The Architecture of an Object-Oriented Application
Verifying security patches
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1997, Atlanta, Georgia, October 5-9, 1997
Concurrent object-oriented programming with agents
A study of devirtualization techniques for a Java TM Just-In-Time compiler
Quicktalk: A Smalltalk-80 Dialect for Defining Primitive Methods
How Dart learned from past object-oriented systems (keynote)
Exploiting inter-sequence correlations for program behavior prediction
What can the GC compute efficiently?: a language for heap assertions at GC time
The yin and yang of hardware heterogeneity: can software survive?
An empirical study of the influence of static type systems on the usability of undocumented software
Using metaphors from natural discussion to improve the design of arcum
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects
Incremental scannerless generalized LR parsing
An interpretive domain specific language workbench
Formula choice calculus
Grace: the absence of (inessential) difficulty
Some new approaches to partial inlining
Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study
Provenance: a future history
A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation
The practice of specifying requirements using executable acceptance tests in computer science courses
Using AspectJ for component integration in middleware
A simple abstraction for complex concurrent indexes
Towards domain-specific property languages: the ProMoBox approach
Upgrading fortran source code using automatic refactoring
Declaratively programming the mobile web with Mobl
An Execution Model for Distributed Object-Oriented Computation
Type checking beyond type checkers, via slice & run
Run-time code generators for model-level debugging in domain-specific modeling
Software architecture improvement through test-driven development
Get to know your clones with CeDAR
DigitalAssets Manager, Sharing and Managing Software Development Assets
Object-Oriented Practice in 1998: Does it help or hinder collaboration? (Panel)
Growing solver-aided languages with rosette
Two decades of smalltalk VM development: live VM development through simulation tools
Agile specifications
GraphTrace - Understanding Object-Oriented Systems Using Concurrently Animated Views
Versatile language semantics with reflective embedding
Supporting users to manage breaking and unresolvable changes in coupled evolution
MetaEdit+: domain-specific modeling for full code generation demonstrated [GPCE]
(No) more design patterns for multi-agent systems
Data collection requirements for mobile connected health: an end user development approach
Using dependency models to manage software architecture
Ownership transfer in universe types
Issues on building T++: a tool for web application development with C++
Which of my transient type checks are not (almost) free?
11th OOPSLA workshop on behavioral semantics: serving the customer
Incremental return on incremental investment: Engenio's transition to software product line practice
Objects and Domain Engineering - Panel Session
Language integrated query: unified querying across data sources and programming languages
The Generic Graph Component Library
Hacking with multi-touch for Java (MT4j)
Higher-order symbolic execution via contracts
Comprehending implementation recipes of framework-provided concepts through dynamic analysis
Curricula in concurrency and parallelism
Enhancing distributed object middleware qualities
eROSE: guiding programmers in eclipse
The uniconc optimizing unicon compiler
Locks, deadlocks and abstractions: experiences with multi-threaded programming at CloudFlare, Inc
Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, SEPS@SPLASH 2015, Pittsburgh, PA, USA, October 27, 2015
Objects, components, and the virtual enterprise
Modular programming with aspectual collaborations
Keeping track of crosscutting requirements in UML models via context-based constraints
Practitioner report: an improved Smalltalk application server for a Web-based business solution
Design of a Distributed Object Manager for the Smalltalk-80 System
Function Minimization and Automatic Differentiation Using C++
Business object design and implementation IV: From business objects to complex adaptive systems: OOPSLA 1998 workshop report
Probabilistic calling context
Towards fully reflective environments
Precise and maximal race detection from incomplete traces
Communication Mechanism on Autonomous Objects
Energy profiling with Alpaca
A friendly face for Eclipse
Language support for verifiable SDNs
A compiler for throughput optimization of graph algorithms on GPUs
Mobile-D: an agile approach for mobile application development
Hitting the target: adding interaction design to agile software development
Workshop on OODB implementation
Web-based exercise system for engineering teaching
Panel - Is Multiple Inheritance Essential to OOP?
Practical Experience with an Application Extractor for Java
PixelDust: supporting dynamic area of interest tagging in programming studies with eye tracking
Intentional software
Zones, Contracts and Absorbing Changes: An Approach to Software Evolution
Retaining semantic information in the static analysis of real-world software
COOMP 2011: first international workshop on combined object-oriented modeling and programming
A Core Calculus for Java Exceptions
Objektgraph: why code when MVC applications can be generated with UML-based diagrams?
Addendum to the Proceedings on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1992 Addendum, Vancouver, British Columbia, Canada, October 18-22, 1992
Automated reasoning for web page layout
Null dereference verification via over-approximated weakest pre-conditions analysis
Object Structure in the Emerald System
Improving quality together
Semantics-based program verifiers for all languages
Software data-triggered threads
Concolic testing: a decade later (keynote)
Cloud twin: interactive cross-platform replay for mobile applications
Aoopes'11 workshop overview abstract
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures
KonohaScript: static scripting for practical use
Using model-driven engineering to complement software product line engineering in developing software defined radio components and applications
Synthesizing Java expressions from free-form queries
C-SAW and genAWeave: a two-level aspect weaving toolsuite
An Object-Oriented Approach to a Large Scientific Application
Implementing distribution and persistence aspects with aspectJ
Virtual machines and intermediate languages for emerging modularization mechanisms
Green applications: software applications that optimize energy usage
Classbox/J: controlling the scope of change in Java
Service oriented garbage collection: improving performance and robustness of application servers
Best practices in cloud computing: designing for the cloud
Visualisation for learning OOP, using AOP and eclipse
A graphical language for flexible inference in robotics and vision (invited talk)
AOP as a first class reflective mechanism
Celebrating 40 years of language evolution: simula 67 to the present and beyond
Towards client-aware interface specifications
The object-oriented trivia show (TOOTS)
Interruptible context-dependent executions: a fresh look at programming context-aware applications
Scripting refactorings with JunGL
Exploiting models for scalable and high throughput distributed software
Runtime synthesis of high-performance code from scripting languages
Using Role Components to Implement Collaboration-Based Designs
Using Object Modeling Techniques to Design MLS Data Models
Composite Object Support in an Object-Oriented Database System
Exploring largeness, complexity and scalability from the OOT perspective
GEMs: shared-memory parallel programming for Node.js
Deriving refactorings for aspectJ
Hacker or hero? - extreme programming today (panel session)
Input-covering schedules for multithreaded programs
Axiom-based testing for C++
Stateless model checking of event-driven applications
Towards an open meta modeling environment
Typechecking and Modules for Multi-Methods
VMIL@OOPSLA 2008: Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, Nashville, Tennessee, USA, October 21 - 23, 2008
Lightweight on-stack replacement in languages with unstructured loops
Multilevel Security in Object-Oriented Databases
Panel on making products
From platform-independent to platform-specific models using democles
A framework for building language interpreters
Configuring Stand-Alone Smalltalk-80 Applications
Metamodel-driven model interpreter evolution
Efficiently speeding up sequential computation through the n-way programming model
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada
Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator
A Denotational Semantics of Inheritance and its Correctness
A bottom-up combinable name service for Peer-to-Peer network
DSMLs for enterprise architecture management: review of selected approaches
Lessons Learned from Implementing the CORBA Persistent Object Service
Smell detection for eclipse