kirancodes.me
To Proof Maintenance & Beyond!
Venues / SLE /

SLE 2022

24 papers

  1. A Language-Parametric Approach to Exploratory Programming Environments · L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm + 2 more
  2. A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing · Houda Boukham, Guido Wachsmuth, Martijn Dwars, Dalila Chiadmi
  3. BatakJava: An Object-Oriented Programming Language with Versions · Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
  4. Collection Skeletons: Declarative Abstractions for Data Collections · Björn Franke, Zhibo Li, John Magnus Morton, Michel Steuwer
  5. Freon: An Open Web Native Language Workbench · Jos Warmer, Anneke Kleppe
  6. From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages · Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, Manuel Wimmer
  7. Gradual Grammars: Syntax in Levels and Locales · Tijs van der Storm, Felienne Hermans
  8. Lang-n-Prove: A DSL for Language Proofs · Matteo Cimini
  9. Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE · Vincent Bertram, Miriam Boß, Evgeny Kusmenko, Imke Helene Nachmann, Bernhard Rumpe, Danilo Trotta + 1 more
  10. Optimising First-Class Pattern Matching · Jeff Smits, Toine Hartman, Jesper Cockx
  11. Partial Loading of Repository-Based Models through Static Analysis · Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou, Gerson Sunyé
  12. Partial Parsing for Structured Editors · Tom Beckmann, Patrick Rein, Toni Mattis, Robert Hirschfeld
  13. People Do Not Want to Learn a New Language But a New Library (Keynote) · Shigeru Chiba
  14. Property Probes: Source Code Based Exploration of Program Analysis Results · Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop
  15. Property-Based Testing: Climbing the Stairway to Verification · Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser + 1 more
  16. Reflection as a Tool to Debug Objects · Steven Costiou, Vincent Aranega, Marcus Denker
  17. Selective Traceability for Rule-Based Model-to-Model Transformations · Qurat ul ain Ali, Dimitris S. Kolovos, Konstantinos Barmpis
  18. Specializing Scope Graph Resolution Queries · Aron Zwaan
  19. The Semantics of Plurals · Friedrich Steimann, Marius Freitag
  20. Workbench for Creating Block-Based Environments · Mauricio Verano Merino, Koen van Wijk
  21. Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles · Tetsuro Yamazaki, Tomoki Nakamaru, Shigeru Chiba
  22. iCoLa: A Compositional Meta-language with Support for Incremental Language Development · Damian Frölich, L. Thomas van Binsbergen
  23. jGuard: Programming Misuse-Resilient APIs · Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini
  24. signatr: A Data-Driven Fuzzing Tool for R · Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek