[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
============
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 manlang2...@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
