SAC 2017
32nd ACM Symposium on Applied Computing

Special track on
Object Oriented Programming Languages and Systems

SAC 2017

For the past thirty one years, the ACM Symposium on Applied Computing (SAC) has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world.

SAC 2017 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP) and is hosted by the University of Quebec at Montreal, Canada; University Cadi Ayyad (UCA) of Marrakech, Morocco; National School of Engineering in Rabat (EMI), Rabat, Morocco; and National School of Applied Sciences (ENSA) of Kenitra, Morocco.

Call For Student Research Abstracts: Graduate students seeking feedback from the scientific community on their research ideas are invited to submit original abstracts of their research work in areas of experimental computing and application development related to SAC 2017 Tracks. The Student Research Competition (SRC) Program is designed to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest.

For further details see the call for student research abstract and the SRC information sheet.


Object-oriented programming (OOP) has become the mainstream programming paradigm for developing complex software systems in most application domains.

However, existing OO languages and platforms need to evolve to meet the continuous demand for new abstractions, features, and tools able to reduce the time, effort, and cost of creating object-oriented software systems, and improving their performance, quality and usability.

To this aim, OOPS is seeking for research advances bringing benefits in all those typical aspects of software development, such as modeling, prototyping, design, implementation, concurrency and distribution, code generation, analysis, verification, testing, debugging, evaluation, deployment, maintenance, reuse, and software evolution and adaptation.

The specific topics of interest for the OOPS track include, but are not limited to, the following:

  • Aspects and components
  • Code generation, and optimization, just-in-time compilation
  • Context-oriented programming
  • Databases and persistence
  • Distribution and concurrency
  • Dynamic and scripting languages
  • Evaluation
  • Feature Oriented Software Development and Programming
  • Formal verification
  • Internet of Things technology and programming
  • Integration with other paradigms
  • Interoperability, versioning and software evolution and adaptation
  • Language design and implementation
  • Modular and generic programming
  • Reflection, meta-programming
  • Runtime verification and monitoring
  • Secure and dependable software
  • Static analysis
  • Testing and debugging
  • Type systems and type inference
  • Virtual machines


Davide Ancona
DIBRIS, University of Genova
(davide AT disi.unige.it)
  • From Object-Oriented Code with Assertions to Behavioural Types.
    Claudio Vásconcelos, António Ravara
  • Crossing Abstraction Barriers when Debugging In Dynamic Languages.
    Bastian Kruck, Tobias Pape, Tim Felgentreff, Robert Hirschfeld
  • Detecting Spring Configurations Errors.
    Vincent von Hof, Konrad Fögen, Herbert Kuchen
  • A Type and Effect System for Sharing (poster paper).
    Paola Giannini, Marco Servetto, Elena Zucca
Submission of regular papers and SRC abstracts
September 29 October 7, 2016
Paper and SRC notifications
November 10 November 18, 2016
Paper and SRC camera-ready copies
November 25 December 2, 2016
Author registration
December 10, 2016
SAC 2017
April 3 - 7, 2017


  • Lorenzo Bettini, University of Firenze, Italy
  • Viviana Bono, University of Torino, Italy
  • Eden Burton, McMaster University, Canada
  • João Costa Seco, Universidade Nova de Lisboa, Portugal
  • Taees Eimouri, University of New Brunswick, Canada
  • Erik Ernst, Google
  • Paola Giannini, University of Piemonte Orientale, Italy
  • Robert Hirschfeld, Hasso-Plattner-Institut, University of Potsdam, Germany
  • Jaakko Järvi, Texas A&M University, USA
  • Clinton Jeffery, University of Idaho, USA
  • Doug Lea, Suny Oswego, USA
  • Hidehiko Masuhara, Tokyo Institute of Technology, Japan
  • Nick Papoulias, IRD, UPMC, Sorbonne University, France
  • Brianna M. Ren, University of Maryland, College Park, USA
  • Eli Sennesh, Leaflabs, Cambridge, MA, USA
  • Santiago Vidal, ISISTAN-CONICET, UNICEN University, Argentina


Prospective papers should be submitted to the track in pdf format using the START submission system for regular and SRC papers available through the SAC 2017 home page.

Submission of the same paper to multiple tracks is not allowed; all papers should represent original and previously unpublished works that are currently not under review in any conference or journal. Both basic and applied research papers are welcome.

SAC 2017 will use double-blind reviewing; to facilitate this, author name(s) and institution(s) must be omitted, and references to authors' own related work should be in the third person.

The format of the paper must adhere to the sig-alternate style. Full papers are limited to 6 pages with the option for up to 2 additional pages (max of 8 pages) at extra charge (80 USD per page). Posters are limited to 3 pages with the option for up to 1 additional page (max of 4 pages) at extra charge (80 USD). The length of the SRC abstracts is 2 pages with no additional pages at extra charge.

Papers that fall short the above requirements are subjected to rejection. All papers must be submitted by October 7, 2016. For more information please visit the SAC 2017 home page.


Accepted papers will be published by ACM in the annual conference proceedings. Accepted posters will be published as extended abstracts in the same proceedings.

Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. Student registration is only intended to encourage student attendance and does not cover inclusion of papers/posters in the conference proceedings.

Finally, following the tradition of the past OOPS editions, depending on the quality and the overall number of accepted papers, authors of selected papers will be invited to submit an extended version for a journal special issue, after the conference.