Don S. Batory

Orcid: 0000-0002-8739-3841

Affiliations:
  • University of Texas at Austin, USA


According to our database1, Don S. Batory authored at least 196 papers between 1978 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees.
ACM Trans. Softw. Eng. Methodol., January, 2024

2023
Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language.
J. Syst. Softw., October, 2023

On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels.
ACM Trans. Softw. Eng. Methodol., April, 2023

2022
Correction to: Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng., 2022

Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng., 2022

[inline-graphic not available: see fulltext]: A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints.
Proceedings of the Reuse and Software Quality, 2022

2021
Product Optimization in Stepwise Design.
Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020
Aocl : A Pure-Java Constraint and Transformation Language for MDE.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2019
<i>t</i>-wise coverage by uniform sampling.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Uniform random sampling product configurations of feature models that have numerical features.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

First international workshop on languages for modelling variability (MODEVAR 2019).
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Should future variability modeling languages express constraints in OCL?
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Code transformation issues in move-instance-method refactorings.
Proceedings of the 3rd International Workshop on Refactoring, 2019

2018
Towards refactoring-aware regression test selection.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
From software extensions to product lines of dataflow programs.
Softw. Syst. Model., 2017

Teaching model-driven engineering from a relational database perspective.
Softw. Syst. Model., 2017

X15: A Tool For Refactoring Java Software Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Refactoring Java Software Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Test of Time Award & Conjectures on the Future of SPLs.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Finding near-optimal configurations in product lines by random sampling.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
ReFlO: an interactive tool for pipe-and-filter domain specification and program generation.
Softw. Syst. Model., 2016

Foreword to the Special Issue on Formal Methods for Software Product Line Engineering.
J. Log. Algebraic Methods Program., 2016

Improving refactoring speed by 10X.
Proceedings of the 38th International Conference on Software Engineering, 2016

COPE: vision for a change-oriented programming environment.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Faster bug detection for software product lines with incomplete feature models.
Proceedings of the 19th International Conference on Software Product Line, 2015

Scripting parametric refactorings in Java to retrofit design patterns.
Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015

A Theory about the Structure of GTSEs.
Proceedings of the IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering, 2015

Structured Document Algebra in Action.
Proceedings of the Software, 2015

A theory of modularity for automated software development (keynote).
Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2014
Performance Prediction in the Presence of Feature Interactions.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Understanding performance stairs: elucidating heuristics.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013
A case study in mechanically deriving dense linear algebra code.
Int. J. High Perform. Comput. Appl., 2013

Dark Knowledge and Graph Grammars in Automated Software Design.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Interfaces are key.
Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2013

Can undergraduates script their own refactorings?
Proceedings of the 2013 ACM Workshop on Refactoring Tools, 2013

Teaching Model Driven Engineering from a Relational Database Perspective.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

DSLs, DLA, DxT, and MDE in CSE.
Proceedings of the 5th International Workshop on Software Engineering for Computational Science and Engineering, 2013

Why (meta-)theories of automated software design are essential: A personal perspective.
Proceedings of the 2nd SEMAT Workshop on a General Theory of Software Engineering, 2013

Code Generation and Optimization of Distributed-Memory Dense Linear Algebra Kernels.
Proceedings of the International Conference on Computational Science, 2013

Features, modularity, and variation points.
Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

Feature-Oriented Software Product Lines - Concepts and Implementation.
Springer, ISBN: 978-3-642-37520-0, 2013

2012
Designing Linear Algebra Algorithms by Transformation: Mechanizing the Expert Developer.
Proceedings of the High Performance Computing for Computational Science, 2012

Mechanizing the expert dense linear algebra developer.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Is the derivation of a model easier to understand than the model itself?
Proceedings of the IEEE 20th International Conference on Program Comprehension, 2012

Shared Execution for Efficiently Testing Product Lines.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Predicting performance via automated feature-interaction detection.
Proceedings of the 34th International Conference on Software Engineering, 2012

Pushouts in software architecture design.
Proceedings of the Generative Programming and Component Engineering, 2012

2011
Product lines of theorems.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Towards Verification of Product Lines.
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Fourth workshop on refactoring tools: (WRT 2011).
Proceedings of the 33rd International Conference on Software Engineering, 2011

Feature interactions, products, and composition.
Proceedings of the Generative Programming And Component Engineering, 2011

Reducing combinatorics in testing product lines.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Incremental Test Generation for Software Product Lines.
IEEE Trans. Software Eng., 2010

Lifting transformational models of product lines: a case study.
Softw. Syst. Model., 2010

Thoughts on automated software design and synthesis.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Reducing Configurations to Monitor in a Software Product Line.
Proceedings of the Runtime Verification - First International Conference, 2010

Transformation-Based Parallelization of Request-Processing Applications.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Eliminating products to test in a software product line.
Proceedings of the ASE 2010, 2010

Domain-Specific Composition of Model Deltas.
Proceedings of the Theory and Practice of Model Transformations, 2010

2009
Dimensions of Variability in Software Product Lines.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach.
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

On the impact of the optional feature problem: analysis and case studies.
Proceedings of the Software Product Lines, 13th International Conference, 2009

Fitting the pieces together: a machine-checked model of safe composition.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

On the importance and challenges of FOSD.
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Stepwise Development of Streaming Software Architectures.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Refactoring Feature Modules.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Reasoning about edits to feature models.
Proceedings of the 31st International Conference on Software Engineering, 2009

Safe composition of non-monotonic features.
Proceedings of the Generative Programming and Component Engineering, 2009

A machine-checked model of safe composition.
Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009

2008
Modularizing Theorems for Software Product Lines: The Jbook Case Study.
J. Univers. Comput. Sci., 2008

First International Workshop on Analysis of Software Product Lines (ASPL'08).
Proceedings of the Software Product Lines, 12th International Conference, 2008

The Objects and Arrows of Computational Design.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Testing Software Product Lines Using Incremental Test Generation.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Lifting Transformational Models of Product Lines: A Case Study.
Proceedings of the Theory and Practice of Model Transformations, 2008

On the modularity of feature interactions.
Proceedings of the Generative Programming and Component Engineering, 2008

Using modern mathematics as an FOSD modeling language.
Proceedings of the Generative Programming and Component Engineering, 2008

Program refactoring using functional aspects.
Proceedings of the Generative Programming and Component Engineering, 2008

Coupling Design and Verification in Software Product Lines.
Proceedings of the Foundations of Information and Knowledge Systems, 2008

08281 Executive Summary - Software Engineering for Tailor-made Data Management.
Proceedings of the Software Engineering for Tailor-made Data Management, 06.07., 2008

08281 Abstracts Collection - Software Engineering for Trailor-made Data Management.
Proceedings of the Software Engineering for Tailor-made Data Management, 06.07., 2008

On-demand materialization of aspects for application development.
Proceedings of the SPLAT@AOSD 2008: Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies, Brussels, Belgium, 31 March, 2008

2007
Model Transformations should be Functors.
Bull. EATCS, 2007

A Case Study Implementing Features Using AspectJ.
Proceedings of the Software Product Lines, 11th International Conference, 2007

A specification-based approach to testing software product lines.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

From implementation to theory in product synthesis.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

A Modeling Language for Program Design and Synthesis.
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

Feature Oriented Model Driven Development: A Case Study for Portlets.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Safe composition of product lines.
Proceedings of the Generative Programming and Component Engineering, 2007

Automating Feature-Oriented Refactoring of Legacy Applications.
Proceedings of the 1st Workshop on Refactoring Tools, 2007

Program Refactoring, Program Synthesis, and Model-Driven Development.
Proceedings of the Compiler Construction, 16th International Conference, 2007

2006
Multilevel models in model-driven engineering, product lines, and metaprogramming.
IBM Syst. J., 2006

Automated analysis of feature models: challenges ahead.
Commun. ACM, 2006

Feature Modularity in Software Product Lines.
Proceedings of the Software Product Lines, 10th International Conference, 2006

A disciplined approach to aspect composition.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study.
Proceedings of the Models in Software Engineering, 2006

Feature oriented refactoring of legacy applications.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A Security Mechanism for Component-Based Systems.
Proceedings of the Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2006

Feature refactoring a multi-representation program into a product line.
Proceedings of the Generative Programming and Component Engineering, 2006

Roadmap for enhanced languages and methods to aid verification.
Proceedings of the Generative Programming and Component Engineering, 2006

When to use features and aspects?: a case study.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
Feature Models, Grammars, and Propositional Formulas.
Proceedings of the Software Product Lines, 9th International Conference, 2005

Automatic code generation for actuator interfacing from a declarative specification.
Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005

A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

Modeling Interactions in Feature Oriented Software Designs.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

Evaluating Support for Features in Advanced Modularization Technologies.
Proceedings of the ECOOP 2005, 2005

Using AOP to Monitor and Administer Software for Grid Computing Environments.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Scaling Step-Wise Refinement.
IEEE Trans. Software Eng., 2004

Program Comprehension in Generative Programming: A History of Grand Challenges.
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

Design of Large-Scale Polylingual Systems.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Feature-Oriented Programming and the AHEAD Tool Suite.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Automatic Remodularization and Optimized Synthesis of Product-Families.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

A Science of Software Design.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Refinements and multi-dimensional separation of concerns.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Modularity in the New Millenium: A Panel Summary.
Proceedings of the 25th International Conference on Software Engineering, 2003

A Tutorial on Feature Oriented Programming and Product-Lines.
Proceedings of the 25th International Conference on Software Engineering, 2003

The Road to Utopia: A Future for Generative Programming.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs.
ACM Trans. Softw. Eng. Methodol., 2002

Achieving extensibility through product-lines and domain-specific languages: a case study.
ACM Trans. Softw. Eng. Methodol., 2002

Generating Product-Lines of Product-Families.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

An approach to evolving database dependent systems.
Proceedings of the International Workshop on Principles of Software Evolution, 2002

Integrating and Reusing GUI-Driven Applications.
Proceedings of the Software Reuse: Methods, 2002

2001
Evolving Object-Oriented Designs with Refactorings.
Autom. Softw. Eng., 2001

Generative Techniques for Product Lines.
Proceedings of the 23rd International Conference on Software Engineering, 2001

A Standard Problem for Evaluating Product-Line Methodologies.
Proceedings of the Generative and Component-Based Software Engineering, 2001

2000
Design Wizards and Visual Programming Environments for GenVoca Generators.
IEEE Trans. Software Eng., 2000

Jakarta Tool Suite (JTS).
ACM SIGSOFT Softw. Eng. Notes, 2000

Object-oriented frameworks and product lines.
Proceedings of the Software Product Lines; Experiences and Research Directions, 2000

Refinements and Product Line Architectures.
Proceedings of the Semantics, 2000

Product-line architectures, aspects, and reuse (tutorial session).
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Mixin-Based Programming in C++.
Proceedings of the Generative and Component-Based Software Engineering, 2000

1999
9th workshop on institutionalizing software reuse (WISR '9) workshop summary.
ACM SIGSOFT Softw. Eng. Notes, 1999

Architectural Styles as Adaptors.
Proceedings of the Software Architecture, 1999

High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity.
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

International Workshop on Software Transformation Systems (STS'99).
Proceedings of the 1999 International Conference on Software Engineering, 1999

Scoping Constructs for Software Generators.
Proceedings of the Generative and Component-Based Software Engineering, 1999

Building Product-Lines with Mixin-Layers.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Automating Three Modes of Evolution for Object-Oriented Software Architectures.
Proceedings of the 5th USENIX Conference on Object-Oriented Technologies & Systems, 1999

1998
Implementing reusable object-oriented components.
Proceedings of the Fifth International Conference on Software Reuse, 1998

JTS: tools for implementing domain-specific languages.
Proceedings of the Fifth International Conference on Software Reuse, 1998

Design wizards and visual programming environments for generators.
Proceedings of the Fifth International Conference on Software Reuse, 1998

Domain analysis for GenVoca generators.
Proceedings of the Fifth International Conference on Software Reuse, 1998

Implementing Layered Designs with Mixin Layers.
Proceedings of the ECOOP'98, 1998

1997
Composition Validation and Subjectivity in GenVoca Generators.
IEEE Trans. Software Eng., 1997

P2: A Lightweight DBMS Generator.
J. Intell. Inf. Syst., 1997

Rosetta: A Generator of Data Language Compilers.
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997

Memory Simulators and Software Generators.
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997

DiSTiL: A Transformation Library for Data Structures.
Proceedings of the Conference on Domain-Specific Languages, 1997

1996
Validating component compositions in software system generators.
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

Subjectivity and GenVoca generators.
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

1995
Panel Languages and Models for Reusable Components.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Creating Reference Architectures: An Example from Avionics.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Objects and Domain Engineering - Panel Session.
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

Praire: A Rule Specification Framework for Query Optimizers.
Proceedings of the Eleventh International Conference on Data Engineering, 1995

1994
The GenVoca Model of Software-System Generators.
IEEE Softw., 1994

A TSQL2 Tutorial.
SIGMOD Rec., 1994

TSQL2 Language Specification.
SIGMOD Rec., 1994

Reengineering a Complex Application Using a Scalable Data Structure Compiler.
Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

1993
Software Components for Object-Oriented Database Systems.
Int. J. Softw. Eng. Knowl. Eng., 1993

Scalable Software Libraries.
Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

Software Components in a Data Structure Precompiler.
Proceedings of the 15th International Conference on Software Engineering, 1993

1992
The Design and Implementation of Hierarchical Software Systems with Reusable Components.
ACM Trans. Softw. Eng. Methodol., 1992

Implementing a Domain Model for Data Structures.
Int. J. Softw. Eng. Knowl. Eng., 1992

1990
The Object-Oriented Functional Data Language.
IEEE Trans. Software Eng., 1990

The software engineering of extensible database systems.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989
ACM TODS Publication Policy.
SIGMOD Rec., 1989

On the reusability of query optimization algorithms.
Inf. Sci., 1989

An Overview of the Object-Oriented Functional Data Language.
Proceedings of the Fifth International Conference on Data Engineering, 1989

Construction of file management systems from software components.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
GENESIS: An Extensible Database Management System.
IEEE Trans. Software Eng., 1988

Implementation Concepts for an Extensible Data Model and Data Language.
ACM Trans. Database Syst., 1988

Concepts for a Database System Compiler.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

1987
A Cost-Benefit Decision Model: Analysis, Comparison, and Selection of Data Management Systems.
ACM Trans. Database Syst., 1987

SQL/NF: a query language for ¬1 NF relational databases.
Inf. Syst., 1987

Principles of Database Management System Extensibility.
IEEE Data Eng. Bull., 1987

1986
Extensible Cost Models and Query Optimization in GENESIS.
IEEE Database Eng. Bull., 1986

Panel on Extensible Database Systems.
Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, 1986

GENESIS: A Project to Develop an Extensible Database Management System.
Proceedings of the 1986 International Workshop on Object-Oriented Database Systems, 1986

1985
Modeling Concepts for VLSI CAD Objects.
ACM Trans. Database Syst., 1985

Modeling the Storage Architectures of Commercial Database Systems.
ACM Trans. Database Syst., 1985

Modeling Concepts for VLSI CAD Objects (Abstract).
Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, 1985

A Model and Storage Technique for Versions of VLSI CAD Objects.
Proceedings of the Foundations of Data Organization, 1985

Progress Toward Automating The Development of Database System Software.
Proceedings of the Query Processing in Database Systems, 1985

1984
Physical Storage and Implementation Issues.
IEEE Database Eng. Bull., 1984

Letter from the Editor.
IEEE Database Eng. Bull., 1984

Molecular Objects, Abstract Data Types, and Data Models: A Framework.
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Conceptual-To-Internal Mappings in Commercial Database Systems.
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

1983
Logical and Physical Modeling of Statistical Scientific Databases.
Proceedings of the Second International Workshop on Statistical Database Management, 1983

Index Coding: A Compression Technique for Large Statistical Databases.
Proceedings of the Second International Workshop on Statistical Database Management, 1983

1982
A Unifying Model of Physical Databases.
ACM Trans. Database Syst., 1982

Optimal File Designs and Reorganization Points.
ACM Trans. Database Syst., 1982

Physical Database Research at the University of Florida.
IEEE Database Eng. Bull., 1982

1981
B+ Trees and Indexed Sequential Files: A Performance Comparison.
Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29, 1981

1980
An analytical model of physical databases.
PhD thesis, 1980

1979
On Searching Transposed Files.
ACM Trans. Database Syst., 1979

1978
On Searching Transposed Files (Abstract).
Proceedings of the Fourth International Conference on Very Large Data Bases, 1978


  Loading...