23. OOPSLA 2008:
Nashville, TN, USA - Companion
Gail E. Harris (Ed.):
Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA.
ACM 2008, ISBN 978-1-60558-220-7
Practitioner reports:
refactoring and method agility
Practitioner reports:
state of the art architectures for transportation and astronomy
Practitioner reports:
overcoming non-functional challenges in development and integration
Demonstrations
- Mirco Bianco, Alberto Sillitti, Giancarlo Succi:
SyQL: an object oriented, fuzzy, temporal query language for repositories of software artifacts.
715-716

- Martin Lippert:
Aspect weaving for OSGi.
717-718

- Kristoffer Dyrkorn, Frank Wathne:
Automated testing of non-functional requirements.
719-720

- Anya Helene Bagge, Valentin David, Magne Haveraaen:
Axiom-based testing for C++.
721-722

- Matthew M. Papi, Mahmood Ali, Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java.
723-724

- Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst:
Enforcing reference and object immutability in Java.
725-726

- Michael Klenk, Reto Kleeb, Martin Kempf, Peter Sommerlad:
Refactoring support for the groovy-eclipse plug-in.
727-728

- Elizabeth L. Murnane, Vineet Sinha:
Interactive exploration of compacted visualizations for understanding behavior in complex software.
729-730

- Magne Haveraaen, Karl Trygve Kalleberg:
JAxT and JDI: the simplicity of junit applied to axioms and data invariants.
731-732

- Emanuele Danovaro, Tadas Remencius, Alberto Sillitti, Giancarlo Succi:
PEM: experience management tool for software companies.
733-734

- Adityanand Pasumarthi:
Quota queue: a new queue data structure that provides prioritized, predictable, guaranteed and fair dequeue mechanism.
735-736

- Sérgio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves:
Supporting software product lines development: FLiP - product line derivation tool.
737-738

- Bernd Mathiske:
The maxine virtual machine and inspector.
739-740

- Marwan Abi-Antoun, Jonathan Aldrich:
Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture.
741-742

- Marwan Abi-Antoun, Jonathan Aldrich:
Tool support for the static extraction of sound hierarchical representations of runtime object graphs.
743-744

- Vineet Sinha, Elizabeth L. Murnane, Scott W. Kurth, Edy S. Liongosari, Rob Miller, David R. Karger:
Understanding code architectures via interactive exploration and layout of layered diagrams.
745-746

- Misko Hevery:
Testability explorer: using byte-code analysis to engineer lasting social changes in an organization's software development process.
747-748

- Andrejs Jermakovics, Raimund Moser, Alberto Sillitti, Giancarlo Succi:
Visualizing software evolution with lagrein.
749-750

- Uri Dekel:
eMoose: a memory aid for software developers.
751-752

Posters
- Pradeep Kumar Duraisamy Soundrapandian:
Alias count facilitate ownership transfer.
755-756

- S. Hossein Sadat-Mohtasham:
Arbitrary non-contiguous pieces of computation: a new join point model for aspect-oriented programming.
757-758

- Matthew M. Papi, Mahmood Ali, Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in java.
759-760

- David Lo, Shahar Maoz:
Hierarchical inter-object traces for specification mining.
761-762

- Elizabeth L. Murnane, Vineet Sinha:
Interactive exploration of compacted visualizations for understanding behavior in complex software.
763-764

- Andrew J. Aken:
Mining for computing skills.
765-766

- Clifton Kussmaul:
Novel language syntax to enhance readability: white space, parameter sets, & control structures.
767-768

- Valentin David:
Preparing for C++0x.
769-770

- Emerson R. Murphy-Hill:
Scalable, expressive, and context-sensitive code smell display.
771-772

- Anya Helene Bagge, Valentin David, Magne Haveraaen:
Testing with concepts and axioms in C++.
773-774

- Vineet Sinha, Elizabeth L. Murnane, Scott W. Kurth, Edy S. Liongosari, Rob Miller, David R. Karger:
Understanding code architectures via interactive exploration and layout of layered diagrams.
775-776

- Craig Anslow, James Noble, Stuart Marshall, Ewan D. Tempero:
Visualizing the word structure of Java class names.
777-778

- Danny M. Groenewegen, Zef Hemel, Lennart C. L. Kats, Eelco Visser:
WebDSL: a domain-specific language for dynamic web applications.
779-780

- Michael E. Caspersen, Jürgen Börstler, Adrienne Decker, Carl Alphonce:
Worked examples for sound OO pedagogy: the seventh "killer examples" workshop.
781-782

- Uri Dekel:
eMoose: a memory aid for software developers.
783-784

Panels
- Steven Fraser, Ethan Hadar, Dennis Mancl, Bill Opdyke, David A. Owens, Dirk Riehle, Linda Rising:
Escaped from the lab: innovation practices in large organizations.
787-790

- Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen:
DSLs: the good, the bad, and the ugly.
791-794

- Aki Namioka, Julie A. Adams, Juanita J. Ewing, Nadyne Mielke, J. Eliot B. Moss, Lucy A. Suchman:
From sorceress to scientist: women in computing.
795-796

- Steven Fraser, Ricardo Lopez, Pradeep Kathail, Douglas C. Schmidt, Mary Shaw, Kevin J. Sullivan, Dave A. Thomas:
Collaboration and communication: growing and sustaining ultra large scale (ULS) systems.
797-800

- Steven Fraser, Djenana Campara, Robert Gleichauf, Harriet Pearson, Peter Swire, Laurie Williams:
Privacy and security: what are you doing to keep the community safe?
801-804

Onward! films
Onward! short papers
Workshops
- Tudor Dumitras, Danny Dig, Iulian Neamtiu:
1st ACM workshop on hot topics in software upgrades (HotSWUp 2008).
837-838

- Phil Greenwood, Alessandro Garcia, Elisa L. A. Baniassad, Kevin J. Sullivan, Yuanfang Cai, Alan MacCormack:
2nd workshop on assessment of contemporary modularization techniques (ACoM 2008).
839-842

- Jörg Pechau, Petra Becker-Pechau:
Challenges: agile values meet different value systems.
843-846

- Dennis Mancl, Steven Fraser, William F. Opdyke:
Escaped from the lab: crossing the gap from invention to practice.
847-848

- Richard P. Gabriel, Kevin J. Sullivan:
Extravagaria IV: photographing conferences.
849-852

- Pascal Costanza, Richard P. Gabriel, Robert Hirschfeld, Guy L. Steele Jr.:
Lisp50: The 50th birthday of lisp at OOPSLA 2008.
853-854

- Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip:
Relationships and associations in object-oriented languages.
855-856

- Anders Aas Bjerkestrand, Lars Arne Skår, Ruth G. Lennon, Amir Zeid:
Sixth international workshop on SOA & web services: best practices.
857-858

- Danny Dig, Robert M. Fuhrer, Ralph E. Johnson:
The 2nd workshop on refactoring tools (WRT'08).
859-860

- Juha-Pekka Tolvanen, Jeff Gray, Matti Rossi, Jonathan Sprinkle:
The 8th OOPSLA workshop on domain-specific modeling.
861-864

- Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer:
Virtual machines and intermediate languages for emerging modularization mechanisms.
865-868

- Michael E. Caspersen, Jürgen Börstler, Adrienne Decker, Carl Alphonce:
Worked examples for sound object-oriented pedagogy: a "killer" workshop.
869-870

Educators' symposium
Doctoral symposium
- Uri Dekel:
Designing a memory aid to support software developers.
891-892

- Reinhard Wolfinger:
Plug-in architecture and design guidelines for customizable enterprise applications.
893-894

- Daniel A. Sadilek:
Prototyping domain-specific language semantics.
895-896

- S. Hossein Sadat-Mohtasham:
Arbitrary non-contiguous pieces of computation: a new join point model for aspect-oriented programming.
897-898

- Ayla Dantas:
Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions.
899-900

- Ciera Jaspan:
Checking framework interactions with relationships.
901-902

- Nomair A. Naeem, Ondrej Lhoták:
Validating temporal properties of interacting objects.
903-904

- Nels E. Beckman:
Verifying correct usage of atomic blocks using access permissions.
905-906

Student research competition
- Ronaldo Rodrigues Ferreira:
Automatic code generation and solution estimate for object-oriented embedded software.
909-910

- Marwan Abi-Antoun:
Static extraction and conformance checking of the runtime architecture of object-oriented systems.
911-912

- Yannick Welsch:
Grey-box specifications for object-oriented program components.
913-914

- Kevin Bierhoff:
Checking API protocol compliance in java.
915-916

- Michael Gegick:
Failure-prone components are also attack-prone components.
917-918

- Ritu Arora:
Raising the level of abstraction of application-level checkpointing.
919-920

- Thomas D. LaToza:
Answering control flow questions about code.
921-922

- Donna Malayeri:
CZ: multiple inheritance without diamonds.
923-924

- Adriana E. Chis:
Automatic detection of memory anti-patterns.
925-926

- Munawar Hafiz:
Security oriented program transformations (or how to add security on demand).
927-928

Last update Sun May 26 02:48:19 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page