BT
Older Newer rss
16:36

Rate Types for Stream Programs

Posted by Thomas Bartenstein, Yu David Liu  on  Mar 15, 2015

Thomas Bartenstein, Yu David Liu introduce RATE TYPES, a new type system to reason about and optimize data-intensive programs, performing static quantitative reasoning about stream rates.

33:28

Machine Learning for Programming

Posted by Peter Norvig  on  Mar 06, 2015 1

Peter Norvig keynotes on using machine learning techniques to solve more general software problems, helping both the advanced programmer and the novice one.

23:55

Fast Conservative Garbage Collection

Posted by Rifat Shahriyar, Steve Blackburn, Kathryn McKinley  on  Feb 25, 2015

Rifat Shahriyar, Steve Blackburn, Kathryn McKinley show that conservative garbage collectors using Immix can be as performant and sometimes even faster than generational GCs.

16:17

Rubah: DSU for Java on a Stock JVM

Posted by Luís Pina, Luís Veiga, Michael Hicks  on  Feb 18, 2015

Luís Pina, Luís Veiga, Michael Hicks introduce Rubah, a method for dynamically updating applications running on the JVM.

17:38

Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs

Posted by Jonathan Bell, Gail Kaiser  on  Feb 11, 2015

Jonathan Bell & Gail Kaiser introduce Phosphor, a dynamic taint tracking system for the JVM, describing the approach used to achieve portable taint tracking.

16:39

Tardis: Affordable Time-Travel Debugging in Managed Runtimes

Posted by Earl Barr, Mark Marron  on  Feb 04, 2015 1

Earl Barr, Mark Marron discuss building time-travel debuggers for managed languages, implemented with Tardis, and enabling developers to investigate what happened prior hitting a bug.

51:40

Software Security - A Study in Technology Transfer

Posted by Gary McGraw  on  Feb 01, 2015

Gary McGraw keynotes on the internal forces and relationships active inside companies that drive them to success by managing to take ideas and transform them into technologies.

01:07:33

Wavefront — Declarative Programming for the Cloud

Posted by Molham Aref  on  Mar 08, 2014

Molham Aref introduces LogicBox, a database that unites declarative programming (logic-based specifications) with cloud deployment over large datasets using the Datalog programming language.

01:05:52

The Next 700 Asynchronous Programming Models

Posted by Philipp Haller  on  Mar 02, 2014 2

Philipp Haller explains how to make Rx programming more natural and intuitive by generalizing Scala's Async which, so far, has been used to program with non-blocking futures in a familiar direct style

48:25

Onward! — Does Thought Crime Pay?

Posted by Gilad Bracha  on  Mar 02, 2014

Gilad Bracha ponders how Lisp, Simula, Actors, Beta, Smalltalk and Self give us C++, Java, Javascript, Perl, Python and PHP, speculating what new wonders await programmers down the road.

42:10

PHP, Seriously!

Posted by Keith Adams  on  Feb 26, 2014 2

Keith Adams examines the strengths that made PHP a dominant language in its niche, highlighting Facebook's attempts at remedying its inconsistencies and misfeatures while maintaining its strengths.

58:45

Dancing with Symmetry to Harness the Power of Complexity: Subjective Programming in Context

Posted by David Ungar, Harold Ossher  on  Feb 02, 2014 1

The authors introduce a new language paradigm meant to enhance OOP with multi-dimensional context, providing details on context-based dispatch, and showing a glimpse of their early prototype.

General Feedback
Bugs
Advertising
Editorial
Marketing
InfoQ.com and all content copyright © 2006-2015 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT