| |
Abrahams, Dave
|
SLE '24: "Method Bundles ..."
Method Bundles
Dimi Racordon and Dave Abrahams
(EPFL, Switzerland; Adobe, USA)
@InProceedings{SLE24p331,
author = {Dimi Racordon and Dave Abrahams},
title = {Method Bundles},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {331-330},
doi = {10.1145/3687997.3695633},
year = {2024},
}
 Publisher's Version
Article: splashws24slemain-p2-p (type: Full Paper (New ideas/vision paper: 5 pages + 1 page bibliography/appendices)) doi:10.1145/3687997.3695633
|
| |
Bach Poulsen, Casper
|
SLE '24: "Concrete Syntax Metapatterns ..."
Concrete Syntax Metapatterns
Luka Miljak, Casper Bach Poulsen, and Rosilde Corvino
(Delft University of Technology, Netherlands; TNO-ESI, Netherlands)
@InProceedings{SLE24p89,
author = {Luka Miljak and Casper Bach Poulsen and Rosilde Corvino},
title = {Concrete Syntax Metapatterns},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3687997.3695637},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p28-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695637
|
| |
Blomqvist, Matilda |
SLE '24: "Trieste: A C++ DSL for Flexible ..."
Trieste: A C++ DSL for Flexible Tree Rewriting
Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, and Matthew J. Parkinson
(Microsoft Azure Research, USA; Uppsala University, Sweden; Microsoft Azure Research, United Kingdom)
@InProceedings{SLE24p309,
author = {Sylvan Clebsch and Matilda Blomqvist and Elias Castegren and Matthew A. Johnson and Matthew J. Parkinson},
title = {Trieste: A C++ DSL for Flexible Tree Rewriting},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3687997.3695647},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p86-p (type: Full Paper (Tool paper: 5 pages + 1 page bibliography/appendices)) doi:10.1145/3687997.3695647
|
| |
Broman, David |
SLE '24: "Statically and Dynamically ..."
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Gizem Caylak, Daniel Lundén, Viktor Senderov, and David Broman
(KTH Royal Institute of Technology, Sweden; Oracle, Sweden; École Normale Supérieure, France)
@InProceedings{SLE24p265,
author = {Gizem Caylak and Daniel Lundén and Viktor Senderov and David Broman},
title = {Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {265-264},
doi = {10.1145/3687997.3695634},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p6-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695634
SLE '24: "Trellis: A Domain-Specific ..."
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jalden, and David Broman
(KTH Royal Institute of Technology, Sweden)
@InProceedings{SLE24p353,
author = {Lars Hummelgren and Viktor Palmkvist and Linnea Stjerna and Xuechun Xu and Joakim Jalden and David Broman},
title = {Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {353-352},
doi = {10.1145/3687997.3695641},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p57-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695641
|
| |
Bruneliere, Hugo |
SLE '24: "Towards an In-Context LLM-Based ..."
Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views
James William Pontes Miranda, Hugo Bruneliere, Massimo Tisi, and Gerson Sunyé
(IMT Atlantique - LS2N - UMR CNRS 6004, France; Nantes Université - LS2N - UMR CNRS 6004, France)
@InProceedings{SLE24p67,
author = {James William Pontes Miranda and Hugo Bruneliere and Massimo Tisi and Gerson Sunyé},
title = {Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3687997.3695650},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p100-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695650
|
| |
Castegren, Elias
|
SLE '24: "Trieste: A C++ DSL for Flexible ..."
Trieste: A C++ DSL for Flexible Tree Rewriting
Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, and Matthew J. Parkinson
(Microsoft Azure Research, USA; Uppsala University, Sweden; Microsoft Azure Research, United Kingdom)
@InProceedings{SLE24p309,
author = {Sylvan Clebsch and Matilda Blomqvist and Elias Castegren and Matthew A. Johnson and Matthew J. Parkinson},
title = {Trieste: A C++ DSL for Flexible Tree Rewriting},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3687997.3695647},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p86-p (type: Full Paper (Tool paper: 5 pages + 1 page bibliography/appendices)) doi:10.1145/3687997.3695647
|
| |
Caylak, Gizem |
SLE '24: "Statically and Dynamically ..."
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Gizem Caylak, Daniel Lundén, Viktor Senderov, and David Broman
(KTH Royal Institute of Technology, Sweden; Oracle, Sweden; École Normale Supérieure, France)
@InProceedings{SLE24p265,
author = {Gizem Caylak and Daniel Lundén and Viktor Senderov and David Broman},
title = {Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {265-264},
doi = {10.1145/3687997.3695634},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p6-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695634
|
| |
Chiba, Shigeru |
SLE '24: "Reducing Write Barrier Overheads ..."
Reducing Write Barrier Overheads for Orthogonal Persistence
Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, and Tomoharu Ugawa
(University of Tokyo, Japan; IIT Madras, India)
@InProceedings{SLE24p375,
author = {Yilin Zhang and Omkar Dilip Dhawal and V. Krishna Nandivada and Shigeru Chiba and Tomoharu Ugawa},
title = {Reducing Write Barrier Overheads for Orthogonal Persistence},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {375-374},
doi = {10.1145/3687997.3695646},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p79-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695646
SLE '24: "Bugfox: A Trace-Based Analyzer ..."
Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript
Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, and Shigeru Chiba
(University of Tokyo, Japan)
@InProceedings{SLE24p397,
author = {Yuefeng Hu and Hiromu Ishibe and Feng Dai and Tetsuro Yamazaki and Shigeru Chiba},
title = {Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3687997.3695648},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p94-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695648
|
| |
Clebsch, Sylvan |
SLE '24: "Trieste: A C++ DSL for Flexible ..."
Trieste: A C++ DSL for Flexible Tree Rewriting
Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, and Matthew J. Parkinson
(Microsoft Azure Research, USA; Uppsala University, Sweden; Microsoft Azure Research, United Kingdom)
@InProceedings{SLE24p309,
author = {Sylvan Clebsch and Matilda Blomqvist and Elias Castegren and Matthew A. Johnson and Matthew J. Parkinson},
title = {Trieste: A C++ DSL for Flexible Tree Rewriting},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3687997.3695647},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p86-p (type: Full Paper (Tool paper: 5 pages + 1 page bibliography/appendices)) doi:10.1145/3687997.3695647
|
| |
Combemale, Benoît |
SLE '24: "There Is Only One Time in ..."
There Is Only One Time in Software (Language) Engineering! (Keynote)
Benoît Combemale
(University of Rennes, France)
@InProceedings{SLE24p1,
author = {Benoît Combemale},
title = {There Is Only One Time in Software (Language) Engineering! (Keynote)},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3687997.3700296},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-key1-p (type: Abstract) doi:10.1145/3687997.3700296
|
| |
Corvino, Rosilde |
SLE '24: "Concrete Syntax Metapatterns ..."
Concrete Syntax Metapatterns
Luka Miljak, Casper Bach Poulsen, and Rosilde Corvino
(Delft University of Technology, Netherlands; TNO-ESI, Netherlands)
@InProceedings{SLE24p89,
author = {Luka Miljak and Casper Bach Poulsen and Rosilde Corvino},
title = {Concrete Syntax Metapatterns},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3687997.3695637},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p28-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695637
|
| |
Cunha, Simão |
SLE '24: "Trading Runtime for Energy ..."
Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages
Simão Cunha, Luís Silva, João Saraiva, and João Paulo Fernandes
(University of Minho, Portugal; New York University Abu Dhabi, United Arab Emirates)
@InProceedings{SLE24p221,
author = {Simão Cunha and Luís Silva and João Saraiva and João Paulo Fernandes},
title = {Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3687997.3695638},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p42-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695638
|
| |
Dai, Feng
|
SLE '24: "Bugfox: A Trace-Based Analyzer ..."
Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript
Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, and Shigeru Chiba
(University of Tokyo, Japan)
@InProceedings{SLE24p397,
author = {Yuefeng Hu and Hiromu Ishibe and Feng Dai and Tetsuro Yamazaki and Shigeru Chiba},
title = {Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3687997.3695648},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p94-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695648
|
| |
Dhawal, Omkar Dilip |
SLE '24: "Reducing Write Barrier Overheads ..."
Reducing Write Barrier Overheads for Orthogonal Persistence
Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, and Tomoharu Ugawa
(University of Tokyo, Japan; IIT Madras, India)
@InProceedings{SLE24p375,
author = {Yilin Zhang and Omkar Dilip Dhawal and V. Krishna Nandivada and Shigeru Chiba and Tomoharu Ugawa},
title = {Reducing Write Barrier Overheads for Orthogonal Persistence},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {375-374},
doi = {10.1145/3687997.3695646},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p79-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695646
|
| |
Esterhuyse, Christopher A.
|
SLE '24: "Cooperative Specification ..."
Cooperative Specification via Composition Control
Christopher A. Esterhuyse and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)
@InProceedings{SLE24p23,
author = {Christopher A. Esterhuyse and L. Thomas van Binsbergen},
title = {Cooperative Specification via Composition Control},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3687997.3695635},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p7-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695635
|
| |
Feeley, Marc
|
SLE '24: "The Design of a Self-Compiling ..."
The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, and Marc Feeley
(Université de Montréal, Canada)
@InProceedings{SLE24p133,
author = {Laurent Huberdeau and Cassandre Hamel and Stefan Monnier and Marc Feeley},
title = {The Design of a Self-Compiling C Transpiler Targeting POSIX Shell},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {133-132},
doi = {10.1145/3687997.3695639},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p43-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695639
|
| |
Fernandes, João Paulo |
SLE '24: "Trading Runtime for Energy ..."
Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages
Simão Cunha, Luís Silva, João Saraiva, and João Paulo Fernandes
(University of Minho, Portugal; New York University Abu Dhabi, United Arab Emirates)
@InProceedings{SLE24p221,
author = {Simão Cunha and Luís Silva and João Saraiva and João Paulo Fernandes},
title = {Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3687997.3695638},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p42-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695638
|
| |
Flatt, Matthew |
SLE '24: "DSLs in Racket: You Want It ..."
DSLs in Racket: You Want It How, Now?
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, and Ilya Sergey
(National University of Singapore, Singapore; University of Utah, USA)
@InProceedings{SLE24p155,
author = {Yunjeong Lee and Kiran Gopinathan and Ziyi Yang and Matthew Flatt and Ilya Sergey},
title = {DSLs in Racket: You Want It How, Now?},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3687997.3695645},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p71-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695645
|
| |
Fors, Niklas |
SLE '24: "Efficient Demand Evaluation ..."
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, and Christoph Reichenbach
(Lund University, Sweden; Cognibotics, Sweden)
@InProceedings{SLE24p111,
author = {Idriss Riouak and Niklas Fors and Jesper Öqvist and Görel Hedin and Christoph Reichenbach},
title = {Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {111-110},
doi = {10.1145/3687997.3695644},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p64-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695644
|
| |
Garcia-Dominguez, Antonio
|
SLE '24: "Aconite: Towards Generating ..."
Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
Nathan Richardson, Dimitris Kolovos, and Antonio Garcia-Dominguez
(University of York, United Kingdom)
@InProceedings{SLE24p45,
author = {Nathan Richardson and Dimitris Kolovos and Antonio Garcia-Dominguez},
title = {Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3687997.3695642},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p58-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695642
|
| |
Gopinathan, Kiran |
SLE '24: "DSLs in Racket: You Want It ..."
DSLs in Racket: You Want It How, Now?
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, and Ilya Sergey
(National University of Singapore, Singapore; University of Utah, USA)
@InProceedings{SLE24p155,
author = {Yunjeong Lee and Kiran Gopinathan and Ziyi Yang and Matthew Flatt and Ilya Sergey},
title = {DSLs in Racket: You Want It How, Now?},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3687997.3695645},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p71-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695645
|
| |
Hamel, Cassandre
|
SLE '24: "The Design of a Self-Compiling ..."
The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, and Marc Feeley
(Université de Montréal, Canada)
@InProceedings{SLE24p133,
author = {Laurent Huberdeau and Cassandre Hamel and Stefan Monnier and Marc Feeley},
title = {The Design of a Self-Compiling C Transpiler Targeting POSIX Shell},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {133-132},
doi = {10.1145/3687997.3695639},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p43-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695639
|
| |
Hedin, Görel |
SLE '24: "Efficient Demand Evaluation ..."
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, and Christoph Reichenbach
(Lund University, Sweden; Cognibotics, Sweden)
@InProceedings{SLE24p111,
author = {Idriss Riouak and Niklas Fors and Jesper Öqvist and Görel Hedin and Christoph Reichenbach},
title = {Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {111-110},
doi = {10.1145/3687997.3695644},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p64-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695644
|
| |
Hu, Yuefeng |
SLE '24: "Bugfox: A Trace-Based Analyzer ..."
Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript
Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, and Shigeru Chiba
(University of Tokyo, Japan)
@InProceedings{SLE24p397,
author = {Yuefeng Hu and Hiromu Ishibe and Feng Dai and Tetsuro Yamazaki and Shigeru Chiba},
title = {Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3687997.3695648},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p94-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695648
|
| |
Huberdeau, Laurent |
SLE '24: "The Design of a Self-Compiling ..."
The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, and Marc Feeley
(Université de Montréal, Canada)
@InProceedings{SLE24p133,
author = {Laurent Huberdeau and Cassandre Hamel and Stefan Monnier and Marc Feeley},
title = {The Design of a Self-Compiling C Transpiler Targeting POSIX Shell},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {133-132},
doi = {10.1145/3687997.3695639},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p43-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695639
|
| |
Hummelgren, Lars |
SLE '24: "Trellis: A Domain-Specific ..."
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jalden, and David Broman
(KTH Royal Institute of Technology, Sweden)
@InProceedings{SLE24p353,
author = {Lars Hummelgren and Viktor Palmkvist and Linnea Stjerna and Xuechun Xu and Joakim Jalden and David Broman},
title = {Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {353-352},
doi = {10.1145/3687997.3695641},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p57-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695641
|
| |
Ishibe, Hiromu
|
SLE '24: "Bugfox: A Trace-Based Analyzer ..."
Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript
Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, and Shigeru Chiba
(University of Tokyo, Japan)
@InProceedings{SLE24p397,
author = {Yuefeng Hu and Hiromu Ishibe and Feng Dai and Tetsuro Yamazaki and Shigeru Chiba},
title = {Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3687997.3695648},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p94-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695648
|
| |
Jalden, Joakim
|
SLE '24: "Trellis: A Domain-Specific ..."
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jalden, and David Broman
(KTH Royal Institute of Technology, Sweden)
@InProceedings{SLE24p353,
author = {Lars Hummelgren and Viktor Palmkvist and Linnea Stjerna and Xuechun Xu and Joakim Jalden and David Broman},
title = {Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {353-352},
doi = {10.1145/3687997.3695641},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p57-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695641
|
| |
Johnson, Matthew A. |
SLE '24: "Trieste: A C++ DSL for Flexible ..."
Trieste: A C++ DSL for Flexible Tree Rewriting
Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, and Matthew J. Parkinson
(Microsoft Azure Research, USA; Uppsala University, Sweden; Microsoft Azure Research, United Kingdom)
@InProceedings{SLE24p309,
author = {Sylvan Clebsch and Matilda Blomqvist and Elias Castegren and Matthew A. Johnson and Matthew J. Parkinson},
title = {Trieste: A C++ DSL for Flexible Tree Rewriting},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3687997.3695647},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p86-p (type: Full Paper (Tool paper: 5 pages + 1 page bibliography/appendices)) doi:10.1145/3687997.3695647
|
| |
Kolovos, Dimitris
|
SLE '24: "Aconite: Towards Generating ..."
Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
Nathan Richardson, Dimitris Kolovos, and Antonio Garcia-Dominguez
(University of York, United Kingdom)
@InProceedings{SLE24p45,
author = {Nathan Richardson and Dimitris Kolovos and Antonio Garcia-Dominguez},
title = {Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3687997.3695642},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p58-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695642
|
| |
Lämmel, Ralf
|
SLE '24: "AI Effects on Research and ..."
AI Effects on Research and Education: A Programming and Software Language Perspective (Panel)
Ralf Lämmel
(University of Koblenz, Germany)
@InProceedings{SLE24p419,
author = {Ralf Lämmel},
title = {AI Effects on Research and Education: A Programming and Software Language Perspective (Panel)},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {419-418},
doi = {10.1145/3687997.3698125},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-pan1-p (type: Panel (6 pages)) doi:10.1145/3687997.3698125
|
| |
Lee, Yunjeong |
SLE '24: "DSLs in Racket: You Want It ..."
DSLs in Racket: You Want It How, Now?
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, and Ilya Sergey
(National University of Singapore, Singapore; University of Utah, USA)
@InProceedings{SLE24p155,
author = {Yunjeong Lee and Kiran Gopinathan and Ziyi Yang and Matthew Flatt and Ilya Sergey},
title = {DSLs in Racket: You Want It How, Now?},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3687997.3695645},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p71-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695645
|
| |
Lundén, Daniel |
SLE '24: "Statically and Dynamically ..."
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Gizem Caylak, Daniel Lundén, Viktor Senderov, and David Broman
(KTH Royal Institute of Technology, Sweden; Oracle, Sweden; École Normale Supérieure, France)
@InProceedings{SLE24p265,
author = {Gizem Caylak and Daniel Lundén and Viktor Senderov and David Broman},
title = {Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {265-264},
doi = {10.1145/3687997.3695634},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p6-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695634
|
| |
Miljak, Luka
|
SLE '24: "Concrete Syntax Metapatterns ..."
Concrete Syntax Metapatterns
Luka Miljak, Casper Bach Poulsen, and Rosilde Corvino
(Delft University of Technology, Netherlands; TNO-ESI, Netherlands)
@InProceedings{SLE24p89,
author = {Luka Miljak and Casper Bach Poulsen and Rosilde Corvino},
title = {Concrete Syntax Metapatterns},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3687997.3695637},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p28-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695637
|
| |
Monnier, Stefan |
SLE '24: "The Design of a Self-Compiling ..."
The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, and Marc Feeley
(Université de Montréal, Canada)
@InProceedings{SLE24p133,
author = {Laurent Huberdeau and Cassandre Hamel and Stefan Monnier and Marc Feeley},
title = {The Design of a Self-Compiling C Transpiler Targeting POSIX Shell},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {133-132},
doi = {10.1145/3687997.3695639},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p43-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695639
|
| |
Nandivada, V. Krishna
|
SLE '24: "Reducing Write Barrier Overheads ..."
Reducing Write Barrier Overheads for Orthogonal Persistence
Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, and Tomoharu Ugawa
(University of Tokyo, Japan; IIT Madras, India)
@InProceedings{SLE24p375,
author = {Yilin Zhang and Omkar Dilip Dhawal and V. Krishna Nandivada and Shigeru Chiba and Tomoharu Ugawa},
title = {Reducing Write Barrier Overheads for Orthogonal Persistence},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {375-374},
doi = {10.1145/3687997.3695646},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p79-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695646
|
| |
Öqvist, Jesper
|
SLE '24: "Efficient Demand Evaluation ..."
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, and Christoph Reichenbach
(Lund University, Sweden; Cognibotics, Sweden)
@InProceedings{SLE24p111,
author = {Idriss Riouak and Niklas Fors and Jesper Öqvist and Görel Hedin and Christoph Reichenbach},
title = {Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {111-110},
doi = {10.1145/3687997.3695644},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p64-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695644
|
| |
Palmkvist, Viktor
|
SLE '24: "Trellis: A Domain-Specific ..."
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jalden, and David Broman
(KTH Royal Institute of Technology, Sweden)
@InProceedings{SLE24p353,
author = {Lars Hummelgren and Viktor Palmkvist and Linnea Stjerna and Xuechun Xu and Joakim Jalden and David Broman},
title = {Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {353-352},
doi = {10.1145/3687997.3695641},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p57-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695641
|
| |
Parkinson, Matthew J. |
SLE '24: "Trieste: A C++ DSL for Flexible ..."
Trieste: A C++ DSL for Flexible Tree Rewriting
Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, and Matthew J. Parkinson
(Microsoft Azure Research, USA; Uppsala University, Sweden; Microsoft Azure Research, United Kingdom)
@InProceedings{SLE24p309,
author = {Sylvan Clebsch and Matilda Blomqvist and Elias Castegren and Matthew A. Johnson and Matthew J. Parkinson},
title = {Trieste: A C++ DSL for Flexible Tree Rewriting},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3687997.3695647},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p86-p (type: Full Paper (Tool paper: 5 pages + 1 page bibliography/appendices)) doi:10.1145/3687997.3695647
|
| |
Pontes Miranda, James William |
SLE '24: "Towards an In-Context LLM-Based ..."
Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views
James William Pontes Miranda, Hugo Bruneliere, Massimo Tisi, and Gerson Sunyé
(IMT Atlantique - LS2N - UMR CNRS 6004, France; Nantes Université - LS2N - UMR CNRS 6004, France)
@InProceedings{SLE24p67,
author = {James William Pontes Miranda and Hugo Bruneliere and Massimo Tisi and Gerson Sunyé},
title = {Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3687997.3695650},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p100-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695650
|
| |
Racordon, Dimi
|
SLE '24: "Type Checking with Rewriting ..."
Type Checking with Rewriting Rules
Dimi Racordon
(EPFL, Switzerland)
@InProceedings{SLE24p287,
author = {Dimi Racordon},
title = {Type Checking with Rewriting Rules},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {287-286},
doi = {10.1145/3687997.3695640},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p48-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695640
SLE '24: "Method Bundles ..."
Method Bundles
Dimi Racordon and Dave Abrahams
(EPFL, Switzerland; Adobe, USA)
@InProceedings{SLE24p331,
author = {Dimi Racordon and Dave Abrahams},
title = {Method Bundles},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {331-330},
doi = {10.1145/3687997.3695633},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p2-p (type: Full Paper (New ideas/vision paper: 5 pages + 1 page bibliography/appendices)) doi:10.1145/3687997.3695633
|
| |
Reichenbach, Christoph |
SLE '24: "Efficient Demand Evaluation ..."
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, and Christoph Reichenbach
(Lund University, Sweden; Cognibotics, Sweden)
@InProceedings{SLE24p111,
author = {Idriss Riouak and Niklas Fors and Jesper Öqvist and Görel Hedin and Christoph Reichenbach},
title = {Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {111-110},
doi = {10.1145/3687997.3695644},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p64-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695644
|
| |
Richardson, Nathan |
SLE '24: "Aconite: Towards Generating ..."
Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
Nathan Richardson, Dimitris Kolovos, and Antonio Garcia-Dominguez
(University of York, United Kingdom)
@InProceedings{SLE24p45,
author = {Nathan Richardson and Dimitris Kolovos and Antonio Garcia-Dominguez},
title = {Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3687997.3695642},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p58-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695642
|
| |
Riouak, Idriss |
SLE '24: "Efficient Demand Evaluation ..."
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, and Christoph Reichenbach
(Lund University, Sweden; Cognibotics, Sweden)
@InProceedings{SLE24p111,
author = {Idriss Riouak and Niklas Fors and Jesper Öqvist and Görel Hedin and Christoph Reichenbach},
title = {Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {111-110},
doi = {10.1145/3687997.3695644},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p64-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695644
|
| |
Saraiva, João
|
SLE '24: "Trading Runtime for Energy ..."
Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages
Simão Cunha, Luís Silva, João Saraiva, and João Paulo Fernandes
(University of Minho, Portugal; New York University Abu Dhabi, United Arab Emirates)
@InProceedings{SLE24p221,
author = {Simão Cunha and Luís Silva and João Saraiva and João Paulo Fernandes},
title = {Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3687997.3695638},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p42-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695638
|
| |
Senderov, Viktor |
SLE '24: "Statically and Dynamically ..."
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Gizem Caylak, Daniel Lundén, Viktor Senderov, and David Broman
(KTH Royal Institute of Technology, Sweden; Oracle, Sweden; École Normale Supérieure, France)
@InProceedings{SLE24p265,
author = {Gizem Caylak and Daniel Lundén and Viktor Senderov and David Broman},
title = {Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {265-264},
doi = {10.1145/3687997.3695634},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p6-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695634
|
| |
Sergey, Ilya |
SLE '24: "DSLs in Racket: You Want It ..."
DSLs in Racket: You Want It How, Now?
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, and Ilya Sergey
(National University of Singapore, Singapore; University of Utah, USA)
@InProceedings{SLE24p155,
author = {Yunjeong Lee and Kiran Gopinathan and Ziyi Yang and Matthew Flatt and Ilya Sergey},
title = {DSLs in Racket: You Want It How, Now?},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3687997.3695645},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p71-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695645
|
| |
Silva, Luís |
SLE '24: "Trading Runtime for Energy ..."
Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages
Simão Cunha, Luís Silva, João Saraiva, and João Paulo Fernandes
(University of Minho, Portugal; New York University Abu Dhabi, United Arab Emirates)
@InProceedings{SLE24p221,
author = {Simão Cunha and Luís Silva and João Saraiva and João Paulo Fernandes},
title = {Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3687997.3695638},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p42-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695638
|
| |
Simhandl, Georg |
SLE '24: "Cloud Programming Languages ..."
Cloud Programming Languages and Infrastructure from Code: An Empirical Study
Georg Simhandl and Uwe Zdun
(University of Vienna, Austria)
@InProceedings{SLE24p243,
author = {Georg Simhandl and Uwe Zdun},
title = {Cloud Programming Languages and Infrastructure from Code: An Empirical Study},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3687997.3695643},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p61-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695643
|
| |
Steimann, Friedrich |
SLE '24: "The Linguistic Theory behind ..."
The Linguistic Theory behind Blockly Languages
Friedrich Steimann and Robin Stunic
(Fernuniversität in Hagen, Germany)
@InProceedings{SLE24p199,
author = {Friedrich Steimann and Robin Stunic},
title = {The Linguistic Theory behind Blockly Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3687997.3695636},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p13-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695636
|
| |
Stjerna, Linnea |
SLE '24: "Trellis: A Domain-Specific ..."
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jalden, and David Broman
(KTH Royal Institute of Technology, Sweden)
@InProceedings{SLE24p353,
author = {Lars Hummelgren and Viktor Palmkvist and Linnea Stjerna and Xuechun Xu and Joakim Jalden and David Broman},
title = {Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {353-352},
doi = {10.1145/3687997.3695641},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p57-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695641
|
| |
Stunic, Robin |
SLE '24: "The Linguistic Theory behind ..."
The Linguistic Theory behind Blockly Languages
Friedrich Steimann and Robin Stunic
(Fernuniversität in Hagen, Germany)
@InProceedings{SLE24p199,
author = {Friedrich Steimann and Robin Stunic},
title = {The Linguistic Theory behind Blockly Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3687997.3695636},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p13-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695636
|
| |
Sunyé, Gerson |
SLE '24: "Towards an In-Context LLM-Based ..."
Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views
James William Pontes Miranda, Hugo Bruneliere, Massimo Tisi, and Gerson Sunyé
(IMT Atlantique - LS2N - UMR CNRS 6004, France; Nantes Université - LS2N - UMR CNRS 6004, France)
@InProceedings{SLE24p67,
author = {James William Pontes Miranda and Hugo Bruneliere and Massimo Tisi and Gerson Sunyé},
title = {Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3687997.3695650},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p100-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695650
|
| |
Tisi, Massimo
|
SLE '24: "Towards an In-Context LLM-Based ..."
Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views
James William Pontes Miranda, Hugo Bruneliere, Massimo Tisi, and Gerson Sunyé
(IMT Atlantique - LS2N - UMR CNRS 6004, France; Nantes Université - LS2N - UMR CNRS 6004, France)
@InProceedings{SLE24p67,
author = {James William Pontes Miranda and Hugo Bruneliere and Massimo Tisi and Gerson Sunyé},
title = {Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3687997.3695650},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p100-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695650
|
| |
Ugawa, Tomoharu
|
SLE '24: "Reducing Write Barrier Overheads ..."
Reducing Write Barrier Overheads for Orthogonal Persistence
Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, and Tomoharu Ugawa
(University of Tokyo, Japan; IIT Madras, India)
@InProceedings{SLE24p375,
author = {Yilin Zhang and Omkar Dilip Dhawal and V. Krishna Nandivada and Shigeru Chiba and Tomoharu Ugawa},
title = {Reducing Write Barrier Overheads for Orthogonal Persistence},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {375-374},
doi = {10.1145/3687997.3695646},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p79-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695646
|
| |
Van Binsbergen, L. Thomas
|
SLE '24: "Cooperative Specification ..."
Cooperative Specification via Composition Control
Christopher A. Esterhuyse and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)
@InProceedings{SLE24p23,
author = {Christopher A. Esterhuyse and L. Thomas van Binsbergen},
title = {Cooperative Specification via Composition Control},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3687997.3695635},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p7-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695635
|
| |
Wasserman, Anthony I.
|
SLE '24: "Design of Software Representation ..."
Design of Software Representation Languages: A Historical Perspective
Anthony I. Wasserman
(Software Methods and Tools, USA)
@InProceedings{SLE24p177,
author = {Anthony I. Wasserman},
title = {Design of Software Representation Languages: A Historical Perspective},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {177-176},
doi = {10.1145/3687997.3695649},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p98-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695649
|
| |
Xu, Xuechun
|
SLE '24: "Trellis: A Domain-Specific ..."
Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jalden, and David Broman
(KTH Royal Institute of Technology, Sweden)
@InProceedings{SLE24p353,
author = {Lars Hummelgren and Viktor Palmkvist and Linnea Stjerna and Xuechun Xu and Joakim Jalden and David Broman},
title = {Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {353-352},
doi = {10.1145/3687997.3695641},
year = {2024},
}
Publisher's Version
Artifacts Functional
Article: splashws24slemain-p57-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695641
|
| |
Yamazaki, Tetsuro
|
SLE '24: "Bugfox: A Trace-Based Analyzer ..."
Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript
Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, and Shigeru Chiba
(University of Tokyo, Japan)
@InProceedings{SLE24p397,
author = {Yuefeng Hu and Hiromu Ishibe and Feng Dai and Tetsuro Yamazaki and Shigeru Chiba},
title = {Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3687997.3695648},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p94-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695648
|
| |
Yang, Ziyi |
SLE '24: "DSLs in Racket: You Want It ..."
DSLs in Racket: You Want It How, Now?
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, and Ilya Sergey
(National University of Singapore, Singapore; University of Utah, USA)
@InProceedings{SLE24p155,
author = {Yunjeong Lee and Kiran Gopinathan and Ziyi Yang and Matthew Flatt and Ilya Sergey},
title = {DSLs in Racket: You Want It How, Now?},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {155-154},
doi = {10.1145/3687997.3695645},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p71-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695645
|
| |
Zdun, Uwe
|
SLE '24: "Cloud Programming Languages ..."
Cloud Programming Languages and Infrastructure from Code: An Empirical Study
Georg Simhandl and Uwe Zdun
(University of Vienna, Austria)
@InProceedings{SLE24p243,
author = {Georg Simhandl and Uwe Zdun},
title = {Cloud Programming Languages and Infrastructure from Code: An Empirical Study},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {243-242},
doi = {10.1145/3687997.3695643},
year = {2024},
}
Publisher's Version
Article: splashws24slemain-p61-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695643
|
| |
Zhang, Yilin |
SLE '24: "Reducing Write Barrier Overheads ..."
Reducing Write Barrier Overheads for Orthogonal Persistence
Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, and Tomoharu Ugawa
(University of Tokyo, Japan; IIT Madras, India)
@InProceedings{SLE24p375,
author = {Yilin Zhang and Omkar Dilip Dhawal and V. Krishna Nandivada and Shigeru Chiba and Tomoharu Ugawa},
title = {Reducing Write Barrier Overheads for Orthogonal Persistence},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {375-374},
doi = {10.1145/3687997.3695646},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24slemain-p79-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695646
|