sts

sts@lists.urchin.earth.li

102 discussions

Release of Tom version 2.5
by Pierre-Etienne Moreau 11 Jul '07

11 Jul '07

Tom 2.5 announcement -------------------- It is our great privilege and pleasure to announce the availability of Tom version 2.5. This release continues our work on the integration of pattern matching and rule based programming facilities into C and Java. Tom is a pattern matching compiler developed at INRIA. It is particularly well-suited for programming various transformations on trees/terms and XML based documents. Its design follows our research on the semantics and the efficient compilation of rule based languages. Many applications have been developed in Tom. Among them, let us mention: - the Tom compiler itself - languages semantics, interpreters and program transformation tools - a generator of canonical abstract syntax trees (Gom) - a Just In Time strategy compiler using dynamic Java bytecode transformation - a proof assistant for supernatural deduction - a compiler algorithm for anti-pattern matching and disunification Tom is a complex compiler which adds powerful constructs to C and Java: rewrite rules, strategies, non linear syntactic matching, associative matching with neutral element (a.k.a. list-matching), XML based pattern matching, string matching, and equational rewriting. This offers the possibility to analyze and transform any kind of data-structure. Tom can be used for large scale developments and applications. It comes with documentation, as well as with programming and debugging support. This new release contains many improvements and new features: - a new compiler based on constraint propagation. This makes the code simpler and ready for combinations of theories. - a new strategy library, simpler to use, more efficient, and ready for graph traversal. - a new "rule" construct to specify conditional rewrite rules that are always applied (the data-structure is in normal form by construction). - a full support of list-operators whose domain is equal to the codomain. This corresponds to associative matching with neutral element (AU). An interesting variant for flattened lists (FL) has also been developed. - the data-structure can be normalized wrt. to associative-commutative (AC) or AC with neutral element (ACU). - any combination of patterns, anti-patterns, and list-operators is fully supported. - the possibility to define terms with pointers. This is very useful to represent, analyze, and transform term-graphs like CFG for example. Tom is available, in open source (GPL/BSD License), from the web page: http://tom.loria.fr/ Best regards, Tom development team

1 0

Victor L Winter is out of the office.
by Victor L Winter 17 Jun '07

17 Jun '07

I will be out of the office starting 06/05/2007 and will not return until 07/02/2007. During this time I will have limited access to the internet.

1 0

PhD on refactoring at Oxford
by Oege.de.Moor＠comlab.ox.ac.uk 17 Jun '07

17 Jun '07

UNIVERSITY OF OXFORD COMPUTING LABORATORY Programming Tools Group Oxford University Computing Laboratory has a fully funded three year research studentship working in the Programming Tools Group with the abc team: http://progtools.comlab.ox.ac.uk http://aspectbench.org PROJECT SUMMARY Software systems are rarely written from scratch: they evolve over long periods of time. When a change is made, this often affects many different locations in a system, and it is hard to make a change consistently. For that reason, automated tools to help the process of software change are desirable. "Refactoring" refers to the process of restructuring an existing piece of software, often prior to introducing new functionality, or to take advantage of a new technology. Refactoring must preserve the behaviour of existing code, and tools that help in refactoring both assist in the restructuring process and in checking that the behaviour has not changed. Unfortunately today's refactoring tools are very hard to construct, they are still quite limited in functionality, and they often contain bugs. This project aims to construct a framework for better refactoring tools. In particular, the work is driven by refactorings for a new set of language features, called `aspect-oriented programming' that have recently been added to Java. Our framework will be based on developments in three separate areas of computer science: * "strategies" to control the process of rewriting program code, from the term rewriting community * "reference attribute grammars" to specify the conditions that guarantee behaviour is preserved, from the compilers community * "incremental evaluation" of declarative rules, from the functional and logic programming community. The quality of our framework will be assessed by coding selected case studies using alternative methods. In particular, we shall implement several refactorings directly in Eclipse, the leading development environment for writing aspect-oriented programs in industry. SELECTION CRITERIA The PhD student will be concerned with the theoretical foundations of the refactoring framework, for instance proofs of correctness for refactorings, and also for the incremental evaluation mechanism. We are thus looking for someone with good mathematical skills, in particular regarding formal properties of type systems and program analyses. Candidates must have an outstanding undergraduate or master's degree in computer science. More generally, candidates must satisfy the usual requirements: http://web.comlab.ox.ac.uk/oucl/prospective/dphil/dphil-criteria.pdf for doing a doctorate at Oxford. HOW TO APPLY The deadline for applications has been extended to July 17, 2007, but earlier applications will be reviewed immediately, so candidates are encouraged to apply as soon as possible. Previous applicants need not re-apply. To apply you need to download the University's application form from: http://www.admin.ox.ac.uk/postgraduate/apply/forms You will need to submit references and a transcript with your application. It is also required to submit a research proposal: in this proposal, please elaborate on the reasons why you are interested in this project, and the research questions you find most exciting and important to address within the scope of the project. To make a convincing proposal, you may wish to consult some of the suggested reading below. Please submit your application to: Mrs. Julie Sheppard Secretary for Graduate Studies Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom AND NOT TO THE ADDRESS ON THE APPLICATION FORM FURTHER INFORMATION We are happy to discuss any of the above informally with prospective candidates. Just email one or all of the project leaders: Oege de Moor (oege(a)comlab.ox.ac.uk) Torbjorn Ekman (torbjorn(a)comlab.ox.ac.uk) Mathieu Verbaere (matv(a)comlab.ox.ac.uk) SUGGESTED READING Avgustinov et al, Semantics of Static Pointcuts in AspectJ, POPL 2007 http://progtools.comlab.ox.ac.uk/members/oege/publications/documents/pcsema… Ekman and Hedin. Rewritable Reference Attributed Grammars, ECOOP 2004. http://www.cs.lth.se/gorel/publications/2004-ReRAGs-LNCS.pdf Verbaere, Ettinger and De Moor. JunGL: a Scripting Language forRefactoring, ICSE 2006 http://progtools.comlab.ox.ac.uk/publications/icse06jungl Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools and Systems in StrategoXT-0.9. Domain-specific program generation. http://www.cs.uu.nl/research/techreps/UU-CS-2004-011.html

1 0

New book on software generation
by Tony Sloane 22 May '07

22 May '07

[Apologies if you receive this mail via multiple lists] Please excuse a small moment of self-publicity, but readers of this list may well be interested in the following new book: Generating Software from Specifications Uwe Kastens, Anthony Sloane, William Waite Jones and Bartlett, MA, USA January 2007 Blurb: "Generating Software From Specifications discusses how to leverage existing generation technology to achieve software reuse and thereby reduce the cost and improve the reliability of software. The authors approach can be applied incrementally, without disrupting current projects or requiring changes in existing programs or methodology. Robust, public-domain tools are available to support these component-based software development techniques on a number of levels, from simple turn key operations to custom software generation." The book is based on our experiences from creating and using the Eli Language Processor Generation System over almost twenty years. Examples and case studies are drawn from the Eli system, but the techniques discussed can be applied in a large variety of settings. Full information including table of contents can be found at the publishers website: http://www.jbpub.com/catalog/0763741248/

1 0

EPRIDE Workshop - Extensible Program Representations
by Torbjörn Ekman 07 May '07

07 May '07

* Call for Participation: Workshop on Extensible Program Representations for Interactive Development Environments (*EPRIDE*)* * * The *EPRIDE* 2007 Workshop will be held on Monday July 30th, immediately preceding ECOOP (European conference on Object-Oriented Programming) in Berlin. The thesis of the workshop is that no single, pre-defined representation of programs in an IDE can possibly be adequate for all of the uses that may emerge; instead, we must focus on extensible representations. How can we engineer representations that are extensible and efficient, and yet provide clients with a simple way of getting the information that they need? The workshop aims to bring together those involved in building plugins and restructuring tools for IDEs — the consumers of information about the program — and those involved in developing parsers and program analyses that /create/ the information needed for the tools — the providers of information. For more information, and to find out how to participate, please go to http://c2.com/w4/*epride* <http://c2.com/w4/epride> . The deadline for applications is 13th May.

1 0

summer school on transformation/generation in SE, in Braga, Portugal, 1-7 July
by Ralf Laemmel 23 Apr '07

23 Apr '07

Dear transformationists, please participate or encourage your students to apply. http://www.di.uminho.pt/GTTSE2007 Hoping to see some of you in Braga in July. Here is the packed and splendid program. Tutorials at GTTSE 2007 - Model-Based Evolution. Krzysztof Czarnecki, University of Waterloo. - Software Linguistics and Language Engineering. Jean-Marie Favre, University of Grenoble. - Software Reuse Beyond Components with XVCL. Stan Jarzabek, National University of Singapore. - OO queries over OO programs with .QL. Oege de Moor, Oxford University. - Data Transformation by Calculation. José Nuno Oliveira, University of Minho, Portugal. - How to Write Fast Numerical Code. Markus Pueschel, Carnegie Mellon University. - A Practical Guide to Building Staged Interpreters. Walid Taha, Rice University. - Domain-Specific Language Engineering. Eelco Visser, Delft University of Technology, The Netherlands. Technology presentations at GTTSE 2007 - Optimizing Monolithic Compilation in the Google Web Toolkit. Scott Blum, Google, USA. - SAFARI: Meta-Tooling for Language-Specific IDE's in Eclipse. Robert M Fuhrer, IBM Watson Research Center, USA. - Model-Driven Engineering of Rules for Web Services. Dragan Gasevic, Athabasca University, Canada. - A transformational approach to programming environments. Cristina Videira Lopes, University of California, USA. - Implementing Tutorials Transformations with Tom and Java. Pierre-Etienne Moreau, INRIA/LORIA Nancy, France. - Building composable domain-specific language extensions. Eric Van Wyk, University of Minnesota, USA. - Bidirectional model transformations. Perdita Stevens, University of Edinburgh, UK. - Techniques for lightweight DSL development in Converge. Laurence Tratt, King's College, London, UK Links: http://www.di.uminho.pt/GTTSE2007 http://blogs.msdn.com/ralflammel/archive/2007/04/11/another-8-transformatio… http://blogs.msdn.com/ralflammel/archive/2007/03/07/language-engineering-su… Best, Ralf Laemmel

1 0

Last CFP: WFLP 2007, Paris, June25
by Rachid Echahed 20 Apr '07

20 Apr '07

Submissions of abstracts: April, 22 Submissions of papers: April, 29 ====================================================================== Call For Papers WFLP 2007 16th International Workshop on Functional and (Constraint) Logic Programming Paris, France, June 25th 2007 http://www.rdp07.org/wflp.html Part of RDP 2007 http://www.rdp07.org/ ====================================================================== SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms.It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). TOPICS WFLP'07 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, rewriting and narrowing, constraint solving, dynamics, type theory * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools PROGRAM COMMITTEE Sergio Antoy Portland State University (USA) Rachid Echahed (Chair) CNRS,laboratoire LIG, Grenoble (France) Santiago Escobar Technical University of Valencia (Spain) Moreno Falaschi Universita di Siena (Italy) Michael Hanus Christian-Albrechts-Universität zu Kiel(Germany) Tetsuo Ida University of Tsukuba (Japan) Herbert Kuchen Westfalische Wilhelms-Universitat Munster(Germany) Francisco J. López-Fraguas Universidad Complutense de Madrid (Spain) Wolfgang Lux Westfalische Wilhelms-Universitat Munster(Germany) Mircea Marin University of Tsukuba (Japan) José Meseguer University of Illinois at Urbana-Champaign (USA) Juan J. Moreno-Navarro Universidad Politecnica de Madrid (Spain) Germán Vidal Technical University of Valencia (Spain) SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers and system descriptions. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/WFLP2007/ Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. These submissions will pass through a second round of reviewing. Accepted contributions will be published as a special issue of Electronic Notes in Theoretical Computer Science ENTCS, Elsevier). Any problems with the submission procedure should be reported to Rachid.Echahed(a)imag.fr IMPORTANT DATES Submissions of abstracts: April, 22 Submissions of papers: April, 29 Notification to authors: May, 23 Final version due : June, 10 WFLP 2007: June, 25 CONTACT Rachid Echahed CNRS, Laboratoire LIG 46, avenue Felix Viallet Grenoble France Email: Rachid.Echahed(a)imag.fr ======================================================================

1 0

2nd CFP: WFLP 2007, Paris ,June 25
by Rachid Echahed 05 Apr '07

05 Apr '07

Submissions of abstracts: April, 22 Submissions of papers: April, 29 ====================================================================== 2nd Call For Papers WFLP 2007 16th International Workshop on Functional and (Constraint) Logic Programming Paris, France, June 25th 2007 http://www.rdp07.org/wflp.html Part of RDP 2007 http://www.rdp07.org/ ====================================================================== SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms.It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). TOPICS WFLP'07 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, rewriting and narrowing, constraint solving, dynamics, type theory * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools PROGRAM COMMITTEE Sergio Antoy Portland State University (USA) Rachid Echahed (Chair) CNRS,laboratoire LIG, Grenoble (France) Santiago Escobar Technical University of Valencia (Spain) Moreno Falaschi Universita di Siena (Italy) Michael Hanus Christian-Albrechts-Universität zu Kiel(Germany) Tetsuo Ida University of Tsukuba (Japan) Herbert Kuchen Westfalische Wilhelms-Universitat Munster(Germany) Francisco J. López-Fraguas Universidad Complutense de Madrid (Spain) Wolfgang Lux Westfalische Wilhelms-Universitat Munster(Germany) Mircea Marin University of Tsukuba (Japan) José Meseguer University of Illinois at Urbana-Champaign (USA) Juan J. Moreno-Navarro Universidad Politecnica de Madrid (Spain) Germán Vidal Technical University of Valencia (Spain) SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers and system descriptions. Papers should be submitted electronically via the web-based submission site http://www.easychair.org/WFLP2007/ Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. These submissions will pass through a second round of reviewing. Accepted contributions will be published as a special issue of Electronic Notes in Theoretical Computer Science (ENTCS, Elsevier). Any problems with the submission procedure should be reported to Rachid.Echahed(a)imag.fr IMPORTANT DATES Submissions of abstracts: April, 22 Submissions of papers: April, 29 Notification to authors: May, 23 Final version due : June, 10 WFLP 2007: June, 25 CONTACT Rachid Echahed CNRS, Laboratoire LIG 46, avenue Felix Viallet Grenoble France Email: Rachid.Echahed(a)imag.fr ======================================================================

1 0

WFLP 2006 - SECOND CALL FOR PAPERS
by Francisco J. Lopez Fraguas 28 Feb '07

28 Feb '07

[Please distribute -- Apologies for multiple copies] SECOND CALL FOR PAPERS WFLP 2006 - 14th Workshop on Functional and (Constraint) Logic Programming Facultad de Informatica - Universidad Complutense de Madrid Madrid, Spain, November 16-17, 2006 http://gpd.sip.ucm.es/fraguas/wflp06/ General ======= The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as their integration. It promotes the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). Topics ====== WFLP'06 solicits papers in all areas of functional and (constraint) logic programming, including (but not limited to): * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Foundations: formal semantics, rewriting and narrowing, non-monotonic reasoning, dynamics, type theory * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools The main focus is on new and original research results but submissions describing innovative products, prototypes under development or interesting experiments (e.g., benchmarks) are also encouraged. Submission ========== Authors are invited to submit an abstract and a list of keywords not later than July 13, 2006, and a complete paper (no longer than 14 pages including figures and references) not later than July 20, 2006. Submission -including the previous abstract-- should be done using the WFLP'06 submission web page (http://www.easychair.org/WFLP06/). Authors must follow the ENTCS instructions (http://www.entcs.org/prelim.html) for preparing files for publication in preliminary versions of ENTCS volumes for distribution at meetings. Publication =========== The proceedings of the workshop will be published as a special number of Electronic Notes in Theoretical Computer Science (Elsevier) after the workshop. A preprint of the proceedings will be available to the participants during the workshop. Program Committee ================= Sergio Antoy Portland State University (USA) Rafael Caballero Universidad Complutense de Madrid (Spain) Agostino Dovier Universita di Udine (Italy) Rachid Echahed Institut IMAG (France) Santiago Escobar Universidad Politecnica de Valencia (Spain) Moreno Falaschi Universita di Siena (Italy) Michael Hanus Christian-Albrechts-Universitat zu Kiel (Germany) Frank Huch Christian-Albrechts-Universitat zu Kiel (Germany) Tetsuo Ida University of Tsukuba (Japan) Herbert Kuchen Westfalische Wilhelms-Universitat Munster (Germany) Francisco J. Lopez-Fraguas (chair) Univ. Complutense de Madrid (Spain) Wolfgang Lux Westfalische Wilhelms-Universitat Munster (Germany) Mircea Marin University of Tsukuba (Japan) Julio Mariño Universidad Politecnica de Madrid (Spain) Juan J. Moreno-Navarro Universidad Politecnica de Madrid (Spain) German Vidal U. Politecnica de Valencia (Spain) Important dates =============== Submissions of abstracts: July 13, 2006 Submissions of papers: July 20, 2006 Notification to authors: September 25, 2006 Final version: October 7, 2006 WFLP 2006: November 16-17, 2006 Invited Talks ============= José Meseguer (Univ. Illinois at Urbana) Title: to be announced Contact ======= Francisco Javier Lopez Fraguas fraguas(a)sip.ucm.es Prof. Titular Dep. Sistemas Informaticos y Programacion Facultad Informatica Universidad Complutense de Madrid Prof. Jose Garcia Santesmases s/n 28040 Madrid SPAIN Phone: +34 91 3947630 Fax: +34 91 3947529 ******************************** Francisco J. Lopez Fraguas Dep. Sistemas Informaticos y Programacion Fac. Informatica U. Complutense Madrid Prof. García Santesmases s/n 28040 Madrid Spain Tel: +34 91 3947630 ********************************

2 1

AOSD 2007: call for participation
by Oege.de.Moor＠comlab.ox.ac.uk 26 Feb '07

26 Feb '07

AOSD 2007 International Conference on Aspect-Oriented Software Development Vancouver, BC, March 12-16 AOSD is the premier conference on software modularity that crosscuts traditional abstraction boundaries. This year's programme includes several papers from related communities, and a schedule of the research track is included below. The full proceedings can already be accessed in the ACM digital library at: http://portal.acm.org/toc.cfm?id=1218563&idx=SERIES10702&type=proceeding&co… Furthermore citation details are available on DBLP at http://www.informatik.uni-trier.de/~ley/db/conf/aosd/aosd2007.html For further information on AOSD 2007 and to register, visit http://aosd.net/conference The deadline for the hotel discount is this Friday. -------------------------------------------------- AOSD 2007: RESEARCH PROGRAM Session 1: Applications Wednesday, 11:00-12:30 Session Chair: Laurie Hendren Aspect-Oriented Application-Level Scheduling for J2EE Servers Kenichi Kourai, Tokyo Institute of Technology Hideaki Hibino, Tokyo Institute of Technology Shigeru Chiba, Tokyo Institute of Technology Framework Specialization Aspects André Santos, Tampere University of Technology Antónia Lopes, University of Lisbon Kai Koskimies, Tampere University of Technology An Aspect-Oriented Approach to Bypassing Middleware Layers Omer Demir, University of California Davis Premkumar Devanbu, University of California Davis Eric Wohlstadter, University of British Columbia Stefan Tai, IBM Research Session 2: Early aspects, models and design Wednesday, 14:00-15:30 Session Chair: Eric Eide Semantics-Based Composition for Aspect-Oriented Requirements Engineering Ruzanna Chitchyan, Lancaster University Awais Rashid, Lancaster University Paul Rayson, Lancaster University Robert Waters, Lancaster University >From Aspect-Oriented Design to Aspect-Oriented Programs: tool-supported translation of JPDDs into Code Stefan Hanenberg, University of Duisburg-Essen Dominik Stein, University of Duisburg-Essen Rainer Unland, University of Duisburg-Essen A Static Aspect Language for Checking Design Rules Clint Morgan, University of British Columbia Kris De Volder, University of British Columbia Eric Wohlstadter, University of British Columbia Session 3: Tools Wednesday, 16:00-17:30 Session Chair: Mik Kersten Expressive Programs through Presentation Extension Andrew D. Eisenberg, University of British Columbia Gregor Kiczales, University of British Columbia A Graph-Based Approach to Modelling and Detecting Composition Conflicts Related to Introductions Wilke Havinga, University of Twente Istvan Nagy, ASML Lodewijk Bergmans, University of Twente Mehmet Aksit, University of Twente Debugging with Control-Flow Breakpoints Rick Chern, University of British Columbia Kris De Volder, University of British Columbia Session 4: Programming language semantics Thursday, 11:00-12:30 Session Chair: Hidehiko Masuhara Open Bisimulation for Aspects Radha Jagadeesan, School of CTI, DePaul University Corin Pitcher, School of CTI, DePaul University James Riely, School of CTI, DePaul University Tribe: A simple Virtual Class Calculus Dave Clarke, Centrum voor Wiskunde en Informatica (CWI) Sophia Drossopoulou, Imperial College London James Noble, Victoria University of Wellington Tobias Wrigstad, Stockholm University Fully Abstract Semantics of Additive Aspects by Translation Sam Sanjabi, Oxford University Computing Laboratory Luke Ong, Oxford University Computing Laboratory Session 5: Programming languages Thursday, 14:00-16:00 Session Chair: Awais Rashid Conservative Aspect-Orientated Programming with the e-language Matan Vax, Cadence Design SCOPE: an AspectJ Compiler for Supporting User-Defined Analysis-Based Pointcuts Tomoyuki Aotani, University of Tokyo, Japan Hidehiko Masuhara, University of Tokyo Declarative Failure Recovery for Sensor Networks Ramakrishna Gummadi, Univerity of Southern California Nupur Kothari, Univerity of Southern California Todd Millstein, University of California at Los Angeles Ramesh Govindan, Univerity of Southern California cJ: Enhancing Java with Safe Type Conditions Shan Shan Huang, Georgia Institute of Technology David Zook, Georgia Institute of Technology Yannis Smaragdakis, University of Oregon Panel: Beyond AspectJ: AOP languages in 2017 Thursday, 16:30-18:00 What will the next generation of aspect-oriented programming languages look like? How will they be different from AspectJ? Must they support obliviousness? How will aspect interfaces be specified? In what form will open classes be present? Or will aspects turn out to be an instance of a more general and elegant modularisation mechanism? panelists: Theo d'Hondt, Vrije Universiteit Brussels, Belgium Hidehiko Masuhara, University of Tokyo, Japan Klaus Ostermann, Technical University Darmstadt, Germany Yannis Smaragdakis, University of Oregon, USA Session 6: Aspect mining Friday, 11:00-12:30 Session Chair: Yvonne Coady Simple Cross-Cutting Concerns are not so Simple Magiel Bruntink, Centrum voor Wiskunde en Informatica Arie van Deursen, Delft University of Technology Maja D'Hondt, Centrum voor Wiskunde en Informatica Tom Tourwé, Eindhoven University of Technology Using Natural Language Program Analysis to Locate and Understand Action-Oriented Concerns David Shepherd, University of Delaware Zachary Fry, University of Delaware Emily Hill, University of Delaware K. Vijay-Shanker, University of Delaware Lori Pollock, University of Delaware Efficiently Mining Crosscutting Concerns Through Random Walks Charles Zhang, University of Toronto Hans-Arno Jacobsen, University of Toronto

1 0

← Newer
1
2
3
4
5
6
7
8
9
10
11
Older →

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

sts