[Haskell] Call for Papers: ManLang 2018 (Sept. 10-14, Linz, Austria)

[ManLang Conference]

------------------------------------------------------------------------------------------------

CALL FOR PAPERS

15th International Conference on Managed Languages & Runtimes
(ManLang'18)

September 10-14, 2018, Linz, Austria

http://ssw.jku.at/manlang18/ 

------------------------------------------------------------------------------------------------

ManLang (formerly PPPJ) is a premier forum for presenting and discussing
novel results in all aspects of managed programming languages and
runtime systems, which serve as building blocks for some of the most
important computing systems, ranging from small-scale (embedded and
real-time systems) to large-scale (cloud-computing and big-data
platforms) and anything in between (mobile, IoT, and wearable
applications).

======
Topics
======

Topics of interest include but are not limited to:

Languages and Compilers
-----------------------
- Managed languages (e.g., Java, Scala, JavaScript, Python, Ruby, C#,
F#, Clojure, Groovy, Kotlin, R, Smalltalk, Racket, Rust, Go, etc.)
- Domain-specific languages
- Language design
- Compilers and interpreters
- Type systems and program logics
- Language interoperability
- Parallelism, distribution, and concurrency

Virtual Machines
----------------
- Managed runtime systems (e.g., JVM, Dalvik VM, Android Runtime (ART),
LLVM, .NET CLR, RPython, etc.)
- VM design and optimization
- VMs for mobile and embedded devices
- VMs for real-time applications
- Memory management
- Hardware/software co-design

Techniques, Tools, and Applications
-----------------------------------
- Static and dynamic program analysis
- Testing and debugging
- Refactoring
- Program understanding
- Program synthesis
- Security and privacy
- Performance analysis and monitoring
- Compiler and program verification

===============
Important Dates
===============

Submission: May 4, 2018 (Abstracts: April 27)
Notification: July 6, 2018
Camera-ready version: August 3, 2018
Poster submission: August 6, 2018
Poster notification: August 13, 2018
Conference: September 10-14, 2018

==========================
Submission and Proceedings
==========================

Submissions to the conference will be evaluated on the basis of
originality, relevance, technical soundness and presentation quality.
Papers should be written in English and not exceed 12 pages in ACM
format for full papers (6 pages for WiP, industry, and tool papers). You
can also submit posters, which can be accompanied by a one-page
abstract, and are due on August 6, 2018. The conference proceedings will
be published as part of the ACM International Conference Proceedings
Series and will be disseminated through the ACM Digital Library.

See the conference homepage for details on paper formats and submission.

============
Organization
============

General Chair:
Hanspeter Mössenböck, Johannes Kepler University Linz, Austria

Program Chair:
Eli Tilevich, Virginia Tech, USA

Steering Committee:
Walter Binder, University of Lugano (USI), Switzerland
Bruce Childers, University of Pittsburgh, USA
Martin Pluemicke, DHBW Stuttgart, Germany
Christian Probst, Technical University of Denmark, Denmark
Petr Tuma, Charles University, Czech Republic
Thomas Würthinger, Oracle Labs, Switzerland

Program Committee:
Godmar Back, Virginia Tech, USA
Clement Bera, INRIA, France
Christoph Bockisch, Philipps Universität Marburg, Germany
Man Cao, Google, USA
Shigeru Chiba, University of Tokyo, Japan
Yvonne Coady, University of Victoria, Canada
Julian Dolby, IBM Research, USA
Patrick Eugster, University of Lugano, Switzerland
Irene Finocchi, Sapienza University of Rome, Italy
Görel Hedin, Lund University, Sweden
Robert Hirschfeld, Hasso Plattner Institute, Germany
Tony Hosking, Purdue University, USA
Doug Lea, SUNY Oswego, USA
Eliot Moss, University of Massachusetts, USA
Nate Nystrom, University of Lugano, Switzerland
Tiark Rompf, Purdue University, USA
Jennifer B. Sartor, Vrije Universiteit Brussel, Belgium
JeremyJan Vitek, Northeastern University, USA
Christian Wimmer, Oracle Labs, USA
Jianjun Zhao, Kyushu University, Japan

========
Location
========

Linz, the capital of Upper Austria, is both a city of culture and of
industry. Located at the Danube it features a historic downtown and a
modern university campus just north of the Danube, where the conference
will take place. For information on JKU and Linz, also see:
http://www.jku.at, https://en.wikipedia.org/wiki/Linz and
https://www.linz.at/english/ 

=================
Other Information
=================

The 5th Virtual Machine Meetup (VMM) is a collocated event with ManLang
'18. It is a venue for discussing the latest research and developments
in the area of managed language execution.

ManLang'18 is organized in cooperation with ACM, ACM SIGPLAN and ACM
ICPS, and is sponsored by the JKU Department of Computer Science, Oracle
Labs, and Linz AG.

http://ssw.jku.at/manlang18/ 
https://www.facebook.com/ManLangConf/ 
https://twitter.com/manlangconf