#sle23 - Twitter Hashtag

almost 3 years ago

@JudithMichael_ presenting “Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report” at #SLE23. (Which is, of course, why she can’t post herself!) #SPLASH23

seidewitz's tweet photo. @JudithMichael_ presenting “Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report” at #SLE23. (Which is, of course, why she can’t post herself!)

#SPLASH23 https://t.co/u0tbWxiepa

1

6

3

1

260

Ed Seidewitz @seidewitz

almost 3 years ago

A good talk, but I still remain skeptical of “prompt engineering” of pre-trained LLMs. Of course, my own bias is for using modeling for SE engineering, largely because natural language is often NOT the best way to reason about large design problems. #splash23 #sle23

SPLASH Conference @splashcon

almost 3 years ago

SLE keynote speaker Crista Lopes @cristalopes on how we can teach LLMs to prove program's safety and correctness (how much Dafny does GPT-4 already know?) @sleconf #SPLASH2023

splashcon's tweet photo. SLE keynote speaker Crista Lopes @cristalopes on how we can teach LLMs to prove program's safety and correctness (how much Dafny does GPT-4 already know?) @sleconf #SPLASH2023 https://t.co/avZhmPFhQf

0

11

4

1

1K

0

1

0

251

Judith Michael @JudithMichael_

almost 3 years ago

Our @SE_RWTH Nico Jansen presents a vision paper about #Generator #Composition with @bernhard_rumpe @sleconf #SLE23 @splashcon

JudithMichael_'s tweet photo. Our @SE_RWTH Nico Jansen presents a vision paper about #Generator #Composition with @bernhard_rumpe @sleconf #SLE23 @splashcon https://t.co/ZQJK9lIE5j

0

3

2

0

241

Tijs van der Storm @tvdstorm

almost 3 years ago

Thanks @sleconf ! And many thanks to all the coauthors! #splash23 #sle23

8

86

15

2

9K

Judith Michael @JudithMichael_

almost 3 years ago

In the @sleconf #SLE23 and @GPCECONF #GPCE23 shared keynote, Julia Lawall from @inria_paris gives us great insights into #Coccinelle, a #programMatching and #transformation #tool for #C code. Details: https://t.co/WA9uqT7lBW

JudithMichael_'s tweet photo. In the @sleconf #SLE23 and @GPCECONF #GPCE23 shared keynote, Julia Lawall from @inria_paris gives us great insights into #Coccinelle, a #programMatching and #transformation #tool for #C code. Details: https://t.co/WA9uqT7lBW https://t.co/Hbue49ZRPZ

0

5

2

0

290

Judith Michael @JudithMichael_

almost 3 years ago

In talk 3 of @sleconf #SLE23, Gwendal Jouneaux presents their work about #adaptive structual operational #semantics. Co-authors: Damian Frölich, Olivier Barais, Benoit Combemale, Gurvan Le Guernic, Gunter Mussbacher & L. Thomas van Binsbergen. Program: https://t.co/DGmsxI6Kp1

JudithMichael_'s tweet photo. In talk 3 of @sleconf #SLE23, Gwendal Jouneaux presents their work about #adaptive structual operational #semantics. Co-authors: Damian Frölich, Olivier Barais, Benoit Combemale, Gurvan Le Guernic, Gunter Mussbacher & L. Thomas van Binsbergen. Program: https://t.co/DGmsxI6Kp1 https://t.co/NxZoUDi28c

0

4

3

0

365

Judith Michael @JudithMichael_

almost 3 years ago

The #SLE23 @sleconf kicks off with a presentation of Luca Cavalli and Walter Cazzola about language independent #ExceptionHandling. The full program: https://t.co/DGmsxI6Kp1

JudithMichael_'s tweet photo. The #SLE23 @sleconf kicks off with a presentation of Luca Cavalli and Walter Cazzola about language independent #ExceptionHandling. The full program: https://t.co/DGmsxI6Kp1 https://t.co/dmMR7JBbmI

0

2

0

207

Modelling and software engineering research group @miso_uam

about 3 years ago

Reuse and Automated Integration of Recommenders for Modelling Languages #SLE23 (w/ @Lissette_almont , @AGarmendiaJorge, @__sapristi) 📄Pre-print: https://t.co/T7iB7Wj6OV