OOPSLA 2009 - The International Conference on Object Oriented Programming, Systems, Languages and Applications /oopsla2009/component/content/frontpage 2023-03-08T19:46:48Z Joomla! 1.5 - Open Source Content Management 2009-01-08T17:01:55Z 2009-01-08T17:01:55Z /oopsla2009/component/content/article/1-home

<div class="front-page"><h5>State-of-the-art meets the state-of-practice...</h5><h5>Practitioners meet Researchers...</h5><h5>Software Engineering meets Programming Languages...</h5><p>At OOPSLA 2009 we will:</p><ul><li>Seed Clouds, Scale and Mash, be Reliable and Agile.</li><li>We will enjoy co-located events: <a href="http://www.wikisym.org/ws2009" target="_blank">WikiSym</a>, Mini-PLoP, <a href="http://www.hpi.uni-potsdam.de/swa/dls/dls-09/" target="_blank">Dynamic Language Symposium</a>, and <a href="http://www.onward-conference.org/" target="_blank">Onward!</a></li><li>Listen to some of the greatest voices in our industry:  <a href="program/invited-speakers/215-oopsla-keynote-speaker-turing-award-lecture-reprise">Barbara Liskov</a>, <a href="program/invited-speakers/223-invited-speaker">Jeannette Wing</a>, <a href="program/invited-speakers/217-scrub-and-spin-stealth-use-of-formal-methods-in-software-development" title="There is something roundly unsatisfactory about the way in which we normally develop software systems, especially large systems. Try as we might, bugs tend to get into the development cycle and they can prove to be very hard to eliminate. We have learned to live with statistics that say that we should expect roughly one residual defect for every one thousand lines of delivered code, post testing. Meanwhile, code sizes for typical applications continue to grow. The control software for a spacecraft, for instance, has grown in the last few decades from a few thousand to a few million lines of code. Do we know any better today than thirty years ago how to write such code reliably? Although truly rigorous formal software verification techniques will probably remain out of reach for large-scale software development for a while longer, I will show that some very practical uses of formal methods have quietly reached the point where they can be used routinely. My example with be the use of two light-weight tools, Scrub and Spin, in the development of mission critical software at JPL.">Gerard Holzmann</a>, <a href="program/invited-speakers/216-onward-keynote-speaker">Tom Malone</a>, <a href="program/invited-speakers/363-community-performance-optimization-making-your-people-run-as-smoothly-as-your-site">Brion Vibber</a>,  <a href="program/invited-speakers/218-moving-fast-at-scale-lessons-learned-at-facebook" title="In just five years Facebook has grown from an idea in a dorm room to one of the most visited sites on the Internet. This has required scaling across many dimensions: more machines, more features, more code, more people developing code, more users and use cases, and more diversity among users. Two of the largest contributors to this popularity have been the performance of the website and the ability to develop new products very quickly. This talk will describe the techniques used at various stages of growth to maintain performance and developer effectiveness through orders of magnitude of growth in each of these dimensions. These techniques range from the release process and tools to code structure and conventions to modifications of the language runtime.">Robert Johnson</a> and many others.</li><li>Attend <a href="http://www.oopsla.org/oopsla2009/program/tutorials">Tutorials</a>, <a href="http://www.oopsla.org/oopsla2009/program/workshops">Workshops</a>, <a href="http://www.oopsla.org/oopsla2009/program/research-program">Research Papers</a>, Lightning Talks, <a href="http://www.oopsla.org/oopsla2009/program/panels">Panels</a>, <a href="program/demonstrations">Demos</a>, <a href="program/social-events/207-poster-reception">Posters</a>, <a href="http://www.oopsla.org/oopsla2009/program/educators-and-trainers-symposium">Educators' and Trainers' Symposium</a>, Doctoral Symposium, <a href="http://www.oopsla.org/oopsla2009/program/designfest">DesignFest®</a>, Onward Essays, Films, etc.</li><li>Continue the tradition of contributing to our community, as we have done with: CRC cards, CLOS, design patterns, Self, the agile methodologies, service-oriented architectures, wikis, Unified Modeling Language (UML), test driven design (TDD), refactoring, Java, dynamic compilation, and aspect-oriented programming.</li></ul><p>That is just a sampling of what makes OOPSLA the conference of choice for software technologists—from recognized academics to undergraduate students, from industrial researchers to developers and managers, from the creators of technology to its users.</p><p>We are proud to offer you OOPSLA and look forward to sharing the experience with you this year in Orlando.</p></div>

<div class="front-page"><h5>State-of-the-art meets the state-of-practice...</h5><h5>Practitioners meet Researchers...</h5><h5>Software Engineering meets Programming Languages...</h5><p>At OOPSLA 2009 we will:</p><ul><li>Seed Clouds, Scale and Mash, be Reliable and Agile.</li><li>We will enjoy co-located events: <a href="http://www.wikisym.org/ws2009" target="_blank">WikiSym</a>, Mini-PLoP, <a href="http://www.hpi.uni-potsdam.de/swa/dls/dls-09/" target="_blank">Dynamic Language Symposium</a>, and <a href="http://www.onward-conference.org/" target="_blank">Onward!</a></li><li>Listen to some of the greatest voices in our industry:  <a href="program/invited-speakers/215-oopsla-keynote-speaker-turing-award-lecture-reprise">Barbara Liskov</a>, <a href="program/invited-speakers/223-invited-speaker">Jeannette Wing</a>, <a href="program/invited-speakers/217-scrub-and-spin-stealth-use-of-formal-methods-in-software-development" title="There is something roundly unsatisfactory about the way in which we normally develop software systems, especially large systems. Try as we might, bugs tend to get into the development cycle and they can prove to be very hard to eliminate. We have learned to live with statistics that say that we should expect roughly one residual defect for every one thousand lines of delivered code, post testing. Meanwhile, code sizes for typical applications continue to grow. The control software for a spacecraft, for instance, has grown in the last few decades from a few thousand to a few million lines of code. Do we know any better today than thirty years ago how to write such code reliably? Although truly rigorous formal software verification techniques will probably remain out of reach for large-scale software development for a while longer, I will show that some very practical uses of formal methods have quietly reached the point where they can be used routinely. My example with be the use of two light-weight tools, Scrub and Spin, in the development of mission critical software at JPL.">Gerard Holzmann</a>, <a href="program/invited-speakers/216-onward-keynote-speaker">Tom Malone</a>, <a href="program/invited-speakers/363-community-performance-optimization-making-your-people-run-as-smoothly-as-your-site">Brion Vibber</a>,  <a href="program/invited-speakers/218-moving-fast-at-scale-lessons-learned-at-facebook" title="In just five years Facebook has grown from an idea in a dorm room to one of the most visited sites on the Internet. This has required scaling across many dimensions: more machines, more features, more code, more people developing code, more users and use cases, and more diversity among users. Two of the largest contributors to this popularity have been the performance of the website and the ability to develop new products very quickly. This talk will describe the techniques used at various stages of growth to maintain performance and developer effectiveness through orders of magnitude of growth in each of these dimensions. These techniques range from the release process and tools to code structure and conventions to modifications of the language runtime.">Robert Johnson</a> and many others.</li><li>Attend <a href="http://www.oopsla.org/oopsla2009/program/tutorials">Tutorials</a>, <a href="http://www.oopsla.org/oopsla2009/program/workshops">Workshops</a>, <a href="http://www.oopsla.org/oopsla2009/program/research-program">Research Papers</a>, Lightning Talks, <a href="http://www.oopsla.org/oopsla2009/program/panels">Panels</a>, <a href="program/demonstrations">Demos</a>, <a href="program/social-events/207-poster-reception">Posters</a>, <a href="http://www.oopsla.org/oopsla2009/program/educators-and-trainers-symposium">Educators' and Trainers' Symposium</a>, Doctoral Symposium, <a href="http://www.oopsla.org/oopsla2009/program/designfest">DesignFest®</a>, Onward Essays, Films, etc.</li><li>Continue the tradition of contributing to our community, as we have done with: CRC cards, CLOS, design patterns, Self, the agile methodologies, service-oriented architectures, wikis, Unified Modeling Language (UML), test driven design (TDD), refactoring, Java, dynamic compilation, and aspect-oriented programming.</li></ul><p>That is just a sampling of what makes OOPSLA the conference of choice for software technologists—from recognized academics to undergraduate students, from industrial researchers to developers and managers, from the creators of technology to its users.</p><p>We are proud to offer you OOPSLA and look forward to sharing the experience with you this year in Orlando.</p></div>