Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Engineering & Technology
  2. Computer Science
Computer Programming
Functional Programming
Networking
Data Mining
Databases
Cognitive Science
Data Management
Operating Systems
Computer Graphics
Data Structures
Artificial Intelligence
Java Programming
HTML Programming
Assembly Language
Python Programming
Css
Computer Networks
Android Programming
Ruby Programming
Information Security
>> Nikolaj Bjorner: Okay. It's my pleasure to introduce... Berkeley with San JIT and is now a postdoc at SRI.
>> Nikolaj Bjorner: Okay. It's my pleasure to introduce... Berkeley with San JIT and is now a postdoc at SRI.
>> Nikolai Tillmann: So welcome everyone. This is... would like to start by saying a big thank you...
>> Nikolai Tillmann: So welcome everyone. This is... would like to start by saying a big thank you...
>> Nikolai Tillmann: Hello. It's my pleasure today... who is now an assistant professor at Urbana-Champaign, Illinois. ...
>> Nikolai Tillmann: Hello. It's my pleasure today... who is now an assistant professor at Urbana-Champaign, Illinois. ...
>> Nikhil Swamy: Okay, well thank you for coming... Jonathon Protzenko visiting us for the next couple of days...
>> Nikhil Swamy: Okay, well thank you for coming... Jonathon Protzenko visiting us for the next couple of days...
>> Nikhil Swamy: I'd like to welcome Adam... post-doc at Harvard, and he's going to talk to us...
>> Nikhil Swamy: I'd like to welcome Adam... post-doc at Harvard, and he's going to talk to us...
>> Neil Pittman: Hello. I'm here to introduce... with us at the embedded systems group working on FPGA...
>> Neil Pittman: Hello. I'm here to introduce... with us at the embedded systems group working on FPGA...
>> Navendu Jain: Good morning, everyone. Thank you... pleasure to introduce Tajana Rosing from University of California San...
>> Navendu Jain: Good morning, everyone. Thank you... pleasure to introduce Tajana Rosing from University of California San...
>> Mike Sinclair: Aiden comes to us from Dublin... worked with Microsoft SenseCam, Lindsay Williams' SenseCam, and as I
>> Mike Sinclair: Aiden comes to us from Dublin... worked with Microsoft SenseCam, Lindsay Williams' SenseCam, and as I
>> Mike Seltzer: So good morning, everybody. It's... welcome Professor Alan Black from Carnegie Mellon University from the
>> Mike Seltzer: So good morning, everybody. It's... welcome Professor Alan Black from Carnegie Mellon University from the
>> Matthew J. Graham: Good afternoon, and welcome to... practical astrosemantics workshop. This is actually the fifth gathering...
>> Matthew J. Graham: Good afternoon, and welcome to... practical astrosemantics workshop. This is actually the fifth gathering...
>> Mark Marron: So hello, everyone. So I'm... myself and Sumit Guani [phonetic] here. He did an...
>> Mark Marron: So hello, everyone. So I'm... myself and Sumit Guani [phonetic] here. He did an...
>> Madan Musvathi: Hi everyone. I'm Madan Musvathi,... the Research and Software Engineering Group. It's my pleasure...
>> Madan Musvathi: Hi everyone. I'm Madan Musvathi,... the Research and Software Engineering Group. It's my pleasure...
>> Madan Musuvathi: It's my great pleasure to introduce... PhD candidate from Brigham Young University, and she works with...
>> Madan Musuvathi: It's my great pleasure to introduce... PhD candidate from Brigham Young University, and she works with...
>> Madan Musuvathi: Hi, everyone. I am Madan... Engineering Group, and it's my pleasure to invite Iulian here...
>> Madan Musuvathi: Hi, everyone. I am Madan... Engineering Group, and it's my pleasure to invite Iulian here...
>> Lisa Green: Good morning. My name's Lisa... Commons. I'm really excited to be here today. ...
>> Lisa Green: Good morning. My name's Lisa... Commons. I'm really excited to be here today. ...
>> Lili Cheng: Thanks everybody for coming. Today... and CTO star of Onename. This is great because...
>> Lili Cheng: Thanks everybody for coming. Today... and CTO star of Onename. This is great because...
>> Lee Dirks: Thank you so much, so much... out here. We're thrilled to have you. Welcome...
>> Lee Dirks: Thank you so much, so much... out here. We're thrilled to have you. Welcome...
>> Laurent Visconti: Well, good afternoon. It's my... Silberstein. He's a last year PhD student at Technion,...
>> Laurent Visconti: Well, good afternoon. It's my... Silberstein. He's a last year PhD student at Technion,...
>> Lance McBride: I'm going to continue on. ... of the more advanced task capabilities within WordPress. We're...
>> Lance McBride: I'm going to continue on. ... of the more advanced task capabilities within WordPress. We're...
>> Kristin Lauter: Okay. So today we're very... visiting us from the MSR Cambridge Lab, that's Cambridge in...
>> Kristin Lauter: Okay. So today we're very... visiting us from the MSR Cambridge Lab, that's Cambridge in...
>> Kristin Lauter: Okay. So today we're very... us from Sandia Labs. Rich is an early inventor...
>> Kristin Lauter: Okay. So today we're very... us from Sandia Labs. Rich is an early inventor...
>> Kristin Lauter: Okay. So this morning, I'm... the cloud cryptography workshop. As most of you know,...
>> Kristin Lauter: Okay. So this morning, I'm... the cloud cryptography workshop. As most of you know,...
>> Kristin Lauter: Okay. So this morning we're... Bellare from University of California San Diego visiting us. ...
>> Kristin Lauter: Okay. So this morning we're... Bellare from University of California San Diego visiting us. ...
>> Kristin Lauter: Okay. So thank you all... pleased to have Matt Green visiting us from Johns Hopkins...
>> Kristin Lauter: Okay. So thank you all... pleased to have Matt Green visiting us from Johns Hopkins...