- Calculatrice en ligne: un chiffre rond, multiplier, diviser, soustraire, ajouter des numeros, tangente, sinus, cosinus, cotangente.
We are pleased to announce three keynote speakers, that includes the two AiTO Dahl-Nygard prize winners: Craig Chambers and Atsushi Igarashi, for this years ECOOP.
Craig Chambers, "Expressiveness, Simplicity, and Users"
Abstract: I have worked on several different language design and optimizing compiler projects, and I am often surprised by which ideas turn out to be the most successful. Oftentimes it is the simplest ideas that seem to get the most traction in the larger research or user community and therefore have the greatest impact. Ideas I might consider the most sophisticated and advanced can be challenging to communicate, leading to less influence and adoption. This effect is particularly pronounced when seeking to gain adoption among actual users, as opposed to other researchers. In this talk I will discuss examples of the tradeoffs among sophistication, simplicity, and impact in my previous research work in academia and in my current work at Google.
Bio: Craig Chambers received his S.B. degree from MIT in 1986, where he worked with Barbara Liskov on the Argus project. He received his Ph.D. in Computer Science from Stanford University in 1992, working with David Ungar on the Self project. He was on the faculty of the Department of Computer Science and Engineering at the University of Washington from 1991 to 2007, culminating in the rank of full Professor. There he led several research efforts, including the Cecil language and Vortex optimizing compiler projects, and was fortunate to work with many outstanding students. Since 2007 he has been at Google, where he gets to program nearly full time, in large part developing easy-to-use massively-parallel programming systems. He has published widely at ECOOP, OOPSLA, PLDI, POPL, TOPLAS, and other object-oriented and programming languages conferences and journals.
Atsushi Igarashi, "A Featherweight Approach to FOOL"
Abstract: It has always been challenging research topics to lay solid foundations such as formal semantics and type systems for object-oriented programming languages. It is challenging because advanced language constructs for high-level abstraction have inherent (and often unintended) complexity and the interaction caused by their combinations can be very wild. One effective approach to the complexity and wildness is to focus only on a relevant language core, which makes the problem tractable. This talk will discuss benefits and also limitations of such a ``featherweight'' approach to
foundations of object-oriented languages (FOOL), along with a review of my work in this research area, and draw some lessons I've learned to make it work.
Bio: Atsushi Igarashi is an Associate Professor at Dept. of Intelligence Science and Technology, Graduate School of Informatics, Kyoto University. He received his B.S., M.S., and D.S. (PhD-equivalent) degrees from Department of Information Science, University of Tokyo in 1995, 1997, and 2000, respectively. His main research interests are in programming languages, especially, applications of type theory to various domains, including static analysis, process calculi, multi-stage programming, not to mention object-orientation. He has served on programming committees for international conferences such as POPL, OOPSLA, ECOOP, APLAS, TLCA, and AOSD.
Bart J.F. De Smet, "Category Theory, Monads, and Duality in the World of (Big) Data"
Abstract: For the past decade, our team has been on a quest to democratize developing data-intensive distributed applications. The secret weapon to slay the complexity dragon has been category theory and monads, but in particular the concept of duality. As it turns out, the data domain is an extremely rich source of all kinds of interesting dualities. These dualities are not just theoretical curiosities, but actually solve many practical problems and help to uncover deep similarities between concepts that at first look totally unrelated. In this talk we will illustrate several of the dualities we have encountered during our journey, and show how this resulted in a novel "A co-Relational Model of Data for Large Shared Data Banks".
Bio: Bart De Smet is a Software Development Engineer on the Cloud Programmability Team at Microsoft, an avid blogger and a popular speaker on various international conferences. In his current role, he’s actively involved in the design and implementation of Reactive Extensions for .NET (Rx) and on an extended “LINQ to Anything” mission. His main interests include programming languages, runtimes, functional programming, and all sorts of theoretical foundations. Before joining the company, Bart was a C# MVP for four years, while completing his Master of Civil Engineering and Computer Science studies at Ghent University, Belgium.
In addition to the three main keynote speakers we will also have a banquet speech:
Alan Kay, "Normal Considered Harmful"
Abstract: In the 60s and 70s the reaction to enormous unwieldy programs was to invent much higher level languages whose abstractions better captured the ideas and allowed the programs to shrink to a size more in line with the amount of meaning in the intent. The last 30 years have seen even larger multi-million line programs, but with no new inventions in power of expression. Have we reached a dead end, gotten complacent, or has the field forgotten how to criticize itself into action to invent better approaches to large system building?
Bio: Alan Kay is one of the earliest pioneers of object-oriented programming, personal computing, and graphical user interfaces. His contributions have been recognized with: the Charles Stark Draper Prize, the Alan. M. Turing Award and the Kyoto Prize. While at the ARPA project at the University of Utah in the late 60s, he invented dynamic object-oriented programming and went on to invent SmallTalk while at Xerox Palo Alto Research Center in the Early 70's. At Viewpoints Research Institute he and his colleagues continue to explore advanced systems and programming design by aiming for a “Moore’s Law” advance in software creation of many orders of magnitude. Kay and Viewpoints are also deeply involved in the One Laptop Per Child initiative that seeks to create a Dynabook-like “$100 laptop” for every child in the world (especially in the 3rd world).