BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of ISSTA 2014 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T083000 DTEND;TZID=America/Los_Angeles:20140723T084000 SUMMARY:ISSTA: Message from the Chairs LOCATION:Almaden Ballroom DESCRIPTION:Message from the Chairs (Chair: Corina Pasareanu\; Darko Marino v)\nCorina S. Păsăreanu and Darko Marinov\nNASA Ames\, USA\; University of Illinois at Urbana-Champaign\, USA\n\nIt is our great pleasure to welcome y ou to ISSTA 2014\, the 23rd International Symposium on Software Testing and Analysis\, to be held in San Jose\, California\, on July 21-25\, 2014. ISS TA is the leading research symposium on software testing and analysis\, bri nging together academics\, industrial researchers\, and practitioners to ex change new ideas\, problems\, and experience on how to analyze and test sof tware systems.\n UID:Chee1Eeph6 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T103000 DTEND;TZID=America/Los_Angeles:20140723T121000 SUMMARY:ISSTA: Concurrency and Verification LOCATION:Almaden Ballroom DESCRIPTION:Concurrency and Verification (Chair: Sarfraz Khurshid)\n\nRunti me Prevention of Concurrency Related Type-State Violations in Multithreaded Applications\nLu Zhang and Chao Wang\nVirginia Tech\, USA\n\nPerformance R egression Testing of Concurrent Classes\nMichael Pradel\, Markus Huggler\, and Thomas R. Gross\nUniversity of California at Berkeley\, USA\; ETH Zuric h\, Switzerland\n\nVerifying Atomicity via Data Independence\nOhad Shacham\ , Eran Yahav\, Guy Golan Gueta\, Alex Aiken\, Nathan Bronson\, Mooly Sagiv\ , and Martin Vechev\nYahoo Labs\, Israel\; Technion\, Israel\; Stanford Uni versity\, USA\; Tel Aviv University\, Israel\; ETH Zurich\, Switzerland\n\n Verification-Aided Regression Testing\nFabrizio Pastore\, Leonardo Mariani\ , Antti E. J. Hyvärinen\, Grigory Fedyukovich\, Natasha Sharygina\, Stephan Sehestedt\, and Ali Muhammad\nUniversity of Milano-Bicocca\, Italy\; Unive rsity of Lugano\, Switzerland\; ABB Research\, Germany\; VTT Technical Rese arch\, Finland\n\n UID:ahtej3Do7p ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T133000 DTEND;TZID=America/Los_Angeles:20140723T151000 SUMMARY:ISSTA: Web Testing LOCATION:Almaden Ballroom DESCRIPTION:Web Testing (Chair: Gregg Rothermel)\n\nHybrid Security Analysi s of Web JavaScript Code via Dynamic Partial Evaluation\nOmer Tripp\, Pietr o Ferrara\, and Marco Pistoia\nIBM Research\, USA\n\nVirtual DOM Coverage f or Effective Testing of Dynamic Web Applications\nYunxiao Zou\, Zhenyu Chen \, Yunhui Zheng\, Xiangyu Zhang\, and Zebao Gao\nNanjing University\, China \; Purdue University\, USA\; University of Maryland at College Park\, USA\n \nDOM-Based Test Adequacy Criteria for Web Applications\nMehdi Mirzaaghaei and Ali Mesbah\nUniversity of British Columbia\, Canada\n\nCross-Platform F eature Matching for Web Applications\nShauvik Roy Choudhary\, Mukul R. Pras ad\, and Alessandro Orso\nGeorgia Tech\, USA\; Fujitsu Labs\, USA\n\n UID:eesh7Tai8k ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T154000 DTEND;TZID=America/Los_Angeles:20140723T163000 SUMMARY:ISSTA: Artifact Studies LOCATION:Almaden Ballroom DESCRIPTION:Artifact Studies (Chair: Milos Gligoric)\n\nCovrig: A Framework for the Analysis of Code\, Test\, and Coverage Evolution in Real Software\ nPaul Marinescu\, Petr Hosek\, and Cristian Cadar\nImperial College London\ , UK\n\nCoREBench: Studying Complexity of Regression Errors\nMarcel Böhme a nd Abhik Roychoudhury\nSaarland University\, Germany\; National University of Singapore\, Singapore\n\n UID:pai5eige8B ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140724T103000 DTEND;TZID=America/Los_Angeles:20140724T121000 SUMMARY:ISSTA: Static Analyses and Transformations LOCATION:Almaden Ballroom DESCRIPTION:Static Analyses and Transformations (Chair: Satish Chandra)\n\n ARC++: Effective Typestate and Lifetime Dependency Analysis\nXusheng Xiao\, Gogul Balakrishnan\, Franjo Ivančić\, Naoto Maeda\, Aarti Gupta\, and Deep ak Chhetri\nNEC Labs\, USA\; North Carolina State University\, USA\; Google \, USA\; NEC\, Japan\; NEC\, India\n\nA Type System for Format Strings\nKon stantin Weitz\, Gene Kim\, Siwakorn Srisakaokul\, and Michael D. Ernst\nUni versity of Washington\, USA\n\nScalable Detection of Missed Cross-Function Refactorings\nNarcisa Andreea Milea\, Lingxiao Jiang\, and Siau-Cheng Khoo\ nNational University of Singapore\, Singapore\; Singapore Management Univer sity\, Singapore\n\nTailored Source Code Transformations to Synthesize Comp utationally Diverse Program Variants\nBenoit Baudry\, Simon Allier\, and Ma rtin Monperrus\nINRIA\, France\; IRISA\, France\; University of Lille\, Fra nce\n\n UID:Phiekooze4 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140724T133000 DTEND;TZID=America/Los_Angeles:20140724T151000 SUMMARY:ISSTA: Test Selection and Reduction LOCATION:Almaden Ballroom DESCRIPTION:Test Selection and Reduction (Chair: Neha Rungta)\n\nUsing Test Case Reduction and Prioritization to Improve Symbolic Execution\nChaoqiang Zhang\, Alex Groce\, and Mohammad Amin Alipour\nOregon State University\, USA\n\nFLOWER: Optimal Test Suite Reduction as a Network Maximum Flow\nArna ud Gotlieb and Dusica Marijan\nSimula Research Laboratory\, Norway\n\nCover age and Fault Detection of the Output-Uniqueness Test Selection Criteria\nN adia Alshahwan and Mark Harman\nUniversity College London\, UK\n\nDodona: A utomated Oracle Data Set Selection\nPablo Loyola\, Matt Staats\, In-Young K o\, and Gregg Rothermel\nUniversity of Chile\, Chile\; University of Luxemb ourg\, Luxembourg\; KAIST\, South Korea\; University of Nebraska-Lincoln\, USA\n\n UID:eip2Joh4Au ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140724T154000 DTEND;TZID=America/Los_Angeles:20140724T172000 SUMMARY:ISSTA: Localization and Repair LOCATION:Almaden Ballroom DESCRIPTION:Localization and Repair (Chair: Indradeep Ghosh)\n\nCrashLocato r: Locating Crashing Faults Based on Crash Stacks\nRongxin Wu\, Hongyu Zhan g\, Shing-Chi Cheung\, and Sunghun Kim\nHong Kong University of Science and Technology\, China\; Microsoft Research\, China\n\nEfficient Predicated Bu g Signature Mining via Hierarchical Instrumentation\nZhiqiang Zuo\, Siau-Ch eng Khoo\, and Chengnian Sun\nNational University of Singapore\, Singapore\ ; University of California at Davis\, USA\n\nSemantic Differential Repair f or Input Validation and Sanitization\nMuath Alkhalaf\, Abdulbaki Aydin\, an d Tevfik Bultan\nUniversity of California at Santa Barbara\, USA\n\nAutomat ic Repair for Multi-threaded Programs with Deadlock/Livelock using Maximum Satisfiability\nYiyan Lin and Sandeep S. Kulkarni\nMichigan State Universit y\, USA\n\n UID:oiNgahd5iw ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140725T092000 DTEND;TZID=America/Los_Angeles:20140725T101000 SUMMARY:ISSTA: Security LOCATION:Almaden Ballroom DESCRIPTION:Security (Chair: Alex Orso)\n\nMake It Work\, Make It Right\, M ake It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analys is Platform\nAndrew Henderson\, Aravind Prakash\, Lok Kwong Yan\, Xunchao H u\, Xujiewen Wang\, Rundong Zhou\, and Heng Yin\nSyracuse University\, USA\ ; Rome Laboratory\, USA\n\nAutomated Testing for SQL Injection Vulnerabilit ies: An Input Mutation Approach\nDennis Appelt\, Cu Duy Nguyen\, Lionel C. Briand\, and Nadia Alshahwan\nUniversity of Luxembourg\, Luxembourg\; Unive rsity College London\, UK\n\n UID:yeihae2Uga ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140725T103000 DTEND;TZID=America/Los_Angeles:20140725T121000 SUMMARY:ISSTA: UI Testing LOCATION:Almaden Ballroom DESCRIPTION:UI Testing (Chair: Andreas Zeller)\n\nReducing GUI Test Suites via Program Slicing\nStephan Arlt\, Andreas Podelski\, and Martin Wehrle\nU niversity of Luxembourg\, Luxembourg\; University of Freiburg\, Germany\; U niversity of Basel\, Switzerland\n\nSunCat: Helping Developers Understand a nd Predict Performance Problems in Smartphone Applications\nAdrian Nistor a nd Lenin Ravindranath\nChapman University\, USA\; Massachusetts Institute o f Technology\, USA\n\nA Variability-Based Testing Approach for Synthesizing Video Sequences\nJosé A. Galindo\, Mauricio Alférez\, Mathieu Acher\, Beno it Baudry\, and David Benavides\nINRIA\, France\; University of Rennes 1\, France\; University of Seville\, Spain\n\nRobust Test Automation using Cont extual Clues\nRahulkrishna Yandrapally\, Suresh Thummalapenta\, Saurabh Sin ha\, and Satish Chandra\nIBM Research\, India\; Microsoft\, USA\; Samsung R esearch\, USA\n\n UID:Quu9ga2et7 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140725T133000 DTEND;TZID=America/Los_Angeles:20140725T151000 SUMMARY:ISSTA: Efficiency and Optimizations LOCATION:Almaden Ballroom DESCRIPTION:Efficiency and Optimizations (Chair: Zhendong Su)\n\nEfficient Mutation Analysis by Propagating and Partitioning Infected Execution States \nRené Just\, Michael D. Ernst\, and Gordon Fraser\nUniversity of Washingto n\, USA\; University of Sheffield\, UK\n\nLightweight Automated Detection o f Unsafe Information Leakage via Exceptions\nBenwen Zhang and James Clause\ nUniversity of Delaware\, USA\n\nIntegrated Energy-Directed Test Suite Opti mization\nDing Li\, Yuchen Jin\, Cagri Sahin\, James Clause\, and William G . J. Halfond\nUniversity of Southern California\, USA\; University of Delaw are\, USA\n\nIdentifying Optimal Trade-Offs between CPU Time Usage and Temp oral Constraints Using Search\nShiva Nejati and Lionel C. Briand\nUniversit y of Luxembourg\, Luxembourg\n\n UID:Boog5zao6u ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140725T154000 DTEND;TZID=America/Los_Angeles:20140725T172000 SUMMARY:ISSTA: Generation and Propagation LOCATION:Almaden Ballroom DESCRIPTION:Generation and Propagation (Chair: Oksana Tkachuk)\n\nFeedback- Driven Dynamic Invariant Discovery\nLingming Zhang\, Guowei Yang\, Neha Run gta\, Suzette Person\, and Sarfraz Khurshid\nUniversity of Texas at Austin\ , USA\; Texas State University\, USA\; NASA Ames Research Center\, USA\; NA SA Langley Research Center\, USA\n\nLink: Exploiting the Web of Data to Gen erate Test Inputs\nLeonardo Mariani\, Mauro Pezzè\, Oliviero Riganelli\, an d Mauro Santoro\nUniversity of Milano-Bicocca\, Italy\; University of Lugan o\, Switzerland\n\nEmpirically Revisiting the Test Independence Assumption\ nSai Zhang\, Darioush Jalali\, Jochen Wuttke\, Kıvanç Muşlu\, Wing Lam\, Mi chael D. Ernst\, and David Notkin\nUniversity of Washington\, USA\n\nAn Emp irical Study of Injected versus Actual Interface Errors\nAnna Lanzaro\, Rob erto Natella\, Stefan Winter\, Domenico Cotroneo\, and Neeraj Suri\nFederic o II University of Naples\, Italy\; TU Darmstadt\, Germany\n\n UID:miisahch7U ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T180000 DTEND;TZID=America/Los_Angeles:20140723T220000 SUMMARY:ISSTA: Tool Demonstrations LOCATION:Winchester Room DESCRIPTION:Tool Demonstrations\n\nLegend: An Agile DSL Toolset for Web Acc eptance Testing\nTariq M. King\, Gabriel Nunez\, Dionny Santiago\, Adam Can do\, and Cody Mack\nUltimate Software\, USA\n\nProCrawl: Mining Test Models from Multi-user Web Applications\nMatthias Schur\, Andreas Roth\, and Andr eas Zeller\nSAP\, Germany\; Saarland University\, Germany\n\nX-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection\nShauvik Roy Choudhary\, Mukul R. Prasad\, and Alessandro Orso\nGeorgia Tech\, USA\ ; Fujitsu Labs\, USA\n\nExtending a Search-Based Test Generator with Adapti ve Dynamic Symbolic Execution\nJuan Pablo Galeotti\, Gordon Fraser\, and An drea Arcuri\nSaarland University\, Germany\; University of Sheffield\, UK\; Simula Research Laboratory\, Norway\n\nCanalyze: A Static Bug-Finding Tool for C Programs\nZhenbo Xu\, Jian Zhang\, Zhongxing Xu\, and Jiteng Wang\nU niversity of Science and Technology of China\, China\; Institute of Softwar e at Chinese Academy of Sciences\, China\; Beijing University of Posts and Telecommunications\, China\n\nMuCheck: An Extensible Tool for Mutation Test ing of Haskell Programs\nDuc Le\, Mohammad Amin Alipour\, Rahul Gopinath\, and Alex Groce\nOregon State University\, USA\n\nThe Major Mutation Framewo rk: Efficient and Scalable Mutation Analysis for Java\nRené Just\nUniversit y of Washington\, USA\n\nDefects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs\nRené Just\, Darioush Jalali\ , and Michael D. Ernst\nUniversity of Washington\, USA\n\nA Format String C hecker for Java\nKonstantin Weitz\, Siwakorn Srisakaokul\, Gene Kim\, and M ichael D. Ernst\nUniversity of Washington\, USA\n\nConstructing Coding Duel s in Pex4Fun and Code Hunt\nNikolai Tillmann\, Jonathan de Halleux\, Tao Xi e\, and Judith Bishop\nMicrosoft Research\, USA\; University of Illinois at Urbana-Champaign\, USA\n\n UID:phoh9Nie1p ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140722T112000 DTEND;TZID=America/Los_Angeles:20140722T145000 SUMMARY:ISSTA: Doctoral Symposium LOCATION:Pacific Room DESCRIPTION:Doctoral Symposium\n\nReusing Constraint Proofs for Scalable Pr ogram Analysis\nMeixian Chen\nUniversity of Lugano\, Switzerland\n\nEffecti ve Test Generation and Adequacy Assessment for JavaScript-Based Web Applica tions\nShabnam Mirshokraie\nUniversity of British Columbia\, Canada\n\nEffi cient Statistical Debugging via Hierarchical Instrumentation\nZhiqiang Zuo\ nNational University of Singapore\, Singapore\n\n UID:Ohchah6iew ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140722T103000 DTEND;TZID=America/Los_Angeles:20140722T112000 SUMMARY:Doctoral Symposium Keynote LOCATION:Pacific Room DESCRIPTION:Doctoral Symposium Keynote\n\n UID:chie3Ahcoo ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T084000 DTEND;TZID=America/Los_Angeles:20140723T100000 SUMMARY:Dynamic Analyses for Reliable Concurrency (Keynote) LOCATION:Almaden Ballroom DESCRIPTION:Dynamic Analyses for Reliable Concurrency (Keynote) (Chair: Dar ko Marinov)\n\n UID:OoCh7geyei ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140724T083000 DTEND;TZID=America/Los_Angeles:20140724T100000 SUMMARY:Practical Aspects of Testing Your Code as You Develop It (Keynote) LOCATION:Almaden Ballroom DESCRIPTION:Practical Aspects of Testing Your Code as You Develop It (Keyno te) (Chair: Corina Pasareanu)\n\n UID:pheec4Ua0v ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140725T083000 DTEND;TZID=America/Los_Angeles:20140725T092000 SUMMARY:DARPA's Cyber Grand Challenge (Keynote) LOCATION:Almaden Ballroom DESCRIPTION:DARPA's Cyber Grand Challenge (Keynote) (Chair: Alex Orso)\n\n UID:chai2AiMah ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T163000 DTEND;TZID=America/Los_Angeles:20140723T165500 SUMMARY:Lightning Talks 1: ISSTA Demo LOCATION:Almaden Ballroom DESCRIPTION:Lightning Talks 1: ISSTA Demo (Chair: Indradeep Ghosh\; John Pe nix)\n\n UID:hai4Foh3ah ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T165500 DTEND;TZID=America/Los_Angeles:20140723T172000 SUMMARY:Lightning Talks 2: SPIN short papers LOCATION:Almaden Ballroom DESCRIPTION:Lightning Talks 2: SPIN short papers (Chair: Neha Rungta\; Oksa na Tkachuk)\n\nAutomatic Handling of Native Methods in Java PathFinder. Nas taran Shafiei and Franck van Breugel\n\n CTL+FO Verification as Constraint Solving. Tewodros A. Beyene\, Marc Brockschmidt\, and Andrey Rybalchenko\n\ n Quantifying Information Leaks using Reliability Analysis. Quoc-Sang Phan\ , Pasquale Malacaria\, Corina S. Păsăreanu\, and Marcelo d'Amorim\n\n Towar d Parameterized Verification of Synchronous Distributed Applications. Sagar Chaki and James Edmondson\n\n Towards a Test Automation Framework for Allo y. Allison Sullivan\, Razieh Nokhbeh Zaeem\, Sarfraz Khurshid\, and Darko M arinov\n\n SpinCause: A Tool for Causality Checking. Florian Leitner-Fische r and Stefan Leue\n\n Verige: Verification with Invariant Generation Engine . Nicolas Latorre\, Francesco Alberti\, and Natasha Sharygina\n\n SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker. Zmago Brezočnik\, Boštjan Vlaovič\, and Aleksander Vre že\n\n TravMC2: Higher-Order Model Checking for Alternating Parity Tree Aut omata. Robin P. Neatherway and C.-H. Luke Ong\n\n Unit Testing for SPIN: ru nspin and parsepan. Theo C. Ruys\n UID:wahShahl0o ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T121000 DTEND;TZID=America/Los_Angeles:20140723T133000 SUMMARY:Lunch LOCATION:Market Room DESCRIPTION:Lunch\n\n UID:QuaB0yahl5 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140724T121000 DTEND;TZID=America/Los_Angeles:20140724T133000 SUMMARY:Lunch LOCATION:Market Room DESCRIPTION:Lunch\n\n UID:eSuphik5za ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140725T121000 DTEND;TZID=America/Los_Angeles:20140725T133000 SUMMARY:Lunch LOCATION:Market Room DESCRIPTION:Lunch\n\n UID:Bahx7rai0j ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T100000 DTEND;TZID=America/Los_Angeles:20140723T103000 SUMMARY:Break Morning LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Morning\n\n UID:eiSh5efais ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140724T100000 DTEND;TZID=America/Los_Angeles:20140724T103000 SUMMARY:Break Morning LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Morning\n\n UID:eh6yeeth8Y ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140725T101000 DTEND;TZID=America/Los_Angeles:20140725T103000 SUMMARY:Break Morning LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Morning\n\n UID:Phi4jooseg ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T151000 DTEND;TZID=America/Los_Angeles:20140723T154000 SUMMARY:Break Afternoon LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Afternoon\n\n UID:euNg2aeJ3K ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140724T151000 DTEND;TZID=America/Los_Angeles:20140724T154000 SUMMARY:Break Afternoon LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Afternoon\n\n UID:jee2Ic0uJ0 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140725T151000 DTEND;TZID=America/Los_Angeles:20140725T154000 SUMMARY:Break Afternoon LOCATION:Almaden Ballroom Foyer DESCRIPTION:Break Afternoon\n\n UID:OhZoh8mi3v ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140723T180000 DTEND;TZID=America/Los_Angeles:20140723T220000 SUMMARY:Reception Posters/Demos LOCATION:Winchester Room DESCRIPTION:Reception Posters/Demos\n\n UID:phoh9Nie1p ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140724T180000 DTEND;TZID=America/Los_Angeles:20140724T220000 SUMMARY:Banquet LOCATION:Tech Museum DESCRIPTION:Banquet\n\n201 S Market St\, San Jose\n UID:eiphohR6ek ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20180428T182903Z DTSTAMP:20180428T182903Z DTSTART;TZID=America/Los_Angeles:20140725T172000 DTEND;TZID=America/Los_Angeles:20140725T173000 SUMMARY:Closing LOCATION:Almaden Ballroom DESCRIPTION:Closing (Chair: Corina Pasareanu\; Michal Young\; Tao Xie)\n\n UID:oob3Do7in6 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR