Computer Science
48 Entries
- Recent
- Most Viewed
- Top Rated
-
Language(s)
-
36 minutes, 6 secondsICSE 2011: John Rushby - Formal Methods, Verification and Some Computing HistoryJun 15, 2011 at 10:19 AM
3
Meet Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the fields of computer science and… -
24 minutes, 34 secondsICSE 2011: Conversation with Andreas ZellerJun 08, 2011 at 8:00 AM 8
ICSE, the International Conference on Software Engineering,® is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.… -
34 minutes, 49 secondsHow to Shop for Free OnlineMay 17, 2011 at 10:01 AM 0
Web applications increasingly integrate third-party services. The integration introduces new security challenges due to the complexity for an application to coordinate its internal states with those of the component services and the web client across the Internet. In this paper, we study the… -
43 minutes, 31 secondsChris Hawblitzel and Juan Chen: Introduction to Typed Assembly Language (TAL)Typed Assembly Language (TAL) extends traditional untyped assembly languages with typing annotations, memory management primitives, and a sound set of typing rules. These typing rules guarantee the memory safety, control flow safety, and type safety of TAL programs. Moreover, the typing constructs… -
1 hour, 2 minutes, 17 secondsC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 3 of 3C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity Apr 21, 2011 at 11:48 AM 3
The great Yuri Gurevich is back!! Yuri is a logician, computer scientist, and inventor of abstract state machines. He currently works in Microsoft Research (he's a member of Wolfram Schulte's RiSE team). This is the third and final part in our introductory series of lectures exploring the… -
59 minutes, 56 secondsC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 2 of nC9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity Feb 16, 2011 at 9:29 AM 11
Yuri Gurevich is back on C9!! Yuri is a logician, computer scientist and inventor of abstract state machines. He currently works at Microsoft Research (he's a member of Wolfram Schulte's RiSE team). This is the second part in a series of lectures exploring the fundamental logic-recipe… -
52 minutes, 38 secondsC9 Lectures: Dr. Ralf Lämmel - Advanced Functional Programming - Evolution of an InterpreterIn part 3 of the Advanced Functional Programming lecture series, Dr. Lämmel focuses on the domain of language interpretation as a method of understanding some important functional programming techniques. As a side effect, some basics of programming language theory are also… -
48 minutes, 56 secondsC9 Lectures: Dr. Ralf Lämmel - Advanced Functional Programming - Type ClassesWelcome to another series of C9 Lectures covering functional programming. For this series, Dr. Ralf Lämmel has generously taken the time to produce videos for Channel 9 from his office at the University of Koblenz-Landau (Germany), where he is a professor of computer science. The idea… -
36 minutes, 27 secondsELC 2010: Standing Roundtable - AmbientTalk, BitC, Caja, Mirrors, Newspeak, Type Classes and MoreA group of us gathered after a long day of language sessions at ELC 2010 and a conversation just happened. Sure, we talked about doing this before the camera started rolling, but I pressed record only when the time was right—when EROS creator and BitC designer Jonathan Shapiro asked… -
39 minutes, 55 secondsE2E: Whiteboard Jam Session with Brian Beckman and Greg Meredith - Monads and Coordinate SystemsIn this latest edition of Expert to Expert (and Going Deep), the great Brian Beckman, astrophysicist and software architect, is joined by Greg Meredith, a mathematician and computer scientist. It's just bound to be an intellectual jam session!The idea for the format of this…
