publications:
- title: "Verifying multi-threaded software using smt-based context-bounded model checking"
  author:
  - name: "Lucas Cordeiro"
    link: "https://researchr.org/alias/lucas-cordeiro"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1985793.1985839"
  links:
    doi: "http://doi.acm.org/10.1145/1985793.1985839"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/CordeiroF11"
  tags:
  - "model checking"
  - "meta-model"
  - "context-aware"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CordeiroF11"
  cites: 0
  citedby: 0
  pages: "331-340"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "CordeiroF11"
- title: "Empirically Successful Automated Reasoning: Applications Issue"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Stephan Schulz"
    link: "https://researchr.org/alias/stephan-schulz"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10817-006-9056-8"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-006-9056-8"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/FischerSS06a"
  cites: 0
  citedby: 0
  journal: "JAR"
  volume: "37"
  number: "1-2"
  pages: "1"
  kind: "article"
  key: "FischerSS06a"
- title: "An Integration of Deductive Retrieval into Deductive Synthesis"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "1999"
  doi: "http://computer.org/proceedings/ase/0415/04150052abs.htm"
  links:
    doi: "http://computer.org/proceedings/ase/0415/04150052abs.htm"
  researchr: "https://researchr.org/publication/FischerW99"
  cites: 0
  citedby: 0
  pages: "52"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "FischerW99"
- title: "SMT-Based Bounded Model Checking for Embedded ANSI-C Software"
  author:
  - name: "Lucas Cordeiro"
    link: "https://researchr.org/alias/lucas-cordeiro"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "João Marques-Silva"
    link: "https://researchr.org/alias/jo%C3%A3%C2%A3o-marques-silva"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.63"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.63"
  tags:
  - "rule-based"
  - "model checking"
  - "meta-model"
  - "embedded software"
  - "C++"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CordeiroFM09"
  cites: 0
  citedby: 0
  pages: "137-148"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "CordeiroFM09"
- title: "Towards Automated Synthesis of Data Mining Programs"
  author:
  - name: "Wray Buntine"
    link: "http://nicta.com.au/people/buntinew"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Thomas Pressburger"
    link: "http://ti.arc.nasa.gov/profile/ttp/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/312129.312286"
  links:
    doi: "http://doi.acm.org/10.1145/312129.312286"
  tags:
  - "data-flow programming"
  - "data-flow"
  researchr: "https://researchr.org/publication/BuntineFP99"
  cites: 0
  citedby: 0
  pages: "372-376"
  booktitle: "kdd"
  kind: "inproceedings"
  key: "BuntineFP99"
- title: "Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2006.15"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2006.15"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/DenneyF06%3A1"
  cites: 0
  citedby: 0
  pages: "265-268"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "DenneyF06:1"
- title: "A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.71"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.71"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/DenneyF09"
  cites: 0
  citedby: 0
  pages: "560-564"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "DenneyF09"
- title: "A Lazy Unbounded Model Checker for Event-B"
  author:
  - name: "Paulo J. Matos"
    link: "https://researchr.org/alias/paulo-j.-matos"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "João P. Marques Silva"
    link: "https://researchr.org/alias/jo%C3%A3%C2%A3o-p.-marques-silva"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-10373-5_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-10373-5_25"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/MatosFM09"
  cites: 0
  citedby: 0
  pages: "485-503"
  booktitle: "icfem"
  kind: "inproceedings"
  key: "MatosFM09"
- title: "Specification-based Browsing of Software Component Libraries"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "1998"
  doi: "http://dlib.computer.org/conferen/ase/8750/pdf/87500074.pdf"
  links:
    doi: "http://dlib.computer.org/conferen/ase/8750/pdf/87500074.pdf"
  tags:
  - "rule-based"
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/Fischer98%3A3"
  cites: 0
  citedby: 0
  pages: "74-83"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "Fischer98:3"
- title: "Extending Source Code Generators for Evidence-Based Software Certification"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/ISoLA.2006.76"
  links:
    doi: "http://dx.doi.org/10.1109/ISoLA.2006.76"
  tags:
  - "rule-based"
  - "source-to-source"
  - "certification"
  - "open-source"
  researchr: "https://researchr.org/publication/DenneyF06%3A0"
  cites: 0
  citedby: 0
  pages: "138-145"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "DenneyF06:0"
- title: "Guest editors  introduction"
  author:
  - name: "Alexander  Egyed"
    link: "http://www.alexander-egyed.com/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10515-008-0038-4"
  links:
    doi: "http://dx.doi.org/10.1007/s10515-008-0038-4"
  researchr: "https://researchr.org/publication/EgyedF09"
  cites: 0
  citedby: 0
  journal: "ASE"
  volume: "16"
  number: "1"
  pages: "1-2"
  kind: "article"
  key: "EgyedF09"
- title: "AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description"
  author:
  - name: "Michael W. Whalen"
    link: "https://researchr.org/alias/michael-w.-whalen"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2392/23920290.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2392/23920290.htm"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/WhalenSF02"
  cites: 0
  citedby: 0
  pages: "290-294"
  booktitle: "cade"
  kind: "inproceedings"
  key: "WhalenSF02"
- title: "Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking"
  author:
  - name: "Ashish Darbari"
    link: "https://researchr.org/alias/ashish-darbari"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "João Marques-Silva"
    link: "https://researchr.org/alias/jo%C3%A3o-marques-silva"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ictac/DarbariFM10"
  researchr: "https://researchr.org/publication/DarbariFM10"
  cites: 0
  citedby: 0
  pages: "260-274"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "DarbariFM10"
- title: "JEqualityGen: Generating equality and hashing methods"
  author:
  - name: "Neville Grech"
    link: "https://researchr.org/alias/neville-grech"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Julian Rathke"
    link: "https://researchr.org/alias/julian-rathke"
  year: "2010"
  researchr: "https://researchr.org/publication/Grech-GPCE-2010"
  cites: 0
  citedby: 0
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "Grech-GPCE-2010"
- title: "Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking"
  author:
  - name: "Lucas Cordeiro"
    link: "https://researchr.org/alias/lucas-cordeiro"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "João Marques-Silva"
    link: "https://researchr.org/alias/jo%C3%A3o-marques-silva"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ECBS.2010.24"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ECBS.2010.24"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecbs/CordeiroFM10"
  tags:
  - "model checking"
  - "meta-model"
  - "embedded software"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CordeiroFM10"
  cites: 0
  citedby: 0
  pages: "160-169"
  booktitle: "ECBS"
  kind: "inproceedings"
  key: "CordeiroFM10"
- title: "Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code"
  author:
  - name: "Nurlida Basir"
    link: "https://researchr.org/alias/nurlida-basir"
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.003"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/BasirDF09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "238"
  number: "4"
  pages: "19-26"
  kind: "article"
  key: "BasirDF09"
- title: "JEqualityGen: generating equality and hashing methods"
  author:
  - name: "Neville Grech"
    link: "https://researchr.org/alias/neville-grech"
  - name: "Julian Rathke"
    link: "https://researchr.org/alias/julian-rathke"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1868294.1868320"
  links:
    doi: "http://doi.acm.org/10.1145/1868294.1868320"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/GrechRF10"
  researchr: "https://researchr.org/publication/GrechRF10"
  cites: 0
  citedby: 0
  pages: "177-186"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "GrechRF10"
- title: "Generating customized verifiers for automatically generated code"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449913.1449926"
  abstract: "Program verification using Hoare-style techniques requires many logical annotations. We have previously developed a generic annotation inference algorithm that weaves in all annotations required to certify safety properties for automatically generated code. It uses patterns to capture generator- and property-specific code idioms and property-specific meta-program fragments to construct the annotations. The algorithm is customized by specifying the code patterns and integrating them with the meta-program fragments for annotation construction. However, this is difficult since it involves tedious and error-prone low-level term manipulations. Here, we describe an approach that automates this customization task using generative techniques. It uses a small annotation schema compiler that takes a collection of high-level declarative annotation schemas tailored towards a specific code generator and safety property, and generates all customized analysis functions and glue code required for interfacing with the generic algorithm core, thus effectively creating a customized annotation inference algorithm. The compiler raises the level of abstraction and simplifies schema development and maintenance. It also takes care of some more routine aspects of formulating patterns and schemas, in particular handling of irrelevant program fragments and irrelevant variance in the program structure, which reduces the size, complexity, and number of different patterns and annotation schemas required. The improvements described here make it easier and faster to customize the system to a new safety property or a new generator, and we demonstrate this by customizing it to certify frame safety of space flight navigation code that was automatically generated from Simulink models by MathWorks’ Real-Time Workshop."
  links:
    doi: "http://doi.acm.org/10.1145/1449913.1449926"
  tags:
  - "generative programming"
  - "program analysis"
  - "meta programming"
  - "generic programming"
  - "program verification"
  - "meta-model"
  - "XML"
  - "XML Schema"
  - "analysis"
  - "model-driven development"
  - "weaving"
  - "maintenance"
  - "compiler"
  - "abstraction"
  - "Meta-Environment"
  - "systematic-approach"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DenneyF08%3A0"
  cites: 0
  citedby: 0
  pages: "77-88"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "DenneyF08:0"
- title: "Synthesizing Certified Code"
  author:
  - name: "Michael W. Whalen"
    link: "https://researchr.org/alias/michael-w.-whalen"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2391/23910431.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2391/23910431.htm"
  researchr: "https://researchr.org/publication/WhalenSF02%3A0"
  cites: 0
  citedby: 0
  pages: "431-450"
  booktitle: "FM"
  kind: "inproceedings"
  key: "WhalenSF02:0"
- title: "Specification-Based Browsing of Software Component Libraries"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2000"
  tags:
  - "rule-based"
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/Fischer00"
  cites: 0
  citedby: 0
  journal: "ASE"
  volume: "7"
  number: "2"
  pages: "179-200"
  kind: "article"
  key: "Fischer00"
- title: "VLex: visualizing a lexical analyzer generator - tool demonstration"
  author:
  - name: "Alisdair Jorgensen"
    link: "https://researchr.org/alias/alisdair-jorgensen"
  - name: "Giorgios Rob Economopoulos"
    link: "https://researchr.org/alias/giorgios-rob-economopoulos"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1988783.1988795"
  links:
    doi: "http://doi.acm.org/10.1145/1988783.1988795"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/JorgensenEF11"
  researchr: "https://researchr.org/publication/JorgensenEF11"
  cites: 0
  citedby: 0
  pages: "12"
  booktitle: "LDTA"
  kind: "inproceedings"
  key: "JorgensenEF11"
- title: "Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract)"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2003"
  doi: "https://doi.org/10.1007/978-3-540-25938-1_5"
  abstract: "Program generation and transformation systems work on two language levels, the object-level (i.e., the language of the manipulated programs), and the meta-level (i.e., the implementation language of the system itself). The meta-level representations of object-level program fragments are usually built in an essentially syntax-free fashion using the operations provided by the meta-language. However, syntax matters and a large conceptual distance between the two languages makes it difficult to maintain and extend such systems. Here we describe how an existing Prolog-based system can gradually be retrofitted with concrete object-level syntax using the approach outlined in [5], thus shrinking this distance."
  links:
    doi: "https://doi.org/10.1007/978-3-540-25938-1_5"
  tags:
  - "programming languages"
  - "model-to-model transformation"
  - "object-oriented programming"
  - "concrete object syntax"
  - "Prolog"
  - "rule-based"
  - "meta programming"
  - "AutoBayes"
  - "meta-model"
  - "abstract syntax"
  - "Stratego/XT"
  - "transformation language"
  - "source-to-source"
  - "transformation system"
  - "model transformation"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "systematic-approach"
  - "feature-oriented programming"
  - "concrete syntax"
  - "meta-objects"
  - "transformation"
  - "Stratego"
  - "program transformation"
  researchr: "https://researchr.org/publication/FischerV03"
  cites: 0
  citedby: 0
  pages: "56-58"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "FischerV03"
- title: "Higher-order transformations with nested concrete syntax"
  author:
  - name: "Giorgios Rob Economopoulos"
    link: "https://researchr.org/alias/giorgios-rob-economopoulos"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1988783.1988787"
  links:
    doi: "http://doi.acm.org/10.1145/1988783.1988787"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/EconomopoulosF11"
  tags:
  - "higher-order transformations"
  - "concrete syntax"
  - "transformation"
  researchr: "https://researchr.org/publication/EconomopoulosF11"
  cites: 0
  citedby: 0
  pages: "4"
  booktitle: "LDTA"
  kind: "inproceedings"
  key: "EconomopoulosF11"
- title: "A generic annotation inference algorithm for the safety certification of automatically generated code"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1173706.1173725"
  abstract: "Code generators for realistic application domains are not directly verifiable in practice.  In the certifiable code generation approach the generator is extended to generate logical annotations (i.e., pre- and postconditions and loop invariants) along with the programs, allowing fully automated program proofs of different safety properties.  However, this requires access to the generator sources, and remains difficult to implement and maintain because the annotations are cross-cutting concerns, both on the object-level (i.e. in the generated code) and on the meta-level (i.e. in the generator). Here we describe a new generic post-generation annotation inference algorithm that circumvents these problems. We exploit the fact that the output of a code generator is highly idiomatic, so that patterns can be used to describe all code constructs that require annotations. The patterns are specific to the idioms of the targeted code generator and to the safety property to be shown, but the algorithm itself remains generic. It is based on a pattern matcher used to identify instances of the idioms and build a property-specific abstracted control flow graph, and a graph traversal that follows the paths from the use nodes backwards to all corresponding definitions, annotating the statements along these paths. This core is instantiated for two generators and successfully applied to automatically certify initialization safety for a range of generated programs."
  links:
    doi: "http://doi.acm.org/10.1145/1173706.1173725"
  tags:
  - "object-oriented programming"
  - "rule-based"
  - "meta programming"
  - "generic programming"
  - "meta-model"
  - "traversal"
  - "data-flow programming"
  - "data-flow"
  - "source-to-source"
  - "graph-rewriting"
  - "certification"
  - "code generation"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "access control"
  - "rewriting"
  - "role-based access control"
  - "systematic-approach"
  - "feature-oriented programming"
  - "open-source"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DenneyF06"
  cites: 0
  citedby: 0
  pages: "121-130"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "DenneyF06"
- title: "Deriving Safety Cases for Hierarchical Structure in Model-Based Development"
  author:
  - name: "Nurlida Basir"
    link: "https://researchr.org/alias/nurlida-basir"
  - name: "Ewen Denney"
    link: "https://researchr.org/alias/ewen-denney"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15651-9_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15651-9_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/safecomp/BasirDF10"
  tags:
  - "rule-based"
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BasirDF10"
  cites: 0
  citedby: 0
  pages: "68-81"
  booktitle: "safecomp"
  kind: "inproceedings"
  key: "BasirDF10"
- title: "Using Automated Theorem Provers to Certify Auto-generated Aerospace Software"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann  Schumann"
    link: "http://ti.arc.nasa.gov/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=198"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=198"
  researchr: "https://researchr.org/publication/DenneyFS04"
  cites: 0
  citedby: 0
  pages: "198-212"
  booktitle: "cade"
  kind: "inproceedings"
  key: "DenneyFS04"
- title: "AutoBayes: a system for generating data analysis programs from statistical models"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796802004562"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796802004562"
  tags:
  - "program analysis"
  - "AutoBayes"
  - "analysis"
  - "data-flow programming"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/FischerS03%3A0"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "13"
  number: "3"
  pages: "483-508"
  kind: "article"
  key: "FischerS03:0"
- title: "Empirically Successful Automated Reasoning: Systems Issue"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Stephan Schulz"
    link: "https://researchr.org/alias/stephan-schulz"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10817-006-9059-5"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-006-9059-5"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/FischerSS06"
  cites: 0
  citedby: 0
  journal: "JAR"
  volume: "36"
  number: "4"
  pages: "287"
  kind: "article"
  key: "FischerSS06"
- title: "Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2003"
  doi: "https://doi.org/10.1007/978-3-540-25935-0_14"
  abstract: "AUTOBAYES is a fully automatic, schema-based program synthesis  system for statistical data analysis applications. Its core component is a schema  library, i.e., a collection of generic code templates with associated applicability  constraints which are instantiated in a problem-specific way during synthesis.  Currently, AUTOBAYE S is implemented in Prolog; the schemas thus use abstract  syntax (i.e., Prolog terms) to formulate the templates. However, the conceptual  distance between this abstract representation and the concrete syntax of the generated programs makes the schemas hard to create and maintain.  In this paper we describe how AUTOBAYE S is retrofitted with concrete syn-  tax. We show how it is integrated into Prolog and describe how the seamless  interaction of concrete syntax fragments with AUTOBAYE S’s remaining “legacy”  meta-programming kernel based on abstract syntax is achieved. We apply the  approach to gradually migrate individual schemas without forcing a disruptive  migration of the entire system to a different meta-programming language. First  experiences show that a smooth migration can be achieved. Moreover, it can re-  sult in a considerable reduction of the code size and improved readability of the  code. In particular, abstracting out fresh-variable generation and second-order  term construction allows the formulation of larger continuous fragments."
  links:
    doi: "https://doi.org/10.1007/978-3-540-25935-0_14"
    "technical report": "http://www.cs.uu.nl/research/techreps/UU-CS-2004-012.html"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "concrete object syntax"
  - "Prolog"
  - "rule-based"
  - "program analysis"
  - "meta programming"
  - "data-flow language"
  - "generic programming"
  - "program synthesis"
  - "AutoBayes"
  - "SDF"
  - "meta-model"
  - "XML"
  - "abstract syntax"
  - "XML Schema"
  - "Stratego/XT"
  - "analysis"
  - "constraints"
  - "data-flow programming"
  - "data-flow"
  - "migration"
  - "code generation"
  - "language embedding"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "data-flow analysis"
  - "systematic-approach"
  - "ASF+SDF"
  - "feature-oriented programming"
  - "concrete syntax"
  - "meta-objects"
  - "Stratego"
  researchr: "https://researchr.org/publication/FischerV04-dagstuhl"
  cites: 0
  citedby: 0
  pages: "239-253"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "FischerV04-dagstuhl"
- title: "Die inferenzbasierte Softwareentwicklungsumgebung NORA"
  author:
  - name: "Gregor Snelting"
    link: "https://researchr.org/alias/gregor-snelting"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Franz-Josef Grosch"
    link: "https://researchr.org/alias/franz-josef-grosch"
  - name: "Matthias Kievernagel"
    link: "https://researchr.org/alias/matthias-kievernagel"
  - name: "Andreas Zeller"
    link: "https://researchr.org/alias/andreas-zeller"
  year: "1994"
  researchr: "https://researchr.org/publication/SneltingFGKZ94"
  cites: 0
  citedby: 0
  journal: "ife"
  volume: "9"
  number: "3"
  pages: "116-131"
  kind: "article"
  key: "SneltingFGKZ94"
- title: "Generating Data Analysis Programs from Statistical Models"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Thomas Pressburger"
    link: "https://researchr.org/alias/thomas-pressburger"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1924/19240212.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1924/19240212.htm"
  tags:
  - "program analysis"
  - "analysis"
  - "data-flow programming"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/FischerSP00"
  cites: 0
  citedby: 0
  pages: "212-229"
  booktitle: "saig"
  kind: "inproceedings"
  key: "FischerSP00"
- title: "Explaining Verification Conditions"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_12"
  researchr: "https://researchr.org/publication/DenneyF08"
  cites: 0
  citedby: 0
  pages: "145-159"
  booktitle: "amast"
  kind: "inproceedings"
  key: "DenneyF08"
- title: "Automatic Derivation of Statistical Algorithms: The EM Family and Beyond"
  author:
  - name: "Alexander G. Gray"
    link: "https://researchr.org/alias/alexander-g.-gray"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann  Schumann"
    link: "http://ti.arc.nasa.gov/"
  - name: "Wray Buntine"
    link: "http://nicta.com.au/people/buntinew"
  year: "2002"
  doi: "http://books.nips.cc/papers/files/nips15/AA24.pdf"
  links:
    doi: "http://books.nips.cc/papers/files/nips15/AA24.pdf"
  tags:
  - "AutoBayes"
  researchr: "https://researchr.org/publication/GrayFSB02"
  cites: 0
  citedby: 0
  pages: "673-680"
  booktitle: "nips"
  kind: "inproceedings"
  key: "GrayFSB02"
- title: "SETHEO Goes Software Engineering: Application of ATP to Software Reuse"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "1997"
  tags:
  - "reuse"
  - "software engineering"
  researchr: "https://researchr.org/publication/FischerS97%3A1"
  cites: 0
  citedby: 0
  pages: "65-68"
  booktitle: "cade"
  kind: "inproceedings"
  key: "FischerS97:1"
- title: "Applying AutoBayes to the Analysis of Planetary Nebulae Images"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350337abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350337abs.htm"
  tags:
  - "AutoBayes"
  - "analysis"
  researchr: "https://researchr.org/publication/FischerS03"
  cites: 0
  citedby: 0
  pages: "337-342"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "FischerS03"
- title: "Correctness of Source-Level Safety Policies"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=894"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=894"
  tags:
  - "source-to-source"
  - "peer-to-peer"
  - "open-source"
  researchr: "https://researchr.org/publication/DenneyF03"
  cites: 0
  citedby: 0
  pages: "894-913"
  booktitle: "FM"
  kind: "inproceedings"
  key: "DenneyF03"
- title: "Interpreting Abstract Interpretations in Membership Equational Logic"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  year: "2001"
  doi: "http://www.elsevier.nl/locate/entcs/volume59.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume59.html"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/FischerR01"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "59"
  number: "4"
  pages: "271-285"
  kind: "article"
  key: "FischerR01"
- title: "Program Repair as Sound Optimization of Broken Programs"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Ando Saabas"
    link: "https://researchr.org/alias/ando-saabas"
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/TASE.2009.61"
  links:
    doi: "http://dx.doi.org/10.1109/TASE.2009.61"
  tags:
  - "optimization"
  - "program optimization"
  researchr: "https://researchr.org/publication/FischerSU09"
  cites: 0
  citedby: 0
  pages: "165-173"
  booktitle: "tase"
  kind: "inproceedings"
  key: "FischerSU09"
- title: "Software certificate management (SoftCeMent 05)"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Dieter Hutter"
    link: "https://researchr.org/alias/dieter-hutter"
  - name: "Mark Jones"
    link: "https://researchr.org/alias/mark-jones"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1101908.1102003"
  links:
    doi: "http://doi.acm.org/10.1145/1101908.1102003"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/DenneyFHJ05"
  cites: 0
  citedby: 0
  pages: "463"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "DenneyFHJ05"
- title: "Certification Support for Automatically Generated Programs"
  author:
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Michael W. Whalen"
    link: "https://researchr.org/alias/michael-w.-whalen"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2003"
  doi: "http://computer.org/proceedings/hicss/1874/track9/187490337aabs.htm"
  links:
    doi: "http://computer.org/proceedings/hicss/1874/track9/187490337aabs.htm"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/SchumannFWW03"
  cites: 0
  citedby: 0
  pages: "337"
  booktitle: "hicss"
  kind: "inproceedings"
  key: "SchumannFWW03"
- title: "Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information"
  author:
  - name: "Nurlida Basir"
    link: "none"
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87698-4_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87698-4_22"
  tags:
  - "program verification"
  researchr: "https://researchr.org/publication/BasirDF08"
  cites: 0
  citedby: 0
  pages: "249-262"
  booktitle: "safecomp"
  kind: "inproceedings"
  key: "BasirDF08"
- title: "An Empirical Evaluation of Automated Theorem Provers in Software Certification"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "2006"
  doi: "http://dx.doi.org/10.1142/S0218213006002576"
  links:
    doi: "http://dx.doi.org/10.1142/S0218213006002576"
  tags:
  - "empirical"
  - "certification"
  researchr: "https://researchr.org/publication/DenneyFS06"
  cites: 0
  citedby: 0
  journal: "ijait"
  volume: "15"
  number: "1"
  pages: "81-108"
  kind: "article"
  key: "DenneyFS06"
- title: "Certifiable Program Generation"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11561347_3"
  links:
    doi: "http://dx.doi.org/10.1007/11561347_3"
  researchr: "https://researchr.org/publication/DenneyF05"
  cites: 0
  citedby: 0
  pages: "17-28"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "DenneyF05"
- title: "The 2002 AAAI Spring Symposium Series"
  author:
  - name: "Jussi Karlgren"
    link: "https://researchr.org/alias/jussi-karlgren"
  - name: "Pentti Kanerva"
    link: "https://researchr.org/alias/pentti-kanerva"
  - name: "Björn Gambäck"
    link: "https://researchr.org/alias/bj%C3%B6rn-gamb%C3%A4ck"
  - name: "Kenneth D. Forbus"
    link: "https://researchr.org/alias/kenneth-d.-forbus"
  - name: "Kagan Tumer"
    link: "https://researchr.org/alias/kagan-tumer"
  - name: "Peter Stone"
    link: "https://researchr.org/alias/peter-stone"
  - name: "Kai Goebel"
    link: "https://researchr.org/alias/kai-goebel"
  - name: "Gaurav S. Sukhatme"
    link: "https://researchr.org/alias/gaurav-s.-sukhatme"
  - name: "Tucker R. Balch"
    link: "https://researchr.org/alias/tucker-r.-balch"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Doug Smith"
    link: "https://researchr.org/alias/doug-smith"
  - name: "Sanda M. Harabagiu"
    link: "https://researchr.org/alias/sanda-m.-harabagiu"
  - name: "Vinay Chaudri"
    link: "https://researchr.org/alias/vinay-chaudri"
  - name: "Mike Barley"
    link: "https://researchr.org/alias/mike-barley"
  - name: "Hans W. Guesgen"
    link: "https://researchr.org/alias/hans-w.-guesgen"
  - name: "Thomas F. Stahovich"
    link: "https://researchr.org/alias/thomas-f.-stahovich"
  - name: "Randall Davis"
    link: "https://researchr.org/alias/randall-davis"
  - name: "James A. Landay"
    link: "https://researchr.org/alias/james-a.-landay"
  year: "2002"
  researchr: "https://researchr.org/publication/KarlgrenKGFTSGSBFSHCBGSDL02"
  cites: 0
  citedby: 0
  journal: "aim"
  volume: "23"
  number: "4"
  pages: "101-106"
  kind: "article"
  key: "KarlgrenKGFTSGSBFSHCBGSDL02"
- title: "ALADIN: A Scanner Generator for Incremental Programming Environments"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Carsten Hammer"
    link: "https://researchr.org/alias/carsten-hammer"
  - name: "Werner Struckmann"
    link: "https://researchr.org/alias/werner-struckmann"
  year: "1992"
  tags:
  - "meta programming"
  - "programming"
  - "Meta-Environment"
  - "incremental"
  researchr: "https://researchr.org/publication/FischerHS92"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "22"
  number: "11"
  pages: "1011-1025"
  kind: "article"
  key: "FischerHS92"
- title: "Integrating Deduction Techniques in a Software Reuse Application"
  author:
  - name: "Thomas Baar"
    link: "http://lgl.epfl.ch/members/baar/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Dirk Fuchs"
    link: "http://www.uni-kl.de/AG-AvenhausMadlener/dfuchs.html"
  year: "1999"
  doi: "http://www.jucs.org/jucs_5_3/integrating_deduction_techniques_in"
  links:
    doi: "http://www.jucs.org/jucs_5_3/integrating_deduction_techniques_in"
  tags:
  - "reuse"
  researchr: "https://researchr.org/publication/BaarFF99"
  cites: 0
  citedby: 0
  journal: "jucs"
  volume: "5"
  number: "3"
  pages: "52-72"
  kind: "article"
  key: "BaarFF99"
- title: "NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical"
  author:
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  year: "1997"
  doi: "http://computer.org/proceedings/ase/7961/79610246abs.htm"
  links:
    doi: "http://computer.org/proceedings/ase/7961/79610246abs.htm"
  tags:
  - "rule-based"
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/SchumannF97"
  cites: 0
  citedby: 0
  pages: "246-254"
  booktitle: "jckbse"
  kind: "inproceedings"
  key: "SchumannF97"
- title: "Adding Assurance to Automatically Generated Code"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Johann  Schumann"
    link: "http://ti.arc.nasa.gov/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/hase/2004/2094/00/20940297abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/hase/2004/2094/00/20940297abs.htm"
  researchr: "https://researchr.org/publication/DenneyFS04%3A0"
  cites: 0
  citedby: 0
  pages: "297-299"
  booktitle: "hase"
  kind: "inproceedings"
  key: "DenneyFS04:0"
- title: "Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings"
  year: "2009"
  tags:
  - "generative programming"
  - "programming"
  researchr: "https://researchr.org/publication/gpce-2009"
  cites: 0
  citedby: 0
  booktitle: "Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings"
  conference: "GPCE"
  editor:
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  publisher: "ACM"
  isbn: "978-1-60558-494-2"
  kind: "proceedings"
  key: "gpce-2009"
- title: "Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002"
  year: "2002"
  tags:
  - "rule-based"
  - "rules"
  - "programming"
  researchr: "https://researchr.org/publication/rule%3A2002"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002"
  conference: "RULE"
  editor:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "1-58113-606-4"
  kind: "proceedings"
  key: "rule:2002"
- title: "22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA"
  year: "2007"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/kbse%3A2007"
  cites: 0
  citedby: 0
  booktitle: "22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA"
  conference: "ASE"
  editor:
  - name: "R. E. Kurt Stirewalt"
    link: "https://researchr.org/alias/r.-e.-kurt-stirewalt"
  - name: "Alexander  Egyed"
    link: "http://www.alexander-egyed.com/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  publisher: "ACM"
  isbn: "978-1-59593-882-4 "
  kind: "proceedings"
  key: "kbse:2007"
- title: "Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022"
  year: "2022"
  doi: "https://doi.org/10.1145/3567512"
  links:
    doi: "https://doi.org/10.1145/3567512"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/2022"
  researchr: "https://researchr.org/publication/sle-2022"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022"
  conference: "SLE"
  editor:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Lola Burgueño"
    link: "https://researchr.org/alias/lola-burgue%C3%B1o"
  - name: "Walter Cazzola"
    link: "https://researchr.org/alias/walter-cazzola"
  publisher: "ACM"
  isbn: "978-1-4503-9919-7"
  kind: "proceedings"
  key: "sle-2022"