Conference Dates
Conference Dates are in time zone (GMT-07:00) Tijuana, Baja California, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sat 13 Jun Times are displayed in time zone: Tijuana, Baja California change
Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 08:15 - 09:00 Break | Breakfast Catering | ||
| 09:00 - 11:00 Talk | Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics Tutorials Link to publication | ||
| 09:00 - 11:00 Talk | A Semantics-Directed Approach to Program Termination Tutorials Link to publication | ||
09:00 - 11:00: Invited Talk and Paper Session 1ARRAY at C122 Chair(s): Laurie HendrenMcGill University | |||
| 09:00 - 10:00 Talk | INVITED TALK: Array Notation for Everybody ARRAY David PaduaUniversity of Illinois at Urbana-Champaign | ||
| 10:00 - 10:30 Talk | Loo.py: From Fortran to performance via transformation and substitution rules ARRAY Andreas KloecknerUniversity of Illinois at Urbana-Champaign | ||
| 10:30 - 11:00 Talk | Techniques for Efficient MATLAB-to-C Compilation ARRAY | ||
| 11:00 - 11:20 Coffee break | Morning Break Catering | ||
| 11:20 - 12:30 Talk | Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics Tutorials Link to publication | ||
| 11:20 - 12:30 Talk | A Semantics-Directed Approach to Program Termination Tutorials Link to publication | ||
| 11:20 - 11:50 Talk | Compiling APL to Accelerate Through a Typed Array Intermediate Language ARRAY | ||
| 11:50 - 12:20 Talk | Velociraptor: A compiler toolkit for array-based languages targeting CPUs and GPUs ARRAY | ||
| 12:20 - 12:30 Other | Morning Wrapup ARRAY | ||
| 12:30 - 14:00 Lunch | Lunch Catering | ||
| 14:00 - 15:30 Talk | CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics Tutorials | ||
| 14:00 - 15:30 Talk | RASCAL: Program Analysis and Transformation with Rascal Tutorials Mark HillsEast Carolina University, Paul Klint, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven Link to publication | ||
14:00 - 15:30: Paper Session 3ARRAY at C122 Chair(s): Hidehiko MasuharaTokyo Institute of Technology | |||
| 14:00 - 14:30 Talk | Performance Search Engine Driven by Prior Knowledge of Optimization ARRAY | ||
| 14:30 - 15:00 Talk | High-Level Accelerated Array Programming in the Web Browser ARRAY | ||
| 15:00 - 15:30 Talk | Accelerating Information Experts through Compiler Design ARRAY | ||
| 15:30 - 16:00 Break | Afternoon Break Catering | ||
| 16:00 - 18:00 Talk | CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics Tutorials | ||
| 16:00 - 18:00 Talk | RASCAL: Program Analysis and Transformation with Rascal Tutorials Mark HillsEast Carolina University, Paul Klint, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven Link to publication | ||
| 16:00 - 16:30 Talk | Fusing Convolution Kernels through Tiling ARRAY | ||
| 16:30 - 17:00 Talk | Array programming in Pascal ARRAY | ||
| 17:00 - 17:30 Talk | Abstract Expressionism for Parallel Performance ARRAY | ||
| 17:30 - 18:00 Other | Afternoon Wrapup ARRAY | ||
Sun 14 Jun Times are displayed in time zone: Tijuana, Baja California change
Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 08:15 - 09:00 Break | Breakfast Catering | ||
| 09:00 - 11:00 Talk | PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Link to publication | ||
| 09:00 - 09:10 Day opening | Opening remarks SOAP | ||
| 09:10 - 10:00 Talk | Static Analysis for Android: GUIs, Callbacks, and Beyond SOAP | ||
| 10:00 - 10:20 Talk | Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis SOAP | ||
| 10:20 - 10:40 Talk | Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions SOAP | ||
| 10:40 - 11:00 Talk | Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code SOAP | ||
| 09:00 - 09:15 Day opening | Opening and Welcome X10 | ||
| 09:15 - 10:30 Talk | Introduction to X10 X10 Olivier TardieuIBM Research Link to publication | ||
| 10:30 - 11:00 Talk | The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications X10 Sara S. HamoudaAustralian National University, Josh MilthorpeIBM Research, Peter StrazdinsAustralian National University, Vijay SaraswatIBM TJ Watson Research Center Link to publication | ||
| 09:00 - 09:05 Talk | Opening and Welcome PLOOC | ||
| 09:05 - 09:45 Talk | Bug Localization with Statistical Models PLOOC Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, P: Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich | ||
| 09:45 - 10:25 Talk | AutomataTutor and what I learned from building an online teaching tool PLOOC P: Loris D'AntoniUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign, Sumit GulwaniMicrosoft Research, Bjoern HartmannUC Berkeley, Matthew WeaverUniversity of Pennsylvania | ||
| 10:25 - 11:00 Talk | Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM PLOOC | ||
| 11:00 - 11:20 Coffee break | Morning Break Catering | ||
| 11:20 - 12:30 Talk | PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Link to publication | ||
| 11:20 - 12:20 Talk | Static Analysis of JavaScript: Insights and Challenges SOAP Ben HardekopfUC Santa Barbara | ||
| 11:20 - 11:50 Talk | Revisiting Loop Transformations with X10 Clocks X10 Link to publication | ||
| 11:50 - 12:20 Talk | Local Parallel Iteration in X10 X10 Josh MilthorpeIBM Research Link to publication | ||
| 11:30 - 12:10 Talk | The Hint Mechanism in Code Hunt PLOOC P: Daniel PerelmanUniversity of Washington, USA, Judith BishopMicrosoft Research, Sumit GulwaniMicrosoft Research, Dan GrossmanUniversity of Washington | ||
| 12:30 - 14:00 Lunch | Lunch Catering | ||
| 14:00 - 15:30 Talk | Machine Learning for Code Analytics Tutorials Link to publication | ||
| 14:00 - 15:30 Talk | Doop Framework 101 Tutorials Link to publication | ||
| 14:00 - 14:30 Talk | Evaluating Call Graph Construction for JVM-hosted Language Implementations SOAP | ||
| 14:30 - 15:00 Talk | Droidel: A General Approach to Android Framework Modeling SOAP | ||
| 15:00 - 15:30 Talk | Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform SOAP | ||
| 14:00 - 14:30 Talk | Cutting Out the Middleman: OS-Level Support for X10 Activities X10 Manuel MohrKarlsruhe Institute of Technology, Sebastian BuchwaldKarlsruhe Institute of Technology, Andreas ZwinkauKarlsruhe Institute of Technology, Christoph Erhardt Friedrich-Alexander University of Erlangen-Nürnberg, Benjamin Oechslein Friedrich-Alexander University of Erlangen-Nürnberg, Jens Schedel Friedrich-Alexander University of Erlangen-Nürnberg, Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg Link to publication | ||
| 14:30 - 15:00 Talk | Optimization of X10 Programs with ROSE Compiler Infrastructure X10 Michihiro HorieIBM Research - Tokyo, Mikio TakeuchiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo, David GroveIBM Research Link to publication | ||
| 15:00 - 15:30 Talk | The APGAS Library: Resilient Parallel and Distributed Programming in Java 8 X10 Olivier TardieuIBM Research Link to publication | ||
| 14:00 - 14:40 Talk | Functional Programming For All! Scaling a MOOC for Students and Professionals Alike PLOOC P: Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne | ||
| 14:40 - 15:20 Talk | CPSGrader: Formal Methods for Lab-Based MOOCs PLOOC P: Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley | ||
| 14:00 - 15:30 Talk | AutoTune:Autotuning programs with OpenTuner Tutorials Saman AmarasingheMIT, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Jeffrey BosboomMIT CSAIL, Shoaib KamilMIT CSAIL, USA Link to publication | ||
| 15:30 - 16:00 Break | Afternoon Break Catering | ||
| 16:00 - 18:00 Talk | Machine Learning for Code Analytics Tutorials Link to publication | ||
| 16:00 - 18:00 Talk | Doop Framework 101 Tutorials Link to publication | ||
| 16:00 - 17:00 Talk | Jalangi: A Dynamic Analyses Framework for JavaScript SOAP Koushik SenUniversity of California, Berkeley | ||
| 16:00 - 16:30 Talk | Towards an Efficient Fault-Tolerance Scheme for GLB X10 Link to publication | ||
| 16:30 - 17:00 Talk | Scalable Parallel Numerical Constraint Solver Using Global Load Balancing X10 Daisuke IshiiTokyo Institute of Technology, Kazuki YoshizoeJapan Science and Technology Agency, Toyotaro SuzumuraIBM Research / University College Dublin / JST Link to publication | ||
| 16:00 - 16:40 Talk | Personalized Mathematical Word Problem Generation PLOOC P: Alex PolozovUniversity of Washington, Eleanor O'RourkeUniversity of Washington, Adam SmithUniversity of Washington, Luke ZettlemoyerUniversity of Washington, Sumit GulwaniMicrosoft Research, Zoran PopovicUniversity of Washington | ||
| 16:40 - 17:20 Talk | Making Proof Tutors out of Proof Assistants PLOOC | ||
| 17:20 - 18:00 Talk | OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale PLOOC Elena GlassmanMIT, Jeremy ScottMIT, P: Rishabh SinghMicrosoft Research, Philip GuoUniversity of Rochester, Robert MillerMIT | ||
| 16:00 - 18:00 Talk | AutoTune:Autotuning programs with OpenTuner Tutorials Saman AmarasingheMIT, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Jeffrey BosboomMIT CSAIL, Shoaib KamilMIT CSAIL, USA Link to publication | ||
| 18:00 - 19:15 Talk | Turing Lecture FCRC Plenary Speakers | ||
| 19:30 - 21:00 | Welcome Reception and Poster Session Research Papers | ||
Mon 15 Jun Times are displayed in time zone: Tijuana, Baja California change
Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 08:15 - 09:00 Break | Breakfast Catering | ||
09:00 - 11:00: Distinguished PapersResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Steve BlackburnAustralian National University | |||
| 09:00 - 09:15 Day opening | Opening and Welcome Research Papers | ||
| 09:15 - 09:40 Talk | Automatically Improving Accuracy for Floating Point Expressions Research Papers Pavel PanchekhaUniversity of Washington, Alex Sanchez-SternUniversity of Washington, James R. WilcoxUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle Media Attached | ||
| 09:40 - 10:05 Talk | Diagnosing Type Errors with Class Research Papers Danfeng ZhangCornell University, Andrew C. Myers, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research, Cambridge Media Attached | ||
| 10:05 - 10:30 Talk | Provably Correct Peephole Optimizations with Alive Research Papers Nuno P. LopesMicrosoft Research, David MenendezRutgers University, Santosh NagarakatteRutgers University, John RegehrUniversity of Utah Media Attached | ||
| 10:30 - 10:50 Talk | One Minute Madness Research Papers | ||
| 11:00 - 11:20 Coffee break | Morning Break Catering | ||
| 11:20 - 12:30 Talk | Interdisciplinarity: A View from Theory of Computation FCRC Plenary Speakers Andrew YaoTsinghua University | ||
| 12:30 - 14:00 Lunch | SIGPLAN Awards Luncheon Research Papers Jan VitekNortheastern University | ||
14:00 - 15:40: VerificationResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Zachary TatlockUniversity of Washington, Seattle | |||
| 14:00 - 14:25 Talk | Mechanized Verification of Fine-grained Concurrent Programs Research Papers Ilya SergeyIMDEA Software Institute, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute Link to publication Media Attached | ||
| 14:25 - 14:50 Talk | Verification of Producer-Consumer Synchronization in GPU Programs Research Papers Media Attached | ||
| 14:50 - 15:15 Talk | Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO Research Papers Peter GammieNICTA, Tony HoskingAustralian National University, Data61, and Purdue University, Kai EngelhardtUNSW and NICTA Link to publication Media Attached | ||
| 15:15 - 15:40 Talk | Verifying Read-Copy-Update in a Logic for Weak Memory Research Papers Media Attached | ||
14:00 - 15:40: CorrectnessResearch Papers at PLDI Main RED (Portland 256) Chair(s): Jens PalsbergUniversity of California, Los Angeles | |||
| 14:00 - 14:25 Talk | Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack Research Papers Media Attached | ||
| 14:25 - 14:50 Talk | Automatic Error Elimination by Multi-Application Code Transfer Research Papers Media Attached | ||
| 14:50 - 15:15 Talk | Light: Replay via Tightly Bounded Recording Research Papers Peng LiuPurdue University, Xiangyu ZhangPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Yunhui ZhengIBM Research Media Attached | ||
| 15:15 - 15:40 Talk | Many-Core Compiler Fuzzing Research Papers Nathan ChongUniversity College London, Alastair DonaldsonImperial College London, Andrei LascuImperial College London, Christopher LidburyImperial College London Media Attached | ||
| 15:40 - 16:00 Break | Afternoon Break Catering | ||
16:00 - 17:40: Concurrency IResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Santosh NagarakatteRutgers University | |||
| 16:00 - 16:25 Talk | Asynchronous Programming, Analysis and Testing with State Machines Research Papers Pantazis DeligiannisImperial College London, Alastair DonaldsonImperial College London, Jeroen Ketema, Akash LalMicrosoft Research India, Paul ThomsonImperial College London Media Attached | ||
| 16:25 - 16:50 Talk | Stateless Model Checking Concurrent Programs with Maximal Causality Reduction Research Papers Jeff HuangTexas A&M University Media Attached | ||
| 16:50 - 17:15 Talk | Synthesizing racy tests Research Papers Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore, Suresh JagannathanPurdue University Media Attached | ||
| 17:15 - 17:40 Talk | The Push/Pull model of transactions Research Papers Media Attached | ||
16:00 - 17:15: OptimizationResearch Papers at PLDI Main RED (Portland 256) Chair(s): Michelle StroutColorado State University | |||
| 16:00 - 16:25 Talk | LaminarIR: Compile-Time Queues for Structured Streams Research Papers Yousun KoYonsei University, Bernd BurgstallerYonsei University, Bernhard ScholzThe University of Sydney Media Attached | ||
| 16:25 - 16:50 Talk | Optimizing Off-Chip Accesses in Multicores Research Papers Wei DingPennsylvania State University, Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, Yuanrui ZhangIntel, Emre KultursayPennsylvania State University Media Attached | ||
| 16:50 - 17:15 Talk | Improving Compiler Scalability: Optimizing Large Programs at Small Price Research Papers Media Attached | ||
17:15 - 17:40: TOPLASResearch Papers at PLDI Main RED (Portland 256) Chair(s): Michelle StroutColorado State University | |||
| 17:15 - 17:40 Talk | Verification of a Cryptographic Primitive: SHA-256 Research Papers | ||
Tue 16 Jun Times are displayed in time zone: Tijuana, Baja California change
Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 08:15 - 09:00 Break | Breakfast Catering | ||
| 08:45 - 09:10 Talk | One Minute Madness Research Papers | ||
09:15 - 10:55: Concurrency IIResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Suresh JagannathanPurdue University | |||
| 09:15 - 09:40 Talk | Composing Concurrency Control Research Papers Ofri ZivTel Aviv University, Alex AikenStanford University, Guy Golan-GuetaYahoo Labs, G. RamalingamMicrosoft Research, Mooly SagivTel Aviv University Media Attached | ||
| 09:40 - 10:05 Talk | Dynamic Partial Order Reduction for Relaxed Memory Models Research Papers Media Attached | ||
| 10:05 - 10:30 Talk | Monitoring Refinement via Symbolic Reasoning Research Papers Michael Emmi, Constantin EneaLIAFA, Université Paris Diderot, Jad HamzaLIAFA, Université Paris Diderot Media Attached | ||
| 10:30 - 10:55 Talk | Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications Research Papers Stephen LongfieldCornell University, Brittany NkounkouCornell University, Rajit ManoharCornell University, Ross TateCornell University Media Attached | ||
09:15 - 10:55: Synthesis IResearch Papers at PLDI Main RED (Portland 256) Chair(s): Kathleen FisherTufts University | |||
| 09:15 - 09:40 Talk | Efficient Synthesis of Network Updates Research Papers Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Pavol CernyUniversity of Colorado Boulder, Nate FosterCornell University Pre-print Media Attached | ||
| 09:40 - 10:05 Talk | Efficient Synthesis of Probabilistic Programs Research Papers Aditya NoriMicrosoft Research, UK, Sherjil OzairIIT Delhi, Sriram RajamaniMicrosoft Research, Deepak VijaykeerthyMicrosoft Research Media Attached | ||
| 10:05 - 10:30 Talk | FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples Research Papers Dan BarowyUniversity of Massachusetts Amherst, Sumit GulwaniMicrosoft Research, Ted HartMicrosoft Research, Benjamin ZornMicrosoft Research Media Attached | ||
| 10:30 - 10:55 Talk | Synthesizing Data Structure Transformations from Input-Output Examples Research Papers Media Attached | ||
| 11:00 - 11:20 Coffee break | Morning Break Catering | ||
| 11:20 - 12:30 Talk | Hardware Neural Networks: From Inflated Expectations to Plateau of Productivity FCRC Plenary Speakers Olivier TemamINRIA | ||
| 12:30 - 14:00 Lunch | Lunch Catering | ||
14:00 - 15:40: AnalysisResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Yannis SmaragdakisUniversity of Athens | |||
| 14:00 - 14:25 Talk | DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs Research Papers Media Attached File Attached | ||
| 14:25 - 14:50 Talk | Exploring and Enforcing Security Guarantees via Program Dependence Graphs Research Papers Andrew JohnsonHarvard University, Lucas WayeHarvard University, Scott MooreHarvard University, Stephen ChongHarvard University Media Attached | ||
| 14:50 - 15:15 Talk | Making Numerical Program Analysis Fast Research Papers Media Attached | ||
| 15:15 - 15:40 Talk | Tree Dependence Analysis Research Papers Yusheng WeijiangPurdue University, Shruthi BalakrishnaPurdue University, Jianqiao LiuPurdue University, Milind KulkarniPurdue University Media Attached | ||
14:00 - 15:40: Semantics IResearch Papers at PLDI Main RED (Portland 256) Chair(s): Hans-J. BoehmGoogle | |||
| 14:00 - 14:25 Talk | A Formal C Memory Model Supporting Integer-Pointer Casts Research Papers Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, William ManskyUniversity of Pennsylvania, Dmitri GarbuzovUniversity of Pennsylvania, Steve Zdancewic, Viktor VafeiadisMPI-SWS, Germany Media Attached | ||
| 14:25 - 14:50 Talk | Defining the undefinedness of C Research Papers Chris HathhornUniversity of Missouri, Chucky EllisonUniversity of Illinois, Grigore RoşuUniversity of Illinois at Urbana-Champaign Media Attached | ||
| 14:50 - 15:15 Talk | KJS: A Complete Formal Semantics of JavaScript Research Papers Daejun ParkUniversity of Illinois at Urbana-Champaign, Andrei StefanescuUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign Media Attached | ||
| 15:15 - 15:40 Talk | Verdi: A Framework for Formally Verifying Distributed System Implementations Research Papers James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Pavel PanchekhaUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle, Xi WangUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington Media Attached | ||
| 15:40 - 16:00 Break | Afternoon Break Catering | ||
16:00 - 18:00: PLDI Chairs' Report and SIGPLAN Townhall MeetingResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): David GroveIBM Research | |||
| 16:00 - 16:30 Talk | PLDI Chairs' Report Research Papers David GroveIBM Research, Steve BlackburnAustralian National University , Eric EideUniversity of Utah, John RegehrUniversity of Utah File Attached | ||
| 16:30 - 17:30 Meeting | ACM SIGPLAN Townhall Meeting Research Papers Jan VitekNortheastern University | ||
16:00 - 18:00: Student Research Competition TalksStudent Research Competition at PLDI Main RED (Portland 256) Chair(s): Isil DilligUniversity of Texas, Austin | |||
| 18:30 - 22:00 | PLDI Banquet Research Papers | ||
Wed 17 Jun Times are displayed in time zone: Tijuana, Baja California change
Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 08:15 - 09:00 Break | Breakfast Catering | ||
| 08:30 - 09:00 Talk | One Minute Madness Research Papers | ||
09:00 - 09:15: Student Research Competition AwardsStudent Research Competition at PLDI Main BLUE (Portland 254-255) | |||
| 09:00 - 09:15 Awards | Student Research Competition Awards Session Student Research Competition Isil DilligUniversity of Texas, Austin | ||
09:15 - 10:55: Semantics IIResearch Papers at PLDI Main RED (Portland 256) Chair(s): Robby FindlerNorthwestern University | |||
| 09:15 - 09:40 Talk | Declarative Programming over Eventually Consistent Data Stores Research Papers KC SivaramakrishnanUniversity of Cambridge, Gowtham KakiPurdue University, Suresh JagannathanPurdue University Media Attached | ||
| 09:40 - 10:05 Talk | Blame and coercion: Together again for the first time Research Papers Jeremy G. SiekIndiana University, Peter ThiemannUniversity of Freiburg, Philip WadlerUniversity of Edinburgh Media Attached | ||
| 10:05 - 10:30 Talk | Lightweight, Flexible Object-Oriented Generics Research Papers Yizhou ZhangCornell University, Andrew C. Myers, Barbara LiskovMIT, Guido SalvaneschiTU Darmstadt, Matt LoringCornell University Media Attached | ||
| 10:30 - 10:55 Talk | Relatively Complete Counterexamples for Higher-Order Programs Research Papers Media Attached | ||
| 11:00 - 11:20 Coffee break | Morning Break Catering | ||
| 11:20 - 12:30 Talk | The F# Path to Relaxation FCRC Plenary Speakers Don SymeMicrosoft | ||
| 12:30 - 14:00 Lunch | Lunch Catering | ||
14:00 - 15:40: LogicResearch Papers at PLDI Main RED (Portland 256) Chair(s): Nate FosterCornell University | |||
| 14:00 - 14:25 Talk | Automatic Induction Proofs of Data-Structures in Imperative Programs Research Papers Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore, Minh-Thai TrinhNational University of Singapore Media Attached | ||
| 14:25 - 14:50 Talk | Compositional Certified Resource Bounds Research Papers Link to publication Media Attached | ||
| 14:50 - 15:15 Talk | Peer-to-peer Affine Commitment using Bitcoin Research Papers Media Attached | ||
| 15:15 - 15:40 Talk | Termination and Non-Termination Specification Inference Research Papers Ton Chanh LeNational University of Singapore, Shengchao QinTeesside University, Wei-Ngan ChinNational University of Singapore Media Attached | ||
| 15:40 - 16:00 Break | Afternoon Break Catering | ||
16:00 - 17:40: Synthesis IIResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Isil DilligUniversity of Texas, Austin | |||
| 16:00 - 16:25 Talk | Concurrency Debugging with Differential Schedule Projections Research Papers Nuno MachadoINESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Brandon LuciaCarnegie Mellon University, Luís RodriguesUniversidade de Lisboa, Instituto Superior Técnico, INESC-ID Media Attached | ||
| 16:25 - 16:50 Talk | Synthesis of Machine Code from Semantics Research Papers Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc. Media Attached | ||
| 16:50 - 17:15 Talk | Synthesis of ranking functions using extremal counterexamples Research Papers Laure GonnordUniversity of Lyon & LIP, France, David MonniauxCNRS, VERIMAG, Gabriel RadanneUniversité Denis Diderot Paris 7, PPS Media Attached | ||
| 17:15 - 17:40 Talk | Type-and-Example-Directed Program Synthesis Research Papers Media Attached | ||
16:00 - 17:40: PotpourriResearch Papers at PLDI Main RED (Portland 256) Chair(s): Tiark RompfPurdue & Oracle Labs | |||
| 16:00 - 16:25 Talk | Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises Research Papers Stefan MarrInria, France, Chris SeatonOracle Labs / University of Manchester, Stéphane Ducasse INRIA Lille Media Attached | ||
| 16:25 - 16:50 Talk | Finding Counterexamples from Parsing Conflicts Research Papers Media Attached | ||
| 16:50 - 17:15 Talk | Interactive Parser Synthesis by Example Research Papers Alan LeungUniversity of California, San Diego, John SarracinoUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego Media Attached | ||
| 17:15 - 17:40 Talk | A Simpler, Safer Programming and Execution Model for Intermittent Systems Research Papers Media Attached | ||
Sat 13 Jun Times are displayed in time zone: Tijuana, Baja California change
Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change
Sun 14 Jun Times are displayed in time zone: Tijuana, Baja California change
Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change
Mon 15 Jun Times are displayed in time zone: Tijuana, Baja California change
Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 16 Jun Times are displayed in time zone: Tijuana, Baja California change
Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 17 Jun Times are displayed in time zone: Tijuana, Baja California change
Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sat 13 Jun Times are displayed in time zone: Tijuana, Baja California change
Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| C122 | ARRAY INVITED TALK: Array Notation for Everybody 09:00 - 10:00 | ARRAY Morning Wrapup 12:20 - 12:30 | ARRAY Fusing Convolution Kernels through Tiling 16:00 - 16:30 | ARRAY Array programming in Pascal 16:30 - 17:00 | ARRAY Abstract Expressionism for Parallel Performance 17:00 - 17:30 | ARRAY Afternoon Wrapup 17:30 - 18:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Pre-function A | PLDI Catering Breakfast 08:15 - 09:00 | PLDI Catering Morning Break 11:00 - 11:20 | PLDI Catering Lunch 12:30 - 14:00 | PLDI Catering Afternoon Break 15:30 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sun 14 Jun Times are displayed in time zone: Tijuana, Baja California change
Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change
Mon 15 Jun Times are displayed in time zone: Tijuana, Baja California change
Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Exhibit Halls A1-B | PLDI Catering Morning Break 11:00 - 11:20 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Exhibit Halls A1-B Portland Ballroom Lobby | PLDI Catering Breakfast 08:15 - 09:00 | PLDI Catering Afternoon Break 15:40 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| PLDI Main BLUE (Portland 254-255) | PLDI Research Papers Opening and Welcome 09:00 - 09:15 | PLDI Research Papers One Minute Madness 10:30 - 10:50 | PLDI Research Papers Synthesizing racy tests 16:50 - 17:15 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 16 Jun Times are displayed in time zone: Tijuana, Baja California change
Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Exchange Ballroom | PLDI Research Papers PLDI Banquet 18:30 - 22:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Exhibit Halls A1-B | PLDI Catering Morning Break 11:00 - 11:20 | PLDI Catering Lunch 12:30 - 14:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Exhibit Halls A1-B Portland Ballroom Lobby | PLDI Catering Breakfast 08:15 - 09:00 | PLDI Catering Afternoon Break 15:40 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| PLDI Main BLUE (Portland 254-255) | PLDI Research Papers One Minute Madness 08:45 - 09:10 | PLDI Research Papers Composing Concurrency Control 09:15 - 09:40 | PLDI Research Papers Tree Dependence Analysis 15:15 - 15:40 | PLDI Research Papers PLDI Chairs' Report 16:00 - 16:30 | PLDI Research Papers ACM SIGPLAN Townhall Meeting 16:30 - 17:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 17 Jun Times are displayed in time zone: Tijuana, Baja California change
Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change
| 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Exhibit Halls A1-B | PLDI Catering Morning Break 11:00 - 11:20 | PLDI Catering Lunch 12:30 - 14:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Exhibit Halls A1-B Portland Ballroom Lobby | PLDI Catering Breakfast 08:15 - 09:00 | PLDI Catering Afternoon Break 15:40 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| PLDI Main BLUE (Portland 254-255) | PLDI Research Papers One Minute Madness 08:30 - 09:00 | PLDI Research Papers Profile-Guided Meta-Programming 10:30 - 10:55 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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