TACAS 2015
Revision as of 09:01, 4 October 2021 by Tolga.karaarslan (talk | contribs)
| TACAS 2015 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 21 |
| Event in series | TACAS |
| Subevent of | ETAPS |
| Dates | 2015/04/11 (iCal) - 2015/04/18 |
| Presence | presence |
| Homepage: | https://etaps.org/2015/cc |
| Submitting link: | https://easychair.org/account/signin?l=Ba16MzHOKDLLrbBDrHNbK5# |
| Location | |
| Location: | London, UK |
| Important dates | |
| Abstracts: | 2014/10/10 |
| Submissions: | 2014/10/17 |
| Notification: | 2014/12/19 |
| Camera ready due: | 2015/01/16 |
| Committees | |
| PC chairs: | Björn Franke |
| Keynote speaker: | Keshav Pingali |
| Table of Contents | |
The 21. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2015
Topics
- Compilation and interpretation techniques, including program representation and analysis, code generation and code optimization;
- Run-time techniques, including memory management and dynamic and just-in-time compilation;
- Programming tools, from refactoring editors to checkers to compilers to virtual machines to debuggers;
- Techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments;
- Design of novel language constructs and their implementation.
Submissions
Important Dates
Abstracts due: 10 October 2014 23:59 AoE (=GMT-12) Papers due: 17 October 2014 23:59 AoE (=GMT-12) Rebuttal (ESOP and FoSSaCS only): 3-5 December 2014 Author notification: 19 December 2014 Camera-ready versions: 16 January 2015