Filter Program
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
Mon 13 Jun Times are displayed in time zone: Tijuana, Baja California change
Mon 13 Jun
Times are displayed in time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
08:50 - 09:00 | |||
08:50 10mDay opening | Opening Remarks LCTES | ||
09:00 - 10:00 | |||
09:00 60mTalk | How Should We Program Non-volatile Memory? Tutorials File Attached | ||
09:00 - 10:00 | |||
09:00 60mTalk | RyuJIT: Open Source JIT Compiler for .NET Tutorials Carol EidtMicrosoft Link to publication | ||
09:00 - 10:00 | |||
09:00 15mDay opening | Opening remarks FMS | ||
09:15 45mTalk | Privacy and Algorithmic Accountability FMS Anupam DuttaCarnegie Mellon University | ||
09:00 - 10:00 | |||
09:00 60mTalk | Smart Embedded Computing through Self-Awareness LCTES File Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | How Should We Program Non-volatile Memory? Tutorials File Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | RyuJIT: Open Source JIT Compiler for .NET Tutorials Carol EidtMicrosoft Link to publication | ||
10:30 - 12:00 | |||
10:30 45mTalk | Report on the NSF Workshop on Formal Methods for Security FMS | ||
11:15 45mTalk | Ironclad: Full Verification of Complex Systems FMS | ||
10:30 - 12:00 | Session 1: Dynamic Translation and Iterative CompilationLCTES at Sierra Madre North Chair(s): Alastair Reid | ||
10:30 30mTalk | Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator LCTES | ||
11:00 30mTalk | Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems LCTES Forrest RobinsonUniversity of Kansas, USA, Michael JantzUniversity of Tennessee, USA, Prasad KulkarniUniversity of Kansas | ||
11:30 30mTalk | A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach LCTES Ricardo NobreFEUP, Universidade do Porto, João M. P. CardosoUniversity of Porto, Portugal, Luiz G. A. Martins | ||
12:00 - 13:30 | |||
12:00 90m | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 90mTalk | String Analysis for Vulnerability Detection and Repair Tutorials | ||
13:30 - 15:00 | |||
13:30 90mTalk | One VM to Rule Them All, One VM to Bind Them Tutorials Christian WimmerOracle Labs Link to publication | ||
13:30 - 15:00 | |||
13:30 45mTalk | Scalable Security Analysis of Android Apps FMS Gogul BalakrishnanGoogle | ||
14:15 45mTalk | Verifying Constant-Time Implementations FMS Michael EmmiIMDEA Software Institute | ||
13:30 - 15:00 | Session 2: Loop and Dataflow AnalysisLCTES at Sierra Madre North Chair(s): Che-Wei ChangChang Gung University, Taiwan | ||
13:30 30mTalk | Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences LCTES | ||
14:00 30mTalk | Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization LCTES | ||
14:30 30mTalk | Generalized Cache Tiling for Dataflow Programs LCTES | ||
15:30 - 17:00 | |||
15:30 90mTalk | String Analysis for Vulnerability Detection and Repair Tutorials | ||
15:30 - 17:00 | |||
15:30 90mTalk | One VM to Rule Them All, One VM to Bind Them Tutorials Christian WimmerOracle Labs Link to publication | ||
15:30 - 17:00 | |||
15:30 45mOther | Breakout Sessions FMS | ||
16:15 45mOther | Panel Discussion FMS | ||
Tue 14 Jun Times are displayed in time zone: Tijuana, Baja California change
Tue 14 Jun
Times are displayed in time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Welcome message PLMW@PLDI | ||
08:45 30mTalk | Research is a Social Process PLMW@PLDI Media Attached | ||
09:15 45mTalk | Keynote: “Love, Marriage, and Happiness” PLMW@PLDI Media Attached | ||
08:50 - 10:10 | |||
08:50 10mTalk | Opening Remarks ISMM Christine H. FloodRed Hat | ||
09:00 70mTalk | Keynote talk: Rethinking Memory System Design ISMM Onur MutluETH Zurich Media Attached | ||
09:00 - 10:00 | |||
09:00 10mDay opening | Opening Remarks SOAP | ||
09:10 50mTalk | Invited Talk: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution SOAP | ||
09:00 - 10:00 | |||
09:00 60mTalk | Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Link to publication | ||
09:00 - 10:00 | |||
09:00 60mTalk | PROSE: Programming using Examples Tutorials | ||
09:00 - 10:00 | |||
09:00 10mDay opening | Opening and Welcome X10 | ||
09:10 50mTalk | Introduction to (Resilient) X10 and APGAS -- slides are attached X10 File Attached | ||
09:00 - 10:00 | |||
09:00 60mTalk | Invited talk: Lessons Learned in Array Programming: from ZPL to Chapel ARRAY File Attached | ||
09:00 - 10:00 | |||
09:00 60mTalk | Achieving Yield, Density and Performance Effective DRAM LCTES Bruce ChildersUniversity of Pittsburgh | ||
10:30 - 12:00 | |||
10:30 25mTalk | Fighting Software Inefficiency Through Automated Bug Detection PLMW@PLDI Shan LuUniversity of Chicago Media Attached | ||
10:55 25mTalk | The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations PLMW@PLDI Steve BlackburnAustralian National University Media Attached | ||
11:20 25mTalk | Approximate Computing: it's better than good, it's good enough! PLMW@PLDI Media Attached | ||
10:30 - 12:00 | |||
10:30 20mTalk | Towards Cross-Platform Cross-Language Analysis with Soot SOAP Steven ArztTU Darmstadt, Germany, Tobias KussmaulTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
10:50 20mTalk | Iceberg: A Tool for Static Analysis of Java Critical Sections SOAP | ||
11:10 20mTalk | Toward an Automated Benchmark Management System SOAP Lisa Nguyen Quang DoFraunhofer IEM, Michael EichbergTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
11:30 30mTalk | Invited Talk: Probabilistic Learning from Big Code SOAP Martin VechevETH Zurich | ||
10:30 - 12:00 | |||
10:30 90mTalk | Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | PROSE: Programming using Examples Tutorials | ||
10:30 - 12:00 | |||
10:30 30mTalk | Control Structure Overloading in X10 X10 Link to publication DOI File Attached | ||
11:00 30mTalk | A Memory Model for X10 X10 Link to publication DOI File Attached | ||
11:30 30mTalk | Cooperation vs. Coordination for Lifeline-Based Global Load Balancing in APGAS X10 Link to publication DOI File Attached | ||
10:30 - 12:00 | Session 4: Worst-Case Analysis and Error HandlingLCTES at Sierra Madre North Chair(s): João M. P. CardosoUniversity of Porto, Portugal | ||
10:30 30mTalk | Symbolic Execution for Memory Consumption Analysis LCTES Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore, Rasool Maghareh | ||
11:00 30mTalk | TIC: A Scalable Model Checking Based Approach to WCET Estimation LCTES Ravindra MettaTata Research Development and Design Centre, Martin BeckerTU Munich, Prasad Bokil, R. Venkatesh, Samarjit Chakraborty | ||
11:30 30mTalk | Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling LCTES | ||
10:30 - 12:10 | |||
10:30 25mTalk | Block-Free Concurrent GC: Stack Scanning and Copying ISMM | ||
10:55 25mTalk | Characterizing Emerging Heterogeneous Memory ISMM | ||
11:20 25mTalk | Hardware Support for Protective and Collaborative Cache Sharing ISMM Raj PariharUniversity of Rochester, Jacob BrockUniversity of Rochester, Chen DingUniversity of Rochester, Michael HuangUniversity of Rochester | ||
11:45 25mTalk | Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures ISMM | ||
12:00 - 13:30 | |||
12:00 90m | Lunch Catering | ||
12:45 - 13:30 | |||
12:45 45mSocial Event | Mentoring PLMW@PLDI | ||
13:30 - 15:00 | |||
13:30 15mTalk | Professional Communication PLMW@PLDI Matthew MightUniversity of Utah, USA Media Attached | ||
13:45 15mTalk | The Secrets PLMW@PLDI Jason MarsUniversity of Michigan Media Attached | ||
14:00 15mTalk | Getting People to Listen PLMW@PLDI Mary HallUniversity of Utah Media Attached | ||
14:15 45mOther | Panel: Career Paths PLMW@PLDI M: Mary HallUniversity of Utah, John DavisPure Storage Inc, Shan Shan HuangLogicblox, Milind KulkarniPurdue University Media Attached | ||
13:30 - 15:00 | Session IIISOAP at San Miguel East Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
13:30 50mTalk | Invited Talk: Machine-code analysis and transformation at GrammaTech SOAP Matt NoonanGrammaTech, Inc | ||
14:20 20mTalk | On The Unsoundness of Static Analysis for Android GUIs SOAP | ||
14:40 20mTalk | Verifying Precise Floating-Point Optimizations in LLVM SOAP | ||
13:30 - 15:00 | |||
13:30 90mTalk | Dynamic analysis of JavaScript with Jalangi Tutorials Manu SridharanSamsung Research America, Koushik SenUniversity of California, Berkeley, Liang GongUniversity of California, Berkeley | ||
13:30 - 15:00 | |||
13:30 90mTalk | Cross-platform analysis of mobile apps using the WALA framework Tutorials | ||
13:30 - 15:00 | |||
13:30 60mTalk | Keynote: Tracking and Constraining Work Stealing Schedulers X10 File Attached | ||
14:30 30mTalk | Resilient X10 over MPI User Level Failure Mitigation X10 A: Sara S. HamoudaAustralian National University, A: Benjamin Herta, A: Josh MilthorpeIBM Research, A: David GroveIBM Research, A: Olivier TardieuIBM Research Link to publication DOI Pre-print File Attached | ||
13:30 - 15:00 | |||
13:30 60mTalk | Invited talk: Notation for Parallel Thoughts ARRAY | ||
14:30 25mTalk | The Key to a Data Parallel Compiler ARRAY | ||
13:30 - 15:00 | Session 5: Computation PartitioningLCTES at Sierra Madre North Chair(s): Joxan JaffarNational University of Singapore | ||
13:30 30mTalk | Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems LCTES | ||
14:00 30mTalk | Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture LCTES | ||
14:30 30mTalk | A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors LCTES | ||
13:30 - 15:10 | Non-traditional and Datacenter Scale Memory SystemISMM at Sierra Madre South Chair(s): Steve HellerTwo Sigma | ||
13:30 25mTalk | Understanding and Improving JVM GC Work Stealing at the Data Center Scale ISMM Wessam HassaneinGoogle | ||
13:55 25mTalk | Persistence Programming Models for Non-Volatile Memory ISMM | ||
14:20 25mTalk | CBufs: Efficient, System-Wide Memory Management and Sharing ISMM Yuxin Renhe George washington university, Gabriel ParmerThe George Washington University, A: Gedare BloomHoward University, Teo GeorgievThe George Washington University | ||
14:45 25mTalk | A bounded memory allocator for software-defined global address spaces ISMM Fabrice RastelloINRIA, France, Albert CohenINRIA, Francois GindraudJoseph Fourier University, France;, Francois BroquedisUniversite Joseph Fourier - Grenoble 1 | ||
15:30 - 17:00 | |||
15:30 25mTalk | What’s Next for Program Synthesis PLMW@PLDI Media Attached | ||
15:55 25mTalk | Programming-language Runtime Systems in Datacenters PLMW@PLDI Lingjia TangUniversity of Michigan Media Attached | ||
16:20 25mTalk | Programming with Estimates PLMW@PLDI James BornholtUniversity of Washington Media Attached | ||
15:30 - 17:00 | |||
15:30 45mTalk | Invited Talk: Toward Gamification of Proofs about Programs SOAP Sorin LernerUniversity of California, San Diego | ||
16:15 45mTalk | Invited Talk: Falcon: Towards an industrial strength heap analyzer SOAP Xiao XiaoSourceBrella Inc. | ||
15:30 - 17:00 | |||
15:30 90mTalk | Dynamic analysis of JavaScript with Jalangi Tutorials Manu SridharanSamsung Research America, Koushik SenUniversity of California, Berkeley, Liang GongUniversity of California, Berkeley | ||
15:30 - 17:00 | |||
15:30 90mTalk | Cross-platform analysis of mobile apps using the WALA framework Tutorials | ||
15:30 - 17:00 | |||
15:30 30mTalk | ActorX10: An Actor Library for X10 X10 A: Sascha Roloff, A: Alexander Pöppl, A: Tobias Schwarzer, A: Stefan Wildermann, A: Michael Bader, A: Michael Glaß, A: Frank Hannig, A: Jürgen Teich Link to publication DOI File Attached | ||
16:00 20mTalk | SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations X10 Link to publication DOI File Attached | ||
16:20 20mTalk | A Case for Distributed Work-Stealing in Regular Applications X10 Link to publication DOI File Attached | ||
16:40 20mDay closing | Closing Remarks X10 | ||
15:30 - 17:00 | |||
15:30 25mTalk | Automatic Generation of Parallel C Code for Stencil Applications written in MATLAB ARRAY | ||
15:55 25mTalk | Extending C++ with Co-Array semantics ARRAY | ||
16:20 25mTalk | SSA-based MATLAB-to-C Compilation and Optimization ARRAY | ||
16:45 15mTalk | TTC: A Tensor Transposition Compiler for Multiple Architectures ARRAY | ||
15:30 - 17:00 | |||
15:30 - 17:10 | |||
15:30 25mTalk | Rust as a Language for High Performance GC Implementation ISMM Yi LinAustralian National University, Steve BlackburnAustralian National University , Tony HoskingAustralian National University, Data61, and Purdue University, Michael NorrishNICTA | ||
15:55 25mTalk | Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future ISMM Man CaoOhio State University, Jake RoemerOhio State University, Aritra SenguptaOhio State University, Michael D. BondOhio State University | ||
16:20 25mTalk | Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory of Memory Demand (HOTM) ISMM | ||
16:45 25mTalk | Liveness-Based Garbage Collection for Lazy Languages ISMM | ||
17:00 - 17:45 | |||
17:00 45mOther | Panel: What I Wish I Knew When I Started Grad School PLMW@PLDI M: Ben WiedermannHarvey Mudd College, Sam BlackshearFacebook, Alvin CheungUniversity of Washington, Ravi ChughUniversity of Chicago, Cindy Rubio-GonzálezUniversity of California, Davis, Jean YangCarnegie Mellon University Media Attached | ||
Wed 15 Jun Times are displayed in time zone: Tijuana, Baja California change
Wed 15 Jun
Times are displayed in time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
08:45 - 09:00 | Chair's Welcome and Distinguished Paper AnnouncementsInvited Speakers at Grand Ballroom San Rafael & Santa Ynez Chair(s): Emery D. BergerUniversity of Massachusetts, Amherst, Chandra KrintzUC Santa Barbara | ||
09:00 - 10:00 | |||
09:00 60mTalk | Programming Languages and Technical Disruption Invited Speakers | ||
10:30 - 12:00 | Verification IResearch Papers at Grand Ballroom San Rafael Chair(s): Isil DilligUniversity of Texas, Austin | ||
10:30 30mTalk | Data-Driven Precondition Inference with Learned Features Research Papers Saswat PadhiUniversity of California, Los Angeles, Rahul SharmaStanford University, Todd MillsteinUniversity of California, Los Angeles Media Attached | ||
11:00 30mTalk | Cartesian Hoare Logic for Verifying k-Safety Properties Research Papers Media Attached | ||
11:30 30mTalk | Verifying Bit Manipulations of Floating-Point Research Papers Media Attached | ||
10:30 - 12:00 | Down to the Metal IResearch Papers at Grand Ballroom Santa Ynez Chair(s): Stephen McCamantUniversity of Minnesota | ||
10:30 30mTalk | Into the depths of C: elaborating the de facto standards Research Papers Kayvan MemarianUniversity of Cambridge, Justus MatthiesenUniversity of Cambridge, James LingardUniversity of Cambridge (when this work was done), Kyndylan NienhuisUniversity of Cambridge, David ChisnallUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge Link to publication Media Attached | ||
11:00 30mTalk | Living on the edge: Rapid-toggling probes with cross modification on x86 Research Papers Buddhika Chamith, Bo Joel SvenssonIndiana University, Luke DalessandroIndiana University, Ryan R. NewtonIndiana University Pre-print Media Attached | ||
11:30 30mTalk | Polymorphic Type Inference for Machine Code Research Papers Pre-print Media Attached | ||
12:00 - 13:30 | |||
12:00 90m | Lunch Catering | ||
13:30 - 15:00 | Energy & PerformanceResearch Papers at Grand Ballroom San Rafael Chair(s): Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM) | ||
13:30 30mTalk | Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses Research Papers Changwan Hong, Wenlei Bao, Albert CohenINRIA, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noël PouchetOhio State University, J. RamanujamLouisiana State University, Fabrice RastelloINRIA, France, P. SadayappanOhio State University Media Attached | ||
14:00 30mTalk | GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing Research Papers Link to publication Media Attached | ||
14:30 30mTalk | Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Research Papers Michael A. LaurenzanoUniversity of Michigan, Parker Hill, Mehrzad SamadiUniversity of Michigan, Scott MahlkeUniversity of Michigan, Jason MarsUniversity of Michigan, Lingjia TangUniversity of Michigan Media Attached | ||
13:30 - 15:00 | Testing & DebuggingResearch Papers at Grand Ballroom Santa Ynez Chair(s): Benjamin ZornMicrosoft Research | ||
13:30 30mTalk | Coverage-Directed Differential Testing of JVM Implementations Research Papers Yuting ChenShanghai Jiao Tong University, Ting SuEast China Normal University, Chengnian SunUniversity of California at Davis, USA, Zhendong SuUniversity of California, Davis, Jianjun ZhaoShanghai Jiao Tong University Media Attached | ||
14:00 30mTalk | Exposing Errors Related to Weak Memory in GPU Applications Research Papers Pre-print Media Attached | ||
14:30 30mTalk | Lightweight Computation Tree Tracing for Lazy Functional Languages Research Papers Media Attached | ||
15:30 - 17:00 | Parsing & CompilationResearch Papers at Grand Ballroom San Rafael Chair(s): Michelle StroutThe University of Arizona | ||
15:30 30mTalk | Automatic Storage Optimization for Arrays [TOPLAS] Research Papers Somashekaracharya G BhaskaracharyaIndian Institute of Science and National Instruments, Uday BondhugulaIndian Institute of Science, Albert CohenINRIA Media Attached | ||
16:00 30mTalk | Polyhedral AST generation is more than scanning polyhedra [TOPLAS] Research Papers Media Attached | ||
16:30 30mTalk | On the Complexity and Performance of Parsing with Derivatives Research Papers Michael D. AdamsUniversity of Utah, Celeste HollenbeckUniversity of Utah, Matthew MightUniversity of Utah, USA Pre-print Media Attached | ||
15:30 - 17:00 | |||
15:30 30mTalk | Configuration Synthesis for Programmable Analog Devices with Arco Research Papers Sara AchourMassachusetts Institute of Technology, USA, Rahul SarpeshkarMIT, Martin C. RinardMassachusetts Institute of Technology, USA Media Attached | ||
16:00 30mTalk | From Datalog to Flix: A Declarative Language for Fixed Points on Lattices Research Papers Magnus MadsenUniversity of Waterloo, Ming-Ho YeeUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo DOI Media Attached | ||
16:30 30mTalk | Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Research Papers Leonard TruongUC Berkeley / Intel Labs, Raj BarikIntel Labs, Ehsan TotoniIntel Labs, Hai LiuIntel Labs, Chick MarkleyUC Berkeley, Armando FoxUC Berkeley, Tatiana ShpeismanIntel Labs Media Attached | ||
17:00 - 18:00 | |||
17:00 60mMeeting | Program Chair's Report and SIGPLAN Town Hall Meeting Invited Speakers | ||
18:00 - 20:00 | |||
18:00 2h | Poster Reception Catering | ||
Thu 16 Jun Times are displayed in time zone: Tijuana, Baja California change
Thu 16 Jun
Times are displayed in time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
09:00 - 10:00 | |||
09:00 60mTalk | Programming a Warehouse-scale Computer Invited Speakers | ||
10:30 - 12:00 | |||
10:30 30mTalk | Accepting Blame for Safe Tunneled Exceptions Research Papers Yizhou ZhangCornell University, Guido SalvaneschiTU Darmstadt, Quinn BeightolCornell, Barbara LiskovMIT, Andrew C. MyersCornell University Link to publication DOI Media Attached | ||
11:00 30mTalk | Occurrence Typing Modulo Theories Research Papers Pre-print Media Attached | ||
11:30 30mTalk | Refinement Types for TypeScript Research Papers Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego Media Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Stratified Synthesis: Automatically Learning the x86-64 Instruction Set Research Papers Stefan HeuleStanford University, Eric SchkufzaVMware Research Group, Rahul SharmaStanford University, Alex AikenStanford University DOI Pre-print Media Attached | ||
11:00 30mTalk | Remix: Online Detection and Repair of Cache Contention for the JVM Research Papers Ariel EizenbergUniversity of Pennsylvania, Shiliang HuIntel Corporation, Gilles PokamIntel Corporation, Joseph DeviettiUniversity of Pennsylvania Media Attached | ||
11:30 30mTalk | Statistical Similarity of Binaries Research Papers Media Attached | ||
12:00 - 13:30 | |||
12:00 90m | Lunch Catering | ||
13:30 - 15:00 | Software-Defined NetworkingResearch Papers at Grand Ballroom San Rafael Chair(s): Todd MillsteinUniversity of California, Los Angeles | ||
13:30 30mTalk | Event-driven Network Programming Research Papers Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Nate FosterCornell University, Pavol CernyUniversity of Colorado Boulder Pre-print Media Attached | ||
14:00 30mTalk | Temporal NetKAT Research Papers Media Attached | ||
14:30 30mTalk | SDNRacer: Concurrency Analysis for Software-Defined Networks Research Papers Ahmed El-HassanyETH Zürich, Jeremie MiserezETH Zürich, Pavol BielikETH Zurich, Switzerland, Laurent VanbeverETH Zürich, Martin VechevETH Zurich Media Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | MapReduce Program Synthesis Research Papers Media Attached | ||
14:00 30mTalk | Programmatic and Direct Manipulation, Together at Last Research Papers Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago, Mitchell SpradlinUniversity of Chicago, Jacob AlbersUniversity of Chicago Pre-print Media Attached | ||
14:30 30mTalk | Fast Synthesis of Fast Collections Research Papers Calvin LoncaricUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington Media Attached | ||
13:30 - 15:00 | |||
13:30 90mTalk | Presentation Session Student Research Competition | ||
15:30 - 17:00 | |||
15:30 30mTalk | Just-in-Time Static Type Checking for Dynamic Languages Research Papers Brianna M. RenUniversity of Maryland, College Park, Jeffrey S. FosterUniversity of Maryland, College Park Media Attached | ||
16:00 30mTalk | Types from data: Making structured data first-class citizens in F# Research Papers Tomas PetricekUniversity of Cambridge, UK, Don SymeMicrosoft, Gustavo GuerraMicrosoft Corporation, London Pre-print Media Attached | ||
16:30 30mTalk | Automatically Learning Shape Specifications Research Papers He ZhuPurdue University, Gustavo PetriLIAFA, Université Paris Diderot, Suresh JagannathanPurdue University Media Attached | ||
15:30 - 17:00 | Verifying SystemsResearch Papers at Grand Ballroom Santa Ynez Chair(s): Santosh NagarakatteRutgers University | ||
15:30 30mTalk | Rehearsal: A Configuration Verification Tool for Puppet Research Papers Rian ShambaughUniversity of Massachusetts Amherst, Aaron WeissUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst Pre-print Media Attached | ||
16:00 30mTalk | Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Research Papers Hao ChenYale University, Xiongnan (Newman) WuYale University, Zhong ShaoYale University, Joshua LockermanYale University, Ronghui GuYale University Pre-print Media Attached | ||
16:30 30mTalk | Verified Peephole Optimizations for CompCert Research Papers Eric MullenUniversity of Washington, Daryl ZunigaUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington, USA Pre-print Media Attached | ||
15:30 - 17:00 | |||
15:30 90mTalk | Presentation Session Student Research Competition | ||
17:00 - 18:00 | Parallelism IResearch Papers at Grand Ballroom San Rafael Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University | ||
17:00 30mTalk | Higher-Order and Tuple-Based Massively-Parallel Prefix Sums Research Papers Sepideh MalekiTexas State University, Annie YangTexas State University, Martin BurtscherTexas State University Pre-print Media Attached | ||
17:30 30mTalk | A Distributed OpenCL Framework using Redundant Computation and Data Replication Research Papers Junghyun KimSeoul National University, Gangwon JoSeoul National University, Jaehoon JungSeoul National University, Jungwon KimOak Ridge National Laboratory, Jaejin LeeSeoul National University Media Attached | ||
17:00 - 18:00 | |||
17:00 30mTalk | Synthesizing Transformations on Hierarchically Structured Data Research Papers Navid YaghmazadehUniversity of Texas, Austin, Christian KlingerUniversity of Texas, Austin, Isil DilligUniversity of Texas, Austin, Swarat ChaudhuriRice University Media Attached | ||
17:30 30mTalk | Program Synthesis from Polymorphic Refinement Types Research Papers Media Attached | ||
18:15 - 21:30 | |||
18:15 3h15m | Banquet Catering | ||
Fri 17 Jun Times are displayed in time zone: Tijuana, Baja California change
Fri 17 Jun
Times are displayed in time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
08:45 - 09:00 | SRC Awards, PLDI’17 IntroductionInvited Speakers at Grand Ballroom Santa Ynez Chair(s): Ben HardekopfUC Santa Barbara, Albert CohenINRIA | ||
09:00 - 10:00 | |||
09:00 30mTalk | Cardinalities and Universal Quantifiers for Verifying Parameterized Systems Research Papers Nikolaj BjørnerMicrosoft Research, Klaus GleissenthallTechnische Universität München, Andrey RybalchenkoMicrosoft Research Media Attached | ||
09:30 30mTalk | Ivy: Safety Verification by Interactive Generalization Research Papers Oded PadonTel Aviv University, Kenneth L. McMillanMicrosoft Research, Aurojit Panda, Mooly SagivTel Aviv University, Sharon Shoham Media Attached | ||
09:00 - 10:00 | |||
09:00 30mTalk | Idle Time Garbage Collection Scheduling Research Papers Ulan DegenbaevGoogle, Jochen EisingerGoogle, Manfred ErnstGoogle, Ross McIlroyGoogle, Hannes PayerGoogle Media Attached | ||
09:30 30mTalk | Assessing the Limits of Program-Specific Garbage Collection Performance Research Papers Nicholas JacekUMass Amherst, Meng-Chieh ChiuUMass Amherst, Benjamin MarlinUMass Amherst, Eliot MossUniversity of Massachusetts Amherst Media Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Transactional Data Structure Libraries Research Papers Alexander SpiegelmanTechnion - Israel institute of technology, Guy Golan-GuetaYahoo Labs, Idit KeidarTechnion - Israel institute of technology Media Attached | ||
11:00 30mTalk | FlexVec: Auto-Vectorization for Irregular Loops Research Papers Media Attached | ||
11:30 30mTalk | Verified Lifting of Stencil Computations Research Papers Shoaib KamilMIT CSAIL, USA, Alvin CheungUniversity of Washington, Shachar ItzhakyMIT CSAIL, Armando Solar-LezamaMIT Media Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Precise, Dynamic Information Flow for Database-Backed Applications Research Papers Jean YangCarnegie Mellon University, Travis HanceDropbox, Thomas H. Austin, Armando Solar-LezamaMIT, Cormac FlanaganUC Santa Cruz, Stephen ChongHarvard University Link to publication Media Attached | ||
11:00 30mTalk | End-to-End Verification of Information-Flow Security for C and Assembly Programs Research Papers Pre-print Media Attached | ||
11:30 30mTalk | A Design and Verification Methodology for Secure Isolated Regions Research Papers Rohit SinhaUniversity of California, Berkeley, Manuel CostaMicrosoft Research, Akash LalMicrosoft Research India, Nuno P. LopesMicrosoft Research, Sriram RajamaniMicrosoft Research, Sanjit SeshiaUC Berkeley, Kapil VaswaniMicrosoft Research Media Attached | ||