[rust-dev] 5/8 SF Rust Meetup and 5/10 Hackathon: John Regehr: Testing Rust and Fuzzing Compilers

Hello Rustilians! I'm pleased to announce our next Rust meetup on Thursday May 8 in San Francisco, which will be another double feature, focused on improving and automating Rust testing. Along with this meetup, there will also be a Testing Hackathon <http://www.meetup.com/Rust-Bay-Area/events/168373782/> to be held on Saturday May 10st. Our main speaker Thursday night is Professor John Regehr<http://www.cs.utah.edu/%7Eregehr/>from the University of Utah. His group is focused on developing new techniques to mechanically discover errors and missed optimizations. He will be speaking about how his team has made a testing fuzzer for the C language, and how we can apply those same techniques to the Rust compiler. Also speaking will be Andrew Gallant from the east coast, who will present his QuickCheck <https://github.com/BurntSushi/quickcheck>, Random property based testing with (hopefully) minimal witnesses. Agenda: • 7:00pm - Doors open • 8:00pm - Plans for the Testing Hackathon • 8:15pm - John Regehr • 9:15pm - Andrew Gallant As always, Mozilla will be graciously providing food and drink. If you would like to attend, sign up here: Meetup: http://www.meetup.com/Rust-Bay-Area/events/169434302/ Hackathon: http://www.meetup.com/Rust-Bay-Area/events/168373782/ I hope you can all make it! -Erick -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20140411/e4f23788/attachment.html>