Leopoldo Teixeira
@leopoldomt
Followers
1K
Following
4K
Media
290
Statuses
8K
CS Professor and Head of Graduate Studies @CInUFPE 🇧🇷 @AvHStiftung Alumni 🇩🇪
Recife, Brazil
Joined October 2008
👩💻 CIn abre inscrições para 4ª turma do curso Residência em Robótica e Inteligência Artificial. Mais informações 👉 https://t.co/wCVkXaqj4e
0
1
4
🚀 Excited to introduce Scholar Spots—an innovative, feature-packed Chrome extension that adds new publication metrics, title word clouds, and interactive visualizations to Google Scholar profiles! 🎓 #ScholarSpots #GoogleScholar #ResearchTools
3
16
22
Kallistos Weis has just presented our @ASE_conf paper, "Blackbox Observability of Features and Feature Interactions" (cc @SvenApel @CDubslaff). Check out the paper at ACM (open-access): https://t.co/fGcs9ps0fP
0
0
16
Distinguish Artifacts and Distinguish Artifacts Reviewers at OOPSLA
0
2
19
Check out the full paper at https://t.co/HdsL0krcnc. Kudos to Paul for leading this work, and shout out to the other co-authors: @SchultheissAlex, Benjamin Moosherr, @do_you_gnu, @EricWalkingshaw, @parisataei, and @ThomasThuem.
0
0
2
@PaulMBittner will present tomorrow at @splashcon by 14:50 on IBR East. You will also have the chance to know more about variability in both C++ and 🍔, as well as learning about Option Calculus, the differences and tradeoffs on language choices, and correct compilers in Agda.
1
2
3
Curious about formal languages for software variability? In our OOPSLA'24 paper, we introduce a formal framework to compare expressiveness, soundness, and completeness of static variability languages. The Agda formalization received a Distinguished Artifact Award! 🏆 @CInUFPE
Which language should I use to formalize my research on software variability? Find out in our recent OOPSLA paper, were we gather, unify, and compare formal languages: https://t.co/TOYMDmLIfW See you next week @splashcon 🤗 for my talk with examples in C++ and 🍔
1
0
7
The paper will be presented on Tue 29 Oct 2024 11:15, check it out if you are around @ASE_conf!
0
0
11
Orgulho de fazer parte dessa história! @CInUFPE 50 anos. Tradição que inspira o futuro. https://t.co/jKvjjTA28y
0
0
10
Painel comemorativo dos 50 anos do @CInUFPE com @pauloborba @srlm @pierrelucena e Guilherme Cavalcanti
0
5
28
FSE 2024 has concluded. Andrea Stocco (@tsigalko18) and Leonardo Murta (@leomurta) are now passing the torch to Pinjia He (@PinjiaHe) and Kla Tantithamthavorn (@klainfo), the Social Media Chairs for FSE 2025. Let’s take a moment to remember one epic moment from FSE 2024…
1
6
25
My first time attending @FSEconf offline. It was a great experience! 😄 I was thrilled to meet so many interesting friends and gained a lot from the event. Special thanks to @marcelodamorim @leopoldomt @davidlo2015 and Prof. Lin Tan for organizing it!😁
3
1
27
Thanks to @leopoldomt @marcelodamorim @FSEconf for giving us a glimpse of brazilian carnival at the conference reception!
0
1
11
A message from our Conference and Local Organization chair, Leopoldo Teixeira...
3
2
32
Congratulations for an excellent 1st edition of AIware, Ahmed & team! We are really glad to host the inaugural edition, thanks for being part of FSE this year as well! :)
Obrigado @FSEconf team for amazingly warm hospitality & an attention to detail sharper than a beachside caipirinha! From the epic LED screen to the delicious food & fantastic shows, you truly put your heart into every moment. Thanks for making @AIwareConf a great success!!🙌🇧🇷
0
0
3
You folks set a new very high bar - @marcelodamorim @leopoldomt @brenomiranda @georgegcabral @ivanmachado @ctreude @marciomribeiro @filipe_cogo
@julia_rubin1 @liliana118 and the many student volunteers!
1
3
10
Obrigado @FSEconf team for amazingly warm hospitality & an attention to detail sharper than a beachside caipirinha! From the epic LED screen to the delicious food & fantastic shows, you truly put your heart into every moment. Thanks for making @AIwareConf a great success!!🙌🇧🇷
1
2
6
With an amazing team of student volunteers at #fse2024. Thanks all for your energy and hard work, the event would not be the same without you!
2
2
60