back
user profile
matt_d
21,161karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
comment
Two recent talks about the project: - Derek Dreyer, Workshop on Software Correctness and Reliability 2017 (48 min): https://www.youtube.com/watch?v=Y9vemQmVeLI - Ralf Jung, POPL 2018 …
comment
Slides (PDF): http://biagiocosenza.com/talk/LLVM-Berlin-Meetup-Nov2017.pdf Description: https://www.meetup.com/LLVM-Social-Berlin/events/244936204/…
3 pts
comment
Slides: http://chandlerc.github.io/talks/cppcon2017/going_nowhere_fa... …
comment
Slides (coming soon) & more information: http://llvm.org/devmtg/2017-10/ 2017 LLVM Lightning Talks: https://www.youtube.com/playlist?list=PL_R5A0lGi1ABrn…