#Splash23 - Twitter Hashtag

over 2 years ago

Read "Grounded Copilot: How Programmers Interact with Code-Generating Models," by Shraddha Barke, Michael B. James, Nadia Polikarpova, a Distinguished Paper from SPLASH '23 https://t.co/pRlvd6zSts #bestpaperaward #SPLASH23 #openaccess #computing #research #programming

ACMDL's tweet photo. Read "Grounded Copilot: How Programmers Interact with Code-Generating Models," by Shraddha Barke, Michael B. James, Nadia Polikarpova, a Distinguished Paper from SPLASH '23 https://t.co/pRlvd6zSts
#bestpaperaward #SPLASH23 #openaccess #computing #research #programming https://t.co/FW1Fj4DKHP

0

4

0

604

ACM Digital Library

@ACMDL

over 2 years ago

Learn about "Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs," by Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit Jitendra Motwani, a Distinguished Paper from SPLASH '23 https://t.co/9h8OJSOk8O #bestpaperaward #SPLASH23 #research

ACMDL's tweet photo. Learn about "Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs," by Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit Jitendra Motwani, a Distinguished Paper from SPLASH '23 https://t.co/9h8OJSOk8O
#bestpaperaward #SPLASH23 #research https://t.co/KSfVoOe8dP

0

3

2

0

465

ACM Digital Library

@ACMDL

over 2 years ago

Learn about "Formal Abstractions for Packet Scheduling," by Anshuman Mohan, Yunhe Liu, et al., a Distinguished Paper from SPLASH '23: ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity https://t.co/oaB8j9iPZp #splash23

ACMDL's tweet photo. Learn about "Formal Abstractions for Packet Scheduling," by Anshuman Mohan, Yunhe Liu, et al., a Distinguished Paper from SPLASH '23: ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity https://t.co/oaB8j9iPZp #splash23 https://t.co/ouzbOnYGLB

0

4

1

0

568

ACM Digital Library

@ACMDL

over 2 years ago

Check out "Live Pattern Matching with Typed Holes," by Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, et al., a Distinguished Paper from SPLASH '23: Conference on Systems, Programming, Languages, and Applications: Software for Humanity https://t.co/nsJ6xhTZr2 #SPLASH23

ACMDL's tweet photo. Check out "Live Pattern Matching with Typed Holes," by Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, et al., a Distinguished Paper from SPLASH '23: Conference on Systems, Programming, Languages, and Applications: Software for Humanity https://t.co/nsJ6xhTZr2 #SPLASH23 https://t.co/B7ZgKTdonp

0

2

0

438

Ed Seidewitz @seidewitz

almost 3 years ago

Two ways Copilot is used: Acceleration - Programmer “drives” - Like “autocomplete++” - Programmer has plan, Copilot helps execute faster Exploration - Copilot “drives” - Like “Stackoverflow++” - Programmer is lost, Copilot suggests solutions M. B. James #oopsla23 #splash23

seidewitz's tweet photo. Two ways Copilot is used:

Acceleration
- Programmer “drives”
- Like “autocomplete++”
- Programmer has plan, Copilot helps execute faster

Exploration
- Copilot “drives”
- Like “Stackoverflow++”
- Programmer is lost, Copilot suggests solutions

M. B. James #oopsla23 #splash23 https://t.co/p44ZfTiDKs

0

3

0

144

Judith Michael @JudithMichael_

almost 3 years ago

The main days of #SPLASH23 @splashcon start with the opening session #OOPSLA23

0

1

0

223

Ed Seidewitz @seidewitz

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

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

Colleen Robinson @MsColleenRobins

about 3 years ago

Excited to present at DPS Summer Educational Conference #SPLASH23

0

3

0

75

Mäks @PLbohne

about 3 years ago

Als wäre Peter Fox frisch aufgestanden um "Alles neu" zu performen als wärs nix. #splash23

0

2

0

402

Cherice Artis @cherice_artis

about 3 years ago

A special thanks to Ally Simon for coordinating an @edmentum courseware lunch and learn session for our lead school counselors. #SPLASH23 @twardsat @DurhamPublicSch

cherice_artis's tweet photo. A special thanks to Ally Simon for coordinating an @edmentum courseware lunch and learn session for our lead school counselors. #SPLASH23 @twardsat @DurhamPublicSch https://t.co/zbA5WHCVP8

0

4

1

0

220

Nicole Hamilton @EdmentorNH

about 3 years ago

Having a wonderful day partnering with @DPSLearning during SPLASH2023. @edmentum #SPLASH23

0

13

0

242

Twardsat @twardsat

about 3 years ago

#SPLASH23 @durhampublicschools Student Support Services presents the Holistic Student Wellness session and its the place to be this morning...Come see if "Ms. Dickerson" will make a change! @cherice_artis @DPSLearning @DrMattocksPerry @DrJuddManning @NCDPISC @ncmtss @CTruittNCDPI

twardsat's tweet photo. #SPLASH23 @durhampublicschools Student Support Services presents the Holistic Student Wellness session and its the place to be this morning...Come see if "Ms. Dickerson" will make a change! @cherice_artis @DPSLearning @DrMattocksPerry @DrJuddManning @NCDPISC @ncmtss @CTruittNCDPI https://t.co/8WiGUUCiqB

0

8

0

226

Julie Scott @DPSCoach

over 3 years ago

Enjoyed bringing Math Standards in Action to DPS teachers at #Splash23 @DPSLearning @Hillandaledps

1

8

0

418

Cherice Artis @cherice_artis

over 3 years ago

Great job Alex and Rasheeda! "We're All in this Together" had so many engaging activities to help participants activate strengths and return to schools ready to create/sustain highly effective student support services teams. #SPLASH23 @twardsat @DurhamPublicSch @DPSLearning

cherice_artis's tweet photo. Great job Alex and Rasheeda! "We're All in this Together" had so many engaging activities to help participants activate strengths and return to schools ready to create/sustain highly effective student support services teams. #SPLASH23 @twardsat @DurhamPublicSch @DPSLearning https://t.co/xGVSrIjSF0

0

2

1

0

152

Lori McNulty @DPSLearning

over 3 years ago

SPLASH supporters are KILLING IT! #splash23 @DurhamPublicSch @DPS_Equity

0

5

0

186

DPS Equity Affairs @DPS_Equity

over 3 years ago

Excellent session with @KamalBell_ during #SPLASH23!! Learning about @SankofaFarms, CTE, and Community Centered Education!!

0

12

5

0

772

Twardsat @twardsat

over 3 years ago

"I'm here, Where are you?" begins with a lively version of Speed Teaming to build our connection before content! #SPLASH23 @DurhamPublicSch @DrMattocksPerry @DPSLearning

twardsat's tweet photo. "I'm here, Where are you?" begins with a lively version of Speed Teaming to build our connection before content! #SPLASH23 @DurhamPublicSch @DrMattocksPerry @DPSLearning https://t.co/rlHIWxapKB

0

2

0

155

Laura Soldevilla @ladidadada

over 3 years ago

This rainy Tuesday might’ve looked gloomy, but I had an amazing day with @elizabethagora1 and @DPSMentors Christine Joyce teaching #NCEES Pieces at #SPLASH23. @DurhamPublicSch @DPSLearning

ladidadada's tweet photo. This rainy Tuesday might’ve looked gloomy, but I had an amazing day with @elizabethagora1 and @DPSMentors Christine Joyce teaching #NCEES Pieces at #SPLASH23. @DurhamPublicSch @DPSLearning https://t.co/dpdsuT7Lx4

0

10

1

0

405

Top Tweets for #Splash23

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users