Sotwe logo Sotwe logo

Top Tweets for #SREPLS

wicko3's profile image
John Wickerson @wicko3
Conrad Watt gave a fascinating talk at #srepls today about his work to formalise WebAssembly.
wicko3's tweet photo. Conrad Watt gave a fascinating talk at #srepls today about his work to formalise WebAssembly. https://t.co/dQ59OF4iZf
0
6
0
0
0
wicko3's profile image
John Wickerson @wicko3
Next up at #srepls, @MattWindsor91 is describing his work on checking the compilation of C concurrency
wicko3's tweet photo. Next up at #srepls, @MattWindsor91 is describing his work on checking the compilation of C concurrency https://t.co/XJqwRjMyqQ
1
8
0
0
0
jer_gib's profile image
Jeremy Gibbons @jer_gib
A fun day's PL talks at #srepls at Facebook in London. They have swanky facilities! Thanks, Kathy Gray, for hosting.
jer_gib's tweet photo. A fun day's PL talks at #srepls at Facebook in London. They have swanky facilities! Thanks, Kathy Gray, for hosting. https://t.co/05GccDgpeX
0
11
1
0
0
passy's profile image
Pascal Hartig @passy
· Paddington
Always convenient when you don't have to come to the conferences because the conferences come to you. #srepls
passy's tweet photo. Always convenient when you don't have to come to the conferences because the conferences come to you. #srepls https://t.co/z7bixLF2Hz
1
2
0
0
0
Xebia_Global's profile image
Xebia @Xebia_Global
Today, we're at #SREPLS 11 at Facebook's London HQ! Don't miss @raulraja's talk introducing #ArrowFX - Bringing Typed FP to the masses at 10:05 AM! #Kotlin @arrow_kt #SREPLS11 This event is FREE more info here: https://t.co/GcO6MzqDHw
1
28
11
1
0
CarstenFuhs's profile image
Carsten Fuhs (@[email protected]) @CarstenFuhs
Returned tired, but happy from #srepls10 with 3 exciting keynotes by Philippa Gardner, Rayna Dimitrova, and Nicos Angelopoulos + 9 great contributed talks + plenty of discussion & socialising today. https://t.co/Sm7fFKkRLo Thanks all for attending, see you at #srepls11! #srepls
1
4
0
0
0
wicko3's profile image
John Wickerson @wicko3
Pritam Gharat is doing generalised points-to analysis at #SREPLS
wicko3's tweet photo. Pritam Gharat is doing generalised points-to analysis at #SREPLS https://t.co/QAAXvdEzCy
0
3
0
0
0
wicko3's profile image
John Wickerson @wicko3
· Camden Town
Next up, @michaelmarcozzi asks whether bugs found by compiler fuzzers actually matter. #SREPLS
wicko3's tweet photo. Next up, @michaelmarcozzi asks whether bugs found by compiler fuzzers actually matter. #SREPLS https://t.co/ZYBGxq5sq8
1
6
2
0
0
wicko3's profile image
John Wickerson @wicko3
Nicos Angelopoulos is describing his work, which uses a rather intriguing probabilistic extension of Prolog. #SREPLS
wicko3's tweet photo. Nicos Angelopoulos is describing his work, which uses a rather intriguing probabilistic extension of Prolog. #SREPLS https://t.co/ocREM2yJ3M
0
1
0
0
0
wicko3's profile image
John Wickerson @wicko3
Martin Brain asks what software verification tools should do about the “library problem”, whereby significant parts of the source code are simply not available. #SREPLS
wicko3's tweet photo. Martin Brain asks what software verification tools should do about the “library problem”, whereby significant parts of the source code are simply not available. #SREPLS https://t.co/PuBjpektDU
0
3
0
0
0
wicko3's profile image
John Wickerson @wicko3
Kareem Khazem is presenting his work on how linker behaviour can be taken into account in static analysis. #SREPLS
wicko3's tweet photo. Kareem Khazem is presenting his work on how linker behaviour can be taken into account in static analysis. #SREPLS https://t.co/DOS2SThjFt
0
5
0
0
0
wicko3's profile image
John Wickerson @wicko3
Second keynote: Rayna Dimitrova is synthesising autonomous systems at #SREPLS
wicko3's tweet photo. Second keynote: Rayna Dimitrova is synthesising autonomous systems at #SREPLS https://t.co/DQmtL6AmAD
0
2
0
0
0
wicko3's profile image
John Wickerson @wicko3
We now have @jer_gib speaking about the theoretical foundations of relational databases. #SREPLS
wicko3's tweet photo. We now have @jer_gib speaking about the theoretical foundations of relational databases. #SREPLS https://t.co/ZzlHD2wQ6H
0
3
2
0
0
wicko3's profile image
John Wickerson @wicko3
Next up, @nadeshr5 is speaking about his work on synthesising concurrent C to FPGAs at #SREPLS
wicko3's tweet photo. Next up, @nadeshr5 is speaking about his work on synthesising concurrent C to FPGAs at #SREPLS https://t.co/3K6eYqdQsn
0
9
1
0
0
wicko3's profile image
John Wickerson @wicko3
#SREPLS at Birkbeck kicks off with Philippa Gardner on rigorous foundations for #JavaScript
wicko3's tweet photo. #SREPLS at Birkbeck kicks off with Philippa Gardner on rigorous foundations for #JavaScript https://t.co/8Z0gdLBKmC
0
2
2
0
0
CarstenFuhs's profile image
Carsten Fuhs (@[email protected]) @CarstenFuhs
The programme for the 10th South of England Regional Programming Language Seminar #srepls10 #srepls at Birkbeck, University of London @BirkbeckNews @BirkbeckBEI on 18 Sep 2018 is available! Attendance is free. Register by Thu, 6 Sep 2018: https://t.co/Sm7fFKkRLo
0
4
3
0
0
CarstenFuhs's profile image
Carsten Fuhs (@[email protected]) @CarstenFuhs
The 10th edition of S-REPLS will take place at Birkbeck, University of London on 18 September 2018. Do not forget to register, and consider giving a talk: https://t.co/Sm7fFKkRLo #srepls10 #srepls
0
2
4
0
0
tomaspetricek's profile image
Tomas Petricek (find me on BlueSky) @tomaspetricek
On my way to #srepls to talk about type providers. That is, I would be on my way if this 30 min delayed @TLRailUK train didn't just terminate in Haywards Heath...
tomaspetricek's tweet photo. On my way to #srepls to talk about type providers. That is, I would be on my way if this 30 min delayed @TLRailUK train didn't just terminate in Haywards Heath... https://t.co/SBNs6HDQVy
3
4
1
0
0
martinfriberger's profile image
Martin Berger @martinfriberger
9th South of England Regional Programming Language Seminar Friday 25 May 2018 at the University of Sussex in Brighton. Programme: https://t.co/PmkhTM12bk Please forward and attend #srepls
0
5
8
0
0
aleph_kappa's profile image
Ohad Kammar @aleph_kappa
Tell everyone in the south of England about your latest programming language project at #srepls ! For talk proposals https://t.co/SZobJB8cLM registeration: https://t.co/SdrWwL5Acu
0
1
2
0
0

Last Seen Hashtags on Sotwe

anxiouspanda() -snaphack(*) filter:native_video()
Seen from Germany
NaturEscorial
Seen from Spain
AI熟女
public bus grope
Seen from Turkey
minichat()******** + filter:native_video
anxiouspanda
Seen from United States
ensest
Seen from Turkey
momson()*************************************
Seen from Pakistan
flash
Seen from Saudi Arabia

Trends for you

1
Lane Johnson
Under 10K tweets
2
Better Call Saul
Under 10K tweets
3
Merino
Under 10K tweets
4
Boomers
Under 10K tweets
5
Abstract
Under 10K tweets
6
#NationalCoachesDay
Under 10K tweets
7
Tropical Depression Nine
Under 10K tweets
8
Social Security
Under 10K tweets
9
Andrew Tate
Under 10K tweets
10
Eagle
Under 10K tweets

Most Popular Users

elonmusk's profile image
1
Elon Musk Verified account
@elonmusk
241.7M followers
barackobama's profile image
2
Barack Obama Verified account
@barackobama
119M followers
cristiano's profile image
3
Cristiano Ronaldo Verified account
@cristiano
114.6M followers
realdonaldtrump's profile image
4
Donald J. Trump Verified account
@realdonaldtrump
111.9M followers
narendramodi's profile image
5
Narendra Modi Verified account
@narendramodi
107.2M followers
rihanna's profile image
6
Rihanna Verified account
@rihanna
98.7M followers
nasa's profile image
7
NASA Verified account
@nasa
92.4M followers
justinbieber's profile image
8
Justin Bieber Verified account
@justinbieber
91.8M followers
katyperry's profile image
9
KATY PERRY Verified account
@katyperry
90.1M followers
taylorswift13's profile image
10
Taylor Swift Verified account
@taylorswift13
84M followers
ladygaga's profile image
11
Lady Gaga Verified account
@ladygaga
75.5M followers
imvkohli's profile image
12
Virat Kohli Verified account
@imvkohli
73.5M followers
kimkardashian's profile image
13
Kim Kardashian Verified account
@kimkardashian
70.9M followers
youtube's profile image
14
YouTube Verified account
@youtube
68.8M followers
neymarjr's profile image
15
Neymar Jr Verified account
@neymarjr
66.5M followers
billgates's profile image
16
Bill Gates Verified account
@billgates
65.2M followers
selenagomez's profile image
17
Selena Gomez Verified account
@selenagomez
63.1M followers
theellenshow's profile image
18
The Ellen Show
@theellenshow
62.3M followers
cnn's profile image
19
CNN Verified account
@cnn
61.8M followers
x's profile image
20
X Verified account
@x
60.7M followers