BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of FSE 2014 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T090000 DTEND;TZID=Asia/Hong_Kong:20141118T092000 SUMMARY:Message from the Chairs LOCATION:Auditorium DESCRIPTION:Message from the Chairs\nShing-Chi Cheung\, Alessandro Orso\, a nd Margaret-Anne Storey\nHong Kong University of Science and Technology\, C hina\; Georgia Institute of Technology\, USA\; University of Victoria\, Can ada\n\nOn behalf of the entire organizing team of FSE 2014\, it is our grea t pleasure to welcome you to Hong Kong for the 22nd ACM SIGSOFT Internation al Symposium on the Foundations of Software Engineering. The conference bri ngs together researchers\, practitioners\, and educators to present and dis cuss the most recent innovations\, trends\, experiences\, and challenges in software engineering. This year’s program continues the great tradition of previous FSE meetings by being rich and exciting\, but the location of the conference is particularly noteworthy as it is the first time that this ma jor international software engineering conference is being held outside Nor th America. Hong Kong is renowned as a lively city with a beautiful harbor and landscape\, and is famous for its finance\, shopping\, and gourmet cuis ine\, blending Eastern and Western cultures.\n UID:iVah4aebok ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T090000 DTEND;TZID=Asia/Hong_Kong:20141119T102000 SUMMARY:Omlet: A Revolution against Big-Brother Social Networks (Invited Ta lk) LOCATION:Auditorium DESCRIPTION:Omlet: A Revolution against Big-Brother Social Networks (Invite d Talk)\nMonica S. Lam\nStanford University\, USA\n\nWith the wide-spread a doption of proprietary social networks like Facebook and mobile chat platfo rms like Wechat\, we may be heading to a future where all our communication are monetized and our online transactions are mediated by monopolistic big -data companies. This talk describes a new anti-data monetization movement led by Omlet\, an open messaging service and distributed computing platform that spun out of 4 years of research at Stanford University. With Omlet\, (1) users can own their data and have them hosted on cloud services of thei r choice and (2) distributed "\;p2p webapps"\; enable phones and ot her internet of things to interact with each other without having its commu nication be monetized. Introduced in March 2014\, Omlet is already seeing t raction\, as it is being distributed on millions of Android phones\, by Asu s and other yet-to-be-announced device makers. This paradigm shift to decen tralized computation not only safeguards users'\; data privacy\, it fost ers open competition and innovation\, and provides an efficient and scalabl e foundation to handle the billions of phones and devices. Software enginee ring researchers can help make this a reality by making distributed mobile app development on such a platform accessible.\n UID:Piu1aeWeej ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T092000 DTEND;TZID=Asia/Hong_Kong:20141118T102000 SUMMARY:From Software Engineering to Software Systems (Invited Talk) LOCATION:Auditorium DESCRIPTION:From Software Engineering to Software Systems (Invited Talk)\nA lexander L. Wolf\nImperial College London\, UK\n\nI began my career in soft ware engineering research and now find myself working more in software syst ems research. Is there a difference? In this talk I reflect on this questio n by recalling the stream of ideas\, students\, and colleagues that have sh aped my path. I present an overview of the current projects in which I am i nvolved to understand at a technical level where the two research communiti es\, software engineering and software systems\, connect and diverge.\n UID:ko4eiGhafi ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T171500 DTEND;TZID=Asia/Hong_Kong:20141120T174500 SUMMARY:Ten Years with Evidence-Based Software Engineering. What Is It? Has It Had Any Impact? What’s Next? (Invited Talk) LOCATION:Auditorium DESCRIPTION:Ten Years with Evidence-Based Software Engineering. What Is It? Has It Had Any Impact? What’s Next? (Invited Talk) (Chair: Will Tracz)\nMa gne Jørgensen\nSimula Research Laboratory\, Norway\n\nAn evidence-based sof tware engineer is one who is able to: 1) Formulate a question\, related to a decision or judgment\, so that it can be answered by the use of evidence\ , 2) Collect\, critically evaluate and summarise relevant evidence from res earch\, practice and local studies\, 3) Apply the evidence\, integrated wit h knowledge about the local context\, to guide decisions and judgments. The keynote reflects on what it in practise means to be evidence-based in soft ware engineering contexts\, where the number of different contexts is high and the research-based evidence sparse\, and why there is a need for more e vidence-based practises. We summarise our experience from ten years of Evid ence-Based Software Engineering in the context of university courses\, trai ning of software engineers and systematic literature reviews of software en gineering research. While there are challenges in training people in eviden ce-based practise\, our experience suggest that it is feasible and that the training can make an important difference in terms of quality of software engineering judgment and decisions. Based on our experience we suggest chan ges in how evidence-based software engineering should be presented and taug ht\, and how we should ease the transfer of research results into evidence- based practises.\n UID:oola2hu2Ee ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T153000 DTEND;TZID=Asia/Hong_Kong:20141120T170000 SUMMARY:Perspectives from Industry LOCATION:Auditorium DESCRIPTION:Perspectives from Industry (Chair: Wolfgang Emmerich)\n\nExperi ences Developing Tools for Developers (Invited Talk)\nJohn Penix\nGoogle\, USA\n\nAre You Getting Traction? Tales from the Tech Transfer Trenches (Inv ited Talk)\nSatish Chandra\nSamsung Electronics\, USA\n\nData Hard with a V engeance (Invited Talk)\nThomas Zimmermann\nMicrosoft Research\, USA\n\n UID:cae7Thie4o ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T104000 DTEND;TZID=Asia/Hong_Kong:20141118T122000 SUMMARY:Helping and Understanding Developers LOCATION:Auditorium DESCRIPTION:Helping and Understanding Developers (Chair: Martin Robillard)\ n\nDevelopers’ Code Context Models for Change Tasks\nThomas Fritz\, David C . Shepherd\, Katja Kevic\, Will Snipes\, and Christoph Bräunlich\nUniversit y of Zurich\, Switzerland\; ABB Research\, USA\n\nSoftware Developers’ Perc eptions of Productivity\nAndré N. Meyer\, Thomas Fritz\, Gail C. Murphy\, a nd Thomas Zimmermann\nUniversity of Zurich\, Switzerland\; University of Br itish Columbia\, Canada\; Microsoft Research\, USA\n\nEnablers\, Inhibitors \, and Perceptions of Testing in Novice Software Teams\nRaphael Pham\, Step han Kiesling\, Olga Liskin\, Leif Singer\, and Kurt Schneider\nLeibniz Univ ersität Hannover\, Germany\; University of Victoria\, Canada\n\nFeedback Ge neration for Performance Problems in Introductory Programming Assignments\n Sumit Gulwani\, Ivan Radiček\, and Florian Zuleger\nMicrosoft Research\, US A\; Vienna University of Technology\, Austria\n\n UID:uyai4duRae ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T104000 DTEND;TZID=Asia/Hong_Kong:20141118T122000 SUMMARY:Debugging and Refactoring LOCATION:Hall 4-7 DESCRIPTION:Debugging and Refactoring (Chair: Satish Chandra)\n\nTest Case Purification for Improving Fault Localization\nJifeng Xuan and Martin Monpe rrus\nINRIA\, France\; University of Lille\, France\n\nAutomatically Genera ted Patches as Debugging Aids: A Human Study\nYida Tao\, Jindae Kim\, Sungh un Kim\, and Chang Xu\nHong Kong University of Science and Technology\, Chi na\; Nanjing University\, China\n\nA Foundation for Refactoring C with Macr os\nJeffrey L. Overbey\, Farnaz Behrang\, and Munawar Hafiz\nAuburn Univers ity\, USA\n\nVector Abstraction and Concretization for Scalable Detection o f Refactorings\nNarcisa Andreea Milea\, Lingxiao Jiang\, and Siau-Cheng Kho o\nNational University of Singapore\, Singapore\; Singapore Management Univ ersity\, Singapore\n\n UID:fei3Hai8Zu ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T133000 DTEND;TZID=Asia/Hong_Kong:20141118T151000 SUMMARY:Static Analysis LOCATION:Auditorium DESCRIPTION:Static Analysis (Chair: Jianjun Zhao)\n\nFlowTwist: Efficient C ontext-Sensitive Inside-Out Taint Analysis for Large Codebases\nJohannes Le rch\, Ben Hermann\, Eric Bodden\, and Mira Mezini\nTU Darmstadt\, Germany\; Fraunhofer SIT\, Germany\n\nORBS: Language-Independent Program Slicing\nDa vid Binkley\, Nicolas Gold\, Mark Harman\, Syed Islam\, Jens Krinke\, and S hin Yoo\nLoyola University Maryland\, USA\; University College London\, UK\ n\nJSAI: A Static Analysis Platform for JavaScript\nVineeth Kashyap\, Kyle Dewey\, Ethan A. Kuefner\, John Wagner\, Kevin Gibbons\, John Sarracino\, B en Wiedermann\, and Ben Hardekopf\nUniversity of California at Santa Barbar a\, USA\; Harvey Mudd College\, USA\n\nA Path-Sensitively Sliced Control Fl ow Graph\nJoxan Jaffar and Vijayaraghavan Murali\nNational University of Si ngapore\, Singapore\n\n UID:UNg0Lowoo7 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T133000 DTEND;TZID=Asia/Hong_Kong:20141118T151000 SUMMARY:Mining Software Repositories LOCATION:Hall 4-7 DESCRIPTION:Mining Software Repositories (Chair: Thomas Zimmermann)\n\nLet' s Talk About It: Evaluating Contributions through Discussion in GitHub\nJas on Tsay\, Laura Dabbish\, and James Herbsleb\nCarnegie Mellon University\, USA\n\nA Large Scale Study of Programming Languages and Code Quality in Git hub\nBaishakhi Ray\, Daryl Posnett\, Vladimir Filkov\, and Premkumar Devanb u\nUniversity of California at Davis\, USA\n\nMining Preconditions of APIs in Large-Scale Code Corpus\nHoan Anh Nguyen\, Robert Dyer\, Tien N. Nguyen\ , and Hridesh Rajan\nIowa State University\, USA\n\nAutomatic Mining of Spe cifications from Invocation Traces and Method Invariants\nIvo Krka\, Yuriy Brun\, and Nenad Medvidovic\nGoogle\, Switzerland\; University of Massachus etts\, USA\; University of Southern California\, USA\n\n UID:ab8ohCohle ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T153000 DTEND;TZID=Asia/Hong_Kong:20141118T171000 SUMMARY:Formal Methods and Verification LOCATION:Auditorium DESCRIPTION:Formal Methods and Verification (Chair: Tevfik Bultan)\n\nCount erexample Guided Abstraction Refinement of Product-Line Behavioural Models\ nMaxime Cordy\, Patrick Heymans\, Axel Legay\, Pierre-Yves Schobbens\, Brun o Dawagne\, and Martin Leucker\nUniversity of Namur\, Belgium\; INRIA\, Fra nce\; University of Lübeck\, Germany\n\nPowering the Static Driver Verifier using Corral\nAkash Lal and Shaz Qadeer\nMicrosoft Research\, India\; Micr osoft Research\, USA\n\nVerifying CTL-Live Properties of Infinite State Mod els using an SMT Solver\nAmirhossein Vakili and Nancy A. Day\nUniversity of Waterloo\, Canada\n\nEfficient Runtime-Enforcement Techniques for Policy W eaving\nRichard Joiner\, Thomas Reps\, Somesh Jha\, Mohan Dhawan\, and Vino d Ganapathy\nUniversity of Wisconsin-Madison\, USA\; GrammaTech\, USA\; IBM Research\, India\; Rutgers University\, USA\n\n UID:oPhae4wooP ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T153000 DTEND;TZID=Asia/Hong_Kong:20141118T171000 SUMMARY:Regression Testing LOCATION:Hall 4-7 DESCRIPTION:Regression Testing (Chair: Willem Visser)\n\nTechniques for Imp roving Regression Testing in Continuous Integration Development Environment s\nSebastian Elbaum\, Gregg Rothermel\, and John Penix\nUniversity of Nebra ska-Lincoln\, USA\; Google\, USA\n\nBalancing Trade-Offs in Test-Suite Redu ction\nAugust Shi\, Alex Gyori\, Milos Gligoric\, Andrey Zaytsev\, and Dark o Marinov\nUniversity of Illinois at Urbana-Champaign\, USA\n\nIdentifying the Characteristics of Vulnerable Code Changes: An Empirical Study\nAmiangs hu Bosu\, Jeffrey C. Carver\, Munawar Hafiz\, Patrick Hilley\, and Derek Ja nni\nUniversity of Alabama\, USA\; Auburn University\, USA\; Providence Col lege\, USA\; Lewis & Clark College\, USA\n\n UID:diL5eok5le ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T104000 DTEND;TZID=Asia/Hong_Kong:20141119T122000 SUMMARY:Improving Recommender Systems LOCATION:Auditorium DESCRIPTION:Improving Recommender Systems (Chair: Nenad Medvidovic)\n\nOn t he Localness of Software\nZhaopeng Tu\, Zhendong Su\, and Premkumar Devanbu \nUniversity of California at Davis\, USA\n\nLearning Natural Coding Conven tions\nMiltiadis Allamanis\, Earl T. Barr\, Christian Bird\, and Charles Su tton\nUniversity of Edinburgh\, UK\; University College London\, UK\; Micro soft Research\, USA\n\nHow Should We Measure Functional Sameness from Progr am Source Code? An Exploratory Study on Java Methods\nYoshiki Higo and Shin ji Kusumoto\nOsaka University\, Japan\n\nThe Plastic Surgery Hypothesis\nEa rl T. Barr\, Yuriy Brun\, Premkumar Devanbu\, Mark Harman\, and Federica Sa rro\nUniversity College London\, UK\; University of Massachusetts\, USA\; U niversity of California at Davis\, USA\n\n UID:ieCai3kewa ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T104000 DTEND;TZID=Asia/Hong_Kong:20141119T122000 SUMMARY:Concurrency and Parallelism LOCATION:Hall 4-7 DESCRIPTION:Concurrency and Parallelism (Chair: Sarfraz Khurshid)\n\nGrail: Context-Aware Fixing of Concurrency Bugs\nPeng Liu\, Omer Tripp\, and Char les Zhang\nWuhan University\, China\; IBM Research\, USA\; Hong Kong Univer sity of Science and Technology\, China\n\nAI: A Lightweight System for Tole rating Concurrency Bugs\nMingxing Zhang\, Yongwei Wu\, Shan Lu\, Shanxiang Qi\, Jinglei Ren\, and Weimin Zheng\nTsinghua University\, China\; Universi ty of Wisconsin-Madison\, USA\; University of Illinois at Urbana-Champaign\ , USA\n\nRetrofitting Concurrency for Android Applications through Refactor ing\nYu Lin\, Cosmin Radoi\, and Danny Dig\nUniversity of Illinois at Urban a-Champaign\, USA\; Oregon State University\, USA\n\nSherlock: Scalable Dea dlock Detection for Concurrent Programs\nMahdi Eslamimehr and Jens Palsberg \nUniversity of California at Los Angeles\, USA\n\n UID:poolee0Zee ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T133000 DTEND;TZID=Asia/Hong_Kong:20141119T151000 SUMMARY:Self Adaptation and Repair / Program Analysis Applications LOCATION:Auditorium DESCRIPTION:Self Adaptation and Repair / Program Analysis Applications (Cha ir: Sebastian Uchitel)\n\nSearch-Based Synthesis of Equivalent Method Seque nces\nAlberto Goffi\, Alessandra Gorla\, Andrea Mattavelli\, Mauro Pezzè\, and Paolo Tonella\nUniversity of Lugano\, Switzerland\; Saarland University \, Germany\; Fondazione Bruno Kessler\, Italy\n\nBeyond the Rainbow: Self-A daptive Failure Avoidance in Configurable Systems\nJacob Swanson\, Myra B. Cohen\, Matthew B. Dwyer\, Brady J. Garvin\, and Justin Firestone\nUniversi ty of Nebraska-Lincoln\, USA\n\nSemantics-Based Obfuscation-Resilient Binar y Code Similarity Comparison with Applications to Software Plagiarism Detec tion\nLannan Luo\, Jiang Ming\, Dinghao Wu\, Peng Liu\, and Sencun Zhu\nPen nsylvania State University\, USA\n\nFocus-Shifting Patterns of OSS Develope rs and Their Congruence with Call Graphs\nQi Xuan\, Aaron Okano\, Premkumar Devanbu\, and Vladimir Filkov\nUniversity of California at Davis\, USA\; Z hejiang University of Technology\, China\n\n UID:phae3thieT ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T133000 DTEND;TZID=Asia/Hong_Kong:20141119T151000 SUMMARY:Symbolic Execution LOCATION:Hall 4-7 DESCRIPTION:Symbolic Execution (Chair: Charles Zhang)\n\nHow We Get There: A Context-Guided Search Strategy in Concolic Testing\nHyunmin Seo and Sungh un Kim\nHong Kong University of Science and Technology\, China\n\nSolving C omplex Path Conditions through Heuristic Search on Induced Polytopes\nPeter Dinges and Gul Agha\nUniversity of Illinois at Urbana-Champaign\, USA\n\nS tatistical Symbolic Execution with Informed Sampling\nAntonio Filieri\, Cor ina S. Păsăreanu\, Willem Visser\, and Jaco Geldenhuys\nUniversity of Stutt gart\, Germany\; Carnegie Mellon University\, USA\; NASA Ames Research Cent er\, USA\; Stellenbosch University\, South Africa\n\nSymJS: Automatic Symbo lic Testing of JavaScript Web Applications\nGuodong Li\, Esben Andreasen\, and Indradeep Ghosh\nFujitsu Labs\, USA\; Aarhus University\, Denmark\n\n UID:Qui8loo5gu ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T153000 DTEND;TZID=Asia/Hong_Kong:20141119T164500 SUMMARY:Software Documentation LOCATION:Auditorium DESCRIPTION:Software Documentation (Chair: Jane Cleland-Huang)\n\nSelection and Presentation Practices for Code Example Summarization\nAnnie T. T. Yin g and Martin P. Robillard\nMcGill University\, Canada\n\nMining Idioms from Source Code\nMiltiadis Allamanis and Charles Sutton\nUniversity of Edinbur gh\, UK\n\nAutomatic Generation of Release Notes\nLaura Moreno\, Gabriele B avota\, Massimiliano Di Penta\, Rocco Oliveto\, Andrian Marcus\, and Gerard o Canfora\nUniversity of Texas at Dallas\, USA\; University of Sannio\, Ita ly\; University of Molise\, Italy\n\n UID:Quohz6veeF ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T153000 DTEND;TZID=Asia/Hong_Kong:20141119T164500 SUMMARY:Web Apps LOCATION:Hall 4-7 DESCRIPTION:Web Apps (Chair: Luciano Baresi)\n\nDiscovering Refactoring Opp ortunities in Cascading Style Sheets\nDavood Mazinanian\, Nikolaos Tsantali s\, and Ali Mesbah\nConcordia University\, Canada\; University of British C olumbia\, Canada\n\nSAFEWAPI: Web API Misuse Detector for Web Applications\ nSungGyeong Bae\, Hyunghun Cho\, Inho Lim\, and Sukyoung Ryu\nKAIST\, South Korea\; Samsung Electronics\, South Korea\n\nBuilding Call Graphs for Embe dded Client-Side Code in Dynamic Web Applications\nHung Viet Nguyen\, Chris tian Kästner\, and Tien N. Nguyen\nIowa State University\, USA\; Carnegie M ellon University\, USA\n\n UID:Ew4ohcaido ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T104000 DTEND;TZID=Asia/Hong_Kong:20141120T122000 SUMMARY:Architecture and Design LOCATION:Auditorium DESCRIPTION:Architecture and Design (Chair: James Herbsleb)\n\nSketches and Diagrams in Practice\nSebastian Baltes and Stephan Diehl\nUniversity of Tr ier\, Germany\n\nArchitecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study\nKlaus-Benedikt Schultis\, Christoph Elsn er\, and Daniel Lohmann\nSiemens\, Germany\; University of Erlangen-Nurembe rg\, Germany\n\nVariable-Specific Resolutions for Feature Interactions\nCec ylia Bocovich and Joanne M. Atlee\nUniversity of Waterloo\, Canada\n\nAn Em pirical Study on Program Comprehension with Reactive Programming\nGuido Sal vaneschi\, Sven Amann\, Sebastian Proksch\, and Mira Mezini\nTU Darmstadt\, Germany\; Lancaster University\, UK\n\n UID:bisieL8aqu ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T104000 DTEND;TZID=Asia/Hong_Kong:20141120T122000 SUMMARY:Mobile Apps LOCATION:Hall 4-7 DESCRIPTION:Mobile Apps (Chair: Antonio Carzaniga)\n\nApposcopy: Semantics- Based Detection of Android Malware through Static Analysis\nYu Feng\, Saswa t Anand\, Isil Dillig\, and Alex Aiken\nUniversity of Texas at Austin\, USA \; Stanford University\, USA\n\nDetecting Energy Bugs and Hotspots in Mobil e Apps\nAbhijeet Banerjee\, Lee Kee Chong\, Sudipta Chattopadhyay\, and Abh ik Roychoudhury\nNational University of Singapore\, Singapore\; Linköping U niversity\, Sweden\n\nEvoDroid: Segmented Evolutionary Testing of Android A pps\nRiyadh Mahmood\, Nariman Mirzaei\, and Sam Malek\nGeorge Mason Univers ity\, USA\n\nPrioritizing the Devices to Test Your App on: A Case Study of Android Game Apps\nHammad Khalid\, Meiyappan Nagappan\, Emad Shihab\, and A hmed E. Hassan\nQueen's University\, Canada\; Rochester Institute of Techno logy\, USA\; Concordia University\, Canada\n\n UID:Oshie5ging ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T133000 DTEND;TZID=Asia/Hong_Kong:20141120T151000 SUMMARY:Testing and Oracles LOCATION:Auditorium DESCRIPTION:Testing and Oracles (Chair: Prem Devanbu)\n\nImproving Oracle Q uality by Detecting Brittle Assertions and Unused Inputs in Tests\nChen Huo and James Clause\nUniversity of Delaware\, USA\n\nOn the Efficiency of Aut omated Testing\nMarcel Böhme and Soumya Paul\nSaarland University\, Germany \; National University of Singapore\, Singapore\n\nAn Empirical Analysis of Flaky Tests\nQingzhou Luo\, Farah Hariri\, Lamyaa Eloussi\, and Darko Mari nov\nUniversity of Illinois at Urbana-Champaign\, USA\n\nAre Mutants a Vali d Substitute for Real Faults in Software Testing?\nRené Just\, Darioush Jal ali\, Laura Inozemtseva\, Michael D. Ernst\, Reid Holmes\, and Gordon Frase r\nUniversity of Washington\, USA\; University of Waterloo\, Canada\; Unive rsity of Sheffield\, UK\n\n UID:Iecu4uo5wi ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T133000 DTEND;TZID=Asia/Hong_Kong:20141120T151000 SUMMARY:Evolution and Maintenance LOCATION:Hall 4-7 DESCRIPTION:Evolution and Maintenance (Chair: Massimiliano Di Penta)\n\nNo Issue Left Behind: Reducing Information Overload in Issue Tracking\nOlga Ba ysal\, Reid Holmes\, and Michael W. Godfrey\nUniversité de Montréal\, Canad a\; University of Waterloo\, Canada\n\nPanning Requirement Nuggets in Strea m of Software Maintenance Tickets\nSenthil Mani\, Karthik Sankaranarayanan\ , Vibha Singhal Sinha\, and Premkumar Devanbu\nIBM Research\, India\; Unive rsity of California at Davis\, USA\n\nLearning to Rank Relevant Files for B ug Reports using Domain Knowledge\nXin Ye\, Razvan Bunescu\, and Chang Liu\ nOhio University\, USA\n\nQuerying Sequential Software Engineering Data\nCh engnian Sun\, Haidong Zhang\, Jian-Guang Lou\, Hongyu Zhang\, Qiang Wang\, Dongmei Zhang\, and Siau-Cheng Khoo\nUniversity of California at Davis\, US A\; Microsoft Research\, China\; National University of Singapore\, Singapo re\n\n UID:zea4Iqu1re ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T171500 DTEND;TZID=Asia/Hong_Kong:20141118T180000 SUMMARY:FSE: Tool Demonstrations LOCATION:Auditorium DESCRIPTION:Tool Demonstrations\n\nTsmart-GalsBlock: A Toolkit for Modeling \, Validation\, and Synthesis of Multi-clocked Embedded Systems\nYu Jiang\, Hehua Zhang\, Huafeng Zhang\, Xinyan Zhao\, Han Liu\, Chengnian Sun\, Xiao yu Song\, Ming Gu\, and Jiaguang Sun\nTsinghua University\, China\; Univers ity of California at Davis\, USA\n\nA Tool Suite for the Model-Driven Softw are Engineering of Cyber-Physical Systems\nStefan Dziwok\, Christopher Gerk ing\, Steffen Becker\, Sebastian Thiele\, Christian Heinzemann\, and Uwe Po hlmann\nUniversity of Paderborn\, Germany\; Fraunhofer IPT\, Germany\n\nXML Mate: Evolutionary XML Test Generation\nNikolas Havrikov\, Matthias Höschel e\, Juan Pablo Galeotti\, and Andreas Zeller\nSaarland University\, Germany \n\nCHOReOSynt: Enforcing Choreography Realizability in the Future Internet \nMarco Autili\, Davide Di Ruscio\, Amleto Di Salle\, and Alexander Perucci \nUniversity of L'Aquila\, Italy\n\nRaPiD: A Toolkit for Reliability Analys is of Non-deterministic Systems\nLin Gui\, Jun Sun\, Yang Liu\, Truong Khan h Nguyen\, and Jin Song Dong\nNational University of Singapore\, Singapore\ ; Singapore University of Technology and Design\, Singapore\; Nanyang Techn ological University\, Singapore\n\nAalta: An LTL Satisfiability Checker ove r Infinite/Finite Traces\nJianwen Li\, Yinbo Yao\, Geguang Pu\, Lijun Zhang \, and Jifeng He\nEast China Normal University\, China\; Institute of Softw are at Chinese Academy of Sciences\, China\n\nOmen+: A Precise Dynamic Dead lock Detector for Multithreaded Java Libraries\nMalavika Samak and Murali K rishna Ramanathan\nIndian Institute of Science\, India\n\nArchie: A Tool fo r Detecting\, Monitoring\, and Preserving Architecturally Significant Code\ nMehdi Mirakhorli\, Ahmed Fakhry\, Artem Grechko\, Matteusz Wieloch\, and J ane Cleland-Huang\nRochester Institute of Technology\, USA\; DePaul Univers ity\, USA\n\nLinking Sketches and Diagrams to Source Code Artifacts\nSebast ian Baltes\, Peter Schmitz\, and Stephan Diehl\nUniversity of Trier\, Germa ny\n\nBumbleBee: A Refactoring Environment for Spreadsheet Formulas\nFelien ne Hermans and Danny Dig\nDelft University of Technology\, Netherlands\; Or egon State University\, USA\n\nRefDistiller: A Refactoring Aware Code Revie w Tool for Inspecting Manual Refactoring Edits\nEverton L. G. Alves\, Myoun gkyu Song\, and Miryung Kim\nUniversity of Texas at Austin\, USA\; Federal University of Campina Grande\, Brazil\; University of California at Los Ang eles\, USA\n\nCritics: An Interactive Code Review Tool for Searching and In specting Systematic Changes\nTianyi Zhang\, Myoungkyu Song\, and Miryung Ki m\nUniversity of California at Los Angeles\, USA\; University of Texas at A ustin\, USA\n\nConceptCloud: A Tagcloud Browser for Software Archives\nGill ian J. Greene and Bernd Fischer\nStellenbosch University\, South Africa\n\n Titan: A Toolset That Connects Software Architecture with Quality Analysis\ nLu Xiao\, Yuanfang Cai\, and Rick Kazman\nDrexel University\, USA\; Univer sity of Hawaii\, USA\n\nBugLocalizer: Integrated Tool Support for Bug Local ization\nFerdian Thung\, Tien-Duy B. Le\, Pavneet Singh Kochhar\, and David Lo\nSingapore Management University\, Singapore\n\nDemo papers’ lightning talks\n UID:Hohze4paiT ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T090000 DTEND;TZID=Asia/Hong_Kong:20141117T100000 SUMMARY:Invited Talk 1 LOCATION:Meeting Room 4 DESCRIPTION:Invited Talk 1\n\n UID:oomo0EeVee ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T100000 DTEND;TZID=Asia/Hong_Kong:20141117T103000 SUMMARY:Technical Presentations 1 LOCATION:Meeting Room 4 DESCRIPTION:Technical Presentations 1\nRongxin Wu\nHong Kong University of Science and Technology\, China\n\nSoftware crashes are severe manifestation s of software faults. Especially\, software crashes in production software usually result in bad user experiences. Therefore\, crashing faults mostly are required to be fixed with a high priority. Diagnosing crashing faults o n production software is non-trivial\, due to the characteristics of produc tion environment. In general\, it is required to address two major challeng es. First\, crash reports in production software are usually numerous\, sin ce production software is used by a large number of end users in various en vironments and configurations. Especially\, a single fault may manifest as different crash reports\, which makes the prioritizing debugging and unders tanding faults difficult. Second\, deployed software is required to run wit h minimal overhead and cannot afford a heavyweight instrumentation approach to collect program execution information. Furthermore\, end users require that the logged information should not reveal sensitive production data. Th is thesis contributes for developing crashing fault diagnosis tools that ca n be used in production environment.\n UID:pho0Ahtaek ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T110000 DTEND;TZID=Asia/Hong_Kong:20141117T123000 SUMMARY:Technical Presentations 2 LOCATION:Meeting Room 4 DESCRIPTION:Technical Presentations 2\n\nIntegrating Approaches for Feature Implementation\nBenjamin Behringer\nUniversity of Luxembourg\, Luxembourg\ ; htw saar\, Germany\n\nNumerical Program Analysis and Testing\nZheng Gao\n University College London\, UK\n\nTraceability and Model Checking to Suppor t Safety Requirement Verification\nShuanglong Kan\nNanjing University of Ae ronautics and Astronautics\, China\n\nDealing with Uncertainty in Verificat ion of Nondeterministic Systems\nYamilet R. Serrano Llerena\nNational Unive rsity of Singapore\, Singapore\n\n UID:einoh4aeMe ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T140000 DTEND;TZID=Asia/Hong_Kong:20141117T153000 SUMMARY:Technical Presentations 3 LOCATION:Meeting Room 4 DESCRIPTION:Technical Presentations 3\n\nStatic Analysis Driven Performance and Energy Testing\nAbhijeet Banerjee\nNational University of Singapore\, Singapore\n\nAutonomous Compliance Monitoring of Non-functional Properties\ nMarc Brünink\nNational University of Singapore\, Singapore\n\nDetecting\, Isolating\, and Enforcing Dependencies among and within Test Cases\nJonatha n Bell\nColumbia University\, USA\n\nImproving the Software Testing Skills of Novices during Onboarding through Social Transparency\nRaphael Pham\nLei bniz Universität Hannover\, Germany\n\n UID:zoh2Thah8l ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T160000 DTEND;TZID=Asia/Hong_Kong:20141117T163000 SUMMARY:Technical Presentations 4 LOCATION:Meeting Room 4 DESCRIPTION:Technical Presentations 4\nBakhtiar Khan Kasi\nUniversity of Ne braska-Lincoln\, USA\n\nSoftware conflicts arising because of conflicting c hanges are a regular occurrence and delay projects. Workspace awareness too ls have been proposed to facilitate task coordination among developers\, en abling them to identify potential conflicts early\, while conflicts are sti ll easy to resolve. However\, these tools have limitations\, as they identi fy conflicts after conflicts have already occurred and therefore\, are unab le to prevent developers’ time and effort spent in resolving the conflicts. The goal of this Ph.D. research is to: (1) characterize the distribution o f conflicts\, their frequency and the factors within a project that affects the distribution and frequency of conflicts\, (2) design and implement a c onflict minimization technique that proactively identifies potential confli cts by analyzing developers’ tasks and avoids them by scheduling tasks in a conflict minimal manner and (3) evaluate the proposed approach using histo ric data from OSS projects and through user evaluations. Thus far\, we have implemented our approach and evaluated it with historic data from four OSS projects and through simulated data.\n UID:zang0cheeJ ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T163000 DTEND;TZID=Asia/Hong_Kong:20141117T173000 SUMMARY:Invited Talk 2 LOCATION:Meeting Room 4 DESCRIPTION:Invited Talk 2\n\n UID:Taechai9bo ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T180000 DTEND;TZID=Asia/Hong_Kong:20141118T203000 SUMMARY:FSE: Student Research Competition Posters LOCATION:Pre-function Hall DESCRIPTION:Student Research Competition Posters\n\nDetecting and Preventin g the Architectural Roots of Bugs\nLu Xiao\nDrexel University\, USA\n\nEsti mating the Effectiveness of Spectrum-Based Fault Localization\nShuo Song\nN anjing University\, China\n\nManaging Lots of Models: The FaMine Approach\n David Wille\nTU Braunschweig\, Germany\n\nSocial Network Analysis in Open S ource Software Peer Review\nXin Yang\nNara Institute of Science and Technol ogy\, Japan\n\nTowards a Theory of Architectural Styles\nDiego Marmsoler\nT U München\, Germany\n\nSoftware Programmer Management: A Machine Learning a nd Human Computer Interaction Framework for Optimal Task Assignment\nHarry Raymond Joseph\nTU München\, Germany\n\n UID:daezie2beR ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T090000 DTEND;TZID=Asia/Hong_Kong:20141120T102000 SUMMARY:FSE: Visions and Challenges LOCATION:Auditorium DESCRIPTION:Visions and Challenges\n\nMethodology and Culture: Drivers of M ediocrity in Software Engineering?\nMarian Petre and Daniela Damian\nOpen U niversity\, UK\; University of Victoria\, Canada\n\nKnown Unknowns: Testing in the Presence of Uncertainty\nSebastian Elbaum and David S. Rosenblum\nU niversity of Nebraska-Lincoln\, USA\; National University of Singapore\, Si ngapore\n\nSpeculative Reprogramming\nMarc Palyart\, Gail C. Murphy\, Emers on Murphy-Hill\, and Xavier Blanc\nUniversity of British Columbia\, Canada\ ; North Carolina State University\, USA\; University of Bordeaux\, France\n \nA Variability Perspective of Mutation Analysis\nXavier Devroey\, Gilles P errouin\, Maxime Cordy\, Mike Papadakis\, Axel Legay\, and Pierre-Yves Scho bbens\nUniversity of Namur\, Belgium\; University of Luxembourg\, Luxembour g\; INRIA\, France\n\nMining Micro-practices from Operational Data\nMinghui Zhou and Audris Mockus\nPeking University\, China\; University of Tennesse e\, USA\; Avaya Labs\, USA\n\nAchieving Lightweight Trustworthy Traceabilit y\nJane Cleland-Huang\, Mona Rahimi\, and Patrick Mäder\nDePaul University\ , USA\; TU Ilmenau\, Germany\n\nSoftware Maintenance like Maintenance in Ot her Engineering Disciplines\nGustavo Villavicencio\nUniversidad Católica de Santiago del Estero\, Argentina\n\n UID:jei4Reifoo ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T102000 DTEND;TZID=Asia/Hong_Kong:20141118T104000 SUMMARY:Morning Break LOCATION:Pre-function Hall DESCRIPTION:Morning Break\n\n UID:Saesah6oSu ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T102000 DTEND;TZID=Asia/Hong_Kong:20141119T104000 SUMMARY:Morning Break LOCATION:Pre-function Hall DESCRIPTION:Morning Break\n\n UID:Vae3phu8Lo ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T102000 DTEND;TZID=Asia/Hong_Kong:20141120T104000 SUMMARY:Morning Break LOCATION:Pre-function Hall DESCRIPTION:Morning Break\n\n UID:ieNg9eecie ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T122000 DTEND;TZID=Asia/Hong_Kong:20141118T133000 SUMMARY:Lunch LOCATION:Happiness Cuisine DESCRIPTION:Lunch\n\n UID:usath9Eice ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T122000 DTEND;TZID=Asia/Hong_Kong:20141119T133000 SUMMARY:Lunch LOCATION:Happiness Cuisine DESCRIPTION:Lunch\n\n UID:oG5fi1xei0 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T122000 DTEND;TZID=Asia/Hong_Kong:20141120T133000 SUMMARY:Lunch LOCATION:Happiness Cuisine DESCRIPTION:Lunch\n\n UID:ea5vi6Aes0 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T151000 DTEND;TZID=Asia/Hong_Kong:20141118T153000 SUMMARY:Afternoon Break LOCATION:Pre-function Hall DESCRIPTION:Afternoon Break\n\n UID:pe1mu5Siey ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T151000 DTEND;TZID=Asia/Hong_Kong:20141119T153000 SUMMARY:Afternoon Break LOCATION:Pre-function Hall DESCRIPTION:Afternoon Break\n\n UID:aehaeZ0igh ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T151000 DTEND;TZID=Asia/Hong_Kong:20141120T153000 SUMMARY:Afternoon Break LOCATION:Pre-function Hall DESCRIPTION:Afternoon Break\n\n UID:veepaex1Oh ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T193000 DTEND;TZID=Asia/Hong_Kong:20141119T220000 SUMMARY:Banquet LOCATION:Laguna Palace Restaurant DESCRIPTION:Banquet\n\n UID:eeMuqu4a ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T164500 DTEND;TZID=Asia/Hong_Kong:20141119T173000 SUMMARY:Student Research Competition Presentations LOCATION:Auditorium DESCRIPTION:Student Research Competition Presentations\n\nSelected contribu tions will be presented.\n UID:im3aeroh1U ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141118T180000 DTEND;TZID=Asia/Hong_Kong:20141118T203000 SUMMARY:Reception + Demo Posters LOCATION:Pre-function Hall DESCRIPTION:Reception + Demo Posters\n\n UID:iLoop4eez2 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141119T173000 DTEND;TZID=Asia/Hong_Kong:20141119T183000 SUMMARY:SIGSOFT Townhall Meeting LOCATION:Pre-function Hall DESCRIPTION:SIGSOFT Townhall Meeting\n\n UID:lip6Uu4wib ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T170000 DTEND;TZID=Asia/Hong_Kong:20141120T171500 SUMMARY:Awards LOCATION:Auditorium DESCRIPTION:Awards (Chair: Will Tracz)\n\n UID:gohL3fei9n ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141120T174500 DTEND;TZID=Asia/Hong_Kong:20141120T180000 SUMMARY:Closing LOCATION:Auditorium DESCRIPTION:Closing (Chair: Shing-Chi Cheung)\n\n UID:Ru2teehee1 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T090000 DTEND;TZID=Asia/Hong_Kong:20141117T103000 SUMMARY:Engineering Privacy and the Challenges of Transitioning Science to Practice LOCATION:Hall 1 DESCRIPTION:Engineering Privacy and the Challenges of Transitioning Science to Practice\n\n UID:gais7Iepah ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T090000 DTEND;TZID=Asia/Hong_Kong:20141117T103000 SUMMARY:Software Analytics: Achievements and Challenges LOCATION:Hall 2 DESCRIPTION:Software Analytics: Achievements and Challenges\n\n UID:chae7IePha ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T110000 DTEND;TZID=Asia/Hong_Kong:20141117T123000 SUMMARY:Engineering Secure Software: On The Many Ways You Should Be Breakin g Your Product LOCATION:Hall 1 DESCRIPTION:Engineering Secure Software: On The Many Ways You Should Be Bre aking Your Product\n\n UID:yangaQu4ea ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T110000 DTEND;TZID=Asia/Hong_Kong:20141117T123000 SUMMARY:String Analysis LOCATION:Hall 2 DESCRIPTION:String Analysis\n\n UID:sheiph6aPo ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T140000 DTEND;TZID=Asia/Hong_Kong:20141117T153000 SUMMARY:Symbolic Techniques for Program Debugging and Repair LOCATION:Hall 1 DESCRIPTION:Symbolic Techniques for Program Debugging and Repair\n\n UID:UmahNgie9e ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T140000 DTEND;TZID=Asia/Hong_Kong:20141117T153000 SUMMARY:Engineering Cyberphysical System Software LOCATION:Hall 2 DESCRIPTION:Engineering Cyberphysical System Software\n\n UID:Aeg5fee4ni ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T160000 DTEND;TZID=Asia/Hong_Kong:20141117T173000 SUMMARY:Social Media and Science 2.0 LOCATION:Hall 1 DESCRIPTION:Social Media and Science 2.0\n\n UID:wieph1Xaog ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=Asia/Hong_Kong:20141117T160000 DTEND;TZID=Asia/Hong_Kong:20141117T173000 SUMMARY:Software Engineering for Cloud Applications (canceled) LOCATION:Hall 2 DESCRIPTION:Software Engineering for Cloud Applications (canceled)\n\n UID:Ohh3aineiv ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR