Filter
Mon 13 Jun
09:00 - 10:00 Talk | File Attached |
09:00 - 09:15 Day opening | ||||||||||||||||||||||||||||||||||||||||||
09:15 - 10:00 Talk | Anupam DuttaCarnegie Mellon University |
09:00 - 10:00: LCTES - LCTES Keynote #1 at Sierra Madre North Chair(s): Tei-Wei KuoAcademia Sinica, Taiwan | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00 Talk | File Attached |
09:00 - 10:00 Talk | Carol EidtMicrosoft Link to publication |
10:30 - 12:00 Talk | File Attached |
10:30 - 12:00 Talk | Carol EidtMicrosoft Link to publication |
10:30 - 12:00: LCTES - Session 1: Dynamic Translation and Iterative Compilation at Sierra Madre North Chair(s): Alastair Reid | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Forrest RobinsonUniversity of Kansas, USA, Michael JantzUniversity of Tennessee, USA, Prasad KulkarniUniversity of Kansas | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Ricardo NobreFEUP, Universidade do Porto, João M. P. CardosoUniversity of Porto, Portugal, Luiz G. A. Martins |
13:30 - 14:15 Talk | Gogul BalakrishnanGoogle | |||||||||||||||||||||||||||||||||||||||||
14:15 - 15:00 Talk | Michael EmmiIMDEA Software Institute |
13:30 - 15:00 Talk | Christian WimmerOracle Labs Link to publication |
13:30 - 15:00: LCTES - Session 2: Loop and Dataflow Analysis at Sierra Madre North Chair(s): Che-Wei ChangChang Gung University, Taiwan | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 14:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk |
13:30 - 15:00: Tutorials - String Analysis for Vulnerability Detection and Repair at Santa Cruz East | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00 Talk |
15:30 - 17:00 Talk | Christian WimmerOracle Labs Link to publication |
15:30 - 17:00: LCTES - Session 3: Presentations of Posters at Sierra Madre North Chair(s): Michael JantzUniversity of Tennessee, USA | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 15:40 Talk | Tiago CarvalhoUniversity of Porto, João BispoFEUP, Universidade do Porto, Pedro Pinto, Luís Reis, Ricardo NobreFEUP, Universidade do Porto, João M. P. CardosoUniversity of Porto, Portugal | |||||||||||||||||||||||||||||||||||||||||
15:40 - 15:50 Talk | Che-Wei ChangChang Gung University, Taiwan | |||||||||||||||||||||||||||||||||||||||||
15:50 - 16:00 Talk | Benjamin YlvisakerColorado College | |||||||||||||||||||||||||||||||||||||||||
16:00 - 16:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:10 - 16:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:20 - 16:30 Talk | Liu LiuRutgers University, Timothy YongRutgers University, Jonathan RisingerRutgers University, Sibren IsaacmanLoyola University Maryland, Abhishek Bhattacharjee Rutgers University, Ulrich KremerRutgers University, USA | |||||||||||||||||||||||||||||||||||||||||
16:30 - 16:40 Talk | Nico ReissmannNorwegian University of Science and Technology, Helge Bahmann, Magnus JahreNorwegian University of Science and Technology |
15:30 - 17:00: Tutorials - String Analysis for Vulnerability Detection and Repair at Santa Cruz East | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00 Talk |
Tue 14 Jun
08:30 - 08:45 Day opening | ||||||||||||||||||||||||||||||||||||||||||
08:45 - 09:15 Talk | Kathryn S McKinleyMicrosoft Research Media Attached | |||||||||||||||||||||||||||||||||||||||||
09:15 - 10:00 Talk | Matthias FelleisenNortheastern University Media Attached |
08:50 - 09:00 Talk | Christine H. FloodRed Hat | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:10 Talk | Onur MutluETH Zurich Media Attached |
09:00 - 10:00 Talk | Bruce ChildersUniversity of Pittsburgh |
09:00 - 10:00 Talk | File Attached |
09:00 - 10:00: Tutorials - Using PinPlay for Reproducible Analysis and Replay Debugging at Santa Cruz East | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00 Talk | Link to publication |
09:00 - 09:10 Day opening | ||||||||||||||||||||||||||||||||||||||||||
09:10 - 10:00 Talk | Olivier TardieuIBM Research File Attached |
10:30 - 10:55 Talk | ||||||||||||||||||||||||||||||||||||||||||
10:55 - 11:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:20 - 11:45 Talk | Raj PariharUniversity of Rochester, Jacob BrockUniversity of Rochester, Chen DingUniversity of Rochester, Michael HuangUniversity of Rochester | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:10 Talk |
10:30 - 11:00 Talk | Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Andreas ZwinkauKarlsruhe Institute of Technology Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Link to publication DOI File Attached |
10:30 - 12:00: LCTES - Session 4: Worst-Case Analysis and Error Handling at Sierra Madre North Chair(s): João M. P. CardosoUniversity of Porto, Portugal | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore, Rasool Maghareh | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Ravindra MettaTata Research Development and Design Centre, Martin BeckerTU Munich, Prasad Bokil, R. Venkatesh, Samarjit Chakraborty | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk |
10:30 - 10:50 Talk | Steven ArztTU Darmstadt, Germany, Tobias KussmaulTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | |||||||||||||||||||||||||||||||||||||||||
10:50 - 11:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:10 - 11:30 Talk | Lisa Nguyen Quang DoFraunhofer IEM, Michael EichbergTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Martin VechevETH Zurich |
10:30 - 10:55 Talk | Shan LuUniversity of Chicago Media Attached | |||||||||||||||||||||||||||||||||||||||||
10:55 - 11:20 Talk | Steve BlackburnAustralian National University Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:20 - 11:45 Talk | Media Attached |
10:30 - 12:00: Tutorials - Using PinPlay for Reproducible Analysis and Replay Debugging at Santa Cruz East | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00 Talk | Link to publication |
13:30 - 15:00: Tutorials - Cross-platform analysis of mobile apps using the WALA framework at Santa Cruz West | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00 Talk |
13:30 - 15:00 Talk | Manu SridharanSamsung Research America, Koushik SenUniversity of California, Berkeley, Liang GongUniversity of California, Berkeley |
13:30 - 14:30 Talk | Sriram KrishnamoorthyPacific Northwest National Laboratories File Attached | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk | Sara S. HamoudaAustralian National University, Benjamin Herta, Josh MilthorpeIBM Research, David GroveIBM Research, Olivier TardieuIBM Research Link to publication DOI Pre-print File Attached |
13:30 - 15:10: ISMM - Non-traditional and Datacenter Scale Memory System at Sierra Madre South Chair(s): Steve HellerTwo Sigma | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 13:55 Talk | Wessam HassaneinGoogle | |||||||||||||||||||||||||||||||||||||||||
13:55 - 14:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:20 - 14:45 Talk | Yuxin Renhe George washington university, Gabriel ParmerThe George Washington University, Gedare BloomHoward University, Teo GeorgievThe George Washington University | |||||||||||||||||||||||||||||||||||||||||
14:45 - 15:10 Talk | Fabrice RastelloINRIA, France, Albert CohenINRIA, Francois GindraudJoseph Fourier University, France;, Francois BroquedisUniversite Joseph Fourier - Grenoble 1 |
13:30 - 13:45 Talk | Matthew MightUniversity of Utah, USA Media Attached | |||||||||||||||||||||||||||||||||||||||||
13:45 - 14:00 Talk | Jason MarsUniversity of Michigan Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 14:15 Talk | Mary HallUniversity of Utah Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:15 - 15:00 Other | Mary HallUniversity of Utah, John DavisPure Storage Inc, Shan Shan HuangLogicblox, Milind KulkarniPurdue University Media Attached |
13:30 - 15:00: LCTES - Session 5: Computation Partitioning at Sierra Madre North Chair(s): Joxan JaffarNational University of Singapore | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 14:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk |
13:30 - 15:00: SOAP - Session III at San Miguel East Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 14:20 Talk | Matt NoonanGrammaTech, Inc | |||||||||||||||||||||||||||||||||||||||||
14:20 - 14:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:40 - 15:00 Talk |
15:30 - 17:00: Tutorials - Cross-platform analysis of mobile apps using the WALA framework at Santa Cruz West | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00 Talk |
15:30 - 17:00 Talk | Manu SridharanSamsung Research America, Koushik SenUniversity of California, Berkeley, Liang GongUniversity of California, Berkeley |
15:30 - 17:10: ISMM - Modeling, Characterization, and Tools at Sierra Madre South Chair(s): Hans-J. BoehmGoogle | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 15:55 Talk | Yi LinAustralian National University, Steve BlackburnAustralian National University , Tony HoskingAustralian National University, Data61, and Purdue University, Michael NorrishNICTA | |||||||||||||||||||||||||||||||||||||||||
15:55 - 16:20 Talk | Man CaoOhio State University, Jake RoemerOhio State University, Aritra SenguptaOhio State University, Michael BondOhio State University | |||||||||||||||||||||||||||||||||||||||||
16:20 - 16:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:45 - 17:10 Talk |
15:30 - 16:00 Talk | Sascha Roloff, Alexander Pöppl, Tobias Schwarzer, Stefan Wildermann, Michael Bader, Michael Glaß, Frank Hannig, Jürgen Teich Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
16:00 - 16:20 Talk | Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
16:20 - 16:40 Talk | Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
16:40 - 17:00 Day closing |
15:30 - 16:15 Talk | Sorin LernerUniversity of California, San Diego | |||||||||||||||||||||||||||||||||||||||||
16:15 - 17:00 Talk | Xiao XiaoSourceBrella Inc. |
15:30 - 15:55 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:55 - 16:20 Talk | Lingjia TangUniversity of Michigan Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:20 - 16:45 Talk | James BornholtUniversity of Washington Media Attached |
17:00 - 17:45 Other | Ben WiedermannHarvey Mudd College, Sam BlackshearFacebook, Alvin CheungUniversity of Washington, Ravi ChughUniversity of Chicago, Cindy Rubio-GonzalezUniversity of California, Davis, Jean YangCarnegie Mellon University Media Attached |
Wed 15 Jun
08:45 - 09:00: Invited Speakers - Chair's Welcome and Distinguished Paper Announcements at Grand Ballroom San Rafael & Santa Ynez Chair(s): Emery BergerUniversity of Massachusetts, Amherst, Chandra KrintzUC Santa Barbara | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00 Talk | Benjamin ZornMicrosoft Research |
10:30 - 12:00: Research Papers - Down to the Metal I at Grand Ballroom Santa Ynez Chair(s): Stephen McCamantUniversity of Minnesota | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | Kayvan MemarianUniversity of Cambridge, Justus MatthiesenUniversity of Cambridge, James LingardUniversity of Cambridge (when this work was done), Kyndylan NienhuisUniversity of Cambridge, David ChisnallUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Buddhika Chamith, Bo Joel SvenssonIndiana University, Luke DalessandroIndiana University, Ryan R. NewtonIndiana University Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Pre-print Media Attached |
10:30 - 12:00: Research Papers - Verification I at Grand Ballroom San Rafael Chair(s): Isil DilligUniversity of Texas, Austin | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | Saswat PadhiUniversity of California, Los Angeles, Rahul SharmaStanford University, Todd MillsteinUniversity of California, Los Angeles Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Media Attached |
13:30 - 15:00: Research Papers - Energy & Performance at Grand Ballroom San Rafael Chair(s): Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM) | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 14:00 Talk | Changwan Hong, Wenlei Bao, Albert CohenINRIA, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noel PouchetOhio State University, J. RamanujamLouisiana State University, Fabrice RastelloINRIA, France, P. SadayappanOhio State University Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 14:30 Talk | Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk | Michael A. LaurenzanoUniversity of Michigan, Parker Hill, Mehrzad SamadiUniversity of Michigan, Scott MahlkeUniversity of Michigan, Jason MarsUniversity of Michigan, Lingjia TangUniversity of Michigan Media Attached |
13:30 - 15:00: Research Papers - Testing & Debugging at Grand Ballroom Santa Ynez Chair(s): Benjamin ZornMicrosoft Research | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 14:00 Talk | Yuting ChenShanghai Jiao Tong University, Ting SuEast China Normal University, Chengnian SunUniversity of California at Davis, USA, Zhendong SuUniversity of California, Davis, Jianjun ZhaoShanghai Jiao Tong University Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 14:30 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk | Media Attached |
15:30 - 17:00: Research Papers - New Languages at Grand Ballroom Santa Ynez Chair(s): Michael CarbinMIT | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 16:00 Talk | Sara AchourMassachusetts Institute of Technology, USA, Rahul SarpeshkarMIT, Martin RinardMassachusetts Institute of Technology, USA Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:00 - 16:30 Talk | Magnus MadsenUniversity of Waterloo, Ming-Ho YeeUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:30 - 17:00 Talk | Leonard TruongUC Berkeley / Intel Labs, Rajkishore BarikIntel Labs, Ehsan TotoniIntel Labs, Hai LiuIntel Labs, Chick MarkleyUC Berkeley, Armando FoxUC Berkeley, Tatiana ShpeismanIntel Labs Media Attached |
15:30 - 17:00: Research Papers - Parsing & Compilation at Grand Ballroom San Rafael Chair(s): Michelle StroutThe University of Arizona | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 16:00 Talk | Somashekaracharya G BhaskaracharyaIndian Institute of Science and National Instruments, Uday BondhugulaIndian Institute of Science, Albert CohenINRIA Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:00 - 16:30 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:30 - 17:00 Talk | Michael D. AdamsUniversity of Utah, Celeste HollenbeckUniversity of Utah, Matthew MightUniversity of Utah, USA Pre-print Media Attached |
17:00 - 18:00: Invited Speakers - Program Chair's Report and SIGPLAN Town Hall Meeting at Grand Ballroom Santa Ynez | ||||||||||||||||||||||||||||||||||||||||||
17:00 - 18:00 Meeting |
Thu 16 Jun
09:00 - 10:00 Talk | Luiz André BarrosoGoogle |
10:30 - 12:00: Research Papers - Down to the Metal II at Grand Ballroom Santa Ynez Chair(s): Hans-J. BoehmGoogle | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | Stefan HeuleStanford University, Eric SchkufzaVMware Research Group, Rahul SharmaStanford University, Alex AikenStanford University DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Ariel EizenbergUniversity of Pennsylvania, Shiliang HuIntel Corporation, Gilles PokamIntel Corporation, Joseph DeviettiUniversity of Pennsylvania Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Media Attached |
10:30 - 12:00: Research Papers - Types I at Grand Ballroom San Rafael Chair(s): David WalkerPrinceton University | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | Yizhou ZhangCornell University, Guido SalvaneschiTU Darmstadt, Quinn BeightolCornell, Barbara LiskovMIT, Andrew MyersCornell University Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego Media Attached |
13:30 - 15:00: Research Papers - Software-Defined Networking at Grand Ballroom San Rafael Chair(s): Todd MillsteinUniversity of California, Los Angeles | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 14:00 Talk | Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Nate FosterCornell University, Pavol CernyUniversity of Colorado Boulder Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 14:30 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk | Ahmed El-HassanyETH Zürich, Jeremie MiserezETH Zürich, Pavol BielikETH Zurich, Switzerland, Laurent VanbeverETH Zürich, Martin VechevETH Zurich Media Attached |
13:30 - 15:00: Research Papers - Synthesis I at Grand Ballroom Santa Ynez Chair(s): Eran YahavTechnion | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 14:00 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 14:30 Talk | Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago, Mitchell SpradlinUniversity of Chicago, Jacob AlbersUniversity of Chicago Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk | Calvin LoncaricUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington Media Attached |
15:30 - 17:00: Research Papers - Types II at Grand Ballroom San Rafael Chair(s): Jean YangCarnegie Mellon University | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 16:00 Talk | Brianna M. RenUniversity of Maryland, College Park, Jeffrey S. FosterUniversity of Maryland, College Park Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:00 - 16:30 Talk | Tomas PetricekUniversity of Cambridge, UK, Don SymeMicrosoft, Gustavo GuerraMicrosoft Corporation, London Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:30 - 17:00 Talk | He ZhuPurdue University, Gustavo PetriLIAFA, Université Paris Diderot, Suresh JagannathanPurdue University Media Attached |
15:30 - 17:00: Research Papers - Verifying Systems at Grand Ballroom Santa Ynez Chair(s): Santosh NagarakatteRutgers University | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 16:00 Talk | Rian ShambaughUniversity of Massachusetts Amherst, Aaron WeissUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:00 - 16:30 Talk | Hao ChenYale University, Xiongnan (Newman) WuYale University, Zhong ShaoYale University, Joshua LockermanYale University, Ronghui GuYale University Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:30 - 17:00 Talk | Eric MullenUniversity of Washington, Daryl ZunigaUniversity of Washington, Zachary TatlockUniversity of Washington, Dan GrossmanUniversity of Washington, USA Pre-print Media Attached |
17:00 - 18:00: Research Papers - Parallelism I at Grand Ballroom San Rafael Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University | ||||||||||||||||||||||||||||||||||||||||||
17:00 - 17:30 Talk | Sepideh MalekiTexas State University, Annie YangTexas State University, Martin BurtscherTexas State University Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
17:30 - 18:00 Talk | Junghyun KimSeoul National University, Gangwon JoSeoul National University, Jaehoon JungSeoul National University, Jungwon KimOak Ridge National Laboratory, Jaejin LeeSeoul National University Media Attached |
17:00 - 18:00: Research Papers - Synthesis II at Grand Ballroom Santa Ynez Chair(s): Martin VechevETH Zurich | ||||||||||||||||||||||||||||||||||||||||||
17:00 - 17:30 Talk | Navid YaghmazadehUniversity of Texas, Austin, Christian KlingerUniversity of Texas, Austin, Isil DilligUniversity of Texas, Austin, Swarat ChaudhuriRice University Media Attached | |||||||||||||||||||||||||||||||||||||||||
17:30 - 18:00 Talk | Media Attached |
Fri 17 Jun
08:45 - 09:00: Invited Speakers - SRC Awards, PLDI’17 Introduction at Grand Ballroom Santa Ynez Chair(s): Ben HardekopfUC Santa Barbara, Albert CohenINRIA | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: Research Papers - Memory Management at Grand Ballroom Santa Ynez Chair(s): Sam GuyerTufts University | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 09:30 Talk | Ulan DegenbaevGoogle, Jochen EisingerGoogle, Manfred ErnstGoogle, Ross McIlroyGoogle, Hannes PayerGoogle Media Attached | |||||||||||||||||||||||||||||||||||||||||
09:30 - 10:00 Talk | Nicholas JacekUMass Amherst, Meng-Chieh ChiuUMass Amherst, Benjamin MarlinUMass Amherst, Eliot MossUniversity of Massachusetts Amherst Media Attached |
09:00 - 10:00: Research Papers - Verification II at Grand Ballroom San Rafael Chair(s): Armando Solar-LezamaMIT | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 09:30 Talk | Nikolaj BjørnerMicrosoft Research, Klaus GleissenthallTechnische Universität München, Andrey RybalchenkoMicrosoft Research Media Attached | |||||||||||||||||||||||||||||||||||||||||
09:30 - 10:00 Talk | Oded PadonTel Aviv University, Kenneth L. McMillanMicrosoft Research, Aurojit Panda, Mooly SagivTel Aviv University, Sharon Shoham Media Attached |
10:30 - 12:00: Research Papers - Parallelism II at Grand Ballroom San Rafael Chair(s): Albert CohenINRIA | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | Alexander SpiegelmanTechnion - Israel institute of technology, Guy Golan-GuetaYahoo Labs, Idit KeidarTechnion - Israel institute of technology Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Shoaib KamilMIT CSAIL, USA, Alvin CheungUniversity of Washington, Shachar ItzhakyMIT CSAIL, Armando Solar-LezamaMIT Media Attached |
10:30 - 12:00: Research Papers - Security at Grand Ballroom Santa Ynez Chair(s): Andrew MyersCornell University | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | Jean YangCarnegie Mellon University, Travis HanceDropbox, Thomas H. Austin, Armando Solar-LezamaMIT, Cormac FlanaganUC Santa Cruz, Stephen ChongHarvard University Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Rohit SinhaUniversity of California, Berkeley, Manuel CostaMicrosoft Research, Akash LalMicrosoft Research India, Nuno P. LopesMicrosoft Research, Sriram RajamaniMicrosoft Research, Sanjit SeshiaUC Berkeley, Kapil VaswaniMicrosoft Research Media Attached |
Mon 13 Jun 2016
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Plaza del Sol | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Rosa/Cruz Foyer | 08:00 - 08:45 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Rosa East | 09:00 - 10:00 | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sierra Madre North | 08:50 - 09:00 | 09:00 - 10:00 | 13:30 - 15:00 | 15:30 - 17:00 |
Tue 14 Jun 2016
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Grand Ballroom Santa Ynez | 08:30 - 10:00 | 10:30 - 12:00 | 12:45 - 13:30 | 13:30 - 15:00 | 15:30 - 17:00 | 17:00 - 17:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Plaza del Sol | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
San Miguel East | 09:00 - 10:00 | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Cruz West | 09:00 - 10:00 | 10:30 - 12:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Rosa East | 09:00 - 10:00 | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Rosa West | 09:00 - 10:00 | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sierra Madre Foyer | 08:00 - 08:45 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sierra Madre North | 09:00 - 10:00 | 13:30 - 15:00 | 15:30 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sierra Madre South | 08:50 - 10:10 | 10:30 - 12:10 | 15:30 - 17:10 |
Wed 15 Jun 2016
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Grand Ballroom San Rafael | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Grand Ballroom San Rafael & Santa Ynez | 09:00 - 10:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Grand Ballroom Santa Ynez | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Plaza del Sol | 12:00 - 13:30 | 18:00 - 20:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Rafael/Ynez Foyer | 08:00 - 08:45 |
Thu 16 Jun 2016
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Grand Ballroom San Rafael | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 | 17:00 - 18:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Grand Ballroom Santa Ynez | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 | 17:00 - 18:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Plaza del Sol | 08:00 - 08:45 | 12:00 - 13:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Barbara Maritime Museum | 18:15 - 21:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sierra Madre South | 13:30 - 15:00 | 15:30 - 17:00 |
Fri 17 Jun 2016
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Grand Ballroom San Rafael | 09:00 - 10:00 | 10:30 - 12:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Grand Ballroom Santa Ynez | 09:00 - 10:00 | 10:30 - 12:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Plaza del Sol | 08:00 - 08:45 |
Mon 13 Jun 2016
Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Plaza del Sol | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Rosa/Cruz Foyer | 08:00 - 08:45 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Rosa East | 09:00 - 09:15 | 09:15 - 10:00 | 11:15 - 12:00 | 13:30 - 14:15 | 14:15 - 15:00 | 15:30 - 16:15 | 16:15 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sierra Madre North | 08:50 - 09:00 | 09:00 - 10:00 | 14:30 - 15:00 | 15:30 - 15:40 |
Tue 14 Jun 2016
Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Grand Ballroom Santa Ynez | 08:30 - 08:45 | 08:45 - 09:15 | 09:15 - 10:00 | 12:45 - 13:30 | 13:30 - 13:45 | 13:45 - 14:00 | 14:00 - 14:15 | 14:15 - 15:00 | 15:30 - 15:55 | 16:20 - 16:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Plaza del Sol | 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
San Miguel East | 09:00 - 09:10 | 11:10 - 11:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Cruz West | 09:00 - 10:00 | 10:30 - 12:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Rosa East | 09:00 - 09:10 | 10:30 - 11:00 | 11:00 - 11:30 | 15:30 - 16:00 | 16:40 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Rosa West | 13:30 - 14:30 | 14:30 - 14:55 | 15:55 - 16:20 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sierra Madre Foyer | 08:00 - 08:45 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sierra Madre South | 08:50 - 09:00 | 09:00 - 10:10 | 10:55 - 11:20 |
Wed 15 Jun 2016
Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Plaza del Sol | 12:00 - 13:30 | 18:00 - 20:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Rafael/Ynez Foyer | 08:00 - 08:45 |
Thu 16 Jun 2016
Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | 21:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Grand Ballroom San Rafael | 11:30 - 12:00 | 13:30 - 14:00 | 14:00 - 14:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Grand Ballroom Santa Ynez | 13:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Plaza del Sol | 08:00 - 08:45 | 12:00 - 13:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Santa Barbara Maritime Museum | 18:15 - 21:30 |
Fri 17 Jun 2016
Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Plaza del Sol | 08:00 - 08:45 |
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format