[TYPES/announce] Call for Posters: ManLang 2018

ManLang Publicity manlang.publicity at jku.at
Fri Jul 13 10:12:04 EDT 2018


============
ManLang 2018
============

ManLang 2018 <http://ssw.jku.at/manlang18> (formerly PPPJ) will be held
in Linz, Austria on 12-13 September. In total, 18 papers will be
presented along with two keynotes by Jan Vitek "The Beauty and the Beast
— from Fortress to Julia" and Eric Sedlar "Building a Virtual Machine
for the Cloud".

================
Call for Posters
================

The conference will include a poster session to provide demonstration
and discussion opportunities. Please note that the posters will NOT be
part of the conference proceedings. Posters should be submitted via mail
to manlang2018 at easychair.org
* List all authors and affiliations in the mail.
* Refer to the associated paper if any.
* Include the PDF poster as attachment.
* The poster can be accompanied by a one-page abstract.
* The poster boards will have a dimension of 120x150cm.

======
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
===============

Poster submission: August 3, 2018
Poster acceptance notification: August 13, 2018
Conference: September 12-13, 2018



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180713/f40f882d/attachment.html>


More information about the Types-announce mailing list