[TYPES/announce] Postdoc position at Imperial College London in software testing and programming languages

2019-09-10 Thread Donaldson, Alastair F
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Applications are invited for a postdoctoral position, joint between the
Software Reliability Group and the Multicore Programming Group, under
the direction of Cristian Cadar and Alastair Donaldson.

We are looking for motivated applicants interested in working at the
intersection of software testing and programming languages. The research
will focus on two main strands:

* The first research strand will focus on testing compilers for popular
programming languages. We will design novel techniques to detect
compiler bugs that are currently out of reach to existing compiler
testing techniques. Particular attention will be given to bugs that are
security-critical in nature, presenting a largely unexplored attack
surface whereby software that is correct at the source level can
nevertheless be vulnerable to exploitation when erroneously compiled
into binary form. We also aim to mitigate this threat at runtime by
using novel multi-version execution techniques in which versions of the
same program compiled by different compilers are run in parallel.

* The second research strand will focus on helping software systems
evolve safely and securely. It will take a holistic approach to the
challenges of safe and secure software evolution, by combining offline
program analysis techniques such as static analysis and symbolic
execution to verify or comprehensively test software patches, with
runtime mechanisms such as multi-version execution for keeping the
software updated and secure against potentially erroneous changes that
make it into the deployed system.

For more details about this position, please see:
https://srg.doc.ic.ac.uk/vacancies/postdoc-comp-pass-19/

Deadline: 13 October 2019


[TYPES/announce] [CC2020] 2nd CFP for the ACM SIGPLAN 2020 International Conference on Compiler Construction

2019-09-10 Thread Gabriel Rodríguez Álvarez
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

ACM SIGPLAN 2020 International Conference on Compiler Construction (CC'20)
co-located with CGO, PPoPP and HPCA
San Diego, CA, USA
February 22 - 23, 2020
https://conf.researchr.org/home/CC-2020

The ACM SIGPLAN 2020 International Conference on Compiler Construction (CC 
2020) is interested in work on processing programs in the most general sense: 
analyzing, transforming or executing input programs that describe how a system 
operates, including traditional compiler construction as a special case.

Original contributions are solicited on the topics of interest which include, 
but are not limited to:

- Compilation and interpretation techniques, including program representation, 
analysis, and transformation; code generation, optimization, and synthesis; the 
verification thereof
- Run-time techniques, including memory management, virtual machines, and 
dynamic and just-in-time compilation
- Programming tools, including refactoring editors, checkers, verifiers, 
compilers, debuggers, and profilers
- Techniques for specific domains, such as secure, parallel, distributed, 
embedded or mobile environments
- Design and implementation of novel language constructs, programming models, 
and domain-specific languages

CC 2020 is the 29th edition of the conference. From this year onwards, CC is an 
ACM SIGPLAN conference and will implement guidelines and procedures recommended 
by SIGPLAN https://www.sigplan.org.

=
To subscribe to the CC announce mailing list, see 
cc_conference_annou...@googlegroups.com
To subscribe to the CC announce Twitter account, see @cc2020conf 
(https://twitter.com/cc2020conf)
=


IMPORTANT DATES

Abstract Submission:23 October  2019
Paper Submission   :30 October  2019
Rebuttal   :   4-6 December 2019
Artifact Submission:13 December 2019
Author Notification:24 December 2019
Final papers due   :15 January  2020
Conference : 22–23 February 2020

All submissions must be made electronically through the conference web site and 
include an abstract (100–400 words), author contact information, the full list 
of authors and their affiliations. Full paper submissions must be in PDF 
formatted printable on both A4 and US letter size paper. All papers must be 
prepared in ACM Conference Format using the 2-column acmart format. Papers 
should contain a maximum of 10 pages of text (in a typeface no smaller than 10 
point) or figures, NOT INCLUDING references. There is no page limit for 
references and they must include the name of all authors (not {et al.}). 
Appendices are not allowed, but the authors may submit supplementary material, 
such as proofs or source code; all supplementary material must be in PDF or ZIP 
format. Looking at supplementary material is at the discretion of the 
reviewers. Submission is double blind and authors will need to identify any 
potential conflicts of interest with PC, as defined here: 
http://www.sigplan.org/Resources/Policies/Review/ (ACM SIGPLAN policy).

Authors are encouraged to submit their artifacts for the Artifact Evaluation 
(AE). The Artifact Evaluation process is run by a separate committee whose task 
is to assess how the artifacts support the work described in the papers. To 
ease the organization of the AE committee, we kindly ask authors to submit 
their artifact at the latest 10 days after the rebuttal. Papers that go through 
the Artifact Evaluation process successfully will receive a seal of approval 
printed on the papers themselves. Additional information will be made available 
on the CC AE web page.

Deadlines expire at midnight anywhere on earth.


ORGANIZERS

General Chair
Louis-Noel Pouchet  Colorado State University 

Program Chair
Alexandra Jimborean Uppsala University 

Artifact Evaluation Chairs
Michel Steuwer  University of Glasgow 
Martin Kong University of Oklahoma

Publicity Chair
Gabriel Rodriguez   University of A Coruna

Web Chair
Mihail PopovUppsala University

Steering Committee
Bjorn FrankeUniversity of Edinburgh  
Sebastian Hack  Saarland University
Manuel Hermenegildo IMDEA SW Institute and Technical U. of Madrid
Peng Wu Huawei America Research Lab
Ayal Zaks   Intel and Technion, Israel
Jingling XueUniversity of New South Wales, Australia
Christophe Dubach   University of Edinburgh
Nelson J. AmaralUniversity of Alberta
Milind Kulkarni Purdue University


Program Committee
Apan Qasem  AMD/Texas State University
Bernhard Scholz