BT
Older rss
13:47

Flint: Fixing Linearizability Violations

Posted by Peng Liu, Omer Tripp, Xiangyu Zhang  on  Apr 23, 2015

The presenters introduce Flint, an automated fixing algorithm for composed Map operations suffering from atomicity violations, being able to fix 96% of the 48 faulty methods found in 27 popular apps.

18:22

Finding Minimum Type Error Sources

Posted by Zvonimir Pavlinovic, Tim King, Thomas Wies  on  Apr 17, 2015

The presenters discuss a framework for automatic localization of minimum type errors, demonstratively implemented for Hindley-Milner type systems and evaluated against OCaml benchmarks.

20:14

CheckCell: Data Debugging for Spreadsheets

Posted by Dan Barowy, Dimitar Gochev, Emery Berger  on  Apr 09, 2015

The presenters introduce CheckCell, an Excel add-on used to identify cells that have an unusually high impact on the spreadsheet’s computations.

15:35

Refactoring Java Generics by Inferring Wildcards, In Practice

Posted by John Altidor, Yannis Smaragdakis  on  Mar 30, 2015

John Altidor, Yannis Smaragdakis discuss an algorithm for refactoring and inferring more general type instantiations of Java generics using wildcards without changes to the Java type system.

16:59

Confined Gradual Typing

Posted by Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter  on  Mar 18, 2015

The authors discuss gradual typing, combining static’s safety and dynamic’s flexibility in a single programming language by implicitly inserting casts where needed.

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.

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