[TYPES/announce] Call for Submissions: TAPAS 2016 - Workshop on Tools for Automatic Program Analysis
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- TAPAS 2016 The Seventh Workshop on Tools for Automatic Program Analysis September 7, 2016, Edinburgh, UK http://staticanalysis.org/tapas2016/ --- Objective - In the last fifteen years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools. This workshop is intended to promote discussions and exchange experience between specialists in all areas of program analysis design and implementation and static analysis tool users. TAPAS 2016 will be co-located with SAS 2016, and will take place in Edinburgh, UK, on September 7, 2016. Scope - The technical program of TAPAS 2016 will consist of invited lectures together with presentations based on submitted abstracts. Submitted presentation abstracts can cover any aspect of program analysis tools including, but not limited to the following: * design and implementation of static analysis tools (including practical techniques used for obtaining precision and performance) * components of static analysis tools (front-ends, abstract domains, etc.) * integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.) * reusable software infrastructure (analysis algorithms and frameworks) * experience reports on the use of static analyzers (both research prototypes and industrial tools) Submission of Presentation Abstracts All submitted abstracts will be reviewed by the organizing committee. Submitted abstracts should be 1-2 pages, and use the ACM proceedings format. Invited Speakers Satish Chandra, Samsung Research America Jan Midtgaard, Technical University of Denmark Aditya Nori, Microsoft Research Cambridge Peter O'Hearn, University College London / Facebook Dates - * Submission deadline: July 8 * Notification of acceptance: July 18 * Final version due: August 2 * Workshop day: September 7 Organizers -- Manu Sridharan, Samsung Research America (chair) Sukyoung Ryu, KAIST Ilya Sergey, University College London Harry Xu, University of California, Irvine Eran Yahav, Technion
[TYPES/announce] Final call for participation: PLDI 2016 co-located events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite those attending PLDI 2016 in Santa Barbara ( http://conf.researchr.org/home/pldi-2016) to also attend the co-located workshops and tutorials. Co-located workshops include: + ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming + FMS: Formal Methods for Security + PLMW@PLDI: Programming Languages Mentoring Workshop + SOAP: International Workshop on the State Of the Art in Java Program Analysis + WPHCS: Workshop on Programming Heterogeneous Computing Systems + X10: X10 Workshop Additionally, there will be eight co-located tutorials: + NVM Programming + RYUJIT: The Open Source Just in Time Compiler for .NET + STRING: String Analysis for Vulnerability Detection and Repair + ONEVM: One VM to Rule Them All, One VM to Bind Them + PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging + PROSE: Programming by Examples + JALANGI: Dynamic analysis of JavaScript with Jalangi + WALAX: Cross-platform analysis of mobile apps using the WALA framework The full schedule is here: http://conf.researchr.org/program/pldi-2016/program-pldi-2016 Some further details from workshop organizers is below. Manu Sridharan PLDI 2016 Publicity Chair *SOAP@PLDI Call for Participation * If you are coming to PLDI at Santa Barbara, please consider attending the workshop for the state of the art of program analysis (SOAP). This year we have a fantastic program for academics, practitioners, and students who are interested in program analysis. In addition to fives paper talks, we feature great invited talks from prominent academics such as Tevfik Bulton, Martin Vechev, and Sorin Lerner. We also invited practioners to present how program analysis is in action in industy from Grammatech and SourceBrella. Detailed program is available at : http://conf.researchr.org/track/pldi-2016/SOAP-2016-papers#program *FMSEC Call for Participation* While the fields of security and of formal methods/programming languages are thriving areas of computer science, the communities are mostly disjoint, and though there are several formal techniques used for ensuring security, there is no systematic use of emerging powerful formal techniques in security. The goal of this workshop is to bring together researchers from both communities in order to have them learn about the important problems and relevant techniques in each field, to foster collaboration leading to applying ìcutting edgeî formal techniques in security. Our ultimate goal is to have an event like Real-World Crypto (see http://www.realworldcrypto.com/rwc2016), but focussed on security and formal-methods/PL. Yes we are thinking bold:-) For the first edition, we will have no refereed papers, but have invited talks from people who have successfully bridged these fields and on topics that highlight important problems in security (systems security, information security, malware, etc.) that could benefit from formal techniques (programming language paradigms, verification, model-checking, efficient constraint solving, synthesis, etc.). See the list of speakers at: http://conf.researchr.org/track/pldi-2016/FMS-2016-papers If you come, you will learn a lot of exciting resarch directions. We are hoping to foster collaborations and have budgeted plenty of time for that. Come and join this exciting event and this is just the beginning. We have exciting and big plans ahead! *ARRAY 2016 Call for Participation* Array-oriented programming is a powerful abstraction for compactly implementing numerically intensive algorithms. Many modern languages now provide some support for collective array operations, which are used by an increasing number of programmers (and non-programmers) for data analysis and scientific computing. The ARRAY'2016 workshop, which is held June 14, 2016 in Santa Barbara in connection with PLDI'2016, is intended to bring together researchers from many different communities, including language designers, library developers, compiler researchers, and practitioners who are working on numeric, array-centric aspects of programming languages, libraries, and methodologies from all domains: imperative or declarative, object-oriented or not, interpreted or compiled, strongly typed, weakly typed, or untyped. The aim of this workshop is to foster the cross-pollination of concepts across projects and research communities and to explore new directions. To learn about the exiting program and the topics of the ARRAY'2016 two invited talks by Principal Engineer, Bradford Chamberlain, CRAY, and User Experience Director, Morten Kromberg, Dyalog Ltd, please consult the ARRAY'2016 web site at http://conf.researchr.org/track/pldi-2016/ARRAY-2016.
[TYPES/announce] PLDI 2016 call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PLDI is a forum where researchers, developers, educators, and practitioners exchange information on the latest practical and experimental work in the design and implementation of programming languages: http://conf.researchr.org/home/pldi2016 PLDI 2016 and co-located events will be held in Santa Barbara, CA from June 13 through June 17. Early registration and hotel discounts end May 13. You may register directly for PLDI and associated events here: https://regmaster4.com/2016conf/PLDI16/register.php Co-located SIGPLAN conferences at FCRC include: + ISMM: International Symposium on Memory Management + LCTES: Languages, Compilers, and Tools for Embedded Systems Co-located workshops include: + ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming + FMS: Formal Methods for Security + PLMW@PLDI: Programming Languages Mentoring Workshop + SOAP: International Workshop on the State Of the Art in Java Program Analysis + WPHCS: Workshop on Programming Heterogeneous Computing Systems + X10: X10 Workshop Additionally, there will be eight co-located tutorials: + NVM Programming + RYUJIT: The Open Source Just in Time Compiler for .NET + STRING: String Analysis for Vulnerability Detection and Repair + ONEVM: One VM to Rule Them All, One VM to Bind Them + PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging + PROSE: Programming by Examples + JALANGI: Dynamic analysis of JavaScript with Jalangi + WALAX: Cross-platform analysis of mobile apps using the WALA framework See the web site for a schedule and further details and links. For further updates, follow the PLDI social media accounts: Facebook: https://www.facebook.com/PLDIConf Twitter: https://twitter.com/PLDI Manu Sridharan PLDI 2016 Publicity Chair
[TYPES/announce] PLDI'16 Call for Student Volunteers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *PLDI'16 Call for Student Volunteers* PLDI is pleased to offer a number of opportunities for student volunteers, who are vital to the efficient operation and continued success of the conference each year. The student volunteer program is a chance for students from around the world to participate in the conferences whilst assisting us in preparing and running the event. In return, volunteers are granted free registration to the conferences, tutorials, workshops, and panels. Job assignments for student volunteers include assisting with technical sessions, workshops, tutorials and panels, checking badges at doors, operating the information desk, helping with traffic flow, and general assistance to keep the conferences running smoothly. The first deadline for applications is *April 7th, 2016. *Details are at the following website: http://conf.researchr.org/attending/pldi-2016/Student+Volunteers On behalf of the student volunteers chair, Ben Hardekopf
[TYPES/announce] PLDI 2016 call for workshops and tutorials
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite proposals for workshops or tutorials to be co-located with PLDI 2016, which will be located in Santa Barbara, CA. More information about PLDI 2016 could be found at http://conf.researchr.org/home/pldi-2016 The deadline for proposals is November 13th, 2015. The number of accepted proposals will be limited by the available conference rooms. Late submissions will only be evaluated if there is space available, on a first-come-first-served basis. Further details about the format for submissions can be found here: http://conf.researchr.org/track/pldi-2016/Workshops+and+Tutorials We look forward to your submissions! On behalf of the workshop and tutorial chair, Xiangyu Zhang
[TYPES/announce] PLDI 2016: call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apologies if you receive multiple copies of this CFP. Call for Contributions! === 2016 ACM Conference on Programming Language Design and Implementation (PLDI) June 13-17, 2016 in Santa Barbara, CA http://conf.researchr.org/home/pldi-2016 PLDI is a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI seeks outstanding research that has broad appeal and spans the breadth of programming languages. *Important Dates* === Research paper submissions due 20 Nov 2015 18:00 EST Author response period 11-13 Jan 2016 Author notification 20 Jan 2016 Camera-ready papers due 15 Apr 2016 18:00 EST Hotel reservation deadline 12 May 2016 18:00 EST Conference workshops/tutorials 13-14 Jun 2016 Conference 15-17 Jun 2016 *Author Instructions* === http://conf.researchr.org/track/pldi-2016/pldi-2016-papers#Instructions-for-Authors Submission site: https://pldi16.hotcrp.com/ *Organizing Committee* === General Chair: Chandra Krintz, Univ. of California, Santa Barbara Program Chair: Emery Berger, Univ. of Massachusetts, Amherst Artifact Evaluation Chair: John Regehr, Univ. of Utah Student Research Competition and Volunteers Chair: Ben Hardekopf, Univ. of California, Santa Barbara Publicity Chair: Manu Sridharan, Samsung Research America Sponsorship Chair: Tiark Rompf, Purdue Univ. and Oracle Labs Workshops and Tutorials Chair: Xiangyu Zhang, Purdue Univ. *Important Links* === PLDI Steering Committee: http://www.sigplan.org/Conferences/PLDI/ PLDI Web Page: http://conf.researchr.org/home/pldi-2016 -- --Manu
[TYPES/announce] PLDI 2015 Call for Student Volunteers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] APPLICATION FORM: http://goo.gl/KOqR2f APPLICATION DEADLINE: 10th May 2015 at 23:59 EST The PLDI 2015 Program for Student Volunteers gives full- or part-time university students from around the world the opportunity to attend and contribute to a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. As a PLDI 2015 Student Volunteer, you will interact closely with researchers, academics and practitioners from various disciplines and meet other students from around the world. PLDI is pleased to offer a number of opportunities for student volunteers, who are vital to the efficient operation and continued success of the conference each year. The student volunteer program is a chance for students from around the world to participate in the conferences whilst assisting us in preparing and running the event. Job assignments for student volunteers include assisting with technical sessions, workshops, tutorials and panels, checking badges at doors, operating the information desk, helping with traffic flow, and general assistance to keep the conferences running smoothly. In return, volunteers are granted free registration to the conferences (This includes all FCRC events on PLDI days), free access to plenary sessions, tutorials, workshops and panels. For further details, please see this web page: http://conf.researchr.org/attending/pldi2015/Student+Volunteers
[TYPES/announce] PLDI 2015 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PLDI is a forum where researchers, developers, educators, and practitioners exchange information on the latest practical and experimental work in the design and implementation of programming languages: http://conf.researchr.org/home/pldi2015 PLDI 2015 and co-located events will be held at the Oregon Convention Center in Portland, Oregon from June 13 through June 17.PLDI'15 is part of the ACM Federated Computing Research Conference (FCRC): http://fcrc.acm.org/ Early registration ends May 18. You may register directly for PLDI and associated events here: https://www.regonline.com/Register/Checkin.aspx?EventID=1692718 Co-located SIGPLAN conferences at FCRC include: + ISMM: International Symposium on Memory Management + LCTES: Languages, Compilers, and Tools for Embedded Systems + PADL: Practical Aspects of Declarative Languages Co-located workshops include: + ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming + CHIUW: Chapel Implementers and Users Workshop + PLOOC: Programming Languages Technology for Massive Open Online Courses + Scala: Scala Symposium + SOAP: International Workshop on the State Of the Art in Java Program Analysis + WAX: Workshop on Approximate Computing + WOW: Workshop on WALA + X10: X10 Workshop Additionally, there will be eight co-located tutorials: + A Semantics-Directed Approach to Program Termination + Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics + RASCAL: Program Analysis and Transformation with Rascal + System-level Program Analysis and Architectural Evaluation with Simics + PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging + AutoTune:Autotuning programs with OpenTuner + Doop Framework 101 + Machine Learning for Code Analytics See the web site for a schedule and further details and links. For further updates, follow the PLDI social media accounts: Facebook: https://www.facebook.com/PLDIConf Twitter: https://twitter.com/PLDI Google+: https://plus.google.com/u/0/114996610955909322758 Also, join the PLDI 2015 Facebook event page to let others know that you'll be attending and discuss events, arrangements, etc. https://www.facebook.com/events/661878493923779/
[TYPES/announce] PLDI 2015: call for workshop and tutorial proposals
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite proposals for workshops or tutorials to be co-located with PLDI 2015, which will be part of ACM FCRC 2015 in Portland, Oregon. More information about PLDI 2015 could be found at http://conf.researchr.org/home/pldi2015 The deadline for proposals is November 10th, 2014. The number of accepted proposals will be limited by the available conference rooms. Late submissions will only be evaluated if there is space available, on a first-come-first-served basis. Further details about the format for submissions can be found here: http://conf.researchr.org/track/pldi2015/pldi2015-workshops We look forward to your submissions! On behalf of the workshop and tutorial chair, Xiangyu Zhang
[TYPES/announce] PLDI 2014 Second Call For Participation / Early Registration
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The early registration deadline for PLDI 2014 and co-located workshops / tutorials is May 7th. Register early to get reduced fees. PLDI is a forum where researchers, developers, educators, and practitioners exchange information on the latest practical and experimental work in the design and implementation of programming languages: http://conferences.inf.ed.ac.uk/pldi2014/ PLDI 2014 and co-located events will be held at the Assembly Rooms Edinburgh in Edinburgh, Scotland from June 9 through June 13. You may register directly for PLDI and associated events here: https://regmaster4.com/2014conf/PLDI14/register.php Co-located conferences and workshops include: + LCTES: ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems + ISMM: International Symposium on Memory Management + DYLA: Workshop on Dynamic Languages and Applications + APPROX: Workshop on Probabilistic and Approximate Computing + ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming + MSPC: Workshop on Memory Systems Performance and Correctness + SOAP: International Workshop on the State Of the Art in Java Program Analysis + TRUST: International Workshop on Reproducible Research Methodologies and New Publication Models + PLOOC: Programming Languages Technology for Massive Open Online Courses + X10: X10 Workshop Additionally, there will be seven co-located tutorials: + LLVM: Using LLVM for program analysis and transformation + PHARO: Pharo, the ultimate live-programming environment + POLYGLOT: The Polyglot Extensible Compiler Framework + PROGVER: Program Verification as (Quantified) Horn Constraint Solving + WEBANA: Analyzing JavaScript and the Web with WALA + LIQUID: Hardware Design for Software Developers using Liquid Metal + GCC: Essential Abstractions in GCC See the web site for a schedule and further details and links. For further updates, follow the PLDI social media accounts: Facebook: https://www.facebook.com/PLDIConf Twitter: https://twitter.com/PLDI Google+: https://plus.google.com/u/0/114996610955909322758 Also, join the PLDI 2014 Facebook event page to let others know that you'll be attending and discuss events, arrangements, etc. https://www.facebook.com/events/593926050685103/
[TYPES/announce] PLDI 2014 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PLDI is a forum where researchers, developers, educators, and practitioners exchange information on the latest practical and experimental work in the design and implementation of programming languages: http://conferences.inf.ed.ac.uk/pldi2014/ PLDI 2014 and co-located events will be held at the Assembly Rooms Edinburgh in Edinburgh, Scotland from June 9 through June 13. Early registration ends May 7. You may register directly for PLDI and associated events here: https://regmaster4.com/2014conf/PLDI14/register.php Co-located conferences and workshops include: + LCTES: ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems + ISMM: International Symposium on Memory Management + DYLA: Workshop on Dynamic Languages and Applications + APPROX: Workshop on Probabilistic and Approximate Computing + ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming + MSPC: Workshop on Memory Systems Performance and Correctness + SOAP: International Workshop on the State Of the Art in Java Program Analysis + TRUST: International Workshop on Reproducible Research Methodologies and New Publication Models + PLOOC: Programming Languages Technology for Massive Open Online Courses + X10: X10 Workshop Additionally, there will be seven co-located tutorials: + LLVM: Using LLVM for program analysis and transformation + PHARO: Pharo, the ultimate live-programming environment + POLYGLOT: The Polyglot Extensible Compiler Framework + PROGVER: Program Verification as (Quantified) Horn Constraint Solving + WEBANA: Analyzing JavaScript and the Web with WALA + LIQUID: Hardware Design for Software Developers using Liquid Metal + GCC: Essential Abstractions in GCC See the web site for a schedule and further details and links. For further updates, follow the PLDI social media accounts: Facebook: https://www.facebook.com/PLDIConf Twitter: https://twitter.com/PLDI Google+: https://plus.google.com/u/0/114996610955909322758 Also, join the PLDI 2014 Facebook event page to let others know that you'll be attending and discuss events, arrangements, etc. https://www.facebook.com/events/593926050685103/
[TYPES/announce] PLDI 2014: Call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** IMPORTANT DATES *** Abstracts:8 November 2013 Paper submission: 15 November 2013 Rebuttal period: 22-24 January 2014 Notification: 5 February 2014 URL: http://conferences.inf.ed.ac.uk/pldi2014/ *** INFORMATION *** PLDI is a forum for the exchange of information on programming languages, their design, implementation, development, and use. PLDI emphasizes innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations. Papers are solicited on, but not limited to, the following topics: + Language designs and extensions + Static and dynamic analysis of programs + Domain-specific languages and tools + Type systems and program logics + Program transformation and optimization + Checking or improving the security or correctness of programs + Memory management + Parallelism, both implicit and explicit + Performance analysis, evaluation, and tools + Novel programming models + Debugging techniques and tools + Program understanding + Interaction of compilers/runtimes with underlying systems + Program synthesis Submissions must be in ACM SIGPLAN proceedings format, 9-point type, and may not exceed 10 pages (all inclusive). Submissions should be written to allow for double-blind reviewing. For full submission guidelines, please refer to the web page: http://conferences.inf.ed.ac.uk/pldi2014/ On behalf of the PLDI 2014 organizers, Michael O'Boyle (General Chair) Keshav Pingali (Program Chair)