Manuel Rigger
@RiggerManuel
Followers
3K
Following
3K
Media
216
Statuses
2K
https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Singapore
Joined November 2015
Excited that Jack's work received a Best Paper Award at @EurosysConf! Thanks to the committee for appreciating the work.
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.
0
8
100
RT @DominikWinterer: Vision 🔭: Developing Formal Methods Engineering (FME)---a dedicated discipline for making Formal Methods more correct,….
0
1
0
RT @DominikWinterer: ✨Highlights: I developed generic testing techniques to stress-test SMT solvers finding 1,800+ bugs (350+ soundness bug….
0
1
0
RT @DominikWinterer: 🚀🔍🧑🏫 I am on the academic job market! My research focuses on advancing Formal Methods, Programming Languages, and Sof….
0
23
0
RT @NatalieShapira: @yanaiela Hey. Good luck! . Be prepared for question like - do you have a two body problem (I learnet about the tyep….
youtube.com
Mind the GAP! Transitioning from a Ph.D. or postdoctoral research position to a faculty or academic position can be challenging. This interviewing series (Ge...
0
1
0
RT @knmnyn: @RiggerManuel of @NUSComputing gives his lightning talk at #SGOR2024 on going beyond badging for artifacts & reproducible resea….
0
2
0
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
5
5
41
.@knmnyn giving an exciting keynote on "Pre-mortem: UnF.A.I.R – the Death of Open Research" at the Singapore Open Research Conference.
0
0
9
RT @tianyin_xu: Zu-Ming Jiang ( is a final year PhD student @CSatETH, working with Professor @zhendongsu. He will….
0
6
0
RT @KonsKallas: I am looking for 1-2 PhD students interested broadly in computer systems, compilers, and/or PL! If you would like to do you….
0
87
0
RT @DominikWinterer: 🚀 Excited to introduce our OOPSLA '24 work on ET, a powerful tool for bounded validation of SMT solvers, which has unc….
0
7
0
RT @c_cadar: I have a postdoc position in my group to work on an exciting project at the intersection of program analysis and GenAI:.https:….
srg.doc.ic.ac.uk
Fixed term appointment for 24 months Applications are invited for a postdoctoral position in the Software Reliability Group, under the direction of Prof. Cristian Cadar.
0
17
0
RT @teobaluta: I am recruiting PhD students!🐝 If you are interested in ML security and privacy, intersected with formal methods and rigorou….
0
188
0
RT @ilyasergey: Also, checking out the view from a potential conference hotel for @splashcon next year.
0
2
0
RT @mboehme_: That's a wrap! Amazing discussions, insightful keynotes, engaging participants. Nice dinner. Love this crowd. We counted 70+….
0
4
0
RT @yannicnoller: Great news! #Fuzzing'24 will host two very exciting keynotes from Thomas Dullien (@halvarflake) and Brendan Dolan-Gavitt….
0
12
0
RT @yannicnoller: I am hiring PhD students for my group at RUB. If you have strong implementation skills and are eager to work on problems….
0
25
0