[TYPES/announce] 13th Track on Dependable, Adaptive, and Trustworthy Distributed Systems (DADS) of SAC'18
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS = +-- --+ | 13th Track on Dependable, Adaptive, and Trustworthy Distributed Systems (DADS) | | of the 33rd ACM Symposium on Applied Computing (SAC'18) | +-- --+ April 9 - 13, 2018 Pau, France http://www.dedisys.org/sac18/ http://www.acm.org/conferences/sac/sac2018/ Accepted papers will be published in the ACM conference proceedings and will be included in the ACM digital library. Important Dates: Paper submission: September 25, 2017 (extended) Author notification: November 10, 2017 Camera-ready copies: November 25, 2017 Authors are invited to submit original work not previously published, nor currently submitted elsewhere. Authors submit full papers in pdf format using the link to the submission site at http://www.dedisys.org/sac18/. Authors are allowed up to 10 pages, but with more than 8 pages in the final camera ready, there will be a charge of 80USD per extra page. Call details While computing is provided by the cloud and services increasingly pervade our daily lives, dependability and security are no longer restricted to mission or safety critical applications, but rather become a cornerstone of the information society. Unfortunately, the most innovative systems and applications (Internet of Things, Smart Environments, Mashups, NewSQL) are the ones that also suffer most from a significant decrease in dependability and security when compared to traditional critical systems. In accordance with Laprie we call this effect the dependability gap, which is widened in front of us between demand and supply of dependability, and we can see this trend further fueled by volume, velocity and variety, as well as the demand for resource awareness, green computing, and increasing cost pressure. Among technical factors, software development methods, tools, and techniques contribute to dependability and security, as defects in software products and services may lead to failure and also provide typical access for malicious attacks. In addition, there is a wide variety of fault and intrusion tolerance techniques available, including persistence provided by databases, redundancy and replication, group communication, transaction monitors, reliable middleware, cloud infrastructures, fragmentation-redundancy-scattering, and trustworthy service-oriented architectures with explicit control of quality of service properties and service level agreements. Furthermore, adaptiveness is envisaged in order to react to observed, or act upon expected changes of the system itself, the context/environment (e.g., resource variability or failure/threat scenarios) or users' needs and expectations. Provided without explicit user intervention, this is also termed autonomous behavior or self-properties, and often involves monitoring, diagnosis (analysis, interpretation), and reconfiguration (repair). In particular, adaptation is also a means to achieve dependability and security in a computing infrastructure with dynamically varying structure and properties. Topics of interest == * Dependable, Adaptive, and Trustworthy Distributed Systems (DADS) * Architectures, architectural styles, and middleware for DADS * Protocols for DADS * Modeling, design, and engineering of DADS * Foundations and formal methods for DADS * Applications of DADS * Evaluations, testing, benchmarking, and case studies of DADS * Holistic aspects of DADS Track program co-chairs === Karl M. Goeschka, Vienna University of Technology (Austria) (main contact: d...@dedisys.org) Rui Oliveira, Universidade do Minho (Portugal) Peter Pietzuch, Imperial College London (UK) Giovanni Russello, University of Auckland (New Zealand) Program committee = Filipe Araujo, University of Coimbra (Portugal) Claudio Agostino Ardagna, University of Milan (Italy) Mark Baker, Zepheira LLC (Canada) Alberto Bartoli, University of Trieste (Italy) Stefan Beyer, S2 Grupo (Spain) Andrea Bondavalli, University of Florence (Italy) Antonio Casimiro, Universidade de Lisboa (Portugal) Mauro Conti, Universita di Padova (Italy) Gianpaolo Cugola, Politecnico di Milano (Italy) Rogerio De Lemos, University of Kent (UK) Felicita Di Giandomenico, ISTI-CNR, Pisa (Italy) Naranker Dulay, Imperial College London (UK) David Eyers, University of Otago (New Zealand) Pascal Felber, Université de Neuchâtel (Switzerland) Lorenz Froihofer, A1 Telekom Austria (Austria) Kurt Geihs, Universität Kassel (Germany) Nikolaos Georgantas, INRIA (France) Vincenzo Gulisano, Chalmers University (Sweden) Matti Hiltunen, AT Labs (USA) Shanshan Jiang, SINTEF (Norway) Wouter Joosen, Katholieke Universiteit
[TYPES/announce] Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18) === Secure compilation is an emerging field that puts together advances in programming languages, security, verification, systems, compilers, and hardware architectures in order to devise secure compiler chains that eliminate many of today's low-level vulnerabilities. Secure compilation aims to protect high-level language abstractions in compiled code, even against adversarial low-level contexts, and to allow sound reasoning about security in the source language. The emerging secure compilation community aims to achieve this by: identifying and formalizing properties that secure compilers must possess; devising efficient enforcement mechanisms; and developing effective verification and proof techniques. == 2nd Workshop on Principles of Secure Compilation (PriSC 2018) == The Workshop on Principles of Secure Compilation (PriSC) is a new informal 1-day workshop without any proceedings. The goal is to identify interesting research directions and open challenges and to bring together researchers interested in secure compilation. The 2nd PriSC edition will be held on Saturday, 13 January 2018, in Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). More information at http://popl18.sigplan.org/track/prisc-2018 == Important Dates == Presentation proposal submission deadline: 18 October 2017, AoE Presentation proposal notification: 8 November 2017 PriSC Workshop takes place: 13 January 2018 == Scope of the Workshop == Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below). This can cover past, ongoing, or future work. Any topic that could be of interest to the emerging secure compilation community is in scope. Talks that provide a useful outside view or challenge the community are also welcome. Topics of interest include but are **not** limited to: - attacker models for secure compiler chains - secure compilation properties: full abstraction, memory safety, control-flow integrity, preserving non-interference or (hyper-)properties against adversarial contexts, secure multi-language interoperability - enforcement mechanisms: static checking, program verification, reference monitoring, program rewriting, software fault isolation, system-level protection, secure hardware, crypto, randomization - experimental evaluation and applications of secure compilation - proof methods: (bi)simulation, logical relations, game semantics, multi-language semantics, embedded interpreters - formal verification of secure compilation chain (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing == Guidelines for Submitting Extended Abstracts == Extended abstracts should be submitted in PDF format and not exceed 2 pages. They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new `acmart` LaTeX style in `sigplan` mode: http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanproc.zip Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Please submit your extended abstracts at https://prisc18.hotcrp.com/ == Short Talks Session == We will also run a short talks session, where participants get five minutes to present intriguing ideas, advertise ongoing work, etc. You can expect a call for short talks closer to the event. == Program Committee == Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars BirkedalAarhus University Dominique Devriese KU Leuven Cédric
[TYPES/announce] SPLASH 2017: 1st Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGPLAN SPLASH 2017 October 22-27, 2017 Vancouver, Canada http://2017.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. # Registration * 22 September 2017 (Early Deadline) * Contact: i...@splashcon.org * http://2017.splashcon.org/attending/registration # What's Happening at SPLASH? ## Keynotes * Lera Boroditsky (Onward!) How the languages we speak shape the way we think * Danny Dig (GPCE) The landscape of refactoring research in the last decade * Chris Granger (SPLASH) Eve: tackling a giant with a change in perspective * Crista Lopes (SPLASH) Objects in the age of data * Peter D. Mosses (SLE) Engineering meta-languages for specifying software languages * Filip Pizlo (DLS) The JavaScriptCore Virtual Machine ## Workshop Keynotes * Nada Amin (Meta) * Phil Bernstein (AGERE!) * Luke Church (LIVE) * Ron Garcia (DSLDI) * Sumit Gulwani (PLATEAU) * Norm Hardy (OCAP) * Reid Holmes (CoCos) * Julia Rubin (FOSD) * Karan Singh (SAVR) * Mario Wolczko (VMIL) ## Conference Program * https://2017.splashcon.org/program/program-splash-2017 ## SPLASH-I SPLASH-I is a series of research and industry talks, demos, and panels that address topics relevant to the SPLASH community. The SPLASH-I series is held in parallel with the OOPSLA main track. Talks are open to all attendees. * https://2017.splashcon.org/track/splash-2017-SPLASH-I#program ## Research Tracks and Co-Located Conferences and Symposia * OOPSLA https://2017.splashcon.org/track/splash-2017-OOPSLA#program * Onward! Essays https://2017.onward-conference.org/track/onward-2017-essays-2017#program * Onward! Papers https://2017.onward-conference.org/track/onward-2017-Onward-Papers#program * GPCE - Generative Programming: Concepts and Experience https://conf.researchr.org/track/gpce-2017/gpce-2017-GPCE-2017#program * SLE - Software Language Engineering https://conf.researchr.org/track/sle-2017/sle-2017-papers#event-overview * DLS - Dynamic Languages Symposium https://conf.researchr.org/track/dls-2017/dls-2017#program * Scala Symposium https://conf.researchr.org/track/scala-2017/scala-2017-papers * SPLASH-E https://2017.splashcon.org/track/splash-2017-SPLASH-E ## Workshops SPLASH 2017 is hosting a record number of 18 workshops this year. * AGERE! - Programming based on Actors, Agents, and Decentralized Control https://2017.splashcon.org/track/agere-2017 * CoCoS - Comprehension of Complex Systems https://2017.splashcon.org/track/cocos-2017 * DSLDI - Domain-Specific Languages Design and Implementation https://2017.splashcon.org/track/dsldi-2017#event-overview * Escaped - Escaped from the Lab https://2017.splashcon.org/track/escaped-2017 * FOSD - Feature-Oriented Software Development https://2017.splashcon.org/track/fosd-2017 * LIVE - Live Programming https://2017.splashcon.org/track/live-2017#program * Meta - Meta-Programming Techniques and Reflection https://2017.splashcon.org/track/meta-2017 * NJR - National Java Resource https://2017.splashcon.org/track/njr-2017 * NOOL - New Object-Oriented Languages https://2017.splashcon.org/track/nool-2017 * OCAP - Object-Capability Languages, Systems, and Applications https://2017.splashcon.org/track/ocap-2017 * PLATEAU - Evaluation and Usability of Programming Languages and Tools https://2017.splashcon.org/track/plateau-2017#Accepted-Papers * PX/17.2 - Programming Experience https://2017.splashcon.org/track/px-17-2 * Parsing - Parsing@SLE https://2017.splashcon.org/track/parsing-2017 * REBLS - Reactive and Event-Based Languages and Systems https://2017.splashcon.org/track/rebls-2017 * SAVR - Software for Augmented Virtual Reality https://2017.splashcon.org/track/savr-2017 * SEPS - Software Engineering for Parallel Systems https://2017.splashcon.org/track/seps-2017 * VMIL - Virtual Machines and Intermediate Languages https://2017.splashcon.org/track/vmil-2017 * WODA - Workshop on Dynamic Analysis https://2017.splashcon.org/track/woda-2017 ## Other Events * Doctoral Symposium https://2017.splashcon.org/track/splash-2017-Doctoral-Symposium#event-overview * PL Mentoring Workshop https://2017.splashcon.org/track/splash-2017-PLMW#program * Posters https://2017.splashcon.org/track/splash-2017-Posters * Student Research Competition https://2017.splashcon.org/track/splash-2017-Student-Research-Competition#program # Supporters SPLASH is kindly supported by the following organizations: * ACM: http://www.acm.org/ * SIGPLAN:
[TYPES/announce] Tenure-track assistant professorship at Wesleyan University
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Mathematics and Computer Science at Wesleyan University invites applications for a tenure track assistant professorship in Computer Science to begin in Fall 2018. Candidates must have a Ph.D. in Computer Science or similar discipline in hand by the time of appointment. A successful candidate may be hired as an Instructor if the candidate does not have a Ph.D. in hand at the time of appointment, but will complete the Ph.D. in Computer Science or similar discipline within one year of hire. Candidates must have a strong research record and experience in teaching. Theory, programming languages, algorithms, network science, and networking are well-represented in the department. We encourage candidates in all areas of Computer Science to apply, including those who deepen our existing research strengths, and especially encourage candidates who can contribute to the diversity (broadly conceived) of the department. Duties include conducting an independent program of research, teaching, advising and mentoring students, and participating in faculty governance at the departmental and university level. Tenure track faculty in Computer Science at Wesleyan have a 2/1 teaching load (three courses per year). Wesleyan values both research and teaching highly and has a strong and diverse student body. Applications must be submitted online at https://academicjobsonline.org/ajo/jobs/9599. We will begin reviewing applications on Dec. 1, 2017. Questions about this position may be e-mailed to ndan...@wesleyan.edu. - Norman Danner -- Norman Danner - ndan...@wesleyan.edu - http://ndanner.web.wesleyan.edu Department of Mathematics and Computer Science - Wesleyan University