#oopsla16 - Twitter Hashtag

Aggelos Biboudis

@biboudis

almost 10 years ago

An amazing week in Amsterdam at #splash16 #oopsla16 #scala16 and many many more has ended. Inspired and motivated!

0

6

2

0

Tijs van der Storm @tvdstorm

almost 10 years ago

“Java has been unsound for 12 years; how did we miss this?” #splash16 #oopsla16

3

12

6

0

Tijs van der Storm @tvdstorm

almost 10 years ago

Fixing Scala and Java: fix cannot be backwards compatible in theory. #ross #oopsla16 #splash16

0

1

0

Tijs van der Storm @tvdstorm

almost 10 years ago

“There are no casts. ClassCastException. Java is unsound” Ross, #oopsla16 #splash16

0

1

0

Tijs van der Storm @tvdstorm

almost 10 years ago

“Converting ints to strings using type theory” Ross #splash16 #oopsla16

0

1

0

SPLASH Conference @splashcon

almost 10 years ago

*Packed* room at @nadamin & Ross Tate’s talk on Scala/Java type soundness issues. #splash16 #oopsla16

0

2

0

Aggelos Biboudis

@biboudis

almost 10 years ago

Everything is ready for the #splash16 #oopsla16 banquet @ Beurs van Berlage https://t.co/hzvdLxc1ue

0

2

1

0

Veselin Raychev @vesuraychev

almost 10 years ago

V8 team gets 2016 SIGPLAN software award. #oopsla16 @splashcon

0

5

9

0

Aggelos Biboudis

@biboudis

almost 10 years ago

V8 team takes the 2016 ACM SIGPLAN Software Award @splashcon #oopsla16

0

5

4

0

Aggelos Biboudis

@biboudis

almost 10 years ago

PC chair's report! Interesting statistics by @YSmaragdakis @splashcon #oopsla16

0

6

2

0

Aggelos Biboudis

@biboudis

almost 10 years ago

Parsing with first-class derivatives! #oopsla16 @splashcon

0

3

0

Stefan Marr @smarr

almost 10 years ago

.@eregontp presenting our work on efficient and thread-safe objects for dynamic languages. @eleinadani #truffle #splashcon #oopsla16

smarr's tweet photo. .@eregontp presenting our work on efficient and thread-safe objects for dynamic languages. @eleinadani #truffle #splashcon #oopsla16 https://t.co/APY96o5LiJ

0

5

3

0

SPLASH Conference @splashcon

almost 10 years ago

First #oopsla16 distinguished paper award: https://t.co/JZBRPTFG1e #splash16

0

1

0

Aggelos Biboudis

@biboudis

almost 10 years ago

The (technical) @deep_spec vision @splashcon #splash16 #oopsla16 (the other being education 🎓)

0

2

7

0

Aggelos Biboudis

@biboudis

almost 10 years ago

"And if you are Adam ...." the Chlipala automation #oopsla16 @splashcon

0

6

7

0

Vadim Zaytsev @grammarware

almost 10 years ago

The most influential paper from 10 years ago is the DaCapo benchmarks #oopsla16 #splash16

0

2

6

0

Aggelos Biboudis

@biboudis

almost 10 years ago

Being cool, general chairing @EelcoVisser @splashcon #oopsla16

0

3

0

Pavel Panchekha @pavpanchekha

about 10 years ago

My paper on automatic reasoning about web page layout with #Cassius will appear at #oopsla16! https://t.co/zMYZj9KiEv

0

2

0

SPLASH Conference @splashcon

about 10 years ago

OOPSLA list of accepted papers! https://t.co/4QrTcM9H0c Authors, don’t forget to upload a preprint when your final copy is done! #oopsla16

0

16

14

0

Stefan Marr @smarr

about 10 years ago

GEMs: Shared-memory Parallel Programming for Node.js. @eleinadani, L.Salucci, I, W.Binder https://t.co/Pbkt6A5lCl #oopsla16 #truffle #nodejs

0

1

4

0

Top Tweets for #oopsla16

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users