Difference between revisions of "TACAS 2015"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=TACAS 2015 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=21 |Series=TACAS |Type=Conference |Su...") |
|||
| Line 25: | Line 25: | ||
==Topics== | ==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== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 09:01, 4 October 2021
| 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