• Extensible Program Synthesis
• AutoBayes: Synthesis of Data Analysis Software
• AutoFilter: Synthesis of State Estimation Software
• UML Synthesis
• Certifiable Synthesis
• Amphion: Synthesis of Planetary Software and Animations, and Theory Compilation
• Miscellaneous

Extensible Program Synthesis

Ewen Denney, Jon Whittle, "Combining Model-driven and Schema based Program Synthesis," Proc. UMSS'2004: 1st Int'l Conf. on the Applications of UML and MDA to Software Systems, Las Vegas, NV, pp. 207-211, Jun. 21-24, 2004.
[paper (PDF, 117K)]

Back to Top

AutoBayes: Synthesis of Data Analysis Software

Johann Schumann, Hamed Jafari, Tom Pressburger, Ewen Denney, Wray Buntine, and Bernd Fischer, "AutoBayes Program Synthesis System Users Manual," NASA/TM—2008–215366, Sep 2008.
[Available from (http://www.sti.nasa.gov/)]

Karen Gundy-Burlet, Johann Schumann, Tim Menzies, and Tony Barrett, "Parametric Analysis of Antares Re-Entry Guidance Algorithms using Advanced Test Generation and Data Analysis," Proc. i-SAIRAS'08: 9th International Symposium on Artificial Intelligence, Robotics, and Automation in Space , Universal City, California, February 25-29, 2008.
[paper (PDF, 451K)]

Bernd Fischer, Johann Schumann, Karen Huyser, Kevin Knuth, Domhnull Granquist-Fraser, Arsen Hajian, "Discovering Planetary Nebula Geometries: Explorations with a Hierarchy of Models," Proc. MAXENT'04: 24th Int'l Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Munich, Germany, pp. 135-142, Jul. 25-30, 2004.
[Presentation (PDF, 110M)]

Bernd Fischer, Johann Schumann, "AutoBayes: A System for Generating Data Analysis Programs from Statistical Models," Journal of Functional Programming vol. 13, no. 3, pp. 483-508, May 2003.

Bernd Fisher, Johann Schumann, "Automated Synthesis of Statistical Data Analysis Programs," Proc. SDP'02: Workshop Science Data Processing, Greenbelt, MD, Feb. 26-28, 2002.
[paper ( PDF,196K)]

Bernd Fischer, Thomas Pressburger, Grigore Rosu, Johann Schumann, "The AutoBayes Program Synthesis System - System Description," Proc. CALCULEMUS 2001: 9th Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Siena, Italy, pp. 182-187, Jun. 21-22, 2001.
[paper ( PDF, 158K)]

Bernd Fischer, Johann Schumann, "AutoBayes: A System for the Synthesis of Data Analysis Programs," Proc. NIPS 2000: Workshop on Software Support for Bayesian Analysis Systems, Breckenridge, CO, Dec. 1, 2000.
[paper ( PDF, 133K)]

Wray Buntine, Bernd Fischer, Thomas Pressburger, "Towards Automated Synthesis of Data Mining Programs," Proc. KDD'99: 5th ACM Int'l Conf. on Knowledge Discovery and Data Mining, San Diego, CA, pp. 372-376, Aug. 15-18, 1999.
[paper ( PDF, 220K)]

Back to Top

AutoFilter: Synthesis of State Estimation Software

Jon Whittle, Johann Schumann, "Automating the Implementation of Kalman Filter Algorithms," TOMS: ACM Transactions on Mathematical Software, vol. 29, issue 5, pp. 434-453, Dec. 2004,
[paper ( PDF, 305K)]

Grigore Rosu, Jonathan Whittle, "Towards Certifying Domain-Specific Properties of Synthesized Code," Proc. VCL'02: Third Int'l Workshop on Verification and Computational Logic, Pittsburgh, PA, pp. 46-56, Oct. 5, 2002.
[paper ( PDF, 104K)]

Grigore Rosu, Jon Whittle, "Towards Certifying Domain-Specific Properties of Synthesized Code- Extended Abstract," Proc. ASE'02: 17th IEEE Int'l Conf. on Automated Software Engineering, Edinburgh, UK, pp. 289-294, Sep. 23-27, 2002.
[paper ( PDF, 79K)]

Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Tom Pressburger, John Penix, Phil Oh, Michael Lowry, Guillaume Brat, "Amphion/NAV: Deductive Synthesis of State Estimation Software," Proc. ASE'01: 16th IEEE Int'l Conf. on Automated Software Engineering, San Diego, CA, pp. 395-399, Nov. 26-29, 2001.
[paper ( PDF, 129K)]
[UNPUBLISHED LONG VERSION ( PDF, 2.82M)]

Johann Schumann, Peter Robinson, "[] or Success is Not Enough: Current Technology and Future Directions in Proof Presentation," Workshop IJCAR 2001: Int'l Joint Conf. on Automated Reasoning, Springer LNAI, no. 2083, Siena, Italy, pp. 702-710, Jun. 18-23, 2001.
[paper ( PDF, 209K)]

Back to Top

UML Synthesis

Jon Whittle, Richard Kwan, Jyoti Saboo, "From Scenarios to Code: An Air Traffic Control Case Study," Proc. ICSE 2003: 25th Int'l Conf. on Software Engineering, Portland, OR, pp. 490-495, May 3-10, 2003.
[paper ( PDF, 209K)]

Jon Whittle, "Transformations and Software Modeling Languages: Automating Transformations in UML," Proc. UML 2002: Fifth Int'l Conf. on the Unified Modeling Language, Springer LNCS, no. 2460, Dresden, Germany, pp. 227-242, Sep. 30 to Oct. 4, 2002.
[paper ( PDF, 254K)]

Jon Whittle, Johann Schumann, "Scenario-Based Engineering of Multi-Agent Systems," Chr. Rouff, ed., Formal Approaches to Agent Design, Springer, to appear.
[paper ( PDF, 1.5M)]

Johann Schumann, Jon Whittle, "Automatic Synthesis of Agent Designs in UML," Proc. FAABS 2001: First Int'l Workshop on Formal Approaches to Agent-Based Systems, Springer LNCS, no. 1871, Greenbelt, MD, pp. 148-162, Nov. 1, 2001.
[paper ( PDF, 264K)]

Johann Schumann, Jon Whittle, "Automatic Synthesis of UML Designs from Requirements in an Iterative Process -Extended Abstract-," Proc. PMD'01: Workshop for Precise Modeling and Deduction for Object-Oriented Software Development, Siena, Italy, pp. 1-4, Jun. 18, 2001.
[paper (PDF, 1.08M), ( PDF, 1.2M)]

Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green, "NASA's Exploration Agenda and Capability Engineering," IEEE Computer, vol. 39, no. 1, pp. 63-73 , Jan. 2006.

Julian Richardson, Jeff Green, "Automating Traceability for Generated Software Artifacts," Proc. ASE'04: 19th IEEE Int'l Conf. on Automated Software Engineering, Linz, Austria, pp. 24-33, Sep. 20-24, 2004.
[paper (PDF, 94K)]

Julian Richardson, "Proof Planning and Program Synthesis: A Survey," Proc. AAAI 2002: Spring Symp. Workshop on Logic-Based Program Synthesis: State-of-the-Art, Future Trends,Technical Report SS-02-05, Palo Alto, CA, pp. 7-12, Mar. 25-27, 2002.
[paper ( PDF, 127K)]

Julian Richardson, Pierre Flener, "Program Schemas as Proof Methods," Uppsala University Department of Information Technology Technical Report,no. 2003-008, Feb. 2003.
[paper ( PDF, 916K)]

Bernd Fischer, Jonathan Whittle, "Integrating Deductive Retrieval into Deductive Synthesis," Proc. ASE'99: 14th Conf. on Automated Software Engingeering,Cocoa Beach, FL. pp. 52-62, Oct. 12-15, 1999.
[paper ( PDF, 113K)]

John Penix. "Rebound: A Framework for Automated Component Adaptation." Proc. WISR'99: 9th Annual Workshop on Software Reuse,Austin, TX, pp. 140-148, Jan. 7-9, 1999.
[paper ( PDF, 131K)]

Back to Top

Last modified: Aug. 26, 2009by Allen Dutra.