skip to main content
research-article

Open and Original Problems in Software Language Engineering 2015 Workshop Report

Published:02 June 2015Publication History
Skip Abstract Section

Abstract

OOPSLE is a workshop co-located with a re-engineering conference and serving as a venue for software language engineers to meet outside the SLE conference to discuss either long-standing problems that remain unresolved for years or decades, or oftavoided problems that everyone is so used to work around that they stop noticing them at all. In 2015, it ran for the third time. The list of topics discussed at the workshop, included transformation in the presence of Boolean grammars, natural language software interfaces, formally supported model management, community-aware language design, domain-specific language design choices and uncertainty-aware development. A report such as this one was requested by the participants, but more condensed and general information can be found on our official webpage at http://oopsle.github.io

References

  1. S. T. Acuña, M. Gómez, and N. J. Juzgado. How Do Personality, Team Processes and Task Characteristics Relate to Job Satisfaction and Software Quality? Information & Software Technology, 51(3):627--639, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. K. C. Arnold and H. Lieberman. Managing Ambiguity in Programming by Finding Unambiguous Examples. In OOPSLA, pages 877--884. ACM, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. A. H. Bagge and R. Lämmel. Walk Your Tree Any Way You Want. In ICMT, volume 7909 of LNCS, pages 33--49. Springer, 2013.Google ScholarGoogle Scholar
  4. A. H. Bagge and V. Zaytsev. Workshop on Open and Original Problems in Software Language Engineering (OOPSLE 2013). In WCRE, pages 493--494. IEEE, 2013.Google ScholarGoogle Scholar
  5. A. H. Bagge and V. Zaytsev, editors. Extended Abstracts of the 2th International Workshop on Open and Original Problems in Software Language Engineering, OOPSLE 2014, Antwerpen, Belgium, 2014.Google ScholarGoogle Scholar
  6. A. H. Bagge and V. Zaytsev. International Workshop on Open and Original Problems in Software Language Engineering (OOPSLE 2014). In CSMR-WCRE, page 478. IEEE, 2014.Google ScholarGoogle Scholar
  7. G. M. Bierman, M. Abadi, and M. Torgersen. Understanding TypeScript. In ECOOP, volume 8586 of LNCS, pages 257--281. Springer, 2014.Google ScholarGoogle Scholar
  8. J. R. Cordy. The TXL Source Transformation Language. Science of Computer Programming, 61(3):190--210, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Z. Diskin. Model Synchronization: Mappings, Tiles, and Categories. In GTTSE 2009, volume 6491 of LNCS, pages 92--165. Springer, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Z. Diskin and T. S. E. Maibaum. Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond. In ACCAT, volume 93 of EPTCS, pages 1--21, 2012.Google ScholarGoogle Scholar
  11. Z. Diskin, A. Wider, H. Gholizadeh, and K. Czarnecki. Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization. In Theory and Practice of Model Transformations, volume 8568 of LNCS, pages 57--73. Springer, 2014.Google ScholarGoogle ScholarCross RefCross Ref
  12. Z. Diskin, Y. Xiong, and K. Czarnecki. From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. JOT, 10:1--25, 2011.Google ScholarGoogle ScholarCross RefCross Ref
  13. F. Durán, M. Roldán, J.-C. Bach, E. Balland, M. van den Brand, J. R. Cordy, S. Eker, L. Engelen, M. de Jonge, and K. T. Kalleberg. The Third Rewrite Engines Competition. In WRLA, volume 6381 of LNCS, pages 243--261. Springer, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. S. G. Elbaum and D. S. Rosenblum. Known Unknowns: Testing in the Presence of Uncertainty. In S. Cheung, A. Orso, and M. D. Storey, editors, FSE, pages 833--836. ACM, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. R. Eramo, A. Pierantonio, and G. Rosa. Uncertainty in Bidirectional Transformations. In J. M. Atlee, V. Kulkarni, T. Clark, R. B. France, and B. Rumpe, editors, MiSE, pages 37--42. ACM, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. R. Eramo, A. Pierantonio, and G. Rosa. Representing Uncertainty in Bidirectional Transformations. In D. Di Ruscio and V. Zaytsev, editors, SATToSE 2014, CEUR Workshop Proceedings. CEUR-WS.org, 2015.Google ScholarGoogle Scholar
  17. S. Erdweg, T. van der Storm, M. Völter, M. Boersma, R. Bosman, W. R. Cook, A. Gerritsen, A. Hulshout, S. Kelly, A. Loh, G. Konat, P. J. Molina, M. Palatnik, R. Pohjonen, E. Schindler, K. Schindler, R. Solmi, V. Vergu, E. Visser, K. van der Vlist, G. Wachsmuth, and J. van der Woning. The State of the Art in Language Workbenches. Conclusions from the Language Workbench Challenge. In SLE, volume 8225 of LNCS. Springer, 2013.Google ScholarGoogle Scholar
  18. M. Famelis, R. Salay, and M. Chechik. Partial Models: Towards Modeling and Reasoning with Uncertainty. In M. Glinz, G. C. Murphy, and M. Pezzé, editors, ICSE, pages 573--583. IEEE, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. M. Famelis, R. Salay, A. D. Sandro, and M. Chechik. Transformation of Models Containing Uncertainty. In MoDELS, volume 8107 of LNCS, pages 673--689. Springer, 2013.Google ScholarGoogle Scholar
  20. J. Favreau. Iron Man. Movie by Marvel Studios and Fairview Entertainment, 2008.Google ScholarGoogle Scholar
  21. D. Hilbert. Mathematical Problems. Bulletin of the American Mathematical Society, 33(4):433--479, 1902.Google ScholarGoogle Scholar
  22. E. Hill, L. L. Pollock, and K. Vijay-Shanker. Improving Source Code Search with Natural Language Phrasal Representations of Method Signatures. In ASE, pages 524--527. IEEE, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. M. Hills. Streamlining Control Flow Graph Construction with DCFlow. In SLE, volume 8706 of LNCS, pages 322--341. Springer, 2014.Google ScholarGoogle Scholar
  24. P. Klint, T. van der Storm, and J. Vinju. EASY Meta-programming with Rascal. In GTTSE 2009, volume 6491 of LNCS, pages 222--289. Springer, Jan. 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. R. Knöll and M. Mezini. Pegasus: First Steps Toward a Naturalistic Programming Language. In OOPSLA, pages 542--559. ACM, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. R. Lämmel and A. Varanovich. Interpretation of Linguistic Architecture. In ECMFA, volume 8569 of LNCS, pages 67--82. Springer, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. LDTA 2011. 11th International Workshop on Language Descriptions, Tools and Applications. Tool Challenge, 2011.Google ScholarGoogle Scholar
  28. G. Little and R. C. Miller. Keyword Programming in Java. In ASE, pages 84--93. ACM, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. B. McKenna. The Programming Language Theory Games: a monthly programming language competition, 2012.Google ScholarGoogle Scholar
  30. G. Mussbacher, D. Amyot, R. Breu, J.-M. Bruel, B. H. Cheng, P. Collet, B. Combemale, R. B. France, R. Heldal, J. Hill, J. Kienzle, M. Schöttle, F. Steimann, D. Stikkolorum, and J. Whittle. The Relevance of Model-Driven Engineering Thirty Years from Now. In MoDELS, volume 8767 of LNCS, pages 183--200. Springer, 2014.Google ScholarGoogle Scholar
  31. A. Okhotin. Conjunctive and Boolean Grammars: The True General Case of the Context-Free Grammars. Computer Science Review, 9:27--59, 2013.Google ScholarGoogle Scholar
  32. T. Parr and K. Fisher. LL(*): The Foundation of the ANTLR Parser Generator. In PLDI, pages 425--436. ACM, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. B. C. Pierce, P. Sewell, S. Weirich, and S. Zdancewic. It Is Time to Mechanize Programming Language Metatheory. In Verified Software: Theories, Tools, Experiments, volume 4171 of LNCS, pages 26--30. Springer, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. R. Poss. People-Specific Languages: A Case for Automated Programming Language Generation by Reverse-engineering Programmer Minds. In A. H. Bagge and V. Zaytsev, editors, OOPSLE, pages 15--18, 2014.Google ScholarGoogle Scholar
  35. T. Rendel, J. I. Brachthäuser, and K. Ostermann. From Object Algebras to Attribute Grammars. In OOPSLA, pages 377--395. ACM, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. A. Rensink and P. Van Gorp. Graph Transformation Tool Contest 2008. International Journal on Software Tools for Technology Transfer (STTT), 12(3--4):171--181, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. A. Stevenson and J. R. Cordy. Parse Views with Boolean Grammars. Science of Computer Programming, 97:59--63, 2015.Google ScholarGoogle Scholar
  38. N. Ubayashi, J. Nomura, and T. Tamai. Archface: a Contract Place where Architectural Design and Code Meet Together. In ICSE, pages 75--84. ACM, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. B. Vasilescu, D. Posnett, B. Ray, M. van den Brand, A. Serebrenik, P. Devanbu, and V. Filkov. Gender and Tenure Diversity in GitHub Teams. In CHI. ACM, 2015. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. B. Vasilescu, A. Serebrenik, M. Goeminne, and T. Mens. On the Variation and Specialisation of Workload | A Case Study of the Gnome Ecosystem Community. Empirical Software Engineering, 19(4):955--1008, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  41. V. Zaytsev. Formal Foundations for Semi-parsing. In CSMR-WCRE ERA, pages 313--317. IEEE, Feb. 2014.Google ScholarGoogle Scholar
  42. V. Zaytsev and A. H. Bagge. Parsing in a Broad Sense. In MoDELS, volume 8767 of LNCS, pages 50--67. Springer, 2014.Google ScholarGoogle Scholar

Index Terms

  1. Open and Original Problems in Software Language Engineering 2015 Workshop Report

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM SIGSOFT Software Engineering Notes
      ACM SIGSOFT Software Engineering Notes  Volume 40, Issue 3
      May 2015
      36 pages
      ISSN:0163-5948
      DOI:10.1145/2757308
      Issue’s Table of Contents

      Copyright © 2015 Authors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 2 June 2015

      Check for updates

      Qualifiers

      • research-article

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader