征稿已开启

查看我的稿件

已截稿
注册已开启

查看我的门票

已截止
活动简介

In recent 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.

Previous workshops have been held in Perpignan, France (2010), Venice, Italy (2011), Deauville, France (2012), Seattle, WA, USA (2013), Munich, Germany (2014), Saint-Malo, France (2015), Edinburgh, UK (2016) and New York, NY, USA (2017).

TAPAS 2018 will be co-located with SAS 2018.

The technical program of TAPAS 2018 will consist of invited lectures together with presentations based on submitted extended abstracts.

Submissions 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)
组委会

  1. Program Chair

  2. •Andreas Podelski (University of Freiburg, Germany)

 

  1. Program Committee

  2. •Domagoj Babic (Google Inc., USA)

  3. •Sam Blackshear (Facebook, USA)

  4. •Marc Brockschmidt (Microsoft Research, UK) 

  5. •Swarat Chaudhuri (Rice University, USA)

  6. •Bor-Yuh Evan Chang (University of Colorado Boulder, USA) 

  7. •Jérôme Feret (INRIA/ENS/CNRS, France) 

  8. •Ashutosh Gupta (TIFR, India) 

  9. •Nicolas Halbwachs (Verimag/CNRS, France) 

  10. •Lukáš Holík (Brno University of Technology, Czech Republic)

  11. •Barbara König (University of Duisburg-Essen, Germany)

  12. •Boris Köpf (IMDEA Software Institute, Spain) 

  13. •Shuvendu Lahiri (Microsoft Research, USA)

  14. •Hakjoo Oh (Korea University, South Korea)

  15. •Sylvie Putot (École Polytechnique, France)

  16. •Francesco Ranzato (University of Padova, Italy)

  17. •Jakob Rehof (TU Dortmund University, Germany)

  18. •Xavier Rival (CNRS/ENS/INRIA, France)

  19. •Sriram Sankaranarayanan (University of Colorado Boulder, USA)

  20. •Harald Søndergaard (The University of Melbourne, Australia)

  21. •Alexander J. Summers (ETH Zurich, Switzerland)

  22. •Ashish Tiwari (SRI International, USA)

  23. •Caterina Urban (ETH Zurich, Switzerland)

  24. •Lenore Zuck (University of Illinois at Chicago, USA)

  25. •Damien Zufferey (MPI-SWS, Germany)

  26. •Florian Zuleger (TU Wien, Austria)

 

  1. Artifact Evaluation Chair

  2. •Xavier Rival (CNRS/ENS/INRIA, France)

 

  1. Artifact Evaluation Committee

  2. •Ahmad Salim Al Sibahi (University of Copenhagen, Denmark)

  3. •Frédéric Besson (Inria/Univ Rennes/CNRS/IRISA, France)

  4. •Liqian Chen (NUDT, China)

  5. •Gidon Ernst (National Institute of Informatics, Japan)

  6. •George Fourtounis (University of Athens, Greece)

  7. •Kihong Heo (University of Pennsylvania, USA)

  8. •Huisong Li (CNRS/ENS/INRIA, France)

  9. •Sergio Mover (University of Colorado Boulder, USA)

  10. •Hakjoo Oh (Korea University, South Korea)

  11. •Oded Padon (Tel Aviv University, Israel)

  12. •Jihyeok Park (KAIST, South Korea)

  13. •Marie Pelleau (University Nice/Sophia Antipolis, France)

  14. •Markus Schordan (Lawrence Livermore National Laboratory, USA)

  15. •Fausto Spoto (University of Verona/Julia Srl, Italy)

  16. •David Sprunger (National Institute of Informatics, Japan)

  17. •Caterina Urban (ETH Zurich, Switzerland)

  18. •Jules Villard (Facebook)

 

  1. Publicity Chair

  2. •Caterina Urban (ETH Zurich, Switzerland)

征稿信息

重要日期

2018-07-01
初稿截稿日期
2018-07-23
初稿录用日期

The technical program for SAS 2018 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to:

 

Abstract domains
Automated deduction

Debugging

Emerging applications

Program optimizations and transformations

Program verification

Tool environments and architectures

Type checking

 

Abstract interpretation

Data flow analysis

Deductive methods

Model checking

Program synthesis

Security analysis

Theoretical frameworks

作者指南

Submissions can address any programming paradigm including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Paper submissions should not exceed 15 pages in Springer's Lecture Notes in Computer Science LNCS format, excluding bibliography and well-marked appendices (we may admit additional pages for the final version). Program Committee members are not required to read the appendices, and thus papers must be intelligible without them. 

留言
验证码 看不清楚，更换一张
全部留言
重要日期

  • 08月28日

    2018

    会议日期

  • 07月01日 2018

    初稿截稿日期

  • 07月23日 2018

    初稿录用通知日期

  • 08月28日 2018

    注册截止日期

联系方式
登录查看完整联系方式
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询