SLE 2020 – Author Index

A B C D F G H J K M O P R S T V W Z

	Anjorin, Anthony	SLE '20: "A Search-Based and Fault-Tolerant ..." A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation Nils Weidmann, Lars Fritsche, and Anthony Anjorin (University of Paderborn, Germany; TU Darmstadt, Germany; IAV, Germany) @InProceedings{SLE20p71, author = {Nils Weidmann and Lars Fritsche and Anthony Anjorin}, title = {A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {71-70}, doi = {10.1145/3426425.3426932}, year = {2020}, } Publisher's Version Video
	Auvolat, Alex	SLE '20: "Modular and Distributed IDE ..." Modular and Distributed IDE Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau (Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France) @InProceedings{SLE20p330, author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau}, title = {Modular and Distributed IDE}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {330-329}, doi = {10.1145/3426425.3426947}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Barais, Olivier	SLE '20: "Modular and Distributed IDE ..." Modular and Distributed IDE Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau (Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France) @InProceedings{SLE20p330, author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau}, title = {Modular and Distributed IDE}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {330-329}, doi = {10.1145/3426425.3426947}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Barash, Mikhail	SLE '20: "Example-Driven Software Language ..." Example-Driven Software Language Engineering Mikhail Barash (University of Bergen, Norway) @InProceedings{SLE20p302, author = {Mikhail Barash}, title = {Example-Driven Software Language Engineering}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {302-301}, doi = {10.1145/3426425.3426945}, year = {2020}, } Publisher's Version Video
	Barraball, Chelsea	SLE '20: "An Interactive Feedback System ..." An Interactive Feedback System for Grammar Development (Tool Paper) Chelsea Barraball, Moeketsi Raselimo, and Bernd Fischer (Stellenbosch University, South Africa) @InProceedings{SLE20p134, author = {Chelsea Barraball and Moeketsi Raselimo and Bernd Fischer}, title = {An Interactive Feedback System for Grammar Development (Tool Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {134-133}, doi = {10.1145/3426425.3426935}, year = {2020}, } Publisher's Version Video Artifacts Functional
	Berger, Thorsten	SLE '20: "Behavior Trees in Action: ..." Behavior Trees in Action: A Study of Robotics Applications Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark) @InProceedings{SLE20p239, author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski}, title = {Behavior Trees in Action: A Study of Robotics Applications}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3426425.3426942}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Béziers la Fosse, Thibault	SLE '20: "Annotating Executable DSLs ..." Annotating Executable DSLs with Energy Estimation Formulas Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé (IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France) @InProceedings{SLE20p29, author = {Thibault Béziers la Fosse and Massimo Tisi and Jean-Marie Mottu and Gerson Sunyé}, title = {Annotating Executable DSLs with Energy Estimation Formulas}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3426425.3426930}, year = {2020}, } Publisher's Version Video Artifacts Functional
	Bromberg, Yérom-David	SLE '20: "Modular and Distributed IDE ..." Modular and Distributed IDE Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau (Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France) @InProceedings{SLE20p330, author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau}, title = {Modular and Distributed IDE}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {330-329}, doi = {10.1145/3426425.3426947}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Buchs, Didier	SLE '20: "Featherweight Swift: A Core ..." Featherweight Swift: A Core Calculus for Swift’s Type System Dimitri Racordon and Didier Buchs (University of Geneva, Switzerland) @InProceedings{SLE20p176, author = {Dimitri Racordon and Didier Buchs}, title = {Featherweight Swift: A Core Calculus for Swift’s Type System}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {176-175}, doi = {10.1145/3426425.3426939}, year = {2020}, } Publisher's Version Video
	Burgueño, Loli	SLE '20: "Towards the Optical Character ..." Towards the Optical Character Recognition of DSLs Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot (University of Extremadura, Spain; Open University of Catalonia, Spain) @InProceedings{SLE20p162, author = {Jorge Perianez-Pascual and Roberto Rodriguez-Echeverria and Loli Burgueño and Jordi Cabot}, title = {Towards the Optical Character Recognition of DSLs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {162-161}, doi = {10.1145/3426425.3426937}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Cabot, Jordi	SLE '20: "Towards the Optical Character ..." Towards the Optical Character Recognition of DSLs Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot (University of Extremadura, Spain; Open University of Catalonia, Spain) @InProceedings{SLE20p162, author = {Jorge Perianez-Pascual and Roberto Rodriguez-Echeverria and Loli Burgueño and Jordi Cabot}, title = {Towards the Optical Character Recognition of DSLs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {162-161}, doi = {10.1145/3426425.3426937}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Cimini, Matteo	SLE '20: "Extrinsically Typed Operational ..." Extrinsically Typed Operational Semantics for Functional Languages Matteo Cimini, Dale Miller, and Jeremy G. Siek (University of Massachusetts at Lowell, USA; Inria, France; École Polytechnique, France; Indiana University, USA) @InProceedings{SLE20p141, author = {Matteo Cimini and Dale Miller and Jeremy G. Siek}, title = {Extrinsically Typed Operational Semantics for Functional Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3426425.3426936}, year = {2020}, } Publisher's Version Video
	Combemale, Benoit	SLE '20: "Modular and Distributed IDE ..." Modular and Distributed IDE Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau (Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France) @InProceedings{SLE20p330, author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau}, title = {Modular and Distributed IDE}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {330-329}, doi = {10.1145/3426425.3426947}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Coulon, Fabien	SLE '20: "Modular and Distributed IDE ..." Modular and Distributed IDE Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau (Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France) @InProceedings{SLE20p330, author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau}, title = {Modular and Distributed IDE}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {330-329}, doi = {10.1145/3426425.3426947}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	De Medeiros, Sérgio Queiroz	SLE '20: "A Semantic Framework for PEGs ..." A Semantic Framework for PEGs Sérgio Queiroz de Medeiros and Carlos Olarte (Federal University of Rio Grande do Norte, Brazil) @InProceedings{SLE20p281, author = {Sérgio Queiroz de Medeiros and Carlos Olarte}, title = {A Semantic Framework for PEGs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {281-280}, doi = {10.1145/3426425.3426944}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Dragule, Swaib	SLE '20: "Behavior Trees in Action: ..." Behavior Trees in Action: A Study of Robotics Applications Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark) @InProceedings{SLE20p239, author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski}, title = {Behavior Trees in Action: A Study of Robotics Applications}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3426425.3426942}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Fischer, Bernd	SLE '20: "An Interactive Feedback System ..." An Interactive Feedback System for Grammar Development (Tool Paper) Chelsea Barraball, Moeketsi Raselimo, and Bernd Fischer (Stellenbosch University, South Africa) @InProceedings{SLE20p134, author = {Chelsea Barraball and Moeketsi Raselimo and Bernd Fischer}, title = {An Interactive Feedback System for Grammar Development (Tool Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {134-133}, doi = {10.1145/3426425.3426935}, year = {2020}, } Publisher's Version Video Artifacts Functional SLE '20: "Test Case Generation from ..." Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata Christoff Rossouw and Bernd Fischer (Stellenbosch University, South Africa) @InProceedings{SLE20p169, author = {Christoff Rossouw and Bernd Fischer}, title = {Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {169-168}, doi = {10.1145/3426425.3426938}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional SLE '20: "Grammar-Based Testing for ..." Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer (Stellenbosch University, South Africa; Uppsala University, Sweden) @InProceedings{SLE20p309, author = {Phillip van Heerden and Moeketsi Raselimo and Konstantinos Sagonas and Bernd Fischer}, title = {Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3426425.3426946}, year = {2020}, } Publisher's Version Video Artifacts Functional
	Fors, Niklas	SLE '20: "Principles and Patterns of ..." Principles and Patterns of JastAdd-Style Reference Attribute Grammars Niklas Fors, Emma Söderberg, and Görel Hedin (Lund University, Sweden) @InProceedings{SLE20p113, author = {Niklas Fors and Emma Söderberg and Görel Hedin}, title = {Principles and Patterns of JastAdd-Style Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3426425.3426934}, year = {2020}, } Publisher's Version Video
	Fritsche, Lars	SLE '20: "A Precedence-Driven Approach ..." A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer (TU Darmstadt, Germany; University of Marburg, Germany) @InProceedings{SLE20p50, author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer}, title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {50-49}, doi = {10.1145/3426425.3426931}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Reusable Artifacts Functional SLE '20: "A Search-Based and Fault-Tolerant ..." A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation Nils Weidmann, Lars Fritsche, and Anthony Anjorin (University of Paderborn, Germany; TU Darmstadt, Germany; IAV, Germany) @InProceedings{SLE20p71, author = {Nils Weidmann and Lars Fritsche and Anthony Anjorin}, title = {A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {71-70}, doi = {10.1145/3426425.3426932}, year = {2020}, } Publisher's Version Video
	Ghzouli, Razan	SLE '20: "Behavior Trees in Action: ..." Behavior Trees in Action: A Study of Robotics Applications Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark) @InProceedings{SLE20p239, author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski}, title = {Behavior Trees in Action: A Study of Robotics Applications}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3426425.3426942}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Hedin, Görel	SLE '20: "Principles and Patterns of ..." Principles and Patterns of JastAdd-Style Reference Attribute Grammars Niklas Fors, Emma Söderberg, and Görel Hedin (Lund University, Sweden) @InProceedings{SLE20p113, author = {Niklas Fors and Emma Söderberg and Görel Hedin}, title = {Principles and Patterns of JastAdd-Style Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3426425.3426934}, year = {2020}, } Publisher's Version Video
	Johnsen, Einar Broch	SLE '20: "Behavior Trees in Action: ..." Behavior Trees in Action: A Study of Robotics Applications Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark) @InProceedings{SLE20p239, author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski}, title = {Behavior Trees in Action: A Study of Robotics Applications}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3426425.3426942}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Kosiol, Jens	SLE '20: "A Precedence-Driven Approach ..." A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer (TU Darmstadt, Germany; University of Marburg, Germany) @InProceedings{SLE20p50, author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer}, title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {50-49}, doi = {10.1145/3426425.3426931}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Reusable Artifacts Functional
	Kramer, Lucas	SLE '20: "Strategic Tree Rewriting in ..." Strategic Tree Rewriting in Attribute Grammars Lucas Kramer and Eric Van Wyk (University of Minnesota, USA) @InProceedings{SLE20p260, author = {Lucas Kramer and Eric Van Wyk}, title = {Strategic Tree Rewriting in Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {260-259}, doi = {10.1145/3426425.3426943}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Michaelson, Dawn	SLE '20: "Monadification of Attribute ..." Monadification of Attribute Grammars Dawn Michaelson and Eric Van Wyk (University of Minnesota, USA) @InProceedings{SLE20p218, author = {Dawn Michaelson and Eric Van Wyk}, title = {Monadification of Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {218-217}, doi = {10.1145/3426425.3426941}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Miller, Dale	SLE '20: "Extrinsically Typed Operational ..." Extrinsically Typed Operational Semantics for Functional Languages Matteo Cimini, Dale Miller, and Jeremy G. Siek (University of Massachusetts at Lowell, USA; Inria, France; École Polytechnique, France; Indiana University, USA) @InProceedings{SLE20p141, author = {Matteo Cimini and Dale Miller and Jeremy G. Siek}, title = {Extrinsically Typed Operational Semantics for Functional Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3426425.3426936}, year = {2020}, } Publisher's Version Video
	Möller, Adrian	SLE '20: "A Precedence-Driven Approach ..." A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer (TU Darmstadt, Germany; University of Marburg, Germany) @InProceedings{SLE20p50, author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer}, title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {50-49}, doi = {10.1145/3426425.3426931}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Reusable Artifacts Functional
	Mottu, Jean-Marie	SLE '20: "Annotating Executable DSLs ..." Annotating Executable DSLs with Energy Estimation Formulas Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé (IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France) @InProceedings{SLE20p29, author = {Thibault Béziers la Fosse and Massimo Tisi and Jean-Marie Mottu and Gerson Sunyé}, title = {Annotating Executable DSLs with Energy Estimation Formulas}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3426425.3426930}, year = {2020}, } Publisher's Version Video Artifacts Functional
	Olarte, Carlos	SLE '20: "A Semantic Framework for PEGs ..." A Semantic Framework for PEGs Sérgio Queiroz de Medeiros and Carlos Olarte (Federal University of Rio Grande do Norte, Brazil) @InProceedings{SLE20p281, author = {Sérgio Queiroz de Medeiros and Carlos Olarte}, title = {A Semantic Framework for PEGs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {281-280}, doi = {10.1145/3426425.3426944}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Perianez-Pascual, Jorge	SLE '20: "Towards the Optical Character ..." Towards the Optical Character Recognition of DSLs Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot (University of Extremadura, Spain; Open University of Catalonia, Spain) @InProceedings{SLE20p162, author = {Jorge Perianez-Pascual and Roberto Rodriguez-Echeverria and Loli Burgueño and Jordi Cabot}, title = {Towards the Optical Character Recognition of DSLs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {162-161}, doi = {10.1145/3426425.3426937}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Pit-Claudel, Clément	SLE '20: "Untangling Mechanized Proofs ..." Untangling Mechanized Proofs Clément Pit-Claudel (Massachusetts Institute of Technology, USA) @InProceedings{SLE20p197, author = {Clément Pit-Claudel}, title = {Untangling Mechanized Proofs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {197-196}, doi = {10.1145/3426425.3426940}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Plouzeau, Noël	SLE '20: "Modular and Distributed IDE ..." Modular and Distributed IDE Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau (Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France) @InProceedings{SLE20p330, author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau}, title = {Modular and Distributed IDE}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {330-329}, doi = {10.1145/3426425.3426947}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Polack, Fiona A. C.	SLE '20: "A Family of Languages for ..." A Family of Languages for Trustworthy Agent-Based Simulation Steffen Zschaler and Fiona A. C. Polack (King's College London, UK; Keele University, UK) @InProceedings{SLE20p22, author = {Steffen Zschaler and Fiona A. C. Polack}, title = {A Family of Languages for Trustworthy Agent-Based Simulation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {22-21}, doi = {10.1145/3426425.3426929}, year = {2020}, } Publisher's Version Video
	Racordon, Dimitri	SLE '20: "Featherweight Swift: A Core ..." Featherweight Swift: A Core Calculus for Swift’s Type System Dimitri Racordon and Didier Buchs (University of Geneva, Switzerland) @InProceedings{SLE20p176, author = {Dimitri Racordon and Didier Buchs}, title = {Featherweight Swift: A Core Calculus for Swift’s Type System}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {176-175}, doi = {10.1145/3426425.3426939}, year = {2020}, } Publisher's Version Video
	Raselimo, Moeketsi	SLE '20: "An Interactive Feedback System ..." An Interactive Feedback System for Grammar Development (Tool Paper) Chelsea Barraball, Moeketsi Raselimo, and Bernd Fischer (Stellenbosch University, South Africa) @InProceedings{SLE20p134, author = {Chelsea Barraball and Moeketsi Raselimo and Bernd Fischer}, title = {An Interactive Feedback System for Grammar Development (Tool Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {134-133}, doi = {10.1145/3426425.3426935}, year = {2020}, } Publisher's Version Video Artifacts Functional SLE '20: "Grammar-Based Testing for ..." Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer (Stellenbosch University, South Africa; Uppsala University, Sweden) @InProceedings{SLE20p309, author = {Phillip van Heerden and Moeketsi Raselimo and Konstantinos Sagonas and Bernd Fischer}, title = {Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3426425.3426946}, year = {2020}, } Publisher's Version Video Artifacts Functional
	Rodriguez-Echeverria, Roberto	SLE '20: "Towards the Optical Character ..." Towards the Optical Character Recognition of DSLs Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot (University of Extremadura, Spain; Open University of Catalonia, Spain) @InProceedings{SLE20p162, author = {Jorge Perianez-Pascual and Roberto Rodriguez-Echeverria and Loli Burgueño and Jordi Cabot}, title = {Towards the Optical Character Recognition of DSLs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {162-161}, doi = {10.1145/3426425.3426937}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Rossouw, Christoff	SLE '20: "Test Case Generation from ..." Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata Christoff Rossouw and Bernd Fischer (Stellenbosch University, South Africa) @InProceedings{SLE20p169, author = {Christoff Rossouw and Bernd Fischer}, title = {Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {169-168}, doi = {10.1145/3426425.3426938}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Sagonas, Konstantinos	SLE '20: "Grammar-Based Testing for ..." Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer (Stellenbosch University, South Africa; Uppsala University, Sweden) @InProceedings{SLE20p309, author = {Phillip van Heerden and Moeketsi Raselimo and Konstantinos Sagonas and Bernd Fischer}, title = {Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3426425.3426946}, year = {2020}, } Publisher's Version Video Artifacts Functional
	Schürr, Andy	SLE '20: "A Precedence-Driven Approach ..." A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer (TU Darmstadt, Germany; University of Marburg, Germany) @InProceedings{SLE20p50, author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer}, title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {50-49}, doi = {10.1145/3426425.3426931}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Reusable Artifacts Functional
	Siek, Jeremy G.	SLE '20: "Extrinsically Typed Operational ..." Extrinsically Typed Operational Semantics for Functional Languages Matteo Cimini, Dale Miller, and Jeremy G. Siek (University of Massachusetts at Lowell, USA; Inria, France; École Polytechnique, France; Indiana University, USA) @InProceedings{SLE20p141, author = {Matteo Cimini and Dale Miller and Jeremy G. Siek}, title = {Extrinsically Typed Operational Semantics for Functional Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3426425.3426936}, year = {2020}, } Publisher's Version Video
	Smits, Jeff	SLE '20: "Gradually Typing Strategies ..." Gradually Typing Strategies Jeff Smits and Eelco Visser (Delft University of Technology, Netherlands) @InProceedings{SLE20p1, author = {Jeff Smits and Eelco Visser}, title = {Gradually Typing Strategies}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3426425.3426928}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Söderberg, Emma	SLE '20: "Principles and Patterns of ..." Principles and Patterns of JastAdd-Style Reference Attribute Grammars Niklas Fors, Emma Söderberg, and Görel Hedin (Lund University, Sweden) @InProceedings{SLE20p113, author = {Niklas Fors and Emma Söderberg and Görel Hedin}, title = {Principles and Patterns of JastAdd-Style Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3426425.3426934}, year = {2020}, } Publisher's Version Video
	Sunyé, Gerson	SLE '20: "Annotating Executable DSLs ..." Annotating Executable DSLs with Energy Estimation Formulas Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé (IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France) @InProceedings{SLE20p29, author = {Thibault Béziers la Fosse and Massimo Tisi and Jean-Marie Mottu and Gerson Sunyé}, title = {Annotating Executable DSLs with Energy Estimation Formulas}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3426425.3426930}, year = {2020}, } Publisher's Version Video Artifacts Functional
	Taentzer, Gabriele	SLE '20: "A Precedence-Driven Approach ..." A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer (TU Darmstadt, Germany; University of Marburg, Germany) @InProceedings{SLE20p50, author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer}, title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {50-49}, doi = {10.1145/3426425.3426931}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Reusable Artifacts Functional
	Taïani, François	SLE '20: "Modular and Distributed IDE ..." Modular and Distributed IDE Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau (Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France) @InProceedings{SLE20p330, author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau}, title = {Modular and Distributed IDE}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {330-329}, doi = {10.1145/3426425.3426947}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Tisi, Massimo	SLE '20: "Annotating Executable DSLs ..." Annotating Executable DSLs with Energy Estimation Formulas Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé (IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France) @InProceedings{SLE20p29, author = {Thibault Béziers la Fosse and Massimo Tisi and Jean-Marie Mottu and Gerson Sunyé}, title = {Annotating Executable DSLs with Energy Estimation Formulas}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3426425.3426930}, year = {2020}, } Publisher's Version Video Artifacts Functional
	Van der Storm, Tijs	SLE '20: "Block-Based Syntax from Context-Free ..." Block-Based Syntax from Context-Free Grammars Mauricio Verano Merino and Tijs van der Storm (Eindhoven University of Technology, Netherlands; CWI, Netherlands; University of Groningen, Netherlands) @InProceedings{SLE20p351, author = {Mauricio Verano Merino and Tijs van der Storm}, title = {Block-Based Syntax from Context-Free Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {351-350}, doi = {10.1145/3426425.3426948}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Van Heerden, Phillip	SLE '20: "Grammar-Based Testing for ..." Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer (Stellenbosch University, South Africa; Uppsala University, Sweden) @InProceedings{SLE20p309, author = {Phillip van Heerden and Moeketsi Raselimo and Konstantinos Sagonas and Bernd Fischer}, title = {Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3426425.3426946}, year = {2020}, } Publisher's Version Video Artifacts Functional
	Van Wyk, Eric	SLE '20: "Monadification of Attribute ..." Monadification of Attribute Grammars Dawn Michaelson and Eric Van Wyk (University of Minnesota, USA) @InProceedings{SLE20p218, author = {Dawn Michaelson and Eric Van Wyk}, title = {Monadification of Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {218-217}, doi = {10.1145/3426425.3426941}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional SLE '20: "Strategic Tree Rewriting in ..." Strategic Tree Rewriting in Attribute Grammars Lucas Kramer and Eric Van Wyk (University of Minnesota, USA) @InProceedings{SLE20p260, author = {Lucas Kramer and Eric Van Wyk}, title = {Strategic Tree Rewriting in Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {260-259}, doi = {10.1145/3426425.3426943}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Verano Merino, Mauricio	SLE '20: "Block-Based Syntax from Context-Free ..." Block-Based Syntax from Context-Free Grammars Mauricio Verano Merino and Tijs van der Storm (Eindhoven University of Technology, Netherlands; CWI, Netherlands; University of Groningen, Netherlands) @InProceedings{SLE20p351, author = {Mauricio Verano Merino and Tijs van der Storm}, title = {Block-Based Syntax from Context-Free Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {351-350}, doi = {10.1145/3426425.3426948}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Visser, Eelco	SLE '20: "Gradually Typing Strategies ..." Gradually Typing Strategies Jeff Smits and Eelco Visser (Delft University of Technology, Netherlands) @InProceedings{SLE20p1, author = {Jeff Smits and Eelco Visser}, title = {Gradually Typing Strategies}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3426425.3426928}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Wąsowski, Andrzej	SLE '20: "Behavior Trees in Action: ..." Behavior Trees in Action: A Study of Robotics Applications Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark) @InProceedings{SLE20p239, author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski}, title = {Behavior Trees in Action: A Study of Robotics Applications}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3426425.3426942}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
	Weidmann, Nils	SLE '20: "A Search-Based and Fault-Tolerant ..." A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation Nils Weidmann, Lars Fritsche, and Anthony Anjorin (University of Paderborn, Germany; TU Darmstadt, Germany; IAV, Germany) @InProceedings{SLE20p71, author = {Nils Weidmann and Lars Fritsche and Anthony Anjorin}, title = {A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {71-70}, doi = {10.1145/3426425.3426932}, year = {2020}, } Publisher's Version Video
	Zaytsev, Vadim	SLE '20: "Software Language Engineers’ ..." Software Language Engineers’ Worst Nightmare Vadim Zaytsev (University of Twente, Netherlands) @InProceedings{SLE20p92, author = {Vadim Zaytsev}, title = {Software Language Engineers’ Worst Nightmare}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {92-91}, doi = {10.1145/3426425.3426933}, year = {2020}, } Publisher's Version Video
	Zschaler, Steffen	SLE '20: "A Family of Languages for ..." A Family of Languages for Trustworthy Agent-Based Simulation Steffen Zschaler and Fiona A. C. Polack (King's College London, UK; Keele University, UK) @InProceedings{SLE20p22, author = {Steffen Zschaler and Fiona A. C. Polack}, title = {A Family of Languages for Trustworthy Agent-Based Simulation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {22-21}, doi = {10.1145/3426425.3426929}, year = {2020}, } Publisher's Version Video

60 authors

proc time: 0.06