Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 22 JunDisplayed time zone: Tijuana, Baja California change
Sat 22 Jun
Displayed time zone: Tijuana, Baja California change
09:00 - 11:00 | |||
09:00 40mTalk | Building Training Sets with Snorkel: Three Key Operators MAPL | ||
09:40 40mTalk | Machine Learning in Python with No Strings Attached MAPL Guillaume Baudart IBM Research, Martin Hirzel IBM Research, Kiran Kate , Louis Mandel IBM Research, Avraham Shinnar IBM Research | ||
10:20 40mTalk | Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations MAPL | ||
09:00 - 09:15 | |||
09:00 - 09:15 | |||
09:00 15mDay opening | Welcome to SOAP 2019 SOAP | ||
09:00 - 10:30 | |||
09:00 45mTalk | Overview of the DeepSpec Expedition and its Capstone Application DeepSpec Benjamin C. Pierce University of Pennsylvania | ||
09:45 45mTalk | Project Updates from Participating Sites DeepSpec Andrew W. Appel Princeton, Adam Chlipala Massachusetts Institute of Technology, USA, Zhong Shao Yale University | ||
09:00 - 10:00 | Session 1ARRAY at 106C Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
09:00 60mTalk | Array Processing on Steroids for the SKA Radio-Telescope ARRAY | ||
09:00 - 09:30 | |||
09:00 30mTalk | Chapel 101 CHIUW Brad Chamberlain Cray Inc. | ||
09:00 - 11:00 | |||
09:00 2hTutorial | Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita Kapoor University of Delhi, Delhi | ||
09:00 - 11:00 | |||
09:00 2hTutorial | Declarative Program Analysis With QL PLDI Tutorials | ||
09:15 - 11:00 | Performance and Optimizations for Program Analysis ToolsSOAP at 106A Chair(s): Neville Grech University of Athens | ||
09:15 20mTalk | Commit-time Incremental Analysis SOAP | ||
09:35 20mTalk | Know Your Analysis: How Instrumentation Aids Understanding Static Analysis SOAP Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Richard Leer Heinz Nixdorf Institut, Paderborn University, Ben Hermann Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Pre-print Media Attached | ||
09:55 20mTalk | Fixpoint Reuse for Incremental JavaScript Analysis SOAP Lawton Nichols , Mehmet Emre University of California, Santa Barbara, Ben Hardekopf UC Santa Barbara | ||
10:15 80mTalk | Program Analysis for Process Migration SOAP | ||
10:35 25mOther | Open Discussion on Previous Talks 1 SOAP | ||
09:30 - 10:00 | |||
09:30 30mTalk | Welcome, State of the Chapel Project CHIUW | ||
10:00 - 11:00 | Session 2ARRAY at 106C Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
10:00 30mTalk | Convolutional Neural Networks in APL ARRAY A: Artjoms Šinkarovs Heriot-Watt University, UK, A: Robert Bernecky Snake Island Research, A: Sven-Bodo Scholz Heriot-Watt University | ||
10:30 30mTalk | Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods ARRAY A: Erdal Mutlu Pacific Northwest National Laboratory, A: Karol Kowalski Pacific Northwest National Laboratory, A: Sriram Krishnamoorthy Pacific Northwest National Laboratories | ||
10:00 - 10:50 | |||
10:00 25mResearch paper | GPUIterator: Bridging the Gap between Chapel and GPU Platforms CHIUW Akihiro Hayashi Rice University, USA, Sri Raj Paul Georgia Institute of Technology, Vivek Sarkar Rice University, USA | ||
10:25 25mTalk | Calling Chapel Code: Interoperability Improvements CHIUW | ||
10:15 - 11:00 | |||
10:15 10mTalk | NAP: Noise-Based Sensitivity Analysis for Programs. WAX Jesse Michel Massachusetts Institute of Technology, Sahil Verma IIT Kanpur, Benjamin Sherman Massachusetts Institute of Technology, USA, Michael Carbin Massachusetts Institute of Technology | ||
10:25 10mTalk | Approximate Checkers WAX | ||
10:35 10mTalk | Co-Optimization of Optics, Architecture, and Vision Algorithms WAX Samuel Triest , Daniel Nikolov , Jannick Rolland University of Rochester, Yuhao Zhu University of Rochester | ||
11:00 - 12:30 | |||
11:00 30mTalk | Closure Conversion is Safe for Space DeepSpec | ||
11:30 30mTalk | Fast, Verified Partial Evaluation DeepSpec Adam Chlipala Massachusetts Institute of Technology, USA | ||
12:00 30mTalk | Stack-Aware CompCert DeepSpec Yuting Wang Yale University | ||
11:20 - 12:30 | |||
11:20 40mTalk | HackPPL: A Universal Probabilistic Programming Language MAPL Jessica Ai , Nimar S. Arora , Ning Dong , Beliz Gokkaya , Thomas Jiang , Anitha Kubendran , Arun Kumar , Michael Tingley , Narjes Torabi Link to publication | ||
12:00 30mTalk | TBA MAPL | ||
11:20 - 12:30 | |||
11:20 10mTalk | Identifying Optimal Parameters for Approximate Randomized Algorithms WAX Vimuth Fernando University of Illinois at Urbana-Champaign, Keyur Joshi University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign | ||
11:30 30mTalk | Invited Talk: Yipeng Huang WAX Yipeng Huang Princeton University Link to publication Pre-print | ||
12:00 30mTalk | Invited Talk: Yongjoo Park WAX Yongjoo Park University of Michigan | ||
11:20 - 12:30 | |||
11:20 70mTalk | Adventures in Commercial-Grade Static Analysis SOAP | ||
11:20 - 12:35 | |||
11:20 25mTalk | Towards Radix Sorting in the Chapel Standard Library CHIUW Michael Ferguson Cray Inc. | ||
11:45 25mResearch paper | Implementing Stencil Problems in Chapel: An Experience Report CHIUW Per Fuchs Vrije Universiteit (VU) Amsterdam, Pieter Hijma Vrije Universiteit (VU) Amsterdam, Clemens Grelck University of Amsterdam | ||
12:10 25mTalk | Chapel Unblocked: Recent Communication Optimizations in Chapel CHIUW Elliot Ronaghan Cray Inc., Ben Harshbarger Cray Inc., Gregory Titus Cray Inc., Michael Ferguson Cray Inc. | ||
11:20 - 12:30 | |||
11:20 70mTutorial | Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita Kapoor University of Delhi, Delhi | ||
11:20 - 12:30 | |||
11:20 70mTutorial | Declarative Program Analysis With QL PLDI Tutorials | ||
11:30 - 12:30 | |||
11:30 30mTalk | Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays ARRAY A: Benjamin Chetioui University of Bergen, Norway, A: Lenore Mullin SUNY Albany, USA, A: Ole Abusdal , A: Magne Haveraaen University of Bergen, Norway, A: Jaakko Järvi University of Bergen, A: Sandra Macià Barcelona Supercomputing Center | ||
12:00 30mTalk | Linear Algebraic Depth-First Search ARRAY | ||
14:00 - 15:30 | |||
14:00 45mTalk | Neural Query Expansion for Code Search MAPL Jason Liu , Seohyun Kim Facebook, Vijayaraghavan Murali Rice University, USA, Swarat Chaudhuri Rice University, Satish Chandra Facebook | ||
14:45 45mTalk | A Case Study on Machine Learning for Synthesizing Benchmarks MAPL Andrés Goens , Alexander Brauckmann , Sebastian Ertel , Chris Cummins University of Edinburgh, Hugh Leather University of Edinburgh, Jeronimo Castrillon TU Dresden, Germany | ||
14:00 - 15:30 | |||
14:00 20mTalk | SootDiff: Bytecode Comparison across different Java Compilers SOAP Andreas Dann Paderborn University, Ben Hermann Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Pre-print | ||
14:20 20mTalk | Modernizing Parsing Tools SOAP | ||
14:40 20mTalk | MetaDL: Analysing Datalog in Datalog SOAP Pre-print | ||
15:00 30mTalk | Open Discussion on Previous Talks 2 SOAP | ||
14:00 - 15:30 | |||
14:00 30mTalk | Abstraction, Subsumption, and Linking in VST DeepSpec | ||
14:30 30mTalk | Compositional Verification of Preemptive OS Kernels with Temporal and Spatial Isolation DeepSpec Mengqi Liu Yale University | ||
15:00 30mTalk | Modular Correctness Proofs at the Hardware-Software Interface DeepSpec Joonwon Choi Massachusetts Institute of Technology, USA | ||
14:00 - 15:30 | |||
14:00 30mTalk | TeIL: a type-safe imperative Tensor Intermediate Language ARRAY | ||
14:30 30mTalk | Records with Rank Polymorphism ARRAY A: Justin Slepak Northeastern University, A: Olin Shivers Northeastern University, USA, A: Panagiotis Manolios Northeastern University | ||
15:00 30mTalk | Data-Parallel Flattening by Expansion ARRAY Martin Elsman University of Copenhagen, Denmark, Troels Henriksen University of Copenhagen, Denmark, Niels G. W. Serup DIKU, University of Copenhagen | ||
14:00 - 15:00 | |||
14:00 60mTalk | Programming Abstractions for Orchestration of HPC Scientific Computing CHIUW | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita Kapoor University of Delhi, Delhi | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Using the V8 JavaScript Virtual Machine as a Research Platform PLDI Tutorials O: Steve Blackburn Australian National University , O: Ulan Degenbaev Google, O: Hannes Payer Google | ||
15:00 - 15:25 | |||
15:00 25mTalk | Arkouda: Interactive Data Exploration Backed by Chapel CHIUW | ||
16:00 - 17:30 | |||
16:00 90mTalk | Keynote: Learning to Reason about Programs MAPL Mayur Naik University of Pennsylvania | ||
16:00 - 17:40 | |||
16:00 20mOther | Laurie Hendren Euology SOAP | ||
16:20 60mTalk | FutureSoot: Making Soot ready for the future analyses of complex software SOAP | ||
17:20 20mDay closing | Best presentation announcement and closing of the day SOAP | ||
16:00 - 17:30 | |||
16:00 20mTalk | Interaction Trees: Representing Recursive and Impure Programs in Coq DeepSpec Steve Zdancewic University of Pennsylvania | ||
16:20 25mTalk | Connecting Separation Logic with First-Order Reasoning on Memory DeepSpec | ||
16:45 45mTalk | Typed Programming with Algebraic Effects (in terms of ambient values, functions, and control) DeepSpec Daan Leijen Microsoft Research, USA | ||
16:00 - 17:30 | |||
16:00 30mTalk | ALPyNA: Acceleration of Loops in Python for Novel Architectures ARRAY | ||
16:30 30mTalk | Code Generation in Linnea (extended abstract) ARRAY | ||
17:00 30mTalk | High-Level Synthesis of Functional Patterns with Lift ARRAY A: Martin Kristien University of Edinburgh, UK, A: Bruno Bodin Yale-NUS College, A: Michel Steuwer University of Glasgow, A: Christophe Dubach University of Edinburgh | ||
16:00 - 16:50 | |||
16:00 25mTalk | Chapel Graph Library (CGL) CHIUW | ||
16:25 25mTalk | Chapel in Cray HPO CHIUW | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita Kapoor University of Delhi, Delhi | ||
16:00 - 17:35 | |||
16:00 1h35mTutorial | Using the V8 JavaScript Virtual Machine as a Research Platform PLDI Tutorials O: Steve Blackburn Australian National University , O: Ulan Degenbaev Google, O: Hannes Payer Google | ||
16:50 - 17:30 | |||
18:00 - 20:00 | |||
18:00 2hSocial Event | SOAP Dinner at Mancuso's SOAP | ||
Sun 23 JunDisplayed time zone: Tijuana, Baja California change
Sun 23 Jun
Displayed time zone: Tijuana, Baja California change
09:00 - 09:45 | |||
09:00 10mTalk | Note from Program Chair LCTES Aviral Shrivastava Arizona State University | ||
09:10 35mTalk | New Models and Methods for Programming Cyber-Physical Systems LCTES | ||
09:00 - 09:30 | |||
09:00 30mOther | Icebreaker PLMW @ PLDI Milind Kulkarni Purdue University | ||
09:00 - 11:00 | |||
09:00 2hTutorial | Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials | ||
09:00 - 11:00 | |||
09:00 5mDay opening | Welcome from the chairs ISMM | ||
09:05 40mTalk | Keynote 1: Relaxed memory ordering needs a better specification ISMM Hans-J. Boehm Google | ||
09:45 25mTalk | Automatic GPU Memory Management for Large Neural Models in TensorFlow ISMM Tung D. Le IBM Research - Tokyo, Haruki Imai IBM Research - Tokyo, Yasushi Negishi IBM Research - Tokyo, Kiyokuni Kawachiya IBM Research - Tokyo | ||
10:10 25mTalk | Massively Parallel GPU Memory Compaction ISMM | ||
10:35 25mTalk | Scaling Up Parallel GC Work-Stealing in Many-Core Environments ISMM Michihiro Horie IBM Research - Tokyo, Kazunori Ogata IBM Research, Japan, Mikio Takeuchi IBM Research - Tokyo, Hiroshi Horii IBM Research, Japan | ||
09:00 - 10:30 | Interaction Trees and Algebraic Effects IIDeepSpec at 106B Chair(s): Steve Zdancewic University of Pennsylvania | ||
09:00 45mTalk | Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec DeepSpec Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2 | ||
09:45 45mTalk | Names, Places, and Things: Generic Traversals over Generic Syntax with Binding DeepSpec James McKinna University of Edinburgh | ||
09:00 - 09:10 | WelcomeDBPL at 106C Chair(s): Alvin Cheung University of Washington, Kim Nguyễn University of Paris-Sud, France | ||
09:00 - 10:00 | |||
09:00 60mTutorial | Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook | ||
09:30 - 10:15 | |||
09:30 45mTalk | What I wish I knew my first few years of grad school PLMW @ PLDI Jason Mars University of Michigan | ||
09:30 - 11:00 | |||
09:30 30mTalk | The K Framework DPA Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA | ||
10:00 30mTalk | MetaDL and Beyond: Custom Program Analyses in Datalog DPA Christoph Reichenbach Lund University | ||
10:30 30mTalk | Datafun: A higher-order functional Datalog DPA Michael Arntzenius University of Birmingham, UK | ||
10:00 - 11:00 | |||
10:00 60mTutorial | Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook | ||
10:15 - 11:00 | |||
10:15 45mTalk | How to be a great researcher PLMW @ PLDI Mary Hall University of Utah | ||
10:20 - 11:00 | |||
10:20 20mTalk | Detecting Unsatisfiable CSS Rules in the Presence of DTDs DBPL Nobutaka Suzuki University of Tsukuba, Takuya Okada University of Tsukuba, Yeondae Kwon The University of Tokyo | ||
10:40 20mTalk | Fluid Data Structures DBPL Darshana Balakrishnan University at Buffalo, Lukasz Ziarek SUNY Buffalo, USA, Oliver Kennedy University at Buffalo | ||
11:00 - 12:30 | HW/SW Interface SpecificationsDeepSpec at 106B Chair(s): Adam Chlipala Massachusetts Institute of Technology, USA | ||
11:00 45mTalk | Development of the RISC-V ISA Formal Specification DeepSpec | ||
11:45 45mTalk | Automated Formal Memory Consistency Verification of Hardware DeepSpec Yatin Manerkar Princeton University | ||
11:20 - 12:30 | |||
11:20 70mOther | Panel: Charting Your Path PLMW @ PLDI Lisa Hsu , Adrian Sampson Cornell University, Caroline Trippel Princeton University, Benjamin Zorn Microsoft Research, Emma Tosch University of Massachusetts, Amherst | ||
11:20 - 12:30 | |||
11:20 70mTutorial | Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials | ||
11:20 - 12:35 | |||
11:20 25mTalk | Exploration of Memory Hybridization for RDD Caching in Spark ISMM Md Muhib Khan Florida State University, Muhammad Ahad Ul Alam Florida State University, USA, Amit Kumar Nath Florida State University, USA, Weikuan Yu Florida State University, USA | ||
11:45 25mTalk | Learning When to Garbage Collect with Random Forests ISMM | ||
12:10 25mTalk | Timescale Functions for Parallel Memory Allocation ISMM | ||
11:20 - 12:20 | |||
11:20 20mTalk | Streaming saturation for large RDF graphs with dynamic schema information DBPL Mohammad Amin Farvardin PSL, Université Paris-Dauphine, LAMSADE, Dario Colazzo , Khalid Belhajjame PSL, Université Paris-Dauphine, LAMSADE, Carlo Sartiani | ||
11:40 20mTalk | Arc: An IR for Batch and Stream Programming DBPL Lars Kroll KTH Royal Institute of Technology, Sweden, Klas Segeljakt KTH, Paris Carbone KTH, Sweden, Christian Schulte KTH Royal Institute of Technology, Sweden, Seif Haridi Pre-print Media Attached | ||
12:00 20mTalk | Towards Compiling Graph Queries in Relational Engines DBPL Ruby Tahboub Purdue University, Xilun Wu Purdue University, Gregory Essertel , Tiark Rompf Purdue University | ||
11:20 - 12:30 | |||
11:20 70mTutorial | Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook | ||
11:30 - 12:30 | |||
11:30 30mTalk | Fast and Precise Disassembly using Datalog DPA Vineeth Kashyap GrammaTech, Inc. | ||
12:00 30mTalk | Gigahorse: Thorough Smart Contract Decompilation and Security Analyses DPA Neville Grech University of Athens | ||
14:00 - 14:45 | |||
14:00 10mTalk | Note from General Chair LCTES Jian-Jia Chen TU Dortmund University | ||
14:10 35mIndustry talk | An Open, Transparent, Industry-Driven Approach to AV Safety LCTES | ||
14:00 - 15:30 | |||
14:00 30mTalk | Designing Languages for Designing Hardware PLMW @ PLDI Adrian Sampson Cornell University Link to publication | ||
14:30 30mTalk | Func2vec: Path-Based Function Embedding PLMW @ PLDI Cindy Rubio-González University of California, Davis | ||
15:00 30mTalk | Hacks to Compensate for Lack of Novelty in Programming Languages Research PLMW @ PLDI Alastair F. Donaldson Google and Imperial College London | ||
14:00 - 15:40 | |||
14:00 50mTalk | Keynote 2: Why do big data and cloud systems stop (slow down)? ISMM Shan Lu University of Chicago | ||
14:50 25mTalk | Concurrent Marking of Shape-Changing Objects ISMM | ||
15:15 25mTalk | A Lock-Free Coalescing-Capable Mechanism for Memory Management ISMM | ||
14:00 - 15:15 | |||
14:00 45mTalk | Project Oak: Control Data in Distributed Systems, Verify All The Things DeepSpec Ben Laurie Google Research | ||
14:45 30mTalk | Refinement-Based Game Semantics for CompCert DeepSpec Jérémie Koenig Yale University | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook | ||
14:00 - 15:30 | |||
14:00 30mTalk | Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic DPA Mistral Contrastin University of Cambridge, UK | ||
14:30 30mTalk | Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP DPA Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) | ||
15:00 30mTalk | Tunable abstract abstract machines DPA Thomas Gilray The University of Alabama at Birmingham | ||
14:45 - 15:30 | |||
14:45 15mFull-paper | Automating the Generation of Hardware Component Knowledge Bases LCTES Luke Hsiao Stanford University, Sen Wu Stanford University, Nicholas Chiang Gunn High School, Christopher Ré , Philip Levis Stanford University | ||
15:00 15mFull-paper | IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems LCTES Xinyi Li Chang'an University, Lei Zhang North Carolina State University, Xipeng Shen North Carolina State University | ||
15:15 15mFull-paper | ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution LCTES Himeshi Praveeni De Silva , Andrew Santosa National University of Singapore, Nhut Minh Ho National University of Singapore, Weng-Fai Wong National University of Singapore | ||
15:10 - 15:30 | |||
15:10 20mTalk | On the Semantics of Cypher's Implicit Group-by DBPL | ||
15:45 - 16:45 | |||
15:45 30mTalk | Coinductive Reasoning about Interaction Trees DeepSpec Chung-Kil Hur Seoul National University | ||
16:15 30mTalk | Coverage Guided, Property Based Testing DeepSpec Leonidas Lampropoulos University of Pennsylvania | ||
16:00 - 16:45 | |||
16:00 15mFull-paper | BitBench: A Benchmark for Bitstream Computing LCTES Kyle Daruwalla University of Wisconsin – Madison, Heng Zhuo University of Wisconsin - Madison, Carly Schulz University of Wisconsin - Madison, Mikko H. Lipasti | ||
16:15 5mShort-paper | PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress) LCTES | ||
16:20 5mShort-paper | On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) LCTES Andrea Maioli Politecnico di Milano, Italy, Luca Mottola Politecnico di Milano, Italy and RI.Se SICS, Sweden, Muhammad Hamad Alizai LUMS, Pakistan, Junaid Haroon Siddiqui | ||
16:25 5mShort-paper | Raising Binaries to LLVM IR with MCTOLL (Work in progress) LCTES | ||
16:30 5mShort-paper | A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress) LCTES | ||
16:35 5mShort-paper | An Empirical Comparison between Monkey Testing and Human Testing (Work in progress) LCTES | ||
16:00 - 17:00 | |||
16:00 30mTalk | Career Options in Academia, Industry, and Government PLMW @ PLDI Kathleen Fisher Tufts University, USA Link to publication | ||
16:30 30mTalk | A week in the life of an MSR Researcher PLMW @ PLDI Todd Mytkowicz Microsoft Research | ||
16:00 - 17:15 | |||
16:00 25mTalk | snmalloc: A Message Passing Allocator ISMM Paul Lietar , Theodore Butler Drexel University, USA, Sylvan Clebsch Imperial College London, Sophia Drossopoulou Imperial College London, Juliana Franco Microsoft Research, Cambridge, Matthew J. Parkinson Microsoft Research, UK, Alex Shamis Microsoft Research / Imperial College London, Christoph M. Wintersteiger Microsoft Research, UK, David Chisnall University of Cambridge | ||
16:25 25mTalk | Design and Analysis of Field-Logging Write Barriers ISMM Steve Blackburn Australian National University | ||
16:50 24mTalk | Gradual Write-Barrier Insertion into a Ruby Interpreter ISMM Koichi Sasada Cookpad, Japan Link to publication DOI | ||
17:14 1mDay closing | Final Remarks ISMM | ||
16:00 - 16:40 | |||
16:00 20mTalk | Language-integrated provenance by trace analysis DBPL | ||
16:20 20mTalk | Mixing set and bag semantics DBPL | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook | ||
16:00 - 17:00 | |||
16:00 30mTalk | Precise Program Reasoning using Probabilistic Methods DPA Mukund Raghothaman University of Pennsylvania, USA | ||
16:30 30mTalk | Variant analysis with QL DPA Max Schaefer GitHub | ||
17:15 - 18:15 | Yoshua Bengio, Geoffrey Hinton, and Yann LeCun, The Turing LecturePLDI Research Papers at Symphony Hall | ||
18:30 - 21:30 | Social Event, Lucky StrikePLDI Research Papers at 50 W Jefferson St #240, Phoenix, AZ 85003 (not in the convention center) | ||
Mon 24 JunDisplayed time zone: Tijuana, Baja California change
Mon 24 Jun
Displayed time zone: Tijuana, Baja California change
08:30 - 08:45 | |||
08:30 - 08:45 | |||
08:45 - 09:45 | |||
08:45 20mTalk | LoCal: A Language for Programs Operating on Serialized Data PLDI Research Papers Michael Vollmer Indiana University, USA, Chaitanya S. Koparkar Indiana University, Mike Rainey Indiana University, USA, Laith Sakka Purdue University, Milind Kulkarni Purdue University, Ryan R. Newton Indiana University DOI Authorizer link Pre-print Media Attached | ||
09:05 20mTalk | Scenic: A Language for Scenario Specification and Scene Generation PLDI Research Papers Daniel J. Fremont University of California at Berkeley, USA, Tommaso Dreossi University of California at Berkeley, Shromona Ghosh University of California at Berkeley, USA, Xiangyu Yue University of California at Berkeley, USA, Alberto L. Sangiovanni-Vincentelli University of California at Berkeley, USA, Sanjit Seshia UC Berkeley Media Attached | ||
09:25 20mTalk | Compiling KB-Sized Machine Learning Models to Tiny IoT Devices PLDI Research Papers Sridhar Gopinath Microsoft Research, India, Nikhil Ghanathe Microsoft Research, India, Vivek Seshadri Microsoft Research, India, Rahul Sharma Microsoft Research Link to publication DOI Media Attached | ||
08:45 - 09:45 | Concurrency IPLDI Research Papers at 229AB Chair(s): Alastair F. Donaldson Google and Imperial College London | ||
08:45 20mTalk | Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model PLDI Research Papers Christopher Pulte University of Cambridge, Jean Pichon-Pharabod University of Cambridge, Jeehoon Kang KAIST, Sung-Hwan Lee Seoul National University, South Korea, Chung-Kil Hur Seoul National University Media Attached | ||
09:05 20mTalk | Accelerating Sequential Consistency for Java with Speculative Compilation PLDI Research Papers Lun Liu University of California at Los Angeles, USA, Todd Millstein University of California, Los Angeles, Madan Musuvathi Microsoft Research DOI Pre-print Media Attached | ||
09:25 20mTalk | Renaissance: Benchmarking Suite for Parallel Applications on the JVM PLDI Research Papers Aleksandar Prokopec Oracle Labs, Andrea Rosà University of Lugano, Switzerland, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Petr Tuma Charles University, Martin Studener JKU Linz, Austria, Lubomír Bulej Charles University, Yudi Zheng Oracle Labs, Alex Villazón Universidad Privada Boliviana, Bolivia, Doug Simon Oracle Labs, Thomas Wuerthinger Oracle Labs, Walter Binder University of Lugano, Switzerland | ||
10:00 - 11:00 | Language Design IIPLDI Research Papers at 224AB Chair(s): Santosh Nagarakatte Rutgers University, USA | ||
10:00 20mTalk | CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing PLDI Research Papers Roshan Dathathri University of Texas at Austin, USA, Olli Saarikivi , Hao Chen Microsoft Research, Kim Laine Microsoft Research, n.n., Kristin Lauter Microsoft Research, n.n., Saeed Maleki Microsoft Research, Madan Musuvathi Microsoft Research, Todd Mytkowicz Microsoft Research DOI Pre-print Media Attached | ||
10:20 20mTalk | Usuba: High-Throughput and Constant-Time Ciphers, by Construction PLDI Research Papers Media Attached | ||
10:40 20mTalk | FaCT: A DSL for Timing-Sensitive Computation PLDI Research Papers Sunjay Cauligi University of California, San Diego, Gary Soeller , Brian Johannesmeyer University of California at San Diego, USA, Fraser Brown Stanford University, Riad S. Wahby Stanford University, USA, John Renner University of California, San Diego, Benjamin Gregoire INRIA, Gilles Barthe IMDEA Software Institute, Ranjit Jhala University of California, San Diego, Deian Stefan University of California San Diego Media Attached | ||
10:00 - 11:00 | |||
10:00 20mTalk | Model Checking for Weakly Consistent Libraries PLDI Research Papers Michalis Kokologiannakis Max Planck Institute for Software Systems (MPI-SWS), Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany Pre-print Media Attached | ||
10:20 20mTalk | Towards Certified Separate Compilation for Concurrent Programs PLDI Research Papers Hanru Jiang University of Science and Technology of China, Hongjin Liang Nanjing University, China, Siyang Xiao University of Science and Technology of China, China, Junpeng Zha University of Science and Technology of China, China, Xinyu Feng Nanjing University Pre-print Media Attached | ||
10:40 20mTalk | Robustness Against Release/Acquire Semantics PLDI Research Papers Pre-print | ||
11:20 - 12:30 | |||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 20mTalk | Scalable Verification of Probabilistic Networks PLDI Research Papers Steffen Smolka Cornell University, Praveen Kumar Cornell University, David M. Kahn Carnegie Mellon University, USA, Nate Foster Cornell University, Justin Hsu University of Wisconsin-Madison, USA, Dexter Kozen Cornell University, Alexandra Silva University College London DOI Pre-print Media Attached | ||
14:20 20mTalk | Cost Analysis of Nondeterministic Probabilistic Programs PLDI Research Papers Peixin Wang Shanghai Jiao Tong University, Hongfei Fu IST Austria, Amir Kafshdar Goharshady IST Austria, Krishnendu Chatterjee IST Austria, Xudong Qin East China Normal University, China, Wenjun Shi East China Normal University, China Media Attached | ||
14:40 20mTalk | Gen: A General-Purpose Probabilistic Programming System with Programmable Inference PLDI Research Papers Marco Cusumano-Towner MIT-CSAIL, Feras Saad Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology, USA, Vikash K. Mansinghka MIT Media Attached | ||
15:00 20mTalk | Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs PLDI Research Papers Media Attached | ||
14:00 - 15:30 | |||
14:00 20mTalk | Resource-Guided Program Synthesis PLDI Research Papers Tristan Knoth University of California at San Diego, USA, Di Wang Carnegie Mellon University, Nadia Polikarpova University of California, San Diego, Jan Hoffmann Carnegie Mellon University Media Attached | ||
14:20 20mTalk | Using Active Learning to Synthesize Models of Applications That Access Databases PLDI Research Papers Jiasi Shen Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology DOI Media Attached | ||
14:40 20mTalk | Synthesizing Database Programs for Schema Refactoring PLDI Research Papers Yuepeng Wang University of Texas at Austin, James Dong University of Texas at Austin, USA, Rushi Shah UT Austin, Işıl Dillig UT Austin Media Attached | ||
15:00 20mTalk | Synthesis and Machine Learning for Heterogeneous Extraction PLDI Research Papers Arun Iyer Microsoft Research, India, Manohar Jonnalagedda Inpher Inc., Switzerland, Suresh Parthasarathy Microsoft Research, India, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research Media Attached | ||
16:00 - 17:00 | |||
16:00 20mTalk | Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators PLDI Research Papers DOI Pre-print Media Attached | ||
16:20 20mTalk | A Typed, Algebraic Approach to Parsing PLDI Research Papers Neel Krishnaswami Computer Laboratory, University of Cambridge, Jeremy Yallop University of Cambridge, UK Link to publication DOI Pre-print | ||
16:40 20mTalk | Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands PLDI Research Papers Giovanni Campagna Stanford University, USA, Silei Xu , Mehrad Moradshahi Stanford University, USA, Richard Socher Salesforce, USA, Monica S. Lam Stanford University, USA Media Attached | ||
16:00 - 17:00 | |||
16:00 20mTalk | AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability PLDI Research Papers Thomas Shull University of Illinois at Urbana-Champaign, Jian Huang University of Illinois at Urbana-Champaign, Josep Torrellas University of Illinois at Urbana-Champaign Media Attached | ||
16:20 20mTalk | Mesh: Compacting Memory Management for C/C++ Applications PLDI Research Papers Bobby Powers University of Massachusetts, Amherst, David Tench University of Massachusetts at Amherst, USA, Emery D. Berger University of Massachusetts, Amherst, Andrew McGregor Pre-print Media Attached | ||
16:40 20mTalk | Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories PLDI Research Papers Chenxi Wang UCLA, Huimin Cui Institute of Computing Technology, Chinese Academy of Sciences, Ting Cao Microsoft Research, John Zigman University of Sydney, Australia, Haris Volos , Onur Mutlu ETH Zurich, Fang Lv Institute of Computing Technology, Chinese Academy of Sciences, Xiaobing Feng ICT CAS, Guoqing Harry Xu UCLA Pre-print Media Attached | ||
17:30 - 19:00 | |||
Tue 25 JunDisplayed time zone: Tijuana, Baja California change
Tue 25 Jun
Displayed time zone: Tijuana, Baja California change
08:30 - 09:30 | Type Systems IPLDI Research Papers at 224AB Chair(s): Ranjit Jhala University of California, San Diego | ||
08:30 20mTalk | Verifying Message-Passing Programs with Dependent Behavioural Types PLDI Research Papers Alceste Scalas Aston University, Birmingham, UK, Nobuko Yoshida Imperial College London, Elias Benussi Faculty Science Ltd Pre-print | ||
08:50 20mTalk | Toward Efficient Gradual Typing for Structural Types via Coercions PLDI Research Papers Andre Kuhlenschmidt Indiana University, Deyaaeldeen Almahallawi Indiana University, Jeremy G. Siek Indiana University, USA | ||
09:10 20mTalk | Bidirectional Type Checking for Relational Properties PLDI Research Papers Ezgi Çiçek Facebook London, Weihao Qu University at Buffalo, SUNY, Gilles Barthe IMDEA Software Institute, Marco Gaboardi University at Buffalo, SUNY, Deepak Garg Max Planck Institute for Software Systems Media Attached | ||
08:30 - 09:30 | Parallelism and Super Computing IPLDI Research Papers at 228AB Chair(s): Veselin Raychev DeepCode AG | ||
08:30 20mTalk | Huron: Hybrid False Sharing Detection and Repair PLDI Research Papers Tanvir Ahmed Khan University of Michigan, USA, Yifan Zhao University of Michigan, USA, Gilles Pokam Intel Corporation, Barzan Mozafari University of Michigan, USA, Baris Kasikci University of Michigan, USA Media Attached | ||
08:50 20mTalk | Model-Driven Transformations for Multi- and Many-Core CPUs PLDI Research Papers Media Attached | ||
09:10 20mTalk | Parallelism-Centric What-If and Differential Analyses PLDI Research Papers Pre-print Media Attached | ||
08:30 - 09:30 | Bug Finding & Testing IPLDI Research Papers at 229AB Chair(s): Cindy Rubio-González University of California, Davis | ||
08:30 20mTalk | Lazy Counterfactual Symbolic Execution PLDI Research Papers William T. Hallahan Yale University, Anton Xue Yale University, Maxwell Troy Bland University of California at San Diego, USA, Ranjit Jhala University of California, San Diego, Ruzica Piskac Yale University, USA Media Attached | ||
08:50 20mTalk | Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript PLDI Research Papers Blake Loring , Duncan Mitchell Royal Holloway, University of London, Johannes Kinder Bundeswehr University Munich Media Attached | ||
09:10 20mTalk | Effective Floating-Point Analysis via Weak-Distance Minimization PLDI Research Papers | ||
10:00 - 11:00 | |||
10:00 20mTalk | ILC: A Calculus for Composable, Computational Cryptography PLDI Research Papers | ||
10:20 20mTalk | Proving Differential Privacy with Shadow Execution PLDI Research Papers Yuxin Wang , Zeyu Ding Pennsylvania State University, USA, Guanhong Wang Pennsylvania State University, USA, Daniel Kifer Dept. of Computer Science and Engineering, Penn State University, Danfeng Zhang Pennsylvania State University Media Attached | ||
10:40 20mTalk | Data-Trace Types for Distributed Stream Processing Systems PLDI Research Papers Konstantinos Mamouras University of Pennsylvania, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania, Zachary G. Ives University of Pennsylvania, Val Tannen University of Pennsylvania, USA Media Attached | ||
10:00 - 11:00 | Bug Finding & Testing IIPLDI Research Papers at 229AB Chair(s): Jens Palsberg University of California, Los Angeles (UCLA) | ||
10:00 20mTalk | Parser-Directed Fuzzing PLDI Research Papers Björn Mathis CISPA Helmholtz Center for Information Security, Rahul Gopinath CISPA Helmholtz Center for Information Security, Michaël Mera CISPA, Germany, Alexander Kampmann CISPA Helmholtz Center for Information Security, Matthias Höschele CISPA, Germany, Andreas Zeller Saarland University Media Attached | ||
10:20 20mTalk | Continuously Reasoning about Programs using Differential Bayesian Inference PLDI Research Papers Kihong Heo University of Pennsylvania, USA, Mukund Raghothaman University of Pennsylvania, USA, Xujie Si University of Pennsylvania, Mayur Naik University of Pennsylvania Media Attached | ||
10:40 20mTalk | Sparse Record and Replay with Controlled Scheduling PLDI Research Papers Christopher Lidbury Imperial College London, Alastair F. Donaldson Google and Imperial College London | ||
11:20 - 12:30 | |||
12:30 - 14:00 | |||
14:00 - 15:30 | Learning SpecificationsPLDI Research Papers at 228AB Chair(s): Michael Pradel TU Darmstadt and Facebook | ||
14:00 20mTalk | Unsupervised Learning of API Aliasing Specifications PLDI Research Papers Jan Eberhardt DeepCode, Switzerland, Samuel Steffen ETH Zurich, Switzerland, Veselin Raychev DeepCode AG, Martin Vechev ETH Zürich Pre-print Media Attached | ||
14:20 20mTalk | Scalable Taint Specification Inference with Big Code PLDI Research Papers Victor Chibotaru DeepCode, Switzerland, Benjamin Bichsel ETH Zurich, Switzerland, Veselin Raychev DeepCode AG, Martin Vechev ETH Zürich Pre-print Media Attached | ||
14:40 20mTalk | Learning Stateful Preconditions Modulo a Test Generator PLDI Research Papers Angello Astorga , P. Madhusudan University of Illinois at Urbana-Champaign, Shambwaditya Saha , Shiyu Wang University of Illinois at Urbana-Champaign, USA, Tao Xie University of Illinois at Urbana-Champaign, USA | ||
15:00 20mTalk | SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic PLDI Research Papers Ton Chanh Le Stevens Institute of Technology, Guolong Zheng University of Nebraska Lincoln, ThanhVu Nguyen University of Nebraska-Lincoln | ||
14:00 - 15:30 | Static AnalysisPLDI Research Papers at 229AB Chair(s): Martin C. Rinard Massachusetts Institute of Technology | ||
14:00 20mTalk | Abstract Interpretation under Speculative Execution PLDI Research Papers Media Attached | ||
14:20 20mTalk | A Fast Analytical Model of Fully Associative Caches PLDI Research Papers Tobias Gysi ETH Zurich, Switzerland, Tobias Grosser ETH Zurich, Laurin Brandner ETH Zurich, Switzerland, Torsten Hoefler ETH Zurich Media Attached | ||
14:40 20mTalk | Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees PLDI Research Papers Laith Sakka Purdue University, Kirshanthan Sundararajah Purdue University, Ryan R. Newton Indiana University, Milind Kulkarni Purdue University Media Attached | ||
15:00 20mTalk | Size-Change Termination as a Contract PLDI Research Papers Phúc C. Nguyễn University of Maryland, Thomas Gilray University of Maryland, Sam Tobin-Hochstadt Indiana University, David Van Horn University of Maryland, USA Media Attached | ||
16:00 - 17:00 | |||
16:00 20mTalk | Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism PLDI Research Papers Xulong Tang Penn State, Mahmut Taylan Kandemir Pennsylvania State University, USA, Mustafa Karakoy TOBB University of Economics and Technology, Turkey, Meenakshi Arunachalam Intel, USA Media Attached | ||
16:20 20mTalk | Low-Latency Graph Streaming using Compressed Purely-Functional Trees PLDI Research Papers Laxman Dhulipala Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Julian Shun MIT | ||
16:40 20mTalk | Composable, Sound Transformations of Nested Recursion and Loops PLDI Research Papers Media Attached | ||
16:00 - 16:40 | |||
16:00 20mTalk | Characterising Renaming within OCaml’s Module System: Theory and Implementation PLDI Research Papers Reuben N. S. Rowe University of Kent, Hugo Férée University of Kent, UK, Simon Thompson , Scott Owens University of Kent, UK Link to publication DOI Pre-print | ||
16:20 20mTalk | Type-Level Computations for Ruby Libraries PLDI Research Papers Milod Kazerounian University of Maryland, College Park, Sankha Narayan Guria University of Maryland, College Park, Niki Vazou IMDEA Software Institute, Jeffrey S. Foster Tufts University, David Van Horn University of Maryland, USA Media Attached | ||
16:00 - 17:00 | Dynamics: Analysis and CompilationPLDI Research Papers at 229AB Chair(s): Nadia Polikarpova University of California, San Diego | ||
16:00 20mTalk | SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features PLDI Research Papers David Mitchel Perry Purdue University, Dohyeong Kim Purdue University, Roopsha Samanta Purdue University, Xiangyu Zhang Purdue University Pre-print Media Attached | ||
16:20 20mTalk | Computing Summaries of String Loops in C for Better Testing and Refactoring PLDI Research Papers Timotej Kapus Imperial College London, Oren Ish-Shalom Tel Aviv University, Israel, Shachar Itzhaky Technion, Israel, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London Link to publication Pre-print Media Attached | ||
16:40 20mTalk | Reusable Inline Caching for JavaScript Performance PLDI Research Papers Jiho Choi University of Illinois at Urbana-Champaign, Thomas Shull University of Illinois at Urbana-Champaign, Josep Torrellas University of Illinois at Urbana-Champaign | ||
16:40 - 17:15 | |||
17:30 - 19:00 | |||
Wed 26 JunDisplayed time zone: Tijuana, Baja California change
Wed 26 Jun
Displayed time zone: Tijuana, Baja California change
08:30 - 09:30 | |||
08:30 20mTalk | Replication-Aware Linearizability PLDI Research Papers Chao Wang IRIF, Université Paris Diderot, France, Constantin Enea Université Paris Diderot, Suha Orhun Mutluergil IRIF, France / University Paris Diderot, France / CNRS, France, Gustavo Petri Arm Ltd Media Attached | ||
08:50 20mTalk | DFix: Automatically Fixing Timing Bugs in Distributed Systems PLDI Research Papers Guangpu Li University of Chicago, USA, Haopeng Liu University of Chicago, Xianglan Chen University of Science and Technology of China, China, Haryadi S. Gunawi University of Chicago, USA, Shan Lu University of Chicago Media Attached | ||
09:10 20mTalk | Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution PLDI Research Papers Nikos Vasilakis University of Pennsylvania, USA, Ben Karel University of Pennsylvania, USA, Yash Palkhiwala University of Pennsylvania, USA, John Sonchack University of Pennsylvania, USA, André DeHon University of Pennsylvania, USA, Jonathan M. Smith University of Pennsylvania, USA Media Attached | ||
08:30 - 09:30 | |||
08:30 20mTalk | Semantic Program Alignment for Equivalence Checking PLDI Research Papers Berkeley Churchill Stanford University, Oded Padon Stanford University, Rahul Sharma Microsoft Research, Alex Aiken Stanford University Media Attached | ||
08:50 20mTalk | Verified Compilation on a Verified Processor PLDI Research Papers Andreas Lööw Chalmers University of Technology, Ramana Kumar DeepMind, Yong Kiam Tan Carnegie Mellon University, USA, Magnus O. Myreen Chalmers University of Technology, Sweden, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Oskar Abrahamsson Chalmers University of Technology, Sweden, Anthony Fox University of Cambridge, UK DOI Pre-print Media Attached | ||
09:10 20mTalk | Argosy: Verifying Layered Storage Systems with Recovery Refinement PLDI Research Papers Tej Chajed Massachusetts Institute of Technology, USA, Joseph Tassarotti Boston College, M. Frans Kaashoek Massachusetts Institute of Technology, USA, Nickolai Zeldovich Massachusetts Institute of Technology, USA DOI Pre-print Media Attached | ||
10:00 - 11:00 | |||
10:00 20mTalk | Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions PLDI Research Papers Elazar Gershuni Tel Aviv University, Nadav Amit , Arie Gurfinkel University of Waterloo, Nina Narodytska VMWare Research, Jorge A. Navas SRI International, Noam Rinetzky Tel Aviv University, Leonid Ryzhyk VMware Research, Mooly Sagiv Tel Aviv University Link to publication DOI Media Attached | ||
10:20 20mTalk | Transactional Concurrency for Intermittent Systems PLDI Research Papers Media Attached | ||
10:40 20mTalk | Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints PLDI Research Papers Media Attached | ||
10:00 - 11:00 | Verification IIPLDI Research Papers at 229AB Chair(s): Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia | ||
10:00 20mTalk | Verification of Programs under the Release-Acquire Semantics PLDI Research Papers Parosh Aziz Abdulla Uppsala University, Sweden, Jatin Arora IIT Bombay, India, Mohamed Faouzi Atig Uppsala University, Shankaranarayanan Krishna IIT Bombay, India | ||
10:20 20mTalk | A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture PLDI Research Papers Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA, Daejun Park University of Illinois at Urbana-Champaign, Theodoros Kasampalis University of Illinois at Urbana-Champaign, USA, Vikram S. Adve University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign Link to publication DOI Pre-print Media Attached | ||
10:40 20mTalk | An Applied Quantum Hoare Logic PLDI Research Papers Li Zhou Department of Computer Science and Technology, Tsinghua University, Nengkun Yu University of Technology Sydney, Australia, Mingsheng Ying University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University. Media Attached | ||
11:20 - 12:30 | |||