yusuke1997/dblp-id-title huggingface dataset:
MOST-flexiPL: modular, statically typed, flexibly extensible programming language
Dependent classes
A Distributed Repository for Immutable Persistent Objects
Is neural machine translation approach accurate enough for coding assistance?
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018
Deploying an application framework and its applications
Against a universal definition of 'Type'
The Tower of Babel did not fail
Agile regression testing using record & playback
Safely creating correct subclasses without seeing superclass code
Automatic detection and repair of errors in data structures
Towards a pattern language for adaptive object models
The nature of order: from security patterns to a pattern language
COOL: Kernel Support for Object-Oriented Environments
A stable software model for MRI visual analyzer
Towards complete consistency checks of Clafer models
Software factories: assembling applications with patterns, models, frameworks and tools
AlleAlle: bounded relational model finding with unbounded data
Learning and reuse in visual programming environments: simulation builder for teachers
A semi-automated approach for analyzing, separating, and modeling of concerns in evolving systems
Agile anthropology and Alexander's architecture: an essay in three voices
An Introduction to Trellis/Owl
A study of artifact creation and use in collaborative object-oriented software design
Back to the future (panel session): Is worse (still) better?
sk_p: a neural program corrector for MOOCs
Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless
Garbage Collection of Actors
Semantic-Based Visualization for Parallel Object-Oriented Programming
Realising software development as a lived experience
Dependable, online upgrades in enterprise systems
Mining implementation recipes of framework-provided concepts in dynamic framework API interaction traces
Interacting with dead objects
Roles for Composite Objects in Object-Oriented Analysis and Design
EA anamnesis: towards an approach for enterprise architecture rationalization
The jastadd extensible java compiler
PyLOM: a language and run-time system for planning applications
OOPSLA idol: a contest to determine the most innovative idea at OOPSLA 2009
Creating and preserving locality of java applications at allocation and garbage collection times
Objects on the Server: Are We Ready? (Panel Session)
JRA: offline analysis of runtime behaviour
Mop: an efficient and generic runtime verification framework
Adapting virtual machine techniques for seamless aspect support
Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012)
autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers
Petri Net-Based Object-Oriented Modeling of Distributed Systems
Experiences Developing and Using an Object-Oriented Library for Program Manipulation
Traits: experience with a language feature
Skills for the agile designer: seeing, shaping and discussing design ideas
Makalu: fast recoverable allocation of non-volatile memory
Precise Concrete Type Inference for Object-Oriented Languages
Islands: Aliasing Protection in Object-Oriented Languages
Performance, portability, and productivity for data-parallel applications on multi- and many-core architectures
The common coder's scratch programming idioms and their impact on project remixing
Ambient-oriented programming
Porting a core CGI workflow system onto a WAS platform while being used and extended to support the enterprise
The Spoofax language workbench
The visitor pattern as a reusable, generic, type-safe component
XIRC: cross-artifact information retrieval [GPCE]
Checks and balances: constraint solving without surprises in object-constraint programming languages
Evolving an embedded domain-specific language in Java
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels
Declarative assembly of web applications from predefined concepts
Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015
Bring your own device (BYOD) with Cloud 4 education
A microbenchmark case study and lessons learned
ChimpCheck: property-based randomized test generation for interactive apps
Supporting dynamic, third-party code customizations in JavaScript using aspects
TouchDevelop: programming cloud-connected mobile devices via touchscreen
Cracking the software paradox (panel session)
Towards domain-driven development: the smartTools software factory
VMIL@SPLASH 2010: Virtual Machines and Intermediate Languages, Reno, Nevada, USA, October 17 - 21, 2010
Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model
ConstrainedJava
T-Clipse: an integrated development environment for two-level grammar
Metamodel-driven evolution
Reflective composition: the declarative composition of roles to unify objects, roles, and aspects
The four Rs of programming language design
Overview of the 3rd international workshop on software patterns and quality ((SPAQu'09)
Isolating and relating concerns in requirements using latent semantic analysis
MT-scribe: a tool for recording and inferring model transformations
Transportable Applications Environment (TAE) Plus Experiences in "Object"-ively Modernizing a User Interface Environment
Cedalion 101: "i want my DSL now"
ESEML: empirical software engineering modeling language
Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction
The 6th OOPSLA workshop on domain-specific modeling
Refactoring class hierarchies with KABA
Transparent proxies for java futures
Static Type Checking of Multi-Methods
A methodology for managing database and code changes in a regression testing framework
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis
KinEdit: a tool to help developers refactor manually
Beyond AOP: toward naturalistic programming
Regrowing a language: refactoring tools allow programming languages to evolve
Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations
Workshop preview of the 3rd international workshop on programming for mobile and touch (PROMOTO 2015)
A language-independent approach to software maintenance using grammar adapters
SharpLudus revisited: from ad hoc and monolithic digital game DSLs to effectively customized DSM approaches
Pluggable verification modules: an extensible protection mechanism for the JVM
Self-adjusting stack machines
Coding at the speed of touch
Teaching software testing: automatic grading meets test-first coding
Annotatable systrace: an extended Linux ftrace for tracing a parallelized program
An Object-Oriented Design System Shell
Liberating the programmer with prorogued programming
Ilea: inter-language analysis across java and c
Ownership types for safe programming: preventing data races and deadlocks
A theory of substructural types and control
Failure-prone components are also attack-prone components
Vertical profiling: understanding the behavior of object-priented applications
A roadmap to domain specific programming languages for environmental modeling: key requirements and concepts
Expressing pipeline parallelism using TBB constructs: a case study on what works and what doesn't
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA
How to achieve 7.52 function-points per person-day with object technology
Object principles (poster session): back to basics
An Extended Frame Language
Compound Types for Java
XJ: robust XML processing in Java
Exploiting parallelism in mobile devices
Workshop on event driven architecture
Towards a graphical notation to express the C++ template instantiation process (poster session)
Is mutation score a fair metric?
Splash'13 workshops summary
Flexible initialization of immutable objects
Remote access to clinical data
Helping students appreciate test-driven development (TDD)
Extracting code from programming tutorial videos
Implementing Jalapeño in Java
How not to survey developers and repositories: experiences analyzing language adoption
The ultra challenge: software systems beyond big
FoodSmart - a large-scale distributed object system
A Module Mechanism for Constraints in Smalltalk
The spoofax language workbench: rules for declarative specification of languages and IDEs
Distributed Persistent Signals: Architecture and Implementation
Efficient and thread-safe objects for dynamically-typed languages
A Monotonic Superclass Linearization for Dylan
Enabling static analysis for partial java programs
Age-Based Garbage Collection
Playground: An Object-Oriented Simulation System With Agent Rules for Children of All Ages
Enhancing source-level programming tools with an awareness of transparent program transformations
An Efficient Implementation of SELF - a Dynamically-Typed Object-Oriented Language Based on Prototypes
Towards improving software security using language engineering and mbeddr C
Beyond the Hype: Do Patterns and Frameworks Reduce Discovery Costs? (Panel)
Performance problems you can fix: a dynamic analysis of memoization opportunities
The New Crop of Java Virtual Machines (Panel)
Automated debugging in eclipse
Breaking out of Eclipse: developing an ActiveX host for SWT
Task types for pervasive atomicity
How does project managers' personality matter?: building the linkage between project managers' personality and the success of software development projects
EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code
Fragile ideas
Extending Ordinary Inheritance Schemes to Include Generalization
SATCheck: SAT-directed stateless model checking for SC and TSO
Categorization of concerns: a categorical program comprehension model
Safe compiler-driven transaction checkpointing and recovery
Inferring context-free grammars for domain-specific languages
Prototyping domain-specific language semantics
Transparent and flexible storage of application objects in CORBA environments
Profile-driven pretenuring for Java (poster session)
Contributions of the under-appreciated: gender bias in an open-source ecology
Relational queries over program traces
Object-Oriented Programming without an Object-Oriented Language - Panel
Panel: designing the next educational programming language
Lost in translation: formalizing proposed extensions to c#
PIROL: a case study for multidimensional separation of concerns in software engineering environments
Proceedings of the 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Vancouver, BC, Canada, October 23 - 27, 2017
Static extraction and conformance checking of the runtime architecture of object-oriented systems
Interactively verifying absence of explicit information flows in Android apps
Raising the level of abstraction of application-level checkpointing
Are object protocols burdensome?: an empirical study of developer forums
The science of deep specification (keynote)
Agile techniques to avoid firefighting at a start-up
OOLACA: an object oriented library for abstract and computational algebra
Panel on concurrency
Core-java: an expression-oriented java
AutoMan: a platform for integrating human-based and digital computation
IRIS Inventor, A 3D Graphics Toolkit
"Honey, i shrunk the types": how behavioral types loose relevance on the edges on OO applications and why a core data fabric is useful for adaptability
Visitor Combination and Traversal Control
An operational semantics for C/C++11 concurrency
The role of objects in a services-obsessed world
A definition of convergence in the area of information and telecommunication technologies
Workshop preview of the 2015 eclipse technology exchange workshop (ETX 2015)
Renaissance: a modern benchmark suite for parallel applications on the JVM
Mapping UML designs to Java
Systems level liveness with extempore
Asking and Answering Questions during a Programming Change Task in Pharo Language
OO technology for the insurance industry
Parallel inclusion-based points-to analysis
Effectiveness of cross-platform optimizations for a java just-in-time compiler
A divide-and-conquer parallel pattern implementation for multicores
Understanding programmer language
Position paper: nondeterminism is unavoidable, but data races are pure evil
Mark-copy: fast copying GC with less space overhead
Toward incremental type checking for Java
Adaptive optimization in the Jalapeño JVM (poster session)
Composable, nestable, pessimistic atomic statements
Improving safety when refactoring aspect-oriented programs
CoSMIC: addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems
Modern software is all about data. development environments should be, too. (keynote)
Declaring and checking non-null types in an object-oriented language
Adding parametric polymorphism to the common object request broker architecture (CORBA) (poster session)
Interfaces for Strongly-Typed Object-Oriented Programming
The United States of a meta-model build with MyDraft: an agile model-driven cloud-based platform for data-oriented rich web applications
Interdisciplinary programming language design
Tools for a successful refactoring
Panel: Object-Oriented Knowledge-Based Software Maintenance
Inheritance and Synchronization with Enabled Sets
Nez: practical open grammar language
Proceedings of the 3rd International Workshop on Software Engineering for Parallel Systems, SEPS@SPLASH 2016, Amsterdam, Netherlands, November 1, 2016
WSAgent: an agent based on web services to promote interoperability between heterogeneous systems in the health domain
An agent framework for agent societies
Generalized algebraic data types and object-oriented programming
9th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2018, Boston, Massachusetts, USA, November 5, 2018
Reuse repositories and reuse: the realities
An aspect-oriented infrastructure for a typed, stack-based, intermediate assembly language
Sound and extensible renaming for java
A flow-based approach for variant parametric types
Tool-supported refactoring for JavaScript
A formal framework for component deployment
Actors as a Special Case of Concurrent Constraint Programming
S-RVM: a secure design for a high-performance java virtual machine
Extreme embedded a report from the front line
Scaling symbolic execution using ranged analysis
Composable specifications for structured shared-memory communication
Visualizing and AspectJ-enabling eclipse plugins using bytecode instrumentation
Back to the futures: incremental parallelization of existing sequential runtime systems
Converting Java classes to use generics
The OOPS framework: high level ions for the development of parallel scientific applications
Agile development: overcoming a short-term focus in implementing best practices
A demonstration of JPie: an environment for live software construction in Java
Workshop preview of the 3rd workshop on parsing programming languages (Parsing@SLE 2015)
The design and implementation of the habanero-java parallel programming language
Business Object Framework as an enabler of business application development: an experience in enterprise software engineering
Tunable Formalism in Object-Oriented Systems Analysis: Meeting the Needs of Both Theoreticians and Practitioners
Object-Oriented Execution of OPS5 Production Systems
Efficient Subtyping Tests with PQ-Encoding
Eclipse technology eXchange (ETX) workshop
How Developers Use Data Race Detection Tools
Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models
Metadata and active object-models
Dimensions of Object-Based Language Design
Validating temporal properties of interacting objects
Green: a customizable UML class diagram plug-in for eclipse
An Algebraic Semantics of Subobjects
Measuring the effort for creating and using domain-specific models
Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1994, Portland, Oregon, USA, October 23-27, 1994
An interactive visualization of refactorings retrieved from software archives
Reverse generation and refactoring of fit acceptance tests for legacy code
MrCrypt: static analysis for secure cloud computations
A Dynamic Optimization Framework for a Java Just-In-Time Compiler
Software Professionalism - Is it 'Good Enough?'
Sourcerer: a search engine for open source code supporting structure-based search
Optimizing programs with intended semantics
Incommunicado: efficient communication for isolates
Compilation queuing and graph caching for dynamic compilers
DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, Reno, Nevada, USA, October 17-18, 2010
Integrating task parallelism with actors
Granule-oriented programming (extended abstract)
Aspect mining for large systems
SmartJS: dynamic and self-adaptable runtime middleware for next-generation IoT systems
The agile panel
A workload model for topic-based publish/subscribe systems
Meeting the challenge of software engineering education for working professionals in the 21st century
Finding bugs is easy
Pluggable AOP: designing aspect mechanisms for third-party composition
The efficient handling of guards in the design of RPython's tracing JIT
Confined Types
Finding and preventing run-time error handling mistakes
Privacy integrated data stream queries
On the customization of model management systems for file-centric IDEs
Join patterns for visual basic
Proceedings of the 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems, CoCoS 2017, Vancouver, BC, Canada, October 23, 2017
Advancements in multicode optimization
Towards feature modularization
The case for evolvable software
Object-oriented units of measurement
Synthesis of layout engines from relational constraints
Industry-academic research partnerships
Purposes, concepts, misfits, and a redesign of git
Documenter: a simple geographical information system
GRASS: generic reactive application-specific scheduling
Versions, releases, and distribution
Refactoring a language for parallel computational chemistry
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction
Advancing generic metamodels
Soot (poster session): a Java bytecode optimization and annotation framework
Supporting the evolution of software knowledge with adaptive software artifacts
JAxT and JDI: the simplicity of junit applied to axioms and data invariants
Constraint Technology fur User-Interface Construction in ThingLab II
Open platforms: new challenges for software engineering
Integrating concerns with development environments
Reactive sorting networks
Strong Typing of Object-Oriented Languages Revisited
Object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications
Scale changes everything
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013
Modular and verified automatic program repair
QuickUML: a tool to support iterative design and code development
Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture
Ultimate architecture enforcement: custom checks enforced at code-commit time
Many-to-Many Invocation: a new object oriented paradigm for ad hoc collaborative systems
ATCT: a Java framework that offers new approach to developing asynchronous processes
GCspy: an adaptable heap visualisation framework
Domain specific modeling for operations research simulation in a large industrial context
Dependent types for JavaScript
The power of interoperability: why objects are inevitable
PCLOS: A Critical Review
Gource: visualizing software version control history
Blended analysis for JavaScript: a practical framework to analyze dynamic features
Conference on Object-Oriented Programming: Systems, Languages, and Applications, OOPSLA 1989, New Orleans, Louisiana, USA, October 1-6, 1989, Proceedings
Delegation-based semantics for modularizing crosscutting concerns
Language virtualization for heterogeneous parallel computing
Open framework for conformance testing via scenarios
MetaEdit+: defining and using integrated domain-specific modeling languages
Emerging B2B eCommerce integration standards - a tower of Babel?
Experience report: constraint-based modeling of autonomous vehicle trajectories
Experience with Representing C++ Program Information in an Object-Oriented Database
Hard real-time: C++ versus RTSJ
A DSL-based approach for elasticity testing of cloud systems
A Performance Evaluation of the Mobile Agent Paradigm
Mining for computing skills
Role Model Designs and Implementations with Aspect-oriented Programming
Call graphs for languages with parametric polymorphism
The software architect: essence, intuition, and guiding principles
Parametric polymorphism for software component architectures
Musiplectics: computational assessment of the complexity of music scores
Object-Preserving Class Transformations
Modern meeting management and information retrieval: automatic protocol generation and meeting work
Mutation analysis vs. code coverage in automated assessment of students' testing skills
Panel: Object-Oriented Technologies and the Software Industrial Revolution - Necessary But Not Sufficient
A case study of language oriented programming with cedalion: [extended abstract]
In pursuit of easy(er) JITs (invited talk)
A first-class approach to genericity
SPLASH'14 - Companion Publication of the 2014 ACM SIGPLAN Conference on Systems, Programming, and Applications: Software for Humanity, Portland, OR, USA, October 20-24, 2014
CASE-FX: feature modeling support in an OO Case tool
Versatile yet lightweight record-and-replay for Android
A bootstrapping infrastructure to build and extend Pharo-like languages
Eclipse technology exchange workshop (ETX2007)
Detection and correction of design defects in object-oriented designs
Recovering binary class relationships: putting icing on the UML cake
Typestate-based semantic code search over partial programs
Component adaptation and assembly using interface relations
Extravagaria V: photographing conferences (advanced)
Calculating in an object-oriented iterator-view-generator framework
First-class reactive programs for CPS
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017
Lessons learned about language engineering from the development of mbeddr (keynote)
Implementing a scripting language parser with self-extensible syntax
Confessions of a used programming language salesman
Scalable and systematic detection of buggy inconsistencies in source code
Orwell - A Configuration Management System for Team Programming
Towards distributed software design meetings: what can we learn from co-located meetings?
Program manipulation via interactive transformations
On system design
Finding your cronies: static analysis for dynamic object colocation
The eighth "killer examples" workshop: good examples for exposing bad practice
Parametric polymorphism in Java: an approach to translation based on reflective features
A core calculus of mixins and incomplete objects
Leveraging a corpus of natural language descriptions for program similarity
Methodology first and language second: a way to teach object-oriented programming
Automatic detection of memory anti-patterns
How to efficiently process 100 list variations
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSM@SPLASH 2019, Athens, Greece, October 20, 2019
Extending the graal compiler to optimize libraries
Management of guided and unguided code generator customizations by using a symbol table
Agility in context
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent