#FASE22 - Twitter Hashtag

over 2 years ago

Documentário Operação Lava Jato #Fase22 Promoção : Curitiba Contra a Corrupção Produção : e Coordenação : Cristiano Roger

0

19

9

0

366

Curitiba Contra Corrupção @curitibacontrac

over 2 years ago

Documentário Operação Lava Jato #Fase22 Promoção : Curitiba Contra a Corrupção Produção : e Coordenação : Cristiano Roger

0

27

8

0

328

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Yay! The EASST best paper award at #etaps22 went to #fase22: Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira Da Costa. Information-flow Interfaces. Announced at the banquet yesterday by Gabi Taentzer, on the pic along with the PC chair @ebjohnsen

FaseConf's tweet photo. Yay! The EASST best paper award at #etaps22 went to #fase22: Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira Da Costa. Information-flow Interfaces.
Announced at the banquet yesterday by Gabi Taentzer, on the pic along with the PC chair @ebjohnsen https://t.co/Q61GQmDU03

4

16

2

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

@AndrzejWasowski @ETAPSconf Please submit your #automata papers to @FaseConf (blush). But also data, block chain, quantum, are fine. We had voice recognition in #fase22 :)

0

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

The great #fase22 is over ;( Thanks to the authors, speakers & audience for contributing. To @ebjohnsen and Manuel Wimmer for putting a great program together. Leen Lambers & @seba_uchitel await your papers in Oct! CU in Paris in '23! Follow @ETAPSconf for more tweets this week

FaseConf's tweet photo. The great #fase22 is over ;( Thanks to the authors, speakers & audience for contributing. To @ebjohnsen and Manuel Wimmer for putting a great program together. Leen Lambers & @seba_uchitel await your papers in Oct! CU in Paris in '23!

Follow @ETAPSconf for more tweets this week https://t.co/8DL8iKTpCs

0

7

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Next in #fase22: Hannes Thaller, Lukas Linsbauer and Alexander Egyed. Semantic Clone Detection via Probabilistic Software Modeling In room HS2. #etaps22

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Next in #fase22: Edouard Batot, Sebastien Gerard and @JordiCabot. A Survey-Based Feature Model for Software Traceability As usual in HS2. #etaps22

1

2

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Thank you for this nice session (all speakers present on site, a packed room). We will be back after the lunch break with: Alexander Knapp, Markus Roggenbach and Tobias Rosenberger. An Institutional Approach to Communicating UML State Machines #fase22 #etaps22

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Next in #fase22: Lukas Grätz, Reiner Hähnle and Richard Bubel. Finding Semantic Bugs Fast. Come fast to HS2 :) #etaps22

2

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Next in #fase22: Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic and Ana Oliveira Da Costa. Information-flow Interfaces [nominated for EASST best paper] room HS2 #etaps22

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Next in #fase22: Aleksandar S. Dimovski. Quantitative Program Sketching using Lifted Static Analysis #etaps22

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Now in #fase22: Saikat Dutta, Zixin Huang and Sasa Misailovic. SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning #etaps22

2

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Time for lunch. We will be back at 14.00 CET for a session on #AI and quantitative methods, starting with: Evangelos Papathomas, Themistoklis Diamantopoulos and Andreas Symeonidis. Semantic Code Search in Software Repos using Neural Machine Translation #fase22 #etaps22

2

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Next in #fase22: Marie-Christine Jakobs and Maik Wiesner. PEQtest: Testing Functional Equivalence #etaps22 room HS2, now until lunch.

2

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

The work is motivated by time-channel security attacks caused by cache misses. #fase22 #etaps22

0

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Next at #fase22 in HS2: Zunchen Huang and Chao Wang. Symbolic Predictive Cache Analysis for Out-of-Order Execution #etaps22 @ETAPSconf

2

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

The room at the plenary session earlier today, during the keynote of Tomas Vojnar on efficient regex matching. #fase22 #etaps22 @ETAPSconf

0

2

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

.@ebjohnsen takes better pictures as usual :) #fase22 #etaps22 @ETAPSconf

Einar Broch Johnsen @ebjohnsen

about 4 years ago

Kicking off the 25th edition of the FASE conf at ETAPS in Munich this morning. Happy to see so many conference participants!

ebjohnsen's tweet photo. Kicking off the 25th edition of the FASE conf at ETAPS in Munich this morning. Happy to see so many conference participants! https://t.co/veVvGqspLR

0

24

1

0

3

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei and Ji Wang. Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing in #fase22 room HS2 any moment now. #etaps22

2

1

0

Fundamental Approaches to Software Engineering @FaseConf

about 4 years ago

This will be presented today during the session at 2pm CET #fase22 #etaps22

PL/FM/SE at Illinois @plfmse

over 4 years ago

New paper from @plfmse “SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning” accepted to FASE 2022 @FaseConf. Authors: @saikatdutta2012, Zixin Huang, and Sasa Misalovic

1

9

2

0

1

0

Top Tweets for #FASE22

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users