Program
Thursday 22nd October
| Chair: Tudor Jebelean | |
| 09:30-09:50 | Opening |
| 09:50-10:30 | Astrid Younang and Lunjin Lu: An Extended Domain of Intervals for Analysis of JavaScript Programs |
| 10:35-11:00 | Vu Xuan Tung and Hoang Truong: An Improved Type System for Counting Logs of Transactional Multi-threaded Programs |
| 11:00-11:20 | Break |
| 14:00-14:40 | Wei Chen, Charles Sutton, Andrew D. Gordon, David Aspinall, Igor Muttik and Qi Shen: Verifying Anti-Security Policies Learnt from Android Malware Families |
| 12:00-14:00 | Lunch |
| Chair: Jie Luo | |
| 14:00-14:40 | Dianfu Ma: Embedded RISC Microprocessor Formal Design and Verification |
| 14:45-15:25 | Alexander Maletzky: Verifying Buchberger's Algorithm in Reduction Rings |
| 15:25-15:45 | Break |
| 15:45-16:25 | Jie Luo and Liang Dong: An Algorithm for Computing All Maximal Contractions in Description Logic |
| 16:30-16:55 | Dongchen Jiang: A Comparative Study of Sorting Algorithm Verification |
| 17:00-17:25 | Isabela Drãmnesc, Tudor Jebelean and Sorin Stratulat: Synthesis of Algorithms on Binary Trees |
| 18:00- | Dinner |
Friday 23rd October
| Chair: Wei Li | |
| 09:30-10:30 | Gordon Plotkin: Multilinear Programming with Big Data |
| 10:30-10:50 | Break |
| Chair: Dongming Wang | |
| 10:50-11:30 | Wei Li: An Approximation Approach to Compute Maximal Consistent Subsets |
| 11:30-11:45 | Closing |