#oopsla18 - Twitter Hashtag

Ben Zorn (he/him) https://aka.ms/zorn @benzorn

almost 8 years ago

Really happy to share Dan Barowy's "excellent" #ExceLint talk from #Splash18 #OOPSLA18 (Joint work with Dan and @emeryberger) "ExceLint- Automatically Finding Spreadsheet Formula Errors https://t.co/hWrI0AXZvL via @YouTube #spreadsheets #debugging

0

10

2

0

Michael Greenberg @mgrnbrg

almost 8 years ago

@Dfeltey @rfindler and three other @Racket-eers had a paper at #OOPSLA18 implementing my space-efficient contract checking!

1

4

0

Ben Zorn (he/him) https://aka.ms/zorn @benzorn

almost 8 years ago

Dan did a great job presenting ExceLint at #oopsla18 #splash18

0

6

1

0

Julia Belyakova @julbinb

almost 8 years ago

Check out our #oopsla18 paper about subtyping in the Julia language. Though a dynamic language, it has unions, existentials, distributivity, and much more! https://t.co/IEJfoTd1Ct And here is @francescozappan presenting the paper.

julbinb's tweet photo. Check out our #oopsla18 paper about subtyping in the Julia language. Though a dynamic language, it has unions, existentials, distributivity, and much more! https://t.co/IEJfoTd1Ct And here is @francescozappan presenting the paper. https://t.co/vKjN1UqaZp

0

10

3

1

0

Daco Harkes @DacoHarkes

almost 8 years ago

We can hire you, but you have got to be able to code - AWS keynote at #oopsla18 #splash18

0

2

0

Daco Harkes @DacoHarkes

almost 8 years ago

Please build a proper distributed model checker. If we figure out how to build such a monster, we can do so much more than now! #oopsla18 #splash18

0

2

0

Artem Pelenitsyn 🇺🇦 @[email protected] @ulysses4ever

almost 8 years ago

Director of Automated Reasoning at Amazon Web Services Byron Cook closes @splashcon 2018 #oopsla18 with the keynote on Reasoning about Security in AWS

ulysses4ever's tweet photo. Director of Automated Reasoning at Amazon Web Services Byron Cook closes @splashcon 2018 #oopsla18 with the keynote on Reasoning about Security in AWS https://t.co/lk8z6uUcb2

0

2

1

0

Kirshanthan Sundararajah @Kirshanthan

almost 8 years ago

@GowthamK Presenting his work at #OOPSLA18 @purdue_pl

0

9

2

0

UW PLSE @uwplse

almost 8 years ago

check out Chenglong's talk if you are at #oopsla18! https://t.co/RB5rdZXIHB

1

2

0

Microsoft Research

@MSFTResearch

almost 8 years ago

Microsoft is excited to be a part of SPLASH 2018 OOPSLA in Boston. Check out this year's submissions from our researchers in the areas of programming, languages, and software engineering: https://t.co/i9xtKeR5tD #OOPSLA18 #SPLASH18

MSFTResearch's tweet photo. Microsoft is excited to be a part of SPLASH 2018 OOPSLA in Boston. Check out this year's submissions from our researchers in the areas of programming, languages, and software engineering: https://t.co/i9xtKeR5tD #OOPSLA18 #SPLASH18 https://t.co/i53iY6Qa8T

0

9

2

1

0

NortheasternU PRL @neu_prl

almost 8 years ago

Ben Chung presents "@JuliaLanguage: Dynamism and Performance Reconciled by Design" to a packed room at #oopsla #oopsla18 #splash18 @splashcon Paper: https://t.co/3oO9Kq32oF Photo by @francescozappan

neu_prl's tweet photo. Ben Chung presents "@JuliaLanguage: Dynamism and Performance Reconciled by Design" to a packed room at #oopsla #oopsla18 #splash18 @splashcon

Paper: https://t.co/3oO9Kq32oF

Photo by @francescozappan https://t.co/7eAjNe3QUd

0

9

1

0

STG Darmstadt @stg_darmstadt

almost 8 years ago

Today, the last talk of our group @splashcon is presented. We know that's a long time until 13:30 at Studio 1 and therefore we have a small sneak preview. //cc @m_mezini @guidosalva #SPLASH18 #oopsla18 #REScala

stg_darmstadt's tweet photo. Today, the last talk of our group @splashcon is presented.

We know that's a long time until 13:30 at Studio 1 and therefore we have a small sneak preview.

//cc @m_mezini @guidosalva

#SPLASH18 #oopsla18 #REScala https://t.co/wwwxiSHJ5h

1

4

0

David Van Horn @lambda_calculus

almost 8 years ago

This talk starts in a few minutes in studio 2 at #oopsla18 #splash18

David Van Horn @lambda_calculus

about 8 years ago

New paper: Gradual Liquid Type Inference with @nikivazou and Éric Tanter. To appear at OOPSLA 2018 (after final changes). https://t.co/tENXxpHXMR

lambda_calculus's tweet photo. New paper: Gradual Liquid Type Inference with @nikivazou and Éric Tanter. To appear at OOPSLA 2018 (after final changes). https://t.co/tENXxpHXMR https://t.co/eqMZmZeKlX

0

76

15

0

2

10

0

1

0

Anna-Katharina Wickert @akwickert

almost 8 years ago

Pascal one of my peers just gave a good presentation about #distributed programming with #Scala during the #oopsla18 Language session @splashcon. Congrats! You did a good job. #splash18 #travellingToSplashWithMyREScalaPeers #gettingToKnowEachOtherBetter

STG Darmstadt @stg_darmstadt

almost 8 years ago

Pascal Weisenburger is presenting his work on ScalaLoci now at Studio 1 @splashcon. #oopsla18 #splash18 #REScala

1

0

2

1

0

Ravi Chugh @ravi_chugh

almost 8 years ago

Run programs backward to synthesize repairs? @MikaelMayer will explain. Studio 1 in five minutes. #oopsla18

Mikaël Mayer @MikaelMayer

almost 8 years ago

I'm excited to present our research on bidirectional evaluation today at @splashcon oopsla 2018 with @ravi_chugh and @vjkuncak . Live stream at 3:30pm Boston time (in 3h and 34 minutes): https://t.co/QBbTk7FJS7

0

7

3

1

0

1

11

0

1

0

Stefan Marr @smarr

almost 8 years ago

Arie about to present our work: Parallelization of Dynamic Languages: Synchronizing Built-in Collections. With @eregontp, H. Mössenböck, E. Petrank Preprint: https://t.co/HC2gPb7p8K #oopsla18 #truffle #truffleruby #graalvm