BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:Events of FSE 2014
PRODID:-//Generated by Conference Publishing//EN
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
DTSTART;TZID=Asia/Hong_Kong:20141118T090000
DTEND;TZID=Asia/Hong_Kong:20141118T092000
SUMMARY:Message from the Chairs
LOCATION:Auditorium
DESCRIPTION:Message from the Chairs\n\n\n\nOn behalf of the entire organizi
 ng team of FSE 2014\, it is our great pleasure to welcome you to Hong Kong 
 for the 22nd ACM SIGSOFT International Symposium on the Foundations of Soft
 ware Engineering. The conference brings together researchers\, practitioner
 s\, and educators to present and discuss the most recent innovations\, tren
 ds\, experiences\, and challenges in software engineering. This year’s prog
 ram continues the great tradition of previous FSE meetings by being rich an
 d exciting\, but the location of the conference is particularly noteworthy 
 as it is the first time that this major international software engineering 
 conference is being held outside North America. Hong Kong is renowned as a 
 lively city with a beautiful harbor and landscape\, and is famous for its f
 inance\, shopping\, and gourmet cuisine\, blending Eastern and Western cult
 ures.\n
UID:iVah4aebok
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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)\n\n\n\nWith the wide-spread adoption of proprietary social networks
  like Facebook and mobile chat platforms like Wechat\, we may be heading to
  a future where all our communication are monetized and our online transact
 ions are mediated by monopolistic big-data companies. This talk describes a
  new anti-data monetization movement led by Omlet\, an open messaging servi
 ce 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 their choice and (2) distributed &#34\;p2p
  webapps&#34\; enable phones and other internet of things to interact with 
 each other without having its communication be monetized. Introduced in Mar
 ch 2014\, Omlet is already seeing traction\, as it is being distributed on 
 millions of Android phones\, by Asus and other yet-to-be-announced device m
 akers. This paradigm shift to decentralized computation not only safeguards
  users&#39\; data privacy\, it fosters open competition and innovation\, an
 d provides an efficient and scalable foundation to handle the billions of p
 hones and devices. Software engineering researchers can help make this a re
 ality by making distributed mobile app development on such a platform acces
 sible.\n
UID:Piu1aeWeej
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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)\n\
 n\n\nI began my career in software engineering research and now find myself
  working more in software systems research. Is there a difference? In this 
 talk I reflect on this question by recalling the stream of ideas\, students
 \, and colleagues that have shaped my path. I present an overview of the cu
 rrent projects in which I am involved to understand at a technical level wh
 ere the two research communities\, software engineering and software system
 s\, connect and diverge.\n
UID:ko4eiGhafi
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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)\n\n
 \n\nAn evidence-based software engineer is one who is able to: 1) Formulate
  a question\, related to a decision or judgment\, so that it can be answere
 d by the use of evidence\, 2) Collect\, critically evaluate and summarise r
 elevant evidence from research\, practice and local studies\, 3) Apply the 
 evidence\, integrated with knowledge about the local context\, to guide dec
 isions and judgments. The keynote reflects on what it in practise means to 
 be evidence-based in software engineering contexts\, where the number of di
 fferent contexts is high and the research-based evidence sparse\, and why t
 here is a need for more evidence-based practises. We summarise our experien
 ce from ten years of Evidence-Based Software Engineering in the context of 
 university courses\, training of software engineers and systematic literatu
 re reviews of software engineering research. While there are challenges in 
 training people in evidence-based practise\, our experience suggest that it
  is feasible and that the training can make an important difference in term
 s of quality of software engineering judgment and decisions. Based on our e
 xperience we suggest changes in how evidence-based software engineering sho
 uld be presented and taught\, and how we should ease the transfer of resear
 ch results into evidence-based practises.\n
UID:oola2hu2Ee
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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)\n\n\n\nAre You Getting
  Traction? Tales from the Tech Transfer Trenches (Invited Talk)\n\n\n\nData
  Hard with a Vengeance (Invited Talk)\n\n\n\n
UID:cae7Thie4o
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nSoftware Develop
 ers’ Perceptions of Productivity\n\n\n\nEnablers\, Inhibitors\, and Percept
 ions of Testing in Novice Software Teams\n\n\n\nFeedback Generation for Per
 formance Problems in Introductory Programming Assignments\n\n\n\n
UID:uyai4duRae
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nAutomatically Generate
 d Patches as Debugging Aids: A Human Study\n\n\n\nA Foundation for Refactor
 ing C with Macros\n\n\n\nVector Abstraction and Concretization for Scalable
  Detection of Refactorings\n\n\n\n
UID:fei3Hai8Zu
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nORBS:
  Language-Independent Program Slicing\n\n\n\nJSAI: A Static Analysis Platfo
 rm for JavaScript\n\n\n\nA Path-Sensitively Sliced Control Flow Graph\n\n\n
 \n
UID:UNg0Lowoo7
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\
 n\nA Large Scale Study of Programming Languages and Code Quality in Github\
 n\n\n\nMining Preconditions of APIs in Large-Scale Code Corpus\n\n\n\nAutom
 atic Mining of Specifications from Invocation Traces and Method Invariants\
 n\n\n\n
UID:ab8ohCohle
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\
 n\n\n\nPowering the Static Driver Verifier using Corral\n\n\n\nVerifying CT
 L-Live Properties of Infinite State Models using an SMT Solver\n\n\n\nEffic
 ient Runtime-Enforcement Techniques for Policy Weaving\n\n\n\n
UID:oPhae4wooP
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nBalancing Trade-Offs in Test-Suite Reduction\n\n\n\nIdentifying th
 e Characteristics of Vulnerable Code Changes: An Empirical Study\n\n\n\n
UID:diL5eok5le
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nLearning Natural Coding Conventions\n\n\n\n
 How Should We Measure Functional Sameness from Program Source Code? An Expl
 oratory Study on Java Methods\n\n\n\nThe Plastic Surgery Hypothesis\n\n\n\n
UID:ieCai3kewa
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nAI: A Lightweight System f
 or Tolerating Concurrency Bugs\n\n\n\nRetrofitting Concurrency for Android 
 Applications through Refactoring\n\n\n\nSherlock: Scalable Deadlock Detecti
 on for Concurrent Programs\n\n\n\n
UID:poolee0Zee
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nBeyond the Rainbow: Self-Adaptive Failure Avoidance in Configur
 able Systems\n\n\n\nSemantics-Based Obfuscation-Resilient Binary Code Simil
 arity Comparison with Applications to Software Plagiarism Detection\n\n\n\n
 Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Gr
 aphs\n\n\n\n
UID:phae3thieT
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nSolving Complex
  Path Conditions through Heuristic Search on Induced Polytopes\n\n\n\nStati
 stical Symbolic Execution with Informed Sampling\n\n\n\nSymJS: Automatic Sy
 mbolic Testing of JavaScript Web Applications\n\n\n\n
UID:Qui8loo5gu
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nMining Id
 ioms from Source Code\n\n\n\nAutomatic Generation of Release Notes\n\n\n\n
UID:Quohz6veeF
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nSAFEWAPI: Web API Misuse Detect
 or for Web Applications\n\n\n\nBuilding Call Graphs for Embedded Client-Sid
 e Code in Dynamic Web Applications\n\n\n\n
UID:Ew4ohcaido
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nArchitecture Challenges for Internal Software 
 Ecosystems: A Large-Scale Industry Case Study\n\n\n\nVariable-Specific Reso
 lutions for Feature Interactions\n\n\n\nAn Empirical Study on Program Compr
 ehension with Reactive Programming\n\n\n\n
UID:bisieL8aqu
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nDetecting
  Energy Bugs and Hotspots in Mobile Apps\n\n\n\nEvoDroid: Segmented Evoluti
 onary Testing of Android Apps\n\n\n\nPrioritizing the Devices to Test Your 
 App on: A Case Study of Android Game Apps\n\n\n\n
UID:Oshie5ging
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nOn
  the Efficiency of Automated Testing\n\n\n\nAn Empirical Analysis of Flaky 
 Tests\n\n\n\nAre Mutants a Valid Substitute for Real Faults in Software Tes
 ting?\n\n\n\n
UID:Iecu4uo5wi
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nP
 anning Requirement Nuggets in Stream of Software Maintenance Tickets\n\n\n\
 nLearning to Rank Relevant Files for Bug Reports using Domain Knowledge\n\n
 \n\nQuerying Sequential Software Engineering Data\n\n\n\n
UID:zea4Iqu1re
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nA To
 ol Suite for the Model-Driven Software Engineering of Cyber-Physical System
 s\n\n\n\nXMLMate: Evolutionary XML Test Generation\n\n\n\nCHOReOSynt: Enfor
 cing Choreography Realizability in the Future Internet\n\n\n\nRaPiD: A Tool
 kit for Reliability Analysis of Non-deterministic Systems\n\n\n\nAalta: An 
 LTL Satisfiability Checker over Infinite/Finite Traces\n\n\n\nOmen+: A Prec
 ise Dynamic Deadlock Detector for Multithreaded Java Libraries\n\n\n\nArchi
 e: A Tool for Detecting\, Monitoring\, and Preserving Architecturally Signi
 ficant Code\n\n\n\nLinking Sketches and Diagrams to Source Code Artifacts\n
 \n\n\nBumbleBee: A Refactoring Environment for Spreadsheet Formulas\n\n\n\n
 RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Re
 factoring Edits\n\n\n\nCritics: An Interactive Code Review Tool for Searchi
 ng and Inspecting Systematic Changes\n\n\n\nConceptCloud: A Tagcloud Browse
 r for Software Archives\n\n\n\nTitan: A Toolset That Connects Software Arch
 itecture with Quality Analysis\n\n\n\nBugLocalizer: Integrated Tool Support
  for Bug Localization\n\n\n\nDemo papers’ lightning talks\n
UID:Hohze4paiT
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
DTSTART;TZID=Asia/Hong_Kong:20141117T100000
DTEND;TZID=Asia/Hong_Kong:20141117T103000
SUMMARY:Technical Presentations 1
LOCATION:Meeting Room 4
DESCRIPTION:Technical Presentations 1\n\n\n\nSoftware crashes are severe ma
 nifestations of software faults. Especially\, software crashes in productio
 n software usually result in bad user experiences. Therefore\, crashing fau
 lts mostly are required to be fixed with a high priority. Diagnosing crashi
 ng faults on production software is non-trivial\, due to the characteristic
 s of production environment. In general\, it is required to address two maj
 or challenges. First\, crash reports in production software are usually num
 erous\, since production software is used by a large number of end users in
  various environments and configurations. Especially\, a single fault may m
 anifest as different crash reports\, which makes the prioritizing debugging
  and understanding faults difficult. Second\, deployed software is required
  to run with minimal overhead and cannot afford a heavyweight instrumentati
 on approach to collect program execution information. Furthermore\, end use
 rs require that the logged information should not reveal sensitive producti
 on data. This thesis contributes for developing crashing fault diagnosis to
 ols that can be used in production environment.\n
UID:pho0Ahtaek
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nNumerical Program Analysis and Testing\n\n\n\nTracea
 bility and Model Checking to Support Safety Requirement Verification\n\n\n\
 nDealing with Uncertainty in Verification of Nondeterministic Systems\n\n\n
 \n
UID:einoh4aeMe
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nAutonomous Compliance Monitoring of Non-function
 al Properties\n\n\n\nDetecting\, Isolating\, and Enforcing Dependencies amo
 ng and within Test Cases\n\n\n\nImproving the Software Testing Skills of No
 vices during Onboarding through Social Transparency\n\n\n\n
UID:zoh2Thah8l
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
DTSTART;TZID=Asia/Hong_Kong:20141117T160000
DTEND;TZID=Asia/Hong_Kong:20141117T163000
SUMMARY:Technical Presentations 4
LOCATION:Meeting Room 4
DESCRIPTION:Technical Presentations 4\n\n\n\nSoftware conflicts arising bec
 ause of conflicting changes are a regular occurrence and delay projects. Wo
 rkspace awareness tools have been proposed to facilitate task coordination 
 among developers\, enabling them to identify potential conflicts early\, wh
 ile conflicts are still easy to resolve. However\, these tools have limitat
 ions\, as they identify conflicts after conflicts have already occurred and
  therefore\, are unable to prevent developers’ time and effort spent in res
 olving the conflicts. The goal of this Ph.D. research is to: (1) characteri
 ze the distribution of conflicts\, their frequency and the factors within a
  project that affects the distribution and frequency of conflicts\, (2) des
 ign and implement a conflict minimization technique that proactively identi
 fies potential conflicts by analyzing developers’ tasks and avoids them by 
 scheduling tasks in a conflict minimal manner and (3) evaluate the proposed
  approach using historic data from OSS projects and through user evaluation
 s. Thus far\, we have implemented our approach and evaluated it with histor
 ic data from four OSS projects and through simulated data.\n
UID:zang0cheeJ
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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\n\n\n\nEstimating the Effectiveness of Sp
 ectrum-Based Fault Localization\n\n\n\nManaging Lots of Models: The FaMine 
 Approach\n\n\n\nSocial Network Analysis in Open Source Software Peer Review
 \n\n\n\nTowards a Theory of Architectural Styles\n\n\n\nSoftware Programmer
  Management: A Machine Learning and Human Computer Interaction Framework fo
 r Optimal Task Assignment\n\n\n\n
UID:daezie2beR
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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?\n\n\n\nKnown Unknowns: Testing in the Pr
 esence of Uncertainty\n\n\n\nSpeculative Reprogramming\n\n\n\nA Variability
  Perspective of Mutation Analysis\n\n\n\nMining Micro-practices from Operat
 ional Data\n\n\n\nAchieving Lightweight Trustworthy Traceability\n\n\n\nSof
 tware Maintenance like Maintenance in Other Engineering Disciplines\n\n\n\n
UID:jei4Reifoo
ORGANIZER:ConfPub
CATEGORIES:Conference Program Event
END:VEVENT
BEGIN:VEVENT
CREATED:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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:20231026T144647Z
DTSTAMP:20231026T144647Z
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