Yes, LVars are part of Lindsey Kuper's PhD thesis work. We had a paper together on them in this year's POPL:
http://www.mpi-sws.org/~turon/lvish.pdf Lindsey did the original LVars design, and then we worked together to extend it to a fuller library implementation called "LVish"; I got to do a lot of fun Haskell concurrency hacking to make it all go, which you can see here: https://github.com/iu-parfunc/lvars/tree/master/haskell/lvish (For those unfamiliar, the nutshell selling point is that LVars let you have your lock-free data structures but guarantee overall deterministic execution too.) Aaron ----- Original Message ----- From: "Benjamin Striegel" <[email protected]> Cc: [email protected] Sent: Monday, April 21, 2014 3:40:35 PM Subject: Re: [rust-dev] Announcing the newest member of Mozilla's Rust team, Aaron Turon Welcome Aaron! And "LVars" sounds familiar... was that something that Lindsey Kuper was working on? On Mon, Apr 21, 2014 at 5:18 PM, Alex Crichton < [email protected] > wrote: Welcome Aaron! I'm so excited to have you with us! On Mon, Apr 21, 2014 at 2:06 PM, Brian Anderson < [email protected] > wrote: > Hey there, Rusticators, > > Grand news! Starting today Aaron Turon is joining the Rust team. Aaron did > his PhD thesis on concurrency at Northeastern University, where he published > widely-noted papers on 'reagents' and 'LVars'. He will be focusing on making > Rust's standard libraries the best they can be. He's aturon on IRC; say 'hi' > when you see him. > > Welcome aboard, Aaron. > _______________________________________________ > Rust-dev mailing list > [email protected] > https://mail.mozilla.org/listinfo/rust-dev _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
