Filter Program
Conference Dates
Conference Dates are in time zone (GMT-04:00) Eastern Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Mon 18 Jun Times are displayed in time zone: Eastern Time (US & Canada) change
Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change
08:00 - 09:00 | |||
08:00 60mOther | Breakfast Catering | ||
09:00 - 10:30 | |||
09:00 60mTalk | The Science of Deep Specification DeepSpec Andrew AppelPrinceton | ||
10:00 30mTalk | CakeML: from functions to machine code with proof all the way DeepSpec Magnus O. MyreenChalmers University of Technology, Sweden | ||
09:00 - 09:15 | |||
09:00 15mDay opening | Message from the Chairs ISMM | ||
09:00 - 10:30 | |||
09:15 75mTalk | Designing hardware to be free of covert channels by construction FMS Andrew C. MyersCornell University | ||
09:00 - 10:30 | |||
09:00 90mOther | Debugging and Profiling Task Parallel Programs with TASKPROF PLDI Tutorials | ||
09:15 - 09:30 | IntroductionMAPL at Columbus Ballroom A Chair(s): Justin GottschlichIntel Labs, Alvin CheungUniversity of Washington | ||
09:15 - 10:15 | |||
09:15 60mTalk | Getting to Go ISMM Richard L. HudsonGoogle | ||
09:30 - 10:30 | |||
09:30 30mTalk | Ariadne: Analysis for Machine Learning Programs MAPL Julian DolbyIBM Thomas J. Watson Research Center, Avraham ShinnarIBM Research, Allison AllainIBM Research, Jenna ReinenIBM Research | ||
10:00 30mTalk | Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection MAPL Hongfa XueGeorge Washington University, Guru VenkataramaniGeorge Washington University, Tian LanGeorge Washington University | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:45 - 12:15 | Reference Counting and Techniques for C-family LanguagesISMM at Discovery AB Chair(s): Emery D. BergerUniversity of Massachusetts, Amherst | ||
10:45 30mTalk | Detailed Heap Profiling ISMM | ||
11:15 30mTalk | FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++ ISMM Charles TrippTerrain Data, USA, David HydeStanford University, USA, Benjamin Grossman-PonemonTerrain Data, USA | ||
11:45 30mTalk | Distributed Garbage Collection for General Graphs ISMM Steven R. BrandtLouisiana State University, Hari KrishnanFacebook, n.n., Costas BuschLouisiana State University, USA, Gokarna SharmaKent State University, USA | ||
11:00 - 12:00 | |||
11:00 30mTalk | Obfuscation Resilient Search through Executable Classification MAPL Fang-Hsiang SuColumbia University, New York, Jonathan BellGeorge Mason University, Gail KaiserColumbia University, New York, Baishakhi RayColumbia University, New York | ||
11:30 30mTalk | Retrieval on source code: a neural code search MAPL Saksham SachdevFacebook, Hongyu LiRice University, Sifei LuanFacebook, Seohyun KimFacebook, Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook | ||
11:00 - 12:15 | |||
11:00 30mTalk | Vellvm - Modular Semantics via Interaction Trees DeepSpec Steve ZdancewicUniversity of Pennsylvania | ||
11:30 30mTalk | Crellvm DeepSpec Chung-Kil HurSeoul National University | ||
11:00 - 12:15 | |||
11:00 75mTalk | Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem FMS Nikhil SwamyMicrosoft Research | ||
11:00 - 12:15 | |||
11:00 75mOther | Debugging and Profiling Task Parallel Programs with TASKPROF PLDI Tutorials | ||
12:15 - 14:00 | |||
12:15 1h45mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mTalk | Relay: A New IR for Machine Learning Frameworks MAPL Jared RoeschUniversity of Washington, USA, Steven LyubomirskyUniversity of Washington, USA, Logan WeberUniversity of Washington, Josh PollockUniversity of Washington, Marisa Kirisame, Tianqi Chen, Zachary TatlockUniversity of Washington, Seattle | ||
14:30 30mTalk | Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs MAPL Venmugil ElangoNVIDIA, Norm RubinNVIDIA, Mahesh Ravishankar, Hari SandanagobalaneNVIDIA, Vinod Grover | ||
15:00 30mTalk | Gen: probabilistic programming with fast custom inference via code generation MAPL File Attached | ||
14:00 - 15:40 | |||
14:00 30mTalk | Verifiable C, a logic and system for proving C programs correct DeepSpec | ||
14:30 30mTalk | Progress Report on the DeepSpec Web Server DeepSpec Benjamin C. PierceUniversity of Pennsylvania | ||
15:00 30mTalk | QuickChick: Random Testing in Coq DeepSpec Leonidas LampropoulosUniversity of Pennsylvania | ||
14:00 - 15:30 | |||
14:00 30mTalk | Hardware-Software Co-optimization of Memory Management in Dynamic Languages ISMM | ||
14:30 30mTalk | Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications ISMM Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon, Ruslan SynytskyJelastic, n.n., Tetiana FydorenchykJelastic, n.n., Jia RaoUniversity of Texas at Arlington, USA, Hang HuangHuazhong University of Science and Technology, China, Song WuHuazhong University of Science and Technology, China | ||
15:00 30mTalk | OMR: Out-of-Core MapReduce for Large Data Sets ISMM Gurneet Kaur, Keval VoraUniversity of California, Riverside, Sai Charan KoduruUniversity of California, Riverside, Rajiv GuptaUC Riverside | ||
14:00 - 15:40 | |||
14:00 70mTalk | Modular Verification of Deep Specifications of Security-Critical Components FMS Andrew AppelPrinceton | ||
15:10 30mResearch paper | A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs FMS | ||
14:00 - 15:40 | |||
14:00 1h40mOther | Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis PLDI Tutorials Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University | ||
15:40 - 16:10 | |||
15:40 30mCoffee break | Break Catering | ||
16:00 - 17:30 | Analyzing the Cache and SchedulingISMM at Discovery AB Chair(s): Michael D. BondOhio State University | ||
16:00 30mTalk | mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores ISMM Daniel ByrneMichigan Technological University, USA, Nilufer OnderMichigan Technological University, USA, Zhenlin WangMichigan Technological University | ||
16:30 30mTalk | Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving ISMM Jacob BrockUniversity of Rochester, Chen DingUniversity of Rochester, Rahman Lavaee, Fangzhou Liu, Liang YuanInstitute of Computing Technology at Chinese Academy of Sciences, China | ||
17:00 30mTalk | Balanced Double Queues for GC Work-Stealing on Weak Memory Models ISMM Michihiro HorieIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan, Kazunori OgataIBM Research, Japan, Tamiya OnoderaIBM, Japan | ||
16:10 - 16:40 | |||
16:10 30mTalk | The Three Pillars of Machine Programming MAPL Justin GottschlichIntel Labs, Armando Solar-LezamaMIT CSAIL, Nesime TatbulIntel Labs and MIT, Michael CarbinMIT, Martin C. RinardMassachusetts Institute of Technology, Regina BarzilayMIT, Saman AmarasingheMIT, Joshua B. TenenbaumMIT, Tim MattsonIntel, USA | ||
16:10 - 17:35 | |||
16:10 30mTalk | Real-Time CertiKOS: A Step Toward Resource Adaptive Certified OS Kernels DeepSpec Zhong ShaoYale University | ||
16:40 30mTalk | Verification Around the Hardware-Software Interface: Instruction Set, Processors, and Side Channels DeepSpec Adam ChlipalaMassachusetts Institute of Technology, USA | ||
17:10 25mTalk | Using Kami in the field - experiences integrating Kami into SiFive's Chisel/Scala-based design flow DeepSpec | ||
16:10 - 17:25 | |||
16:10 60mMeeting | Breakout sessions / Discussion FMS | ||
17:10 15mMeeting | Wrapup FMS | ||
16:10 - 17:35 | |||
16:10 85mOther | Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis PLDI Tutorials Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University | ||
16:40 - 17:00 | Closing RemarksMAPL at Columbus Ballroom A Chair(s): Justin GottschlichIntel Labs, Alvin CheungUniversity of Washington | ||
17:00 - 18:00 | |||
18:00 - 19:00 | |||
Tue 19 Jun Times are displayed in time zone: Eastern Time (US & Canada) change
Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change
08:00 - 09:00 | |||
08:00 60mOther | Breakfast Catering | ||
08:45 - 10:30 | |||
08:45 10mDay opening | Introduction and Welcome PLMW @ PLDI | ||
08:55 20mSocial Event | Icebreaker PLMW @ PLDI Michelle StroutUniversity of Arizona | ||
09:15 45mTalk | What Programming Language Researchers Do and How to Become One PLMW @ PLDI Kathryn S McKinleyGoogle | ||
10:00 30mTalk | Intermittent Computing Systems PLMW @ PLDI Brandon LuciaCarnegie Mellon University | ||
09:00 - 10:30 | |||
09:00 90mOther | Static Analysis for C++ with Phasar PLDI Tutorials Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn | ||
09:00 - 10:30 | |||
09:00 60mTalk | Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems DeepSpec Mooly SagivTel Aviv University | ||
10:00 30mTalk | Automation for High-Assurance Cryptography, for Primitives and Protocols DeepSpec | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome LCTES | ||
09:15 75mTalk | Keynote: Blockchain and Embedded Systems LCTES | ||
09:00 - 10:30 | |||
09:00 90mOther | Declarative Program Analysis with QL PLDI Tutorials | ||
09:00 - 10:00 | |||
09:00 60mTalk | Tensor Comprehensions: deep learning as a polyhedral compiler's killer app ARRAY Pre-print | ||
10:00 - 10:35 | |||
10:00 35mTalk | A Rosetta Stone for Array Languages ARRAY Artjoms ŠinkarovsHeriot-Watt University, UK, Robert BerneckySnake Island Research, Hans-Nikolai VießmannHeriot-Watt University, UK, Sven-Bodo ScholzHeriot-Watt University | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:15 | |||
11:00 75mOther | Static Analysis for C++ with Phasar PLDI Tutorials Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn | ||
11:00 - 12:15 | |||
11:00 45mTalk | Crossing the Divide: Becoming a (Programming Languages) Researcher PLMW @ PLDI Alex AikenStanford University | ||
11:45 30mTalk | Program verification using abductive reasoning PLMW @ PLDI Isil DilligUT Austin | ||
11:00 - 12:15 | |||
11:00 30mTalk | Towards a formal semantics for GHC Core DeepSpec Stephanie WeirichUniversity of Pennsylvania, USA | ||
11:30 30mTalk | Debugging Debug Information and Beyond DeepSpec | ||
11:00 - 12:15 | |||
11:00 25mFull-paper | MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education LCTES James DevineLancaster University, Joe Finney, Peli de HalleuxMicrosoft Research, Michał MoskalMicrosoft Research, Thomas BallMicrosoft Research, Steve HodgesMicrosoft | ||
11:25 25mFull-paper | Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective LCTES | ||
11:50 25mFull-paper | A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu LCTES Guilherme F. LimaPUC-Rio, Rodrigo C. M. SantosPUC-Rio, Edward Hermann HaeuslerPUC-Rio, Roberto IerusalimschyPUC-Rio, Francisco Sant'AnnaRio de Janeiro State University | ||
11:00 - 12:15 | |||
11:00 75mOther | Declarative Program Analysis with QL PLDI Tutorials | ||
11:00 - 12:10 | |||
11:00 35mTalk | Petalisp: Run Time Code Generation for Operations on Strided Arrays ARRAY File Attached | ||
11:35 35mTalk | Profile-Based Vectorization for MATLAB ARRAY Patryk KiepasMINES ParisTech, France, Jaroslaw KozlakAGH University of Science and Technology, Poland, Claude TadonkiMINES ParisTech, France, Corinne AncourtMINES ParisTech, France | ||
12:15 - 14:00 | |||
12:15 1h45mLunch | Lunch Catering | ||
12:50 - 13:50 | |||
12:50 60mLunch | Poster Session & Lunch LCTES | ||
13:15 - 15:30 | |||
13:15 75mOther | Panel: "Charting your Path" PLMW @ PLDI Sara AchourMIT, Shoaib KamilAdobe, Jennifer B. SartorVrije Universiteit Brussel, Zachary TatlockUniversity of Washington, Seattle | ||
14:30 30mTalk | Evaluating Evaluations PLMW @ PLDI Milind KulkarniPurdue University | ||
15:00 30mTalk | The Importance of Communication PLMW @ PLDI | ||
14:00 - 15:40 | |||
14:00 1h40mOther | Static Analysis for C++ with Phasar PLDI Tutorials Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn | ||
14:00 - 15:40 | |||
14:00 30mTalk | Multicore and Multithreaded Linking for Concurrent CertiKOS DeepSpec Jieung KimYale University, USA | ||
14:30 30mTalk | Verifying seL4 towards Concurrency DeepSpec Thomas SewellUNSW, Australia | ||
15:00 30mTalk | Specifying and Verifying Concurrent Programs with Ghost State DeepSpec William ManskyPrinceton University | ||
14:00 - 15:40 | |||
14:00 25mFull-paper | Adaptive Deep Learning Model Selection on Embedded Systems LCTES Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Willy WolffLancaster University, Yehia ElkhatibLancaster University, Zheng WangLancaster University | ||
14:25 25mFull-paper | Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array LCTES Lei Han, Zhaoyan ShenThe Hong Kong Polytechnic University, Zili ShaoThe Hong Kong Polytechnic University, Tao LiUniversity of Florida | ||
14:50 25mFull-paper | Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs LCTES Bernhard EggerSeoul National University, Eunjin SongSeoul National University, Hochan LeeSeoul National University, Daeyoung ShinSeoul National University | ||
15:15 25mFull-paper | Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency LCTES Michael StokesFlorida State University, Ryan BairdFlorida State University, Zhaoxiang JinMichigan Technological University, David B. Whalley, Soner OnderMichigan Technological University | ||
14:00 - 15:40 | |||
14:00 1h40mOther | Verified Low-Level Programming in F* PLDI Tutorials Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n. | ||
14:00 - 15:45 | |||
14:00 35mTalk | Parallel Programming with Arrays in Kappa ARRAY Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University | ||
14:35 35mTalk | Rank Polymorphism Viewed as a Constraint Problem ARRAY Justin SlepakNortheastern University, Panagiotis ManoliosNortheastern University, Olin ShiversNortheastern University, USA | ||
15:10 35mTalk | Proving a Core Code for FDM Correct by 2 + dw Tests ARRAY Magne HaveraaenUniversity of Bergen, Norway | ||
15:40 - 16:10 | |||
15:40 30mCoffee break | Break Catering | ||
16:00 - 17:15 | |||
16:00 60mPoster | Poster Session PLMW @ PLDI Milind KulkarniPurdue University, James LarusEPFL, Adrian SampsonCornell University, Santosh NagarakatteRutgers University, USA, Eva DarulovaMPI-SWS, Osbert BastaniStanford University, Emery D. BergerUniversity of Massachusetts, Amherst, Mayur NaikUniversity of Pennsylvania, Joseph DeviettiUniversity of Pennsylvania, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA, John WickersonImperial College London, Xin ZhangMassachusetts Institute of Technology, USA, Sara AchourMIT, Michael CarbinMIT, Michelle StroutUniversity of Arizona | ||
17:00 15mDay closing | Wrap up PLMW @ PLDI | ||
16:10 - 17:35 | |||
16:10 85mOther | Static Analysis for C++ with Phasar PLDI Tutorials Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn | ||
16:10 - 17:35 | |||
16:10 5mTalk | 5-minute Lightning Talks DeepSpec | ||
16:15 5mTalk | Simplicity for Smart Contracts DeepSpec | ||
16:20 5mTalk | Machine-Verified Machine Learning DeepSpec Gordon StewartOhio University | ||
16:25 5mTalk | Verification of Union-Find in C DeepSpec | ||
16:30 5mTalk | Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats DeepSpec Clément Pit-ClaudelMIT CSAIL | ||
16:35 5mTalk | LLVM's IR and Call-By-Push-Value Lambda Calculus DeepSpec | ||
16:40 5mTalk | A Formal Equational Theory for Call-By-Push-Value DeepSpec Christine RizkallahUniversity of New South Wales | ||
16:45 5mTalk | Serializability for Distributed Protocols DeepSpec Joonwon ChoiMassachusetts Institute of Technology, USA | ||
16:50 5mTalk | A Quick Hack to ask any SMT Solver if my Coq Goal is True DeepSpec Samuel GruetterMassachusetts Institute of Technology | ||
16:10 - 17:25 | |||
16:25 15mShort-paper | WIP: Deep Neural Networks compiler for a trace-based accelerator LCTES Andre Xian Ming ChangFWDNXT and Purdue, Aliasger ZaidyFWDNXT and Purdue, Lukasz BurzawaFWDNXT and Purdue, Eugenio CulurcielloFWDNXT and Purdue | ||
16:40 15mShort-paper | WIP: Statically Relating Program Properties for Efficient Verification LCTES | ||
16:55 15mShort-paper | WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach LCTES Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University, Noemi RodriguezPUC-Rio, Ana Lúcia de Moura | ||
17:10 15mShort-paper | WIP: An open-source realtime computational platform LCTES Pavan MehrotraStanford University, Sabar DasguptaStanford University, Samantha RobertsonStanford University, Paul NuyujukianStanford University Link to publication DOI Pre-print Media Attached | ||
16:10 - 17:35 | |||
16:10 85mOther | Verified Low-Level Programming in F* PLDI Tutorials Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n. | ||
16:10 - 17:20 | |||
16:10 35mTalk | Inner Array Inlining for Structure of Arrays Layout ARRAY Matthias SpringerTokyo Institute of Technology, Yaozhu SunTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology Pre-print | ||
16:45 35mTalk | An Array API for Finite Difference Methods ARRAY Eva BurrowsUniversity of Bergen, Norway, Helmer André FriisIRIS, Norway, Magne HaveraaenUniversity of Bergen, Norway | ||
17:30 - 18:30 | |||
Wed 20 Jun Times are displayed in time zone: Eastern Time (US & Canada) change
Wed 20 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change
08:00 - 08:45 | |||
08:00 45mOther | Breakfast Catering | ||
08:45 - 09:00 | WelcomePLDI Invited Speakers at Grand Ballroom Chair(s): Jeffrey S. FosterUniversity of Maryland, College Park / Tufts University, Dan GrossmanUniversity of Washington | ||
09:00 - 10:00 | KeynotePLDI Invited Speakers at Grand Ballroom Chair(s): Michael HicksUniversity of Maryland, College Park | ||
09:00 60mTalk | Language-Integrated Verification PLDI Invited Speakers Ranjit JhalaUniversity of California, San Diego Media Attached | ||
10:00 - 10:30 | Lightning Overview - Day 1PLDI Research Papers at Grand Ballroom Chair(s): Dan GrossmanUniversity of Washington | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:15 | |||
11:00 25mTalk | Verifying That Web Pages Have Accessible Layout PLDI Research Papers Pavel PanchekhaUniversity of Washington, Adam T. GellerUniversity of Washington, USA, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle, Shoaib KamilAdobe Media Attached | ||
11:25 25mTalk | BLeak: Automatically Debugging Memory Leaks in Web Applications PLDI Research Papers Media Attached | ||
11:50 25mTalk | Putting in All the Stops: Execution Control for JavaScript PLDI Research Papers Samuel BaxterUniversity of Massachusetts at Amherst, USA, Rachit Nigam, Joe Gibbs PolitzUniversity of California, San Diego, Shriram KrishnamurthiBrown University, USA, Arjun GuhaUniversity of Massachusetts, Amherst Media Attached | ||
11:00 - 12:15 | Emerging HardwarePLDI Research Papers at Grand Ballroom CD Chair(s): Ryan R. NewtonIndiana University | ||
11:00 25mTalk | Persistency for Synchronization-Free Regions PLDI Research Papers Vaibhav GogteUniversity of Michigan, USA, Stephan DiestelhorstARM Research, UK, William WangArm Research, UK, Satish NarayanasamyUniversity of Michigan, Peter M. ChenUniversity of Michigan, USA, Thomas F. WenischUniversity of Michigan, USA Media Attached | ||
11:25 25mTalk | Write-Rationing Garbage Collection for Hybrid Memories PLDI Research Papers Shoaib AkramGhent University, Jennifer B. SartorVrije Universiteit Brussel, Kathryn S McKinleyGoogle, Lieven EeckhoutGhent University, Belgium Media Attached | ||
11:50 25mTalk | Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture PLDI Research Papers Chit-Kwan LinIntel Labs, n.n., Andreas WildIntel Labs, n.n., Tsung-Han LinIntel Labs, n.n., Gautham N. ChinyaIntel Labs, n.n., Mike DaviesIntel Labs, n.n., Hong WangIntel Labs, n.n. Media Attached | ||
12:15 - 14:00 | |||
12:15 1h45mLunch | Lunch Catering | ||
14:00 - 15:40 | Concurrency and TerminationPLDI Research Papers at Grand Ballroom AB Chair(s): Iulian NeamtiuNew Jersey Institute of Technology | ||
14:00 25mTalk | Static Serializability Analysis for Causal Consistency PLDI Research Papers Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zürich | ||
14:25 25mTalk | CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs PLDI Research Papers Media Attached | ||
14:50 25mTalk | Symbolic Reasoning for Automatic Signal Placement PLDI Research Papers Kostas FerlesUT Austin, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Yannis SmaragdakisUniversity of Athens Media Attached | ||
15:15 25mTalk | Advanced Automata-Based Algorithms for Program Termination Checking PLDI Research Papers Yu-Fang Chen, Matthias HeizmannUniversity of Freiburg, Germany, Ondřej LengálBrno University of Technology , Yong LiInstitute of Software, Chinese Academy of Sciences, Ming-Hsien TsaiAcademia Sinica, Taiwan, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences Media Attached | ||
14:00 - 15:40 | Dynamic TechniquesPLDI Research Papers at Grand Ballroom CD Chair(s): Sorin LernerUniversity of California, San Diego | ||
14:00 25mTalk | HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack PLDI Research Papers Guilherme OttoniFacebook Media Attached | ||
14:25 25mTalk | On-Stack Replacement, Distilled PLDI Research Papers Media Attached | ||
14:50 25mTalk | EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++ PLDI Research Papers Gregory J. DuckNational University of Singapore, Singapore, Roland H. C. YapNational University of Singapore, Singapore Media Attached | ||
15:15 25mTalk | Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability PLDI Research Papers Cheng CaiUniversity of California, Irvine, Qirun ZhangUniversity of California, Davis, Zhiqiang ZuoNanjing University, China, Khanh NguyenUniversity of California, Irvine, Harry XuUniversity of California, Los Angeles (UCLA), Zhendong SuUniversity of California, Davis Media Attached | ||
15:40 - 16:10 | |||
15:40 30mCoffee break | Break Catering | ||
16:10 - 17:25 | Transactions and RacesPLDI Research Papers at Grand Ballroom AB Chair(s): Tatiana ShpeismanGoogle Brain | ||
16:10 25mTalk | The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ PLDI Research Papers Media Attached | ||
16:35 25mTalk | MixT: A Language for Mixing Consistency in Geodistributed Transactions PLDI Research Papers Media Attached | ||
17:00 25mTalk | Bounding Data Races in Space and Time PLDI Research Papers Stephen DolanUniversity of Cambridge, KC SivaramakrishnanUniversity of Cambridge, Anil MadhavapeddyOCaml Labs Media Attached | ||
16:10 - 17:25 | |||
16:10 25mTalk | Finding Root Causes of Floating Point Error PLDI Research Papers Alex Sanchez-SternUniversity of California, San Diego, Pavel PanchekhaUniversity of Washington, Sorin LernerUniversity of California, San Diego, Zachary TatlockUniversity of Washington, Seattle Media Attached | ||
16:35 25mTalk | Ryū: Fast Float-to-String Conversion PLDI Research Papers Ulf AdamsGoogle, Germany Media Attached | ||
17:00 25mTalk | To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries PLDI Research Papers Michael J. SteindorferDelft University of Technology, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV Media Attached | ||
17:30 - 18:30 | Program Chair's Report and SIGPLAN Town Hall MeetingPLDI Invited Speakers at Grand Ballroom AB Chair(s): Michael HicksUniversity of Maryland, College Park, Dan GrossmanUniversity of Washington | ||
17:30 30mTalk | PLDI Program Chair's Report PLDI Invited Speakers Dan GrossmanUniversity of Washington Media Attached | ||
18:00 30mTalk | SIGPLAN Town Hall Meeting PLDI Invited Speakers Michael HicksUniversity of Maryland, College Park, Benjamin C. PierceUniversity of Pennsylvania, Steve BlackburnAustralian National University Media Attached | ||
18:00 - 21:00 | |||
Thu 21 Jun Times are displayed in time zone: Eastern Time (US & Canada) change
Thu 21 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change
08:00 - 09:00 | |||
08:00 45mOther | Breakfast Catering | ||
08:45 - 09:00 | PLDI 2019 IntroductionPLDI Invited Speakers at Grand Ballroom Chair(s): Kathryn S McKinleyGoogle, Kathleen FisherTufts University | ||
08:45 15mTalk | PLDI 2019 Introduction PLDI Invited Speakers Media Attached | ||
09:00 - 10:00 | KeynotePLDI Invited Speakers at Grand Ballroom Chair(s): Cormac FlanaganUniversity of California, Santa Cruz | ||
09:00 60mTalk | Machine Learning: Alchemy for the Modern Computer Scientist PLDI Invited Speakers Media Attached | ||
10:00 - 10:30 | Lightning Overview - Day 2PLDI Research Papers at Grand Ballroom Chair(s): Dan GrossmanUniversity of Washington | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:15 | Multicore and MorePLDI Research Papers at Grand Ballroom AB Chair(s): Yannis SmaragdakisUniversity of Athens | ||
11:00 25mTalk | Spatial: A Language and Compiler for Application Accelerators PLDI Research Papers David KoeplingerStanford University, USA, Matthew FeldmanStanford University, USA, Raghu PrabhakarStanford University, USA, Yaqi ZhangStanford University, USA, Stefan HadjisStanford University, USA, Ruben FiszelEPFL, Switzerland, Tian ZhaoStanford University, Luigi NardiStanford University, Ardavan PedramStanford University, USA, Christos KozyrakisStanford University, USA, Kunle OlukotunStanford University Media Attached | ||
11:25 25mTalk | Enhancing Computation-to-Core Assignment with Physical Location Information PLDI Research Papers Orhan KislalPennsylvania State University, USA, Jagadish KotraPennsylvania State University, USA, Xulong TangPenn State, Mahmut Taylan KandemirUniversity of Pennsylvania, Myoungsoo JungYonsei University, South Korea Media Attached | ||
11:50 25mTalk | SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores PLDI Research Papers Kim-Anh TranUppsala University, Sweden, Alexandra JimboreanUppsala University, Trevor E. CarlsonNational University of Singapore, Konstantinos KoukosUppsala University, Sweden, Magnus SjälanderNorwegian University of Science and Technology (NTNU), Stefanos KaxirasUppsala University, Sweden Media Attached | ||
11:00 - 12:30 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:40 | Concurrency DebuggingPLDI Research Papers at Grand Ballroom AB Chair(s): Tony HoskingAustralian National University / Data61 | ||
14:00 25mTalk | iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications PLDI Research Papers Hongyu LiuUniversity of Texas at San Antonio, USA, Sam SilvestroUniversity of Texas at San Antonio, USA, Wei WangUniversity of Texas at San Antonio, USA, Chen TianHuawei Lab, USA, Tongping Liu Media Attached | ||
14:25 25mTalk | D4: Fast Concurrency Debugging with Parallel Differential Analysis PLDI Research Papers Media Attached | ||
14:50 25mTalk | High-Coverage, Unbounded Sound Predictive Race Detection PLDI Research Papers Jake RoemerOhio State University, Kaan GençOhio State University, USA, Michael D. BondOhio State University Media Attached | ||
15:15 25mTalk | CURD: A Dynamic CUDA Race Detector PLDI Research Papers Media Attached | ||
14:00 - 15:40 | Synthesis and LearningPLDI Research Papers at Grand Ballroom CD Chair(s): Xin ZhangMassachusetts Institute of Technology, USA | ||
14:00 25mTalk | A General Path-Based Representation for Predicting Program Properties PLDI Research Papers Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion Media Attached | ||
14:25 25mTalk | Program Synthesis using Conflict-Driven Learning PLDI Research Papers Yu FengUniversity of Texas at Austin, USA, Ruben MartinsCarnegie Mellon University, Osbert BastaniStanford University, Isil DilligUT Austin Media Attached | ||
14:50 25mTalk | Accelerating Search-Based Program Synthesis using Learned Probabilistic Models PLDI Research Papers Woosuk LeeUniversity of Pennsylvania, USA, Kihong HeoUniversity of Pennsylvania, USA, Rajeev AlurUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania Media Attached | ||
15:15 25mTalk | Inferring Crypto API Rules from Code Changes PLDI Research Papers Media Attached | ||
15:40 - 16:10 | |||
15:40 30mCoffee break | Break Catering | ||
16:10 - 17:00 | Programming-Student FeedbackPLDI Research Papers at Grand Ballroom AB Chair(s): Dan GrossmanUniversity of Washington | ||
16:10 25mTalk | Automated Clustering and Program Repair for Introductory Programming Assignments PLDI Research Papers Sumit GulwaniMicrosoft Research, Ivan RadičekVienna University of Technology, Austria, Florian ZulegerTU Vienna Media Attached | ||
16:35 25mTalk | Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises PLDI Research Papers Ke WangUniversity of California at Davis, USA, Rishabh SinghGoogle Brain, Zhendong SuUniversity of California, Davis Media Attached | ||
16:10 - 17:00 | Analyzing Probabilistic ProgramsPLDI Research Papers at Grand Ballroom CD Chair(s): Eva DarulovaMPI-SWS | ||
16:10 25mTalk | Bounded Expectations: Resource Analysis for Probabilistic Programs PLDI Research Papers Van Chan NgoCarnegie Mellon University, Quentin CarbonneauxYale University, Jan HoffmannCarnegie Mellon University Media Attached | ||
16:35 25mTalk | PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs PLDI Research Papers Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc. Media Attached | ||
17:00 - 18:00 | |||
17:30 - 18:30 | SIGPLAN and SRC AwardsPLDI Invited Speakers at Grand Ballroom Chair(s): Maria ChristakisMPI-SWS, Satnam SinghX, the moonshot factory | ||
Fri 22 Jun Times are displayed in time zone: Eastern Time (US & Canada) change
Fri 22 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change
08:00 - 09:00 | |||
08:00 60mOther | Breakfast Catering | ||
09:00 - 10:00 | KeynotePLDI Invited Speakers at Grand Ballroom Chair(s): Emery D. BergerUniversity of Massachusetts, Amherst | ||
09:00 60mTalk | A “Post-ISA” Era in Computer Systems: Challenges and Opportunities PLDI Invited Speakers Media Attached | ||
10:00 - 10:30 | Lightning Overview - Day 3PLDI Research Papers at Grand Ballroom Chair(s): Dan GrossmanUniversity of Washington | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:15 | Optimization and LocalityPLDI Research Papers at Grand Ballroom AB Chair(s): Milind KulkarniPurdue University | ||
11:00 25mTalk | Polyhedral Auto-transformation with No Integer Linear Programming PLDI Research Papers Aravind AcharyaIndian Institute of Science, Bangalore, Uday BondhugulaIndian Institute of Science, Albert CohenInria, France / ENS, France Media Attached | ||
11:25 25mTalk | Partial Control-Flow Linearization PLDI Research Papers Media Attached | ||
11:50 25mTalk | Locality Analysis through Static Parallel Sampling PLDI Research Papers Dong ChenUniversity of Rochester, Fangzhou LiuUniversity of Rochester, Chen DingUniversity of Rochester, Sreepathi PaiUniversity of Rochester Media Attached | ||
11:00 - 12:15 | Inference for Probabilistic ProgramsPLDI Research Papers at Grand Ballroom CD Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst | ||
11:00 25mTalk | Incremental Inference for Probabilistic Programs PLDI Research Papers Marco Cusumano-TownerMIT-CSAIL, Benjamin BichselETH Zurich, Switzerland, Timon Gehr, Martin VechevETH Zürich, Vikash K. MansinghkaMIT Media Attached | ||
11:25 25mTalk | Bayonet: Probabilistic Inference for Networks PLDI Research Papers Timon Gehr, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA, Petar TsankovETH Zurich, Laurent VanbeverETH Zürich, Pascal WiesmannETH Zurich, Switzerland, Martin VechevETH Zürich Media Attached | ||
11:50 25mTalk | Probabilistic Programming with Programmable Inference PLDI Research Papers Vikash K. MansinghkaMIT, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Shivam Handa, Alexey Radul, Yutian ChenGoogle Deepmind, n.n., Martin C. RinardMassachusetts Institute of Technology Media Attached | ||
12:15 - 14:00 | |||
12:15 1h45mLunch | Lunch Catering | ||
14:00 - 15:40 | VerificationPLDI Research Papers at Grand Ballroom AB Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA | ||
14:00 25mTalk | VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models PLDI Research Papers Brandon Bohrer, Yong Kiam TanCarnegie Mellon University, USA, Stefan MitschCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, André PlatzerCarnegie Mellon University Media Attached | ||
14:25 25mTalk | Crellvm: Verified Credible Compilation for LLVM PLDI Research Papers Jeehoon KangSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Juneyoung LeeSeoul National University, Sanghoon ParkSeoul National University, South Korea, Mark Dongyeon ShinSeoul National University, South Korea, Yonghyun KimSeoul National University, South Korea, Sungkeun ChoSeoul National University, South Korea, Joonwon ChoiMassachusetts Institute of Technology, USA, Chung-Kil HurSeoul National University, Kwangkeun YiSeoul National University Media Attached | ||
14:50 25mTalk | Certified Concurrent Abstraction Layers PLDI Research Papers Ronghui GuColumbia University, Zhong ShaoYale University, Jieung KimYale University, USA, Xiongnan (Newman) WuYale University, Jérémie Koenig, Vilhelm SjöbergYale University, Hao ChenYale University, David CostanzoYale University, Tahina RamananandroMicrosoft Research, n.n. Media Attached | ||
15:15 25mTalk | Modularity for Decidability of Deductive Verification with Applications to Distributed Systems PLDI Research Papers Marcelo TaubeTel Aviv University, Israel, Giuliano LosaUniversity of California at Los Angeles, USA, Kenneth L. McMillanMicrosoft Research, Oded PadonTel Aviv University, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington Media Attached | ||
14:00 - 15:40 | |||
14:00 25mTalk | Active Learning of Points-To Specifications PLDI Research Papers Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University Media Attached | ||
14:25 25mTalk | Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code PLDI Research Papers Qingkai ShiHong Kong University of Science and Technology, China, Xiao XiaoSourceBrella Inc., Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Jinguo ZhouSourcebrella Inc., Gang Fan, Charles Zhang Media Attached | ||
14:50 25mTalk | A Data-Driven CHC Solver PLDI Research Papers Media Attached | ||
15:15 25mTalk | User-Guided Program Reasoning using Bayesian Inference PLDI Research Papers Mukund RaghotamanUniversity of Pennsylvania, Sulekha KulkarniGeorgia Tech, Kihong HeoUniversity of Pennsylvania, USA, Mayur NaikUniversity of Pennsylvania Media Attached | ||
15:40 - 16:10 | |||
15:40 30mCoffee break | Break Catering | ||
16:10 - 17:25 | ParallelismPLDI Research Papers at Grand Ballroom AB Chair(s): Julian DolbyIBM Thomas J. Watson Research Center | ||
16:10 25mTalk | GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis PLDI Research Papers Changwan Hong, Aravind Sukumaran-RajamOhio State University, USA, Jinsung KimOhio State University, USA, Prashant Singh Rawat, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noël PouchetColorado State University, Fabrice RastelloINRIA, P. SadayappanOhio State University Media Attached | ||
16:35 25mTalk | Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics PLDI Research Papers Roshan DathathriUniversity of Texas at Austin, USA, Gurbinder GillUniversity of Texas at Austin, USA, Loc HoangUniversity of Texas at Austin, USA, Hoang-Vu DangUniversity of Illinois at Urbana-Champaign, USA, Alex BrooksUniversity of Illinois at Urbana-Champaign, USA, Nikoli DrydenUniversity of Illinois at Urbana-Champaign, USA, Marc SnirUIUC, Keshav PingaliUniversity of Texas at Austin, USA Media Attached | ||
17:00 25mTalk | Heartbeat Scheduling: Provable Efficiency for Nested Parallelism PLDI Research Papers Umut A. AcarCarnegie Mellon University, Arthur CharguéraudInria, Adrien Guatto, Mike Rainey, Filip SieczkowskiUniversity of Wrocław Media Attached | ||
16:10 - 17:25 | |||
16:10 25mTalk | Guarded Impredicative Polymorphism PLDI Research Papers Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research Media Attached | ||
16:35 25mTalk | Typed Closure Conversion for the Calculus of Constructions PLDI Research Papers Media Attached | ||
17:00 25mTalk | Inferring Type Rules for Syntactic Sugar PLDI Research Papers Media Attached | ||