Accepted Posters

Accepted Posters

  • [SRC] Hiroyuki Iiboshi and Tomoharu Ugawa, Model Checking of a Persistent Concurrent Queue.
  • [SRC] YOUSSEF EL BAKOUNY and DANI MEZHER, Scallina: On the Intersection of Gallina and Scala
  • [SRC] Takuya Ishizawa and Kohei Suenaga, Property-Directed Reachability for Hybrid Systems with Differential Dynamic Logic Predicates
  • [SRC] Seong-Kyun Mok and Eun-Sun Cho, Static analysis for more sophisticated crash risk classification
  • SATOSHI EGI, Computer Algebra System on the Egison Pattern-Matching-Oriented Programming Langauge
  • [SRC] Ryoto Saito and Kazunori Ueda, Introducing Negation and Universal Quantification into the Graph Rewriting Language LMNtal
  • [SRC] Yutaro Tsunekawa and Kazunori Ueda, Implementation of Effective Symmetry Reduction for a Model Checker based on Graph Rewriting
  • [SRC] Hyunji Jung, Sung-Kyun Mok and Eun-Sun Cho.  A Vulnerability Analysis Tool for Android Media Framework.
  • [SRC] YAHUI SONG, Concurrent FRP Abstraction for Functional IoT Programs
  • [SRC] Hongki Lee, Sungho Lee, Joonyoung Park, Jihyeok Park, and Sukyoung Ryu, A survey on parametric static analysis
  • [SRC] Jaemin Hong, Jihyeok Park, and Sukyoung Ryu, Path Dependent Types with Path-Equality
  • [SRC] Jihyeok Park, Xavier Rival, and Sukyoung Ryu, Pruning Return Heaps using Symbolic Heap Abstraction
  • Julian Mackay, Alex Potanin, Lindsay Groves and Jonathan Aldrich, Decidable Subtyping with Dependent Object Types.
  • Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, Hiroshi Unno.  On Cut-elimination in Cycle Proof Systems.