Jinsheng Ba
@JinshengBaPostdoc in ETH Zurich. Software testing and security.
Similar User
@su_tingsu
@RiggerManuel
@LiliWei_SE
@AbhikRoychoudh1
@tan_hwei
@llmhyy
@wangshuai901
@LingmingZhang
@ast_eth
@moarbugs
@JieMarinaZhang
@maxxbw54
@chun_yang_chen
@liyistc
@DongdongShe
Thanks a lot to all the members of the NUST TEST lab who have been driving the open-source and open-science nature of our work on making data-centric systems more reliable as well as to my past and current mentors, collaborators, and supporters!
#SGOR2024 Lightning Talk by Singapore Open Research Awards 2024 winner Open Research for Robustifying Data-centric Systems. @RiggerManuel
🔍 I am on the job market, seeking opportunities in software engineering, programming languages, and formal methods. If you are interested in chatting about my work or potential roles, let’s catch up at the conference or send me a message! 🤝 #SPLASH24
🚀 Just touched down in Pasadena for #SPLASH24! Excited to present our work on generating effective test inputs from SMT formulas and getting oracles "for free" using SMT solvers. Catch our talk this Friday at OOPSLA! 🗓️📍 📄 Check out our paper: dl.acm.org/doi/10.1145/36…
@CSatETH (@ETH_en) is hiring a tenure-track assistant professor in Theory B: Logic, SMT/SAT, decision procedures, theorem proving, semantics, type systems, etc.; please apply by 15 January 2025! More info at: ethz.ch/en/the-eth-zur…
.@ha0_sun (ETH) proposed a new approach to improve the #eBPF verifier's precision: lazy abstraction refinement with proofs, only relying on proofs when the verifier's abstraction is too-coarse. Slides: lpc.events/event/18/contr… Recording: youtube.com/live/mfMbtQYas…
I am hiring PhD students for my group at RUB. If you have strong implementation skills and are eager to work on problems in automated software testing and program repair, I would be happy to chat at @issta_conf in Vienna or simply email me. RT appreciated! yannicnoller.github.io/positions/
Always makes my day to see SQLancer help improve another database system's reliability, in this case, Apache DataFusion. Thanks to Yongting for contributing the implementation to the main SQLancer repository! github.com/sqlancer/sqlan…
Excited that Jack's work received a Best Paper Award at @EurosysConf! Thanks to the committee for appreciating the work. dl.acm.org/doi/pdf/10.114…
After an exciting ICSE, I'm now looking forward to attending #EuroSys24 next week! Jack Clark will present his work on "Validating Database System Isolation Level Implementations with Version Certificate Recovery." Work with @afd_icl and @wicko3 dl.acm.org/doi/10.1145/36…
Leaving for Lisbon later today to attend @ICSEconf! We will present three works, all of which relate to improving the reliability of data-centric systems. See the thread below.
The report of our @dagstuhl seminar on "Ensuring the Reliability and Robustness of Database Management Systems" is online! All attendees collaboratively wrote it during the seminar, so don't expect it to be polished, but hopefully it is still insightful! drops.dagstuhl.de/storage/04dags…
The DBTest workshop submission deadline is approaching quickly. Please submit your research papers, experience papers, and talk proposals by March 15. dbtest-workshop.github.io
United States Trends
- 1. #PaulTyson 187 B posts
- 2. Ramos 58,2 B posts
- 3. #NetflixFight 8.303 posts
- 4. #SmackDown 57,5 B posts
- 5. Jerry Jones 2.541 posts
- 6. Rosie Perez 4.549 posts
- 7. My Netflix 16,9 B posts
- 8. Goyat 20,8 B posts
- 9. Cedric 9.329 posts
- 10. #netfix 1.700 posts
- 11. Nunes 30 B posts
- 12. Buffering 18 B posts
- 13. #BlueBloods 2.504 posts
- 14. Holyfield 6.938 posts
- 15. Michael Irvin N/A
- 16. Naomi 24 B posts
- 17. Bronson 7.057 posts
- 18. Grok 49,4 B posts
- 19. Shinsuke 3.469 posts
- 20. Seth 22,8 B posts
Who to follow
-
Ting Su
@su_tingsu -
Manuel Rigger
@RiggerManuel -
Lili Wei
@LiliWei_SE -
Abhik Roychoudhury
@AbhikRoychoudh1 -
Shin Hwei Tan
@tan_hwei -
Yun Lin
@llmhyy -
Shuai Wang
@wangshuai901 -
Lingming Zhang
@LingmingZhang -
AST Lab ETH Zurich
@ast_eth -
Rohan Padhye
@moarbugs -
Jie M. Zhang
@JieMarinaZhang -
Bowen Xu
@maxxbw54 -
Chunyang Chen
@chun_yang_chen -
Yi Li
@liyistc -
Dongdong She
@DongdongShe
Something went wrong.
Something went wrong.