Write a Blog >>

Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 08:45
OpeningISMM at Aula Master
Chair(s): Christoph KirschUniversity of Salzburg
08:30
15m
Day opening
Opening
ISMM

08:30 - 10:30
P4: Programming the Network Data PlanePLDI Tutorials at Vertex WS215
08:30
2h
Other
P4: Programming the Network Data Plane
PLDI Tutorials
Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks
08:30 - 08:45
OpeningSOAP at Vertex WS216
08:30
15m
Day opening
Opening
SOAP

09:15 - 09:30
OpeningMAPL at Vertex WS219
09:15
15m
Day opening
Introduction and Welcome
MAPL
09:30 - 10:30
Session 1: Garbage CollectionISMM at Aula Master
Chair(s): Hannes PayerGoogle
09:30
30m
Talk
NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
ISMM
Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi OliveiraFeedzai, A: Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon
10:00
30m
Talk
Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures
ISMM
09:30 - 10:30
Points-to AnalysisSOAP at Vertex WS216
09:30
20m
Talk
Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
SOAP
Jihyeok ParkKAIST, South Korea, Xavier RivalINRIA/CNRS/ENS Paris, Sukyoung RyuKAIST
DOI File Attached
09:50
20m
Talk
A Datalog Model of Must-Alias Analysis
SOAP
George BalatsourasUniversity of Athens, Kostas FerlesUniversity of Texas at Austin, USA, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI File Attached
10:10
20m
Talk
An Efficient Tunable Selective Points-to Analysis for Large Codebases
SOAP
Behnaz HassanshahiOracle Labs, Australia, Raghavendra KagalavadiOracle Labs, Australia, Paddy Krishnan, Bernhard ScholzUniversity of Sydney, Australia, Yi LuOracle
DOI File Attached
09:30 - 10:30
KeynoteMAPL at Vertex WS219
09:30
60m
Talk
Programming by Examples: PL Meets ML
MAPL
Sumit GulwaniMicrosoft Research
10:00 - 10:30
Morning talks 1ARRAY at Vertex WS218
Chair(s): Andreas KloecknerUniversity of Illinois at Urbana-Champaign
10:00
30m
Talk
Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
ARRAY
Florian BiermannIT University of Copenhagen, Peter SestoftIT University of Copenhagen
DOI File Attached
10:30 - 11:00
10:30
30m
Coffee break
Break
ISMM Catering

11:00 - 12:30
Session 2: Clever Data TricksISMM at Aula Master
Chair(s): Michael D. BondOhio State University
11:00
30m
Talk
A Marshalled Data Format for Pointers in Relocatable Data Blocks
ISMM
Nick Vrvilo, Lechen YuRice University, Vivek SarkarRice University, USA
11:30
30m
Talk
Flexible and Efficient Memory Object Metadata
ISMM
Zhengyang LiuBeijing University of Posts and Telecommunications, John CriswellUniversity of Rochester
12:00
30m
Talk
Shadow State Encoding for Efficient Monitoring of Block-level Properties
ISMM
11:00 - 12:30
P4: Programming the Network Data Plane (cont'd)PLDI Tutorials at Vertex WS215
11:00
90m
Other
P4: Programming the Network Data Plane
PLDI Tutorials
Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks
11:00 - 11:45
Invited Speaker - Jingling XueSOAP at Vertex WS216
11:00
45m
Talk
Static Analysis of Java ReflectionInvited Talk
SOAP
Jingling XueUNSW Australia
11:00 - 12:30
Morning talks 2ARRAY at Vertex WS218
Chair(s): Martin ElsmanDepartment of Computer Science, University of Copenhagen
11:00
30m
Talk
An ELI-to-C Compiler: Design, Implementation and Performance
ARRAY
Hanfeng ChenMcGill University, Wai-Mee Ching, Laurie HendrenMcGill University, Canada
DOI File Attached
11:30
30m
Talk
Array Programming in Whiley
ARRAY
David J. PearceVictoria University of Wellington
DOI File Attached
12:00
30m
Talk
Flexible Data Views: Design and Implementation
ARRAY
Leo OsvaldPurdue University, USA, Tiark RompfPurdue University
DOI File Attached
11:00 - 12:00
Languages and FrameworksMAPL at Vertex WS219
11:00
30m
Talk
A Computational Model for TensorFlow (An Introduction)
MAPL
11:30
30m
Talk
Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
MAPL
Tim VieiraJohns Hopkins University, Matthew Francis-LandauThe Johns Hopkins University, Nathaniel Wesley Filardo, Farzad KhorasaniRice University, Jason EisnerThe Johns Hopkins University
12:00 - 12:30
Debugging, Analysis, and VerificationMAPL at Vertex WS219
12:00
30m
Talk
Debugging Probabilistic Programs
MAPL
Chandrakana NandiUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Adrian SampsonCornell University, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
12:30 - 14:00
12:30
90m
Lunch
Lunch
ISMM Catering

14:00 - 15:30
Session 3: Hybrid Memory SystemsISMM at Aula Master
Chair(s): Ben L. TitzerGoogle
14:00
30m
Talk
Analyzing Memory Management Methods on Integrated CPU-GPU Systems
ISMM
Mohammad DashtiUniversity of British Columbia, Alexandra (Sasha) FedorovaSimon Fraser University
14:30
30m
Talk
Continuous Checkpointing of HTM Transactions in NVM
ISMM
Ellis GilesRice University, Kshitij DoshiIntel Corporation, Peter VarmanRice University
15:00
30m
Talk
RTHMS: A Tool for Data Placement on Hybrid Memory System
ISMM
Ivy Bo PengKTH Royal Institute of Technology, Roberto GioiosaPacific Northwest National Laboratory, Gokcen KestorPacific Northwest National Laboratory, Stefano MarkidisKTH Royal Institute of Technology, Pietro CicottiSan Diego Supercomputer Center, Erwin LaureKTH Royal Institute of Technology
14:00 - 15:30
14:00
45m
Talk
Preventing Information Flow by Construction
PLMW
Jean YangCarnegie Mellon University
14:45
45m
Talk
Giving good talks
PLMW
Ben WiedermannHarvey Mudd College
14:00 - 15:30
Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials at Vertex WS215
14:00
90m
Other
Bug detection in JavaScript web apps using the SAFE framework
PLDI Tutorials
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg
14:00 - 14:45
Invited Speaker - Julian DolbySOAP at Vertex WS216
14:00
45m
Talk
WALA EverywhereInvited Talk
SOAP
Julian DolbyIBM Thomas J. Watson Research Center
Media Attached
14:00 - 15:00
Invited talkARRAY at Vertex WS218
Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign
14:00
60m
Talk
Invited talk: APLicative Programming with Naperian Functors
ARRAY
Jeremy GibbonsDepartment of Computer Science, University of Oxford
Pre-print File Attached
14:00 - 15:30
Debugging, Analysis, and Verification 2MAPL at Vertex WS219
14:00
30m
Talk
Combining the Logical and the Probabilistic in Program Analysis
MAPL
Xin ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech
14:30
30m
Talk
Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
MAPL
Ugur KocUniversity of Maryland, College Park, Parsa SaadatpanahUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Adam PorterUniversity of Maryland
15:00
30m
Talk
Verified Perceptron Convergence Theorem
MAPL
Charlie MurphyPrinceton University, Gordon StewartOhio University
14:45 - 15:30
Soundness and PrecisionSOAP at Vertex WS216
14:45
22m
Talk
Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
SOAP
Esben AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University
DOI File Attached
15:07
22m
Talk
On the Construction of Soundness Oracles
SOAP
Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey University
DOI Media Attached
15:00 - 15:30
Afternoon talks 1ARRAY at Vertex WS218
Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign
15:00
30m
Talk
Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
ARRAY
DOI File Attached
15:30 - 16:00
15:30
30m
Coffee break
Break
ISMM Catering

16:00 - 17:30
Session 4: A Deeper LookISMM at Aula Master
Chair(s): Steve BlackburnAustralian National University
16:00
30m
Talk
"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
ISMM
Vini KanvarIndian Institute of Technology (IIT) Bombay, Uday P. Khedker
16:30
30m
Talk
A Refinement Hierarchy for Free List Memory Allocators
ISMM
Bin FangEast China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France
17:00
30m
Talk
Avoiding Consistency Exceptions Under Strong Memory Consistency Models
ISMM
Minjia ZhangMicrosoft Research, Swarnendu BiswasUniversity of Texas at Austin, Michael D. BondOhio State University
16:00 - 18:00
16:00
45m
Talk
Formal methods research: The what, the why and the how
PLMW
Roopsha SamantaPurdue University
16:45
60m
Other
Career paths in Computer Science
PLMW
Stephen N. FreundWilliams College, Martin HuschenbettJane Street, Kathryn S McKinleyMicrosoft Research, Roopsha SamantaPurdue University
16:00 - 18:00
Bug detection in JavaScript web apps using the SAFE framework (cont'd)PLDI Tutorials at Vertex WS215
16:00
26h
Other
Bug detection in JavaScript web apps using the SAFE framework
PLDI Tutorials
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg
16:00 - 16:20
BenchmarkingSOAP at Vertex WS216
16:00
20m
Talk
Hermes: Assessment and Creation of Effective Test Corpora
SOAP
Michael ReifTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Ben HermannUniversity of Paderborn, Mira MeziniTU Darmstadt
DOI Pre-print File Attached
16:00 - 17:30
Afternoon talks 2ARRAY at Vertex WS218
Chair(s): P. SadayappanOhio State University
16:00
30m
Talk
Efficient Array Slicing on the Intel Xeon Phi Coprocessor
ARRAY
Benjamin AndreassenNorwegian University of Science and Technology, Jan ChristianNorwegian University of Science and Technology, Lasse NatvigNorwegian University of Science and Technology
DOI File Attached
16:30
30m
Talk
Modular Array-based GPU Computing in a Dynamically-typed Language
ARRAY
Matthias SpringerTokyo Institute of Technology, Peter WauligmannTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
DOI File Attached
17:00
30m
Talk
HPTT: A High-Performance Tensor Transposition C++ Library
ARRAY
DOI File Attached
16:00 - 16:45
Town Hall DiscussionMAPL at Vertex WS219
16:00
45m
Other
Town Hall Discussion
MAPL

16:20 - 18:00
Open DiscussionSOAP at Vertex WS216
16:20
1h40m
Meeting
Open Discussion
SOAP

16:45 - 17:00
ClosingMAPL at Vertex WS219
16:45
15m
Day closing
Concluding Remarks
MAPL
17:30 - 18:00
Closing / DiscussionARRAY at Vertex WS218
Chair(s): Martin ElsmanDepartment of Computer Science, University of Copenhagen, David PaduaUniversity of Illinois at Urbana-Champaign, Andreas KloecknerUniversity of Illinois at Urbana-Champaign
17:30
30m
Day closing
Closing / Discussion
ARRAY

Conference Day
Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:05
WelcomePLDI Invited Speakers at Auditorium, Vertex Building
Chair(s): Martin VechevDeepCode and ETH Zurich, Switzerland, Albert CohenINRIA
09:00
5m
Day opening
Welcome
PLDI Invited Speakers

09:05 - 10:00
Joint Keynote ­– Martin OderskyPLDI Invited Speakers at Auditorium, Vertex Building
09:05
55m
Talk
What to Leave Implicit
PLDI Invited Speakers
Martin OderskyEPFL, Switzerland
Media Attached
10:00 - 10:30
10:00
30m
Other
1' Pitches of Monday
PLDI Research Papers

10:30 - 10:50
10:30
20m
Coffee break
Break
Catering

10:50 - 12:30
Learning and ProbabilisticPLDI Research Papers at Actes, Civil Engineering
Chair(s): Swarat ChaudhuriRice University
10:50
25m
Talk
DemoMatch: API Discovery from Demonstrations
PLDI Research Papers
Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL
Media Attached
11:15
25m
Talk
Similarity of Binaries through re-Optimization
PLDI Research Papers
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
11:40
25m
Talk
Synthesizing Program Input Grammars
PLDI Research Papers
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
12:05
25m
Talk
Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
PLDI Research Papers
Daniel HuangHarvard University, Jean-Baptiste TristanOracle Labs, Greg MorrisettCornell University
Media Attached
10:50 - 12:30
Compiler OptimizationsPLDI Research Papers at Aula Master
Chair(s): Uday BondhugulaIndian Institute of Science
10:50
25m
Talk
Cache Locality Optimization for Recursive Programs
PLDI Research Papers
Jonathan Lifflander, Sriram KrishnamoorthyPacific Northwest National Laboratories
11:15
25m
Talk
Fusing Effectful Comprehensions
PLDI Research Papers
Olli Saarikivi, Margus VeanesMicrosoft Research, Todd Mytkowicz, Madan MusuvathiMicrosoft Research
11:40
25m
Talk
Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
PLDI Research Papers
Yufei DingNorth Carolina State University, Lin NingNorth Carolina State University, Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University
Media Attached
12:05
25m
Talk
ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
PLDI Research Papers
David MenendezRutgers University, Santosh NagarakatteRutgers University, USA
Media Attached
12:30 - 14:00
Lunch (provided)Catering at Lunch area
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:40
Language ImplementationPLDI Research Papers at Actes, Civil Engineering
Chair(s): David F. BaconGoogle
14:00
25m
Talk
Bringing the Web up to Speed with WebAssembly
PLDI Research Papers
Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft
Media Attached
14:25
25m
Talk
Miniphases: Compilation using Modular and Efficient Tree Transformations
PLDI Research Papers
Dmytro PetrashkoEPFL, Ondřej LhotákUniversity of Waterloo, Canada, Martin OderskyEPFL, Switzerland
Media Attached
14:50
25m
Talk
Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
PLDI Research Papers
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Media Attached
15:15
25m
Talk
Simple, fast and safe manual memory management
PLDI Research Papers
Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge
Media Attached
14:00 - 15:40
Concurrency AnalysisPLDI Research Papers at Aula Master
Chair(s): Jeff HuangTexas A&M University
14:00
25m
Talk
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
PLDI Research Papers
Ariel EizenbergUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Toma PigliUniversity of Pennsylvania, William ManskyPrinceton University, Joseph DeviettiUniversity of Pennsylvania
14:25
25m
Talk
BigFoot: Static Check Placement for Dynamic Race Detection
PLDI Research Papers
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen N. FreundWilliams College
14:50
25m
Talk
Dynamic Race Prediction in Linear Time
PLDI Research Papers
Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Media Attached
15:15
25m
Talk
Systematic Black-Box Analysis of Collaborative Web Applications
PLDI Research Papers
Marina BillesTU Darmstadt, Anders MøllerAarhus University, Michael PradelTU Darmstadt
Media Attached
15:40 - 16:10
15:40
30m
Coffee break
Break
Catering

16:10 - 17:50
Dynamic Analysis and TestingPLDI Research Papers at Actes, Civil Engineering
Chair(s): Michael PradelTU Darmstadt
16:10
25m
Talk
Achieving High Coverage for Floating-point Code via Unconstrained Programming
PLDI Research Papers
Zhoulai FuUniversity of California, Davis, Zhendong SuUniversity of California, Davis
Media Attached
16:35
25m
Talk
Instruction Punning: Lightweight Instrumentation for x86-64
PLDI Research Papers
Buddhika ChamithIndiana University, Luke DalessandroIndiana University, Bo Joel SvenssonChalmers University of Technology, Sweden, Ryan R. NewtonIndiana University
Media Attached
17:00
25m
Talk
Low Overhead Dynamic Binary Translation on ARM
PLDI Research Papers
Amanieu d'AntrasUniversity of Manchester, Cosmin GorgovanUniversity of Manchester, Jim GarsideUniversity of Manchester, Mikel Luján
Media Attached
17:25
25m
Talk
Skeletal Program Enumeration for Rigorous Compiler Testing
PLDI Research Papers
Qirun ZhangUniversity of California, Davis, Chengnian SunUniversity of California, Davis, Zhendong SuUniversity of California, Davis
Media Attached
16:10 - 17:50
Static AnalysisPLDI Research Papers at Aula Master
Chair(s): Loris D'AntoniUniversity of Wisconsin–Madison
16:10
25m
Talk
Compositional Recurrence Analysis Revisited
PLDI Research Papers
Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin-Madison, Ashkan Forouhi BoroujeniUniversity of Wisconsin-Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:35
25m
Talk
Context Transformations for Pointer Analysis
PLDI Research Papers
Rei ThiessenUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
Media Attached
17:00
25m
Talk
Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
PLDI Research Papers
Tian TanUNSW Australia, Yue LiUNSW Australia, Jingling XueUNSW Australia
Pre-print Media Attached
17:25
25m
Talk
Static Deadlock Detection for Asynchronous C# Programs
PLDI Research Papers
Anirudh SanthiarIndian Institute of Science, Aditya KanadeIndian Institute of Science, Bangalore
Media Attached
17:55 - 18:50
Joint Keynote ­– Martin AbadiPLDI Invited Speakers at Auditorium, Vertex Building
17:55
55m
Talk
TensorFlow considered as a programming language
PLDI Invited Speakers
19:30 - 22:00
Social Event with Curry On (dinner provided)Catering at Moritz Brewery
19:30
2h30m
Dinner
Dinner
Catering

Conference Day
Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:50
Curry-On Keynote – José ValimPLDI Invited Speakers at Auditorium, Vertex Building
09:00
50m
Talk
Elixir
PLDI Invited Speakers
José ValimPlataformatec
09:50 - 10:25
1' pitches of the day and the next dayPLDI Research Papers at Auditorium, Vertex Building
09:50
35m
Other
1' Pitches of Tuesday and Wednesday
PLDI Research Papers

10:25 - 10:50
10:25
25m
Coffee break
Break
Catering

10:50 - 12:30
SynthesisPLDI Research Papers at Actes, Civil Engineering
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
10:50
25m
Talk
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
PLDI Research Papers
Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
11:15
25m
Talk
Network Configuration Synthesis with Abstract Topologies
PLDI Research Papers
Ryan BeckettPrinceton University, Ratul MahajanMicrosoft, Todd MillsteinUniversity of California, Los Angeles, Jitendra PadhyeMicrosoft, David WalkerPrinceton University
Media Attached
11:40
25m
Talk
Synthesizing Highly Expressive SQL Queries from Input-Output Examples
PLDI Research Papers
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
Media Attached
12:05
25m
Talk
Synthesizing Memory Models from Framework Sketches and Litmus Tests
PLDI Research Papers
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington, USA
Pre-print Media Attached
10:50 - 12:30
Static Analysis and SecurityPLDI Research Papers at Aula Master
Chair(s): Mayur NaikGeorgia Tech
10:50
25m
Talk
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
PLDI Research Papers
Timos AntonopoulosYale University, Paul GazzilloYale University, Michael HicksUniversity of Maryland, College Park, Eric KoskinenYale University, Tachio TerauchiJAIST, Shiyi WeiUniversity of Maryland, College Park
Media Attached
11:15
25m
Talk
Automatic Program Inversion using Symbolic Transducers
PLDI Research Papers
Qinheping HuUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison
Media Attached
11:40
25m
Talk
Control-Flow Recovery from Partial Failure Reports
PLDI Research Papers
Peter OhmannUniversity of Wisconsin - Madison, Alexander L. BrooksUniversity of Wisconsin, Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Ben LiblitUniversity of Wisconsin–Madison
Pre-print Media Attached
12:05
25m
Talk
Rigorous Analysis of Software Countermeasures against Cache Attacks
PLDI Research Papers
Goran DoychevIMDEA Software Institute, Boris KöpfIMDEA Software Institute, Spain
Media Attached
12:30 - 14:00
Lunch (provided)Catering at Lunch area
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:40
Parallelization and ConcurrencyPLDI Research Papers at Actes, Civil Engineering
Chair(s): Milind KulkarniPurdue University
14:00
25m
Talk
Synthesis of Divide and Conquer Parallelism for Loops
PLDI Research Papers
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
14:25
25m
Talk
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
PLDI Research Papers
Troels HenriksenDIKU, University of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Fritz HengleinDIKU, Denmark, Cosmin OanceaDIKU, University of Copenhagen
Media Attached
14:50
25m
Talk
Gradual Synthesis for Static Parallelization
PLDI Research Papers
Grigory FedyukovichUW CSE, Maaz Bin Safeer AhmadUW / CSE, Rastislav BodikUniversity of Washington
Pre-print Media Attached
15:15
25m
Talk
Verifying invariants of lock-free data structures with rely-guarantee and refinement type
PLDI Research Papers
Colin GordonDrexel University, Michael D. ErnstUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Matthew ParkinsonMicrosoft Research, UK
Pre-print Media Attached
14:00 - 15:40
Functional Programming and CorrectnessPLDI Research Papers at Aula Master
Chair(s): Francesco LogozzoFacebook
14:00
25m
Talk
Compiling without continuations
PLDI Research Papers
Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
14:25
25m
Talk
FunTAL: Reasonably Mixing a Functional Language with Assembly
PLDI Research Papers
Daniel PattersonNortheastern University, Jamie PercontiNortheastern University, Christos DimoulasHarvard University, USA, Amal AhmedNortheastern University, USA
Media Attached
14:50
25m
Talk
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
PLDI Research Papers
Shumo ChuUniversity of Washington, USA, Konstantin WeitzUniversity of Washington, USA, Alvin CheungUniversity of Washington, Dan SuciuUniversity of Washington
Media Attached
15:15
25m
Talk
Levity Polymorphism
PLDI Research Papers
Richard A. EisenbergBryn Mawr College, USA, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
15:40 - 16:10
15:40
30m
Coffee break
Break
Catering

16:10 - 17:00
CorrectnessPLDI Research Papers at Actes, Civil Engineering
Chair(s): Joseph DeviettiUniversity of Pennsylvania
16:10
25m
Talk
Repairing Sequential Consistency in C/C++11
PLDI Research Papers
Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS
Media Attached
16:35
25m
Talk
Taming Undefined Behavior in LLVM
PLDI Research Papers
Juneyoung LeeSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Chung-Kil HurSeoul National University, Sanjoy DasAzul Systems, David MajnemerGoogle, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research
Pre-print Media Attached
16:10 - 17:00
Verified ComputationPLDI Research Papers at Aula Master
Chair(s): Alvin CheungUniversity of Washington
16:10
25m
Talk
A Formally Verified Compiler for Lustre
PLDI Research Papers
Timothy BourkeINRIA, Lélio BrunENS/Inria, Pierre-Evariste DagandLIP6/CNRS , Xavier LeroyInria, Marc PouzetÉcole normale supérieure, Lionel RiegCollège de France
Media Attached
16:35
25m
Talk
Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
PLDI Research Papers
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Bui Phi DiepUppsala University, Yu-Fang Chen, Lukáš Holík, Ahmed Rezine, Philipp RuemmerUppsala University
Media Attached
17:00 - 18:00
Program Chair report and SIGPLAN Town Hall meetingPLDI Invited Speakers at Aula Master
17:00
60m
Program Chair report and SIGPLAN Town Hall meeting
PLDI Invited Speakers

17:30 - 20:00
Reception and SRC posters (finger food provided)PLDI Student Research Competition at Lunch area
17:30
2h30m
Reception and SRC posters
PLDI Student Research Competition

Conference Day
Wed 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:15
09:00
15m
Day opening
Opening
LCTES

09:15 - 10:15
Keynote 1LCTES at Vertex WS208
Chair(s): Zili ShaoThe Hong Kong Polytechnic University
09:15
60m
Talk
Static Analysis for Improving Software Performance, Safety and Security
LCTES
Jingling XueUNSW Australia
09:55 - 10:20
09:55
25m
Coffee break
Break
Catering

10:15 - 10:50
10:15
35m
Coffee break
Break
LCTES Catering

10:20 - 12:00
Systems and PerformancePLDI Research Papers at Auditorium, Vertex Building
Chair(s): Dan GrossmanUniversity of Washington
10:20
25m
Talk
Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
PLDI Research Papers
Scott SchneiderIBM Research, Kun-Lung WuIBM Research
Media Attached
10:45
25m
Talk
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
PLDI Research Papers
Thomas WuerthingerOracle Labs, Christian Wimmer, Christian HumerOracle Labs, Switzerland, Andreas WoessOracle Labs, Lukas StadlerOracle Labs, Austria, Chris SeatonOracle Labs, Gilles DuboscqOracle Labs, Doug SimonOracle Labs, Matthias GrimmerOracle Labs, Austria
Media Attached
11:10
25m
Talk
Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
PLDI Research Papers
Stefan K. Muller, Umut A. AcarCarnegie Mellon University, Robert HarperCWI
Media Attached
11:35
25m
Talk
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
PLDI Research Papers
Konstantinos MamourasUniversity of Pennsylvania, Mukund RaghotamanUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Sanjeev KhannaUniversity of Pennsylvania
Media Attached
10:20 - 12:00
10:20
1h40m
SRC presentations
PLDI Student Research Competition

10:50 - 12:30
Session 1: Compiler Optimization for Embedded SystemsLCTES at Vertex WS208
Chair(s): Yi WangShenzhen University
10:50
25m
Talk
AOT Vs. JIT: Impact of Profile Data on Code Quality
LCTES
April W. WadeUniversity of Kansas, Prasad KulkarniUniversity of Kansas, Michael JantzUniversity of Tennessee
11:15
25m
Talk
Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
LCTES
Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Zheng WangLancaster University
11:40
25m
Talk
Auto-Vectorization for Image Processing DSLs
LCTES
Oliver ReicheFriedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Christof Kobylko, Frank HannigFriedrich-Alexander University Erlangen-Nürnberg (FAU), Jürgen Teich
12:05
25m
Talk
Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
LCTES
Sheng-Yu Fu, Ding-Yong HongInstitute of Information Science, Academia Sinica, Ping YuDepartment of Computer Science and Information Engineering, National Taiwan University, Jan-Jan WuInstitute of Information Science, Academia Sinica, Wei-Chung HsuDept. Computer Science & Information Engineering, National Taiwan University
12:00 - 12:30
12:00
15m
Awards
Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards
PLDI Research Papers

12:15
15m
Day closing
Closing
PLDI Research Papers
12:30 - 14:00
12:30
90m
Lunch
Lunch
LCTES Catering

12:30 - 14:00
Lunch with ECOOP,LCTES (provided) + SRC AwardsCatering at Lunch area
12:30
90m
Lunch
Lunch
Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
LCTES Catering

15:30 - 17:10
Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded SystemsLCTES at Vertex WS208
Chair(s): Bernhard ScholzUniversity of Sydney, Australia
15:30
25m
Talk
Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
LCTES
Weiwen JiangChongqing University, Edwin ShaChongqing University, Qingfeng ZhugeChongqing University, China, Hailiang DongChongqing University, Xianzhang ChenChongqing University
15:55
25m
Talk
Integrated IoT Programming with Selective Abstraction
LCTES
Gyeongmin LeePOSTECH, Seonyeong HeoPOSTECH, Bongjun KimPOSTECH, Jong KimPOSTECH, Hanjun KimPOSTECH
16:20
25m
Talk
Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
LCTES
Min ZhangEast China Normal University, Yunhui Ying
16:45
25m
Talk
Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
LCTES
Wenguang Zheng, Hui WuUniversity of New South Wales, Australia, Chuanyao NieThe University of New South Wales

Conference Day
Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Keynote 2LCTES at Vertex WS208
Chair(s): Vijay NagarajanUniversity of Edinburgh, UK
09:00
60m
Talk
Design versus Performance: From Giotto via the Embedded Machine to Selfie
LCTES
Christoph KirschUniversity of Salzburg
File Attached
09:00 - 10:00
Refinement Types for Program Verification and SynthesisPLDI Tutorials at Vertex WS215
09:00
60m
Other
Refinement Types for Program Verification and Synthesis
PLDI Tutorials
Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA
Media Attached
09:00 - 10:00
Intro & industry perspective on cryptoDSW at Vertex WS216
Chair(s): Andrew AppelPrinceton
09:00
15m
Day opening
Introduction to DeepSpec
DSW
Lennart BeringerPrinceton University, Adam ChlipalaMassachusetts Institute of Technology, USA
09:15
45m
Talk
Building Faith in Experts: Applying Formal Verification to Cryptography
DSW
09:00 - 10:00
WALA Hack-A-ThonPLDI Tutorials at Vertex WS218
09:00
60m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
09:00 - 10:00
Building your own modular static analyzer with Facebook InferPLDI Tutorials at Vertex WS219
09:00
60m
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
10:00 - 10:30
10:00
30m
Coffee break
Break
LCTES Catering

10:30 - 12:10
Session 3: Non-Volatile Memory/Processor and RTOSLCTES at Vertex WS208
Chair(s): Hanjun KimPOSTECH
10:30
25m
Talk
Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks
LCTES
Yi WangShenzhen University, Mingxu ZhangShenzhen University, Jing YangHarbin Institute of Technology
10:55
25m
Talk
Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
LCTES
Xianzhong DingShandong University, Zhiyong ZhangShandong University, Zhiping JiaShandong University, Lei JuShandong University, Mengying ZhaoShandong University, Huawei HuangThe University of Aizu
11:20
25m
Talk
A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
LCTES
Chen Pan, Mimi XieOklahoma State University, Yongpan LiuTsinghua University, Yanzhi WangSyracuse University, Jason XueCity University of Hong Kong, China, Yiran ChenUniversity of Pittsburgh, Jingtong HuOklahoma State University
11:45
25m
Talk
OSEK-V: Application-Specific RTOS Instantiation in Hardware
LCTES
Christian Dietrich, Daniel LohmannFriedrich-Alexander-Universität, Germany
10:30 - 12:10
Incremental computing 1: Keynote + Research talkIC at Vertex WS215
10:30
70m
Talk
Keynote: Incrementalizing the Rust Compiler
IC
K: Nicholas MatsakisMozilla Corporation
11:40
30m
Talk
IncAL: A DSL for Incremental Program Analysis with Lattices
IC
Tamás Szabóitemis AG / TU Delft, Markus Völteritemis/independent, Sebastian ErdwegTU Delft
File Attached
10:30 - 12:10
Academic crypto projects; industry perspective on formal-methods integrationDSW at Vertex WS216
Chair(s): Zhong ShaoYale University
10:30
30m
Talk
Correct-by-Construction Generation of Fast Code for Elliptic Curves
DSW
Adam ChlipalaMassachusetts Institute of Technology, USA
11:00
30m
Talk
Introduction to verification using the VST
DSW
Lennart BeringerPrinceton University
11:30
40m
Talk
Using formal tools to develop high-assurance software for autonomous ground vehicles
DSW
Aleksey NoginHRL Laboratories, LLC
10:30 - 12:10
Refinement Types for Program Verification and Synthesis (cont'd)PLDI Tutorials at Vertex WS217
10:30
1h40m
Other
Refinement Types for Program Verification and Synthesis
PLDI Tutorials
Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA
Media Attached
10:30 - 12:10
WALA Hack-A-Thon (2)PLDI Tutorials at Vertex WS218
10:30
1h40m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
10:30 - 12:10
Building your own modular static analyzer with Facebook Infer (cont'd)PLDI Tutorials at Vertex WS219
10:30
1h40m
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
12:10 - 13:40
12:10
90m
Lunch
Lunch
LCTES Catering

13:40 - 15:20
Incremental computing 2: Research talksIC at Vertex WS215
13:40
30m
Talk
Automated Incrementalization through Synthesis
IC
Rohin ShahUniversity of California, Berkeley, Rastislav BodikUniversity of Washington
File Attached
14:15
30m
Talk
IceDust Calculation Strategy Composition Performance in Web Applications
IC
Daco HarkesDelft University of Technology, Eelco VisserDelft University of Technology
File Attached
14:50
30m
Talk
Automatic Incrementalization of Functional Reports
IC
Ken Friis LarsenDIKU, University of Copenhagen, Fritz HengleinDIKU, Denmark
File Attached
13:40 - 15:00
Academic C-verification project; industry perspective on hypervisorsDSW at Vertex WS216
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
13:40
40m
Talk
Verifying concurrent C programs with the Verified Software Toolchain
DSW
Andrew AppelPrinceton
14:20
40m
Talk
Challenges in Analysing Virtualisation Stacks
DSW
Michael TautschnigAmazon Web Services
13:40 - 15:20
WALA Hack-A-Thon (3)PLDI Tutorials at Vertex WS218
13:40
1h40m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
13:40 - 15:20
Polyhedral CompilationPLDI Tutorials at Vertex WS219
13:40
1h40m
Other
Polyhedral Compilation
PLDI Tutorials
15:30 - 17:00
Academic hypervisor project; closing discussionDSW at Vertex WS216
Chair(s): Lennart BeringerPrinceton University
15:30
45m
Talk
CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
DSW
Zhong ShaoYale University
16:15
45m
Day closing
Closing discussion
DSW

15:50 - 17:30
Incremental computing 3: Research talksIC at Vertex WS215
15:50
30m
Talk
Incremental Relational Lenses
IC
Rudi HornUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
File Attached
16:25
30m
Talk
Privacy-aware Distributed Incremental Computation
IC
Mirko KöhlerTechnical University of Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegTU Delft, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt
File Attached
17:00
30m
Talk
Tuning Data and Control Structures for Incremental Computation
IC
Kyle HeadleyUniversity of Colorado Boulder
File Attached
15:50 - 17:00
WALA Hack-A-Thon (4)PLDI Tutorials at Vertex WS218
15:50
70m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
15:50 - 17:00
Polyhedral Compilation (cont'd)PLDI Tutorials at Vertex WS219
15:50
70m
Other
Polyhedral Compilation
PLDI Tutorials

Conference Day
Fri 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Graal: High Performance Compilation for Managed LanguagesPLDI Tutorials at Vertex WS208
09:00
60m
Other
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials
09:00 - 10:00
Scala, LMS and Delite for High-Performance DSLs and Program GeneratorsPLDI Tutorials at Vertex WS216
09:00
60m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
09:00 - 10:00
Engineering Static Analyzers with SouffléPLDI Tutorials at Vertex WS217
09:00
60m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
09:00 - 09:10
OpeningWCIRE at Vertex WS218
Chair(s): Milind KulkarniPurdue University
09:00
10m
Day opening
Opening Remarks
WCIRE
Louis-Noël PouchetColorado State University, Milind KulkarniPurdue University, Samuel MidkiffSchool of Electrical and Computer Engineering, Purdue University
09:00 - 10:00
Writing Verified Programs in CakeMLPLDI Tutorials at Vertex WS219
09:00
60m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication
09:10 - 10:00
Session 1WCIRE at Vertex WS218
Chair(s): Milind KulkarniPurdue University
09:10
50m
Talk
The ROSE Compiler Framework
WCIRE
Louis-Noël PouchetColorado State University
10:30 - 12:10
Graal: High Performance Compilation for Managed Languages (cont'd)PLDI Tutorials at Vertex WS208
10:30
1h40m
Other
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials
10:30 - 12:10
Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)PLDI Tutorials at Vertex WS216
10:30
1h40m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
10:30 - 12:10
Engineering Static Analyzers with Soufflé (2)PLDI Tutorials at Vertex WS217
10:30
1h40m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
10:30 - 12:10
Session 2WCIRE at Vertex WS218
Chair(s): Milind KulkarniPurdue University
10:30
50m
Talk
The Spoofax Language Workbench
WCIRE
Eelco VisserDelft University of Technology
Link to publication
11:20
50m
Talk
Peeking into a polyhedral compiler through the Periscop toolkit
WCIRE
10:30 - 12:10
Writing Verified Programs in CakeML (2)PLDI Tutorials at Vertex WS219
10:30
1h40m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication
13:40 - 15:20
Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)PLDI Tutorials at Vertex WS216
13:40
1h40m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
13:40 - 15:20
Engineering Static Analyzers with Soufflé (3)PLDI Tutorials at Vertex WS217
13:40
1h40m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
13:40 - 15:20
Writing Verified Programs in CakeML (3)PLDI Tutorials at Vertex WS219
13:40
1h40m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication
15:50 - 17:00
Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)PLDI Tutorials at Vertex WS216
15:50
70m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
15:50 - 17:00
Engineering Static Analyzers with Soufflé (4)PLDI Tutorials at Vertex WS217
15:50
70m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
15:50 - 16:30
DiscussionWCIRE at Vertex WS218
Chair(s): Milind KulkarniPurdue University
15:50
40m
Other
Open Discussion: Building Infrastructure for Research and Education
WCIRE
Milind KulkarniPurdue University, Samuel MidkiffSchool of Electrical and Computer Engineering, Purdue University, Louis-Noël PouchetColorado State University
15:50 - 17:00
Writing Verified Programs in CakeML (4)PLDI Tutorials at Vertex WS219
15:50
70m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication