[TYPES/announce] IEEE/ACM CGO-2020 Call for submissions to Student Research Competition (SRC)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IEEE/ACM CGO-2020 Call for submissions to Student Research Competition (SRC) The ACM Student Research Competition (SRC) offers a unique forum for undergraduate and graduate students to present their original research before a panel of judges and attendees at CGO. Participants must be undergraduates or graduate students pursuing an academic degree at the time of initial submission. Participants must be current student members of the ACM. The abstracts will be examined by a selection committee and selected abstracts will be invited to present as posters at the conference. SRC poster submissions are, in addition, evaluated by a jury during the poster session at the conference. The best three posters are then invited to give a short presentation (10 minutes + 5 minutes questions) on the next day. Based on the submitted abstract, the poster, and the presentation, the winner of CGO's Student Research Competition will be selected, who will receive an award. In addition, the winner will be invited to participate in the grand 2020 ACM SRC competition. Further information on the ACM SRC is available at: https://src.acm.org SRC Chair: Changhee Jung (Purdue University) Submission Information: Submission must be about unpublished work that is not under review anywhere. Extended abstracts of up to 500 words should be submitted by email to chj...@purdue.edu on or before December 15, 2019. All submissions will be reviewed by a selection committee. Notifications will be sent out by January 2, 2020. Please format your submission using the SIGPLAN format found at http://www.sigplan.org/Resources/Author/. Use one 8.5″x11″ single spaced, double-column page, with 10pt or larger font. Include your name and the name of your advisor(s). Optionally, send a pdf of the poster you plan to present (this does not have to be the final version of the poster). Timeline: Submission: December 15th, 2019 (AoE) Notification: Jan 2nd, 2020 Submission Topics: As in previous years, CGO will host a Student Research Competition (SRC) session. Submissions in the form of an extended abstract (details above) are solicited in any topics relevant to the main conference, including: ** Code Generation, Translation, Transformation, and Optimization for performance, energy, virtualization, portability, security, or reliability concerns, and architectural support ** Efficient execution of dynamically typed and higher-level languages Optimization and code generation for emerging programming models, platforms, domain-specific languages ** Dynamic/static, profile-guided, feedback-directed, and machine learning based optimization ** Static, Dynamic, and Hybrid Analysis for performance, energy, memory locality, throughput or latency, security, reliability, or functional debugging ** Program characterization methods ** Efficient profiling and instrumentation techniques; architectural support ** Novel and efficient tools ** Compiler design, practice and experience ** Compiler abstraction and intermediate representations ** Vertical integration of language features, representations, optimizations, and runtime support for parallelism ** Solutions that involve cross-layer (HW/OS/VM/SW) design and integration ** Deployed dynamic/static compiler and runtime systems for general purpose, embedded system and Cloud/HPC platforms ** Parallelism, heterogeneity, and reconfigurable architectures ** Optimizations for heterogeneous or specialized targets, GPUs, SoCs, CGRA ** Compiler-support for vectorization, thread extraction, task scheduling, speculation, transaction, memory management, data distribution and synchronization The same information can be found at CGO-2020 SRC website: https://cgo-conference.github.io/cgo2020/src Please feel free to contact me at chj...@purdue.eud for any further questions/concerns.
[TYPES/announce] Postdoc position in Dependently Typed Programming, St Andrews
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, There is a position available for a post doctoral research fellow to work on Type Driven Development in Idris - for more details, and further particulars, see below, or you can see it at https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6438/0/250507/889/research-fellow-ar2286sb Any informal inquiries, please contact me directly on ec...@st-andrews.ac.uk Edwin Advert follows: Applications are invited for a Research Fellow to work with Dr Edwin Brady in the School of Computer Science at the University of St Andrews on an EPSRC funded project "Programming as Conversation: Type-Driven Development in Action". The project aims to investigate the extent to which precise type systems enhance programmer productivity, by developing languages and tools to support the methodology of type-driven development. It will build on recent work developing a new version of the dependently typed programming language Idris (https://www.idris-lang.org) and will involve defining a semantics for program construction and manipulation as a typed domain specific language for implementing editor actions. These actions will include refactorings, and synthesising programs from their types. The successful candidate will have (or be about to obtain) a PhD in Computer Science or a related subject. A strong background in functional programming, dependent types or other advanced type systems is required. The appointee will be expected to present their work both internally and externally and will be expected to help with supervision and training of postgraduate and undergraduate research students. Funded by EPSRC (Engineering and Physical Sciences Research Council), this post is available for three years, with a start date as soon as possible. For informal enquiries, please contact: Dr Edwin Brady, School of Computer Science, ec...@st-andrews.ac.uk. The University is committed to equality for all, demonstrated through our working on diversity awards (ECU Athena SWAN/Race Charters; Carer Positive; LGBT Charter; and Stonewall). More details can be found at http://www.st-andrews.ac.uk/hr/edi/diversityawards/. Please quote ref: AR2286SB Closing Date: 26 November 2019 pEpkey.asc Description: application/pgp-keys
[TYPES/announce] ICALP - Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers - ICALP 2020 July 8-12 2020, Beijing, China Paper Submission: February 20, 2020, AoE https://easychair.org/conferences/?conf=icalp2020 ICALP (International Colloquium on Automata, Languages and Programming) is the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020 (ACM/IEEE Symposium on Logic in Computer Science). Submission Guidelines: see https://easychair.org/conferences/?conf=icalp2020 Important Dates submission: February 20, 2020, AoE notifications: April 15, 2020 camera ready: April 28, 2020 Topics: ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games) and B (Automata, Logic, Semantics and Theory of Programming). Papers presenting original, unpublished research on all aspects of theoretical computer science are sought. Typical, but not exclusive topics are: Track A -- Algorithmic Aspects of Networks and Networking, Algorithms for Computational Biology, Algorithmic Game Theory, Combinatorial Optimization, Combinatorics in Computer Science, Computational Complexity, Computational Geometry, Computational Learning Theory, Cryptography, Data Structures, Design and Analysis of Algorithms, Foundations of Machine Learning, Foundations of Privacy, Trust and Reputation in Network, Network Models for Distributed Computing, Network Economics and Incentive-Based Computing Related to Networks, Network Mining and Analysis, Parallel, Distributed and External Memory Computing, Quantum Computing, Randomness in Computation, Theory of Security in Networks Track B -- Algebraic and Categorical Models, Automata, Games, and Formal Languages, Emerging and Non-standard Models of Computation, Databases, Semi-Structured Data and Finite Model Theory, Formal and Logical Aspects of Learning, Logic in Computer Science, Theorem Proving and Model Checking, Models of Concurrent, Distributed, and Mobile Systems, Models of Reactive, Hybrid and Stochastic Systems, Principles and Semantics of Programming Languages, Program Analysis and Transformation, Specification, Verification and Synthesis, Type Systems and Theory, Typed Calculi Chairs General chair: Xiaotie Deng (Peking University) PC Track A chair: Artur Czumaj (University of Warwick) PC Track B chair: Anuj Dawar (University of Cambridge) Venue The conference will be held at the Peking University, see http://econcs.pku.edu.cn/icalp2020/ Contact All questions about submissions should be emailed to the PC Track chairs: Artur Czumaj a.czu...@warwick.ac.uk Anuj Dawar anuj.da...@cl.cam.ac.uk signature.asc Description: OpenPGP digital signature
[TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th November 2019 http://tinyurl.com/jfp-phd-abstracts PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. SUBMISSION: Please submit the following information to Graham Hutton by 30th November 2019: o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.
[TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of Data Science, including Machine Learning; Security and Privacy; Cyber-Physical Systems; Software Engineering; and Systems, including Distributed Systems, Embedded Systems, etc. Exceptional candidates in other areas within the general research areas of the Institute will also be considered. Tenured-level (Associate and Full Professor) applications are also welcome. The primary mission of the IMDEA Software Institute is to perform research of excellence at the highest international level in software development technologies. It is one of the highest ranked institutions worldwide in its main topic areas. * Selection Process The main selection criteria are the candidate's demonstrated ability and commitment to research, the match of interests with the Institute's mission, and how the candidate complements areas of established strengths of the Institute. All positions require a doctoral degree in Computer Science or a closely related area, earned by the expected start date. Candidates for tenure-track positions will have shown exceptional promise in research and will have displayed an ability to work independently as well as collaboratively. Candidates for tenured positions must possess an outstanding research record, have recognized international stature, and demonstrated leadership abilities. Experience in graduate student supervision is also valued at this level. Applications should be completed using the application form at https://careers.software.imdea.org/ Please select the reference "2019-10-faculty-call" at the beginning of the form. For full consideration, complete applications must be received by December 20, 2019, although applications will continue to be accepted until the positions are filled. * Working at the IMDEA Software Institute The Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, combining the best aspects of a research center and a university department. Its researchers can focus on developing new ideas and projects, in collaboration with world-leading, international faculty, post-docs, and students. Researchers also have the opportunity (but no obligation) to teach university courses. The Institute offers institutional funding and also encourages its members to participate in national and international research projects. The working language at the Institute is English. Salaries at the Institute are internationally competitive and established on an individual basis. They include social security provisions in accordance with existing national Spanish legislation, and in particular access to an excellent public health care system. Further information about the Institute's current faculty and research can be found at http://www.software.imdea.org . The IMDEA Software Institute is an Equal Opportunity Employer and strongly encourages applications from a diverse and international community and underrepresented groups. The Institute complies with the European Charter for Researchers.