InfoQ Homepage SPLASH 2012 Content on InfoQ
-
Go at Google
Rob Pike explains how Google designed Go to address major development issues they encounter while using other languages: long build times, poor dependency management, lack of robustness, etc.
/presentations/Go-Google/en/mediumimage/Robbig.jpg)
-
Formal Specification of a JavaScript Module System
In this paper, we propose a formal specification of a JavaScript module system. A module system for JavaScript will allow safe and incremental development of JavaScript web applications.
/presentations/JavaScript-Module-System/en/mediumimage/Ryubig.jpg)
-
Eval Begone!: Semi-Automated Removal of Eval from JavaScript Programs
Gregor Richards introduces Evalorizer, a heuristics based tool which is meant to replace JavaScript eval constructs with safer JavaScript correspondents.
/presentations/Eval-JavaScript/en/mediumimage/Gregorbig.jpg)
-
Dependent Types for JavaScript
Ravi Chugh introduces Dependent JavaScript (DJS), a statically-typed system for the imperative, object-oriented, dynamic language.
/presentations/Type-System-JavaScript/en/mediumimage/Ravibig.jpg)
-
The HipHop Compiler for PHP
Guilherme Ottoni presents the design, implementation, and an evaluation of the HipHop compiler for PHP.
/presentations/HipHop-Compiler-PHP/en/mediumimage/Haibig.jpg)
-
MySQL to NoSQL: Data Modeling Challenges in Supporting Scalability
Kenneth M. Anderson shares some of the data modeling issues encountered while transitioning from a relational database to NoSQL.
/presentations/MySQL-NoSQL-Data-Modeling/en/mediumimage/Andersonbig.jpg)
-
Reflections on Reflection
Jim Coplien believes that we have done OOP the wrong way for 40 years, and suggests an approach to reflection based on the DCI paradigm and influenced by the human society.
/presentations/Reflection-OOP-Social/en/mediumimage/Jimbig.jpg)
-
Socio-PLT: Principles for Programming Language Adoption
Leo A. Meyerovich explains how social adoption patterns can help language designers make new languages that are inherently attractive and desirable by developers.
/presentations/Socio-PLT/en/mediumimage/Leobig.jpg)
-
Cognitive Architectures: A Way Forward for the Psychology of Programming
Michael Hansen presents the ACT-R cognitive architecture, a simulation framework for psychological models, showing how it could be used to measure the impact of various programming paradigms.
/presentations/Cognitive-Architectures/en/mediumimage/Michaelbig.jpg)
-
Liberating the Programmer with Prorogued Programming
Mehrdad Afshari introduces prorogued programming, a new programming paradigm based on 3 principles: proroguing concerns, hybrid computation and executable refinement.
/presentations/Prorogued-Programming/en/mediumimage/Mebig.jpg)
-
Internet Voting: An Idea whose Time has Not Come
Barbara Simons examines some of the threats of Internet voting in the hope of encouraging the technical community to oppose Internet voting unless and until these threats can be eliminated.
/presentations/Internet-Voting/en/mediumimage/BarbaraBIG.jpg)
-
Migration to Model Driven Engineering in the Development Process of Distributed Scientific Application Software
Daniel Rahon, Sébastien Schneider, Raphael Gayno, Jean Marc Gratien, Goulwen Le Fur present the process used in the development of distributed scientific applications at IFP Energies Nouvelles, France
/presentations/Process-Distributed-Scientific/en/smallimage/Jean.JPG)