yusuke1997/dblp-id-title huggingface dataset:
Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning
The spoofax name binding language
A workbench for quality based software re-engineering (Poster)
Panel: From Prototype to Product?
A Third Generation Smalltalk-80 Implementation
Just-in-time data structures
Garbage collection and memory management
Conditionally correct superoptimization
A web application is a domain-specific language
Patterns and statistical analysis for understanding reduced resource computing
Towards performance measurements for the Java Virtual Machine's invokedynamic
CnC-Python: multicore programming with high productivity
An annotation-based API for supporting runtime code annotation reading
Panel on design methodology
Visual SDLC: improving requirements engineering for object-oriented systems
A step towards transparent integration of input-consciousness into dynamic program optimizations
Automatically generating object models from natural language analysis
Why reuse matters: ANI's digital archive system
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, October 2003, Anaheim, CA, USA
Selfie and the basics
Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002
Object Oriented Development in an Industrial Environment
The Management of Changing Types in an Object-Oriented Database
Plug-in architecture and design guidelines for customizable enterprise applications
Heap compression for memory-constrained Java environments
Mixing source and bytecode: a case for compilation by normalization
Fault-based combinatorial testing of web services
Prioritized garbage collection: explicit GC support for software caches
Parallel Programming in a Virtual Object Space
Programming support for evolving database applications (invited talk)
Using domain-driven design to evaluate commercial off-the-shelf software
Beyond files: programming with multiple source views
Annotation refactoring: inferring upgrade transformations for legacy applications
Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2022, Auckland, New Zealand, 7 December 2022
Object-oriented software considerations in airborne systems and equipment certification
An integration architecture for implementation of the DoD computerized patient record
Architectures with Pictures
Controllable Delegation: An Exercise in Law-Governed Systems
G-Finder: routing programming questions closer to the experts
QVM: an efficient runtime for detecting defects in deployed systems
What Tracers Are Made Of
Towards secure integration of cryptographic software
Reducing procedure call bloat in ARM binaries
The camp smalltalk ANSI test suite (poster session)
How scale affects structure in Java programs
OoLALA: an object oriented analysis and design of numerical linear algebra
Source code management for projectional editing
Accelerating iterators in optimizing AST interpreters
Course experience report: full-class compiler collaboration
Ensuring Semantic Integrity of Reusable Objects (Panel)
Grey-box specifications for object-oriented program components
Removing Unnecessary Synchronization in Java
Formalising Java RMI with explicit code mobility
REBLS 2020: Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Virtual Event, USA, November 16, 2020
Towards integration of policies into DSMLs
RUBiS revisited: why J2EE benchmarking is hard
Impacts of Object-Oriented Technologies: Seven Years of SEL Studies
Systematic mapping study on high-level language virtual machines
An Empirical Study of the Object-Oriented Paradigm and Software Reuse
Agile enterprise software development using domain-driven design and test first
Online verification of commutativity
Conference on Object-Oriented Programming Systems, Languages, and Applications / European Conference on Object-Oriented Programming, OOPSLA/ECOOP 1990, Ottawa, Canada, October 21-25, 1990, Proceedings
Oaklisp: an Object-Oriented Scheme with First Class Types
DesignScript: a domain specific language for architectural computing
Parsing with first-class derivatives
Design pattern builder: a concept for refinable reusable design pattern libraries
A Discussion of "On the Purpose of Object-Oriented Analysis" (Panel)
Addendum to the Proceedings on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1993 Addendum, Washington, D.C., USA, September 26 - October 1, 1993
Object-Oriented Programming with Flavors
Using the game of life to introduce freshman students to the power and elegance of design patterns
Towards adaptive programming: integrating reinforcement learning into a programming language
Ironclad C++: a library-augmented type-safe subset of c++
Converting java programs to use generic libraries
Streamflex: high-throughput stream programming in java
Parallel incremental whole-program optimizations for Scala.js
The spreadsheet paradigm: a basis for powerful and accessible programming
Rubah: DSU for Java on a stock JVM
Analysing the performance and costs of reactive programming libraries in Java
Breakthrough ideas
Citisense: mobile air quality sensing for individuals and communities
Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications
Behavioral programming, decentralized control, and multiple time scales
Incremental parametric syntax for multi-language transformation
A Type System for Object Initialization in the Java Bytecode Language
Evolution of Mobile Software Development from Platform-Specific to Web-Based Multiplatform Paradigm
Effective fusion and separation of distribution, fault-tolerance, and energy-efficiency concerns
Cloning in ownership
Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control
Taking advantage of design patterns in GIS domain (poster session)
Progressive types
The structure of a programming language revolution
Handling partial failures in distributed reactive programming
An energy-saving framework for mobile devices based on crowdsourcing intelligences
Understanding the value of program analysis tools
Modular logic metaprogramming
A secure play store for android
Meta-programming for the real world
Saving the world from bad beans: deployment-time confinement checking
A fishbowl with piranhas: coalescence, convergence or divergence?
GOOAL: a Graphic Object Oriented Analysis Laboratory
DSLDI 2014: second workshop on domain specific languages design and implementation
JIVE: Java Interactive Visualization Environment
Variational lists: comparisons and design guidelines
Removing duplication from java.io: a case study using traits
Towards predicting feature defects in software product lines
Object Distribution in Orca using Compile-Time and Run-Time Techniques
JaDaRD: java data-race detector
TICLOS: An Implementation of CLOS for the Explorer Family
Optimization of distributed, object-oriented systems
Programming support innovations for emerging distributed applications (PSI EtA - upsiloneta): a splash 2010 workshop summary
Transactions with isolation and cooperation
Forsaking inheritance: supercharged delegation in DelphJ
Building Java program analysis tools using Javana
Dala: a simple capability-based dynamic language design for data race-freedom
A tool for ownership and confinement analysis of the Java object graph
An Extensible Kernel Object Management System
I¿¿¿: a calculus for internet of things automation
An empirical study of programming language effect on open source software development
Variational Data Structures: Exploring Tradeoffs in Computing with Variability
A stepper for a functional JavaScript sublanguage
Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA
Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs
Software Reuse: Nemesis or Nirvana? (Panel)
Emerging software frameworks for exploiting Polymorphous Computing Architectures
The Process of Object-Oriented Design
Dynamic metrics for java
Debugging of RxJS-based applications
Speculative analysis of integrated development environment recommendations
Optimizing JIT-compilation subsystem for Rotor 2.0
Socio-PLT: principles for programming language adoption
Programming with non-heap memory in the real time specification for Java
What do we really know about data flow languages?
Quicksilver: a quasi-static compiler for Java
Bytecodes meet combinators: invokedynamic on the JVM
Applying traits to the smalltalk collection classes
Python: the full monty
Concepts and Experiments in Computational Reflection
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012
Development of successful object-oriented frameworks
Hera-JVM: a runtime system for heterogeneous multi-core architectures
MoDE: A UIMS for Smalltalk
Using graphics to support the teaching of fundamental object-oriented principles in CS1
Mining scenario-based specifications with value-based invariants
User Interface Frameworks - Panel
Scalable omniscient debugging
Encapsulators: A New Software Paradigm in Smalltalk-80
Adding Type Parameterization to the Java Language
Lagrein: tracking the software development process
Optimizing Method Search with Lookup Caches and Incremental Coloring
Object Oriented Spreadsheets: The Analytic Spreadsheet Package
Migrating legacy engineering applications to Java
On the usage and usefulness of OO design principles
A static analysis for extracting runtime views from annotated object-oriented code
On Automatic Class Insertion with Overloading
Call by Meaning
Generic ownership: practical ownership control in programming languages
Software Architecture: The Next Step for Object Technology (Panel)
Extracting domain- specific and domain-independent patterns
Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1991, Phoenix, Arizona, USA, October 6-11, 1991
Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages
A rhetorical framework for programming language evaluation
Selector Table Indexing & Sparse Arrays
Extending the Statechart Formalism: Event Scheduling & Disposition
Implementing real-time collaboration in TouchDevelop using AST merges
Type inference for static compilation of JavaScript
An Object-Oriented Framework of Pattern Recognition Systems
The cuneiform tablets of 2015
The pedagogical patterns project (poster session)
Points-To Analysis for Java using Annotated Constraints
Teaching students to learn to learn mobile phone programming
One parser to rule them all
Fatal abstraction
Chain: tasks and channels for reliable intermittent programs
Implications of test-driven development: a pilot study
Security testing with Selenium
SIRe: an efficient snapshot isolation-based memory model for detecting and tolerating region conflicts
Optimizing java programs using generic types
Associated types and constraint propagation for mainstream object-oriented generics
Designing Reusable Designs - Experiences Designing Object-Oriented Frameworks (Panel)
TouchGuru: Integrating Static Analysis with a Mobile Development Environment
Sound Polymorphic Type Inference for Objects
Class Hierarchy Specialization
Verdantium towards a Java-enabled compound document model (poster session)
Using a web-based repository to integrate testing tools into programming courses
Empirical comparison of language workbenches
Guiding modelers through conflict resolution: a recommender for model versioning
CACL: Efficient Fine-Grained Protection for Objects
Object technology: community and culture
Accelerate JavaScript applications by cross-compiling to WebAssembly
A practical type system and language for reference immutability
Runtime pointer disambiguation
A DSML for mobile phone applications testing
Confined gradual typing
Programming as architecture, design, and urban planning
Tools for the Development of Application-Specific Virtual Memory Management
Towards a tool-based development methodology for sense/compute/control applications
An Information System Based on Distributed Objects
An AspectJ-enabled eclipse core runtime platform
Gramada: immediacy in programming language development
PRISM is research in aSpect mining
A literate experimentation manifesto
Reuse of teaching components: a UML-based approach to delivering and managing academic courses
Let a thousand flowers bloom: on the uses of diversity in software testing
Agility unlimited?
The 7th OOPSLA workshop on domain-specific modeling
Lifting sequential graph algorithms for distributed-memory parallel computation
Multi-dispatch in the Java Virtual Machine (poster session): design and implementation
Towards practical release-level dynamic software updating on stock Java: evaluating an efficient and safely programmable Java dynamic updating system
Virtual Instruments: Object-Oriented Program Synthesis
Automated trendline generation for accurate software effort estimation
The Future of Object-Oriented Languages - Panel
Hybrid partial evaluation
What merge tool should I use?
Parallel Generational Garbage Collection
Lessons learned: transitioning COBOL programmers to OO
Challenges in outsourcing and global development: how will your job change?
Replay compilation: improving debuggability of a just-in-time compiler
Partial evaluation of machine code
Mutual satellites: round-trip modeling for complete applications
Freedom before commitment: a lightweight type system for object initialisation
Workshop on integration of open source components into large software systems
CHARIOT: a domain specific language for extensible cyber-physical systems
The serverless trilemma: function composition for serverless computing
Routine run-time code generation
Developing business object models with patterns and ontologies
Efficient, Effective and Flexible XML Retrieval Using Summaries
L3S at INEX 2007: Query Expansion for Entity Ranking Using a Highly Accurate Ontology
Comparative Evaluation of Focused Retrieval - 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vugh, The Netherlands, December 13-15, 2010, Revised Selected Papers
Combining Page Scores for XML Book Retrieval
Overview of the INEX 2008 Entity Ranking Track
Parameter Estimation for a Simple Hierarchical Generative Model for XML Retrieval
Topic Difficulty Prediction in Entity Ranking
XRCE Participation to the Book Structure Task
Advances in XML Information Retrieval, Third International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2004, Dagstuhl Castle, Germany, December 6-8, 2004, Revised Selected Papers
Focus and Element Length for Book and Wikipedia Retrieval
XML Retrieval More Efficient Using Double Scoring Scheme
NLPX at INEX 2004
The Wikipedia XML Corpus
Supervised and Semi-supervised Machine Learning Ranking
Using the INEX Environment as a Test Bed for Various User Models for XML Retrieval
Using Wikipedia Categories and Links in Entity Ranking
IRIT at INEX 2003
SIRIUS XML IR System at INEX 2006: Approximate Matching of Structure and Textual Content
Supporting for Real-World Tasks: Producing Summaries of Scientific Articles Tailored to the Citation Context
PKU at INEX 2010 XML Mining Track
Overview of the INEX 2009 Interactive Track
A Flexible Structured-Based Representation for XML Document Mining
Hierarchical Language Models for XML Component Retrieval
Compression and an IR Approach to XML Retrieval
EXTIRP 2004: Towards Heterogeneity
Using Language Models and Topic Models for XML Retrieval
Searching the Wikipedia with Public Online Search Engines
Overview of the INEX 2008 Efficiency Track
Overview of the INEX 2009 Efficiency Track
LIA at the INEX 2011 QA Track: Querying and Summarizing with XML
BUAP: A First Approach to the Data-Centric Track of INEX 2010
Relevance Feedback for XML Retrieval
University of Amsterdam Data Centric Ad Hoc and Faceted Search Runs
Exploiting Index Pruning Methods for Clustering XML Collections
Statistical Summarization at QA@INEX 2011 Track Using Cortex and Enertex Systems
Overview of the INEX 2009 Ad Hoc Track
Document Mining Using Graph Neural Network
The Simplest XMLRetrieval Baseline That Could Possibly Work
PKU at INEX 2011 XML Snippet Track
CSIRO INEX experiments: XML Search using PADRE
The Book Structure Extraction Competition with the Resurgence Software at Caen University
XML-IR Users and Use Cases
TRIX 2004 - Struggling with the Overlap
XFIRM at INEX 2005: Ad-Hoc and Relevance Feedback Tracks
ListBM: A Learning-to-Rank Method for XML Keyword Search
Overview of the INEX 2010 Focused Relevance Feedback Track
IBM HRL at INEX 06
An Element-based Approach to XML Retrieval
HyREX at INEX 2003
Evaluating the Performance of XML Document Clustering by Structure Only
Overview of the INEX 2010 Ad Hoc Track
LIG at INEX 2007 Ad Hoc Track: Using Collectionlinks as Context
Overview of the INEX 2010 Book Track: Scaling Up the Evaluation Using Crowdsourcing
Multi-label Wikipedia Classification with Textual and Link Features
Retrieving the most relevant XML Components
Utilizing the Structure and Content Information for XML Document Clustering
A Hybrid QA System with Focused IR and Automatic Summarization for INEX 2011
XML Document Mining Using Contextual Self-organizing Maps for Structures
University of Waterloo at INEX2007: Adhoc and Link-the-Wiki Tracks
The INEX 2007 Multimedia Track
The TIJAH XML-IR system at INEX 2003
Influence Diagrams and Structured Retrieval: Garnata Implementing the SID and CID Models at INEX'06
The Importance of Morphological Normalization for XML Retrieval
What XML-IR Users May Want
Overview of the INEX 2009 Book Track
A Comparison of Interactive and Ad-Hoc Relevance Assessments
RMIT INEX experiments: XML Retrieval using Lucy/exist
CWI at INEX 2002
Self Organizing Maps for the Clustering of Large Sets of Labeled Graphs
A Taxonomy for XML Retrieval Use Cases
SPIRIX: A Peer-to-Peer Search Engine for XML-Retrieval
The Book Structure Extraction Competition with the Resurgence Full Content Software at Caen University
QA@INEX Track 2011: Question Expansion and Reformulation Using the REG Summarization System
Using and Detecting Links in Wikipedia
Overview of the INEX 2011 Relevance Feedback Track
Clustering with Random Indexing K-tree and XML Structure
CADIAL Search Engine at INEX
Integration of IR into an XML Database
Use of Language Model, Phrases and Wikipedia Forward Links for INEX 2009
ETH Zürich at INEX: Flexible Information Retrieval from XML with PowerDB-XML
A Fast Retrieval Algorithm for Large-Scale XML Data
Social Recommendation and External Resources for Book Search
Using Topic Shifts in XML Retrieval at INEX 2006
Extended Language Models for XML Element Retrieval
Query Evaluation with Structural Indices
An Algebra for Structured Queries in Bayesian Networks
Cheshire II at INEX'03: Component and Algorithm Fusion for XML Retrieval
Overview of the INEX 2007 Book Search Track (BookSearch'07)
CMIC at INEX 2007: Book Search Track
Overview of the INEX 2010 Question Answering Track (QA@INEX)
Using the Extended Vector Model for XML Retrieval
Context Based Wikipedia Linking
Exploiting Semantic Tags in XML Retrieval
HiXEval: Highlighting XML Retrieval Evaluation
Sequential Pattern Mining for Structure-Based XML Document Classification
XML Document Transformation with Conditional Random Fields
XML Retrieval Based on Direct Contribution of Query Components
The INEX 2006 Multimedia Track
Overview of the INEX 2008 Interactive Track
Using Eye-Tracking for the Evaluation of Interactive Information Retrieval
Overview of the INEX 2011 Books and Social Search Track
Aiming for Efficiency by Detecting Structural Similarity
Determining the Unit of Retrieval Results for XML Documents
Searching in an XML Corpus Using Content and Structure
New Utility Models for the Garnata Information Retrieval System at INEX'08
The Interactive Track at INEX 2004
TopX @ INEX 2007
OUC's Participation in the 2011 INEX Book Track
Overview of the INEX 2008 XML Mining Track
Mixture Models, Overlap, and Structural Hints in XML Element Retrieval
A Method of Preferential Unification of Plural Retrieved Elements for XML Retrieval Task
TIJAH at INEX 2004 Modeling Phrases and Relevance Feedback
Extended VSM for XML Document Classification Using Frequent Subtrees
Distributed XML Information Retrieval
Clustering XML Documents Using Closed Frequent Subtrees: A Structural Similarity Approach
XML Document Classification Using Extended VSM
Narrowed Extended XPath I (NEXI)
The Garnata Information Retrieval System at INEX'07
Bayesian Networks and INEX
Proceedings of the First Workshop of the INitiative for the Evaluation of XML Retrieval (INEX), Schloss Dagstuhl, Germany, December 9-11, 2002
The University of Kaiserslautern at INEX 2005
Combining Term-Based and Category-Based Representations for Entity Search
A Database Approach to Content-based XML Retrieval
Tuning and Evolving Retrieval Engine by Training on Previous INEX Testbeds
CMIC@INEX 2008: Link-the-Wiki Track
Fusing Visual and Textual Retrieval Techniques to Effectively Search Large Collections of Wikipedia Images
The Effect of Structured Queries and Selective Indexing on XML Retrieval
The Impact of Document Level Ranking on Focused Retrieval
Entity Ranking Based on Category Expansion
INEX 2006 Evaluation Measures
Index Tuning for Efficient Proximity-Enhanced Query Processing
INEX 2005 Multimedia Track
Implementation of a High-Speed and High-Precision XML Information Retrieval System on Relational Databases
Overview of the INEX 2008 Ad Hoc Track
Adhoc and Book XML Retrieval with Cheshire
Probabilistic Retrieval, Component Fusion and Blind Feedback for XML Retrieval
Topical Language Model for Snippet Retrieval
The Dynamic Retrieval of XML Elements
A Machine Learning Approach to Link Prediction for Interlinked Documents
Overview of the INEX 2010 Link the Wiki Track
Clustering XML Documents Using Self-organizing Maps for Structures
The Interpretation of CAS
The Potential Benefit of Focused Retrieval in Relevant-in-Context Task
Task Effects on Interactive Search: The Query Factor
Using a Relevance Propagation Method for Adhoc and Heterogeneous Tracks at INEX 2004
Link Detection with Wikipedia
NLPX at INEX 2005
The Book Structure Extraction Competition with the Resurgence Software for Part and Chapter Detection at Caen University
UPF at INEX 2011: Books and Social Search Track and Data-Centric Track
Filtering and Clustering XML Retrieval Results
Choosing an Ideal Recall-Base for the Evaluation of the Focused Task: Sensitivity Analysis of the XCG Evaluation Measures
A Useful Method for Producing Competitive Ad Hoc Task Results
Exploring Accumulative Query Expansion for Relevance Feedback
Applying the IRstream Retrieval Engine for Structured Documents to INEX
CSIRO's Participation in INEX 2006
Overview of the 2009 QA Track: Towards a Common Task for QA, Focused IR and Automatic Summarization Systems
A Scalable Architecture for XML Retrieval
UJM at INEX 2008 XML Mining Track
Information Theoretic Retrieval with Structured Queries and Documents
XXL @ INEX 2003
TopX - AdHoc Track and Feedback Task
Machine Learning Ranking and INEX'05
Searching XML Documents - Preliminary Work
Indexing "Reading Paths" for a Structured Information Retrieval at INEX 2006
Indian Statistical Institute at INEX 2008 Adhoc Track
Using Rich Document Representation in XML Information Retrieval
Stealing Anchors to Link the Wiki
Cheshire II at INEX '04: Fusion and Feedback for the Adhoc and Heterogeneous Tracks
A Recursive Approach to Entity Ranking and List Completion Using Entity Determining Terms, Qualifiers and Prominent n-Grams
EXTIRP: Baseline Retrieval from Wikipedia
The Importance of Document Ranking and User-Generated Content for Faceted Search and Book Suggestions
The Interactive Track at INEX 2006
Accurate Retrieval of XML Document Fragments using EXTIRP
Bayesian Networks and INEX'03
The Cortex Automatic Summarization System at the QA@INEX Track 2010