Write a Blog >>
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 18 Jun
Times are displayed in 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 - 08:45
Day opening
Opening
ISMM
08:30 - 10:30: P4: Programming the Network Data PlanePLDI Tutorials at Vertex WS215
08:30 - 10:30
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 - 08:45
Day opening
Opening
SOAP
09:00 - 10:30: Session 1PLMW at Sala d'Actes, Vertex Building
09:00 - 09:45
Talk
Welcome
PLMW
09:45 - 10:30
Talk
Hot, Classic, and Unrecognized Problems in Programming Languages
PLMW
Kathryn S McKinleyMicrosoft Research
09:00 - 10:30: Session 1ECOOP Doctoral Symposium at Vertex WS208
09:00 - 09:10
Talk
Introduction
ECOOP Doctoral Symposium
09:10 - 09:30
Talk
Lightning talks
ECOOP Doctoral Symposium
09:30 - 10:00
Talk
Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software
ECOOP Doctoral Symposium
Daniel WelchClemson University
10:00 - 10:30
Talk
Enabling Modular Verification of Concurrent Programs
ECOOP Doctoral Symposium
09:15 - 09:30: OpeningMAPL at Vertex WS219
09:15 - 09:30
Day opening
Introduction and Welcome
MAPL
09:30 - 10:30: Session 1: Garbage CollectionISMM at Aula Master
Chair(s): Hannes PayerGoogle
09:30 - 10:00
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 - 10:30
Talk
Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures
ISMM
09:30 - 10:30: Points-to AnalysisSOAP at Vertex WS216
09:30 - 09:50
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 - 10:10
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 - 10:30
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 - 10:30
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 - 10:30
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: Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks
10:30 - 11:00
Coffee break
Break
ECOOP Catering
10:30 - 11:00: Coffee BreakISMM Catering at ISMM-CoffeeBreaks
10:30 - 11:00
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 - 11:30
Talk
A Marshalled Data Format for Pointers in Relocatable Data Blocks
ISMM
Nick Vrvilo, Lechen YuRice University, Vivek SarkarRice University, USA
11:30 - 12:00
Talk
Flexible and Efficient Memory Object Metadata
ISMM
Zhengyang LiuBeijing University of Posts and Telecommunications, John CriswellUniversity of Rochester
12:00 - 12:30
Talk
Shadow State Encoding for Efficient Monitoring of Block-level Properties
ISMM
11:00 - 12:30: Session 2PLMW at Sala d'Actes, Vertex Building
11:00 - 11:45
Talk
What is research and how to do it? Thinking globally and acting locally.
PLMW
Michael HicksUniversity of Maryland, College Park
11:45 - 12:30
Talk
Program synthesis
PLMW
11:00 - 12:30: Session 2ECOOP Doctoral Symposium at Vertex WS208
11:00 - 11:30
Talk
Invited Talk: The Story of WALA at Watson and Beyond
ECOOP Doctoral Symposium
Julian DolbyIBM Thomas J. Watson Research Center
11:30 - 12:00
Talk
Analysis and Verification of Rich Typestate Properties for Complex Programs
ECOOP Doctoral Symposium
12:00 - 12:30
Talk
Efficient Run-Times for Sound Gradual Typing
ECOOP Doctoral Symposium
11:00 - 12:30: P4: Programming the Network Data Plane (cont'd)PLDI Tutorials at Vertex WS215
11:00 - 12:30
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 - 11:45
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 - 11:30
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 - 12:00
Talk
Array Programming in Whiley
ARRAY
David J. PearceVictoria University of Wellington
DOI File Attached
12:00 - 12:30
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 - 11:30
Talk
A Computational Model for TensorFlow (An Introduction)
MAPL
11:30 - 12:00
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 - 12:30
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 - 13:30: LunchECOOP Catering at ECOOP-CoffeeBreaks
12:30 - 13:30
Lunch
Lunch
ECOOP Catering
12:30 - 14:00: LunchISMM Catering at ISMM-CoffeeBreaks
12:30 - 14:00
Lunch
Lunch
ISMM Catering
13:30 - 15:00: Session 3ECOOP Doctoral Symposium at Vertex WS208
13:30 - 14:00
Talk
Invited Talk: What Lies Beyond a PhD
ECOOP Doctoral Symposium
Sarah NadiUniversity of Alberta
14:00 - 14:30
Talk
Verifiable, reusable, yet useful conditioning
ECOOP Doctoral Symposium
Praveen NarayananIndiana University, USA
14:30 - 15:00
Talk
Improving Warmup in Meta-Traced Virtual Machines
ECOOP Doctoral Symposium
Jasper SchulzKing's College London
14:00 - 15:30: Session 3: Hybrid Memory SystemsISMM at Aula Master
Chair(s): Ben L. TitzerGoogle
14:00 - 14:30
Talk
Analyzing Memory Management Methods on Integrated CPU-GPU Systems
ISMM
Mohammad DashtiUniversity of British Columbia, Alexandra (Sasha) FedorovaSimon Fraser University
14:30 - 15:00
Talk
Continuous Checkpointing of HTM Transactions in NVM
ISMM
Ellis GilesRice University, Kshitij DoshiIntel Corporation, Peter VarmanRice University
15:00 - 15:30
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: Session 3PLMW at Sala d'Actes, Vertex Building
14:00 - 14:45
Talk
Preventing Information Flow by Construction
PLMW
Jean YangCarnegie Mellon University
14:45 - 15:30
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 - 15:30
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 - 14:45
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 - 15:00
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 - 14:30
Talk
Combining the Logical and the Probabilistic in Program Analysis
MAPL
Xin ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech
14:30 - 15:00
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 - 15:30
Talk
Verified Perceptron Convergence Theorem
MAPL
Charlie MurphyPrinceton University, Gordon StewartOhio University
14:45 - 15:30: Soundness and PrecisionSOAP at Vertex WS216
14:45 - 15:07
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 - 15:30
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: Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks
15:00 - 15:30
Coffee break
Break
ECOOP Catering
15:00 - 15:30: Afternoon talks 1ARRAY at Vertex WS218
Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign
15:00 - 15:30
Talk
Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
ARRAY
DOI File Attached
15:30 - 16:00: Coffee BreakISMM Catering at ISMM-CoffeeBreaks
15:30 - 16:00
Coffee break
Break
ISMM Catering
15:30 - 17:50: Session 4ECOOP Doctoral Symposium at Vertex WS208
15:30 - 16:00
Talk
Compilation of Stream Programs for Heterogeneous Architectures
ECOOP Doctoral Symposium
16:00 - 16:30
Talk
Introspective Intrusion Detection for Popular Software Platforms
ECOOP Doctoral Symposium
16:30 - 17:00
Talk
Privacy-aware operator placement
ECOOP Doctoral Symposium
17:00 - 17:40
Talk
How to get your Ph.D. DONE
ECOOP Doctoral Symposium
Eric JulUniversity of Oslo
17:40 - 17:50
Talk
Round up by the academic panel
ECOOP Doctoral Symposium
16:00 - 17:30: Session 4: A Deeper LookISMM at Aula Master
Chair(s): Steve BlackburnAustralian National University
16:00 - 16:30
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 - 17:00
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 - 17:30
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: Session 4PLMW at Sala d'Actes, Vertex Building
16:00 - 16:45
Talk
Formal methods research: The what, the why and the how
PLMW
Roopsha SamantaPurdue University
16:45 - 17:45
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 - 18:00
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 - 16:20
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 - 16:30
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 - 17:00
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 - 17:30
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 - 16:45
Other
Town Hall Discussion
MAPL
16:20 - 18:00: Open DiscussionSOAP at Vertex WS216
16:20 - 18:00
Meeting
Open Discussion
SOAP
16:30 - 18:00: S1ECOOP Summer School at Vertex WS217
16:30 - 18:00
Talk
Introduction Session
ECOOP Summer School
Jan VitekNortheastern University
16:45 - 17:00: ClosingMAPL at Vertex WS219
16:45 - 17:00
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 - 18:00
Day closing
Closing / Discussion
ARRAY

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:00 - 09:00: RegistrationDEBS Registration at DEBS-Registration
08:00 - 09:00
Registration
Registration
DEBS Registration
09:00 - 09:05: WelcomePLDI Invited Speakers at Auditorium, Vertex Building
Chair(s): Martin VechevDeepCode and ETH Zurich, Switzerland, Albert CohenINRIA
09:00 - 09:05
Day opening
Welcome
PLDI Invited Speakers
09:00 - 10:30: Morning IICOOOLPS at Vertex WS216
Chair(s): Mario WolczkoOracle Labs
09:00 - 09:10
Talk
Workshop Welcome
ICOOOLPS
Mario WolczkoOracle Labs
09:10 - 10:30
Talk
We Software People are not Worthy - All Hail the Hardware Gods
ICOOOLPS
Sylvan ClebschImperial College London
09:00 - 10:30: Events Meet ProcessesDEBS Workshop at Vertex WS219
09:00 - 10:30
DEBS Workshop
DEBS Workshop
09:05 - 10:00: Monday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
09:05 - 10:00
Talk
What to Leave Implicit
CurryOn Curry On Keynotes
Martin OderskyEPFL, Switzerland
09:05 - 10:00: Joint Keynote ­– Martin OderskyPLDI Invited Speakers at Auditorium, Vertex Building
09:05 - 10:00
Talk
What to Leave Implicit
PLDI Invited Speakers
Martin OderskyEPFL, Switzerland
Media Attached
10:00 - 10:30: 1' pitches of the dayPLDI Research Papers at Auditorium, Vertex Building
10:00 - 10:30
Other
1' Pitches of Monday
PLDI Research Papers
10:30 - 12:50: Monday - 10:30 - 12:50 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
10:30 - 11:10
Talk
Flow Reloaded: New Challenges and New Opportunities
CurryOn Curry On Talks
11:20 - 12:00
Talk
Moving Fast with High Reliability: Program Analysis at Uber
CurryOn Curry On Talks
12:10 - 12:50
Talk
The Practice and Theory of TLA+
CurryOn Curry On Talks
10:30 - 10:50: Coffee BreakPLDI Catering at Coffee Breaks area
10:30 - 10:50
Coffee break
Break
PLDI Catering
10:30 - 11:00: CoffeeDEBS Catering at DEBS-CoffeeBreaks
10:30 - 11:00
Coffee break
Break
DEBS Catering
10:30 - 11:00: Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks
10:30 - 11:00
Coffee break
Break
ECOOP Catering
10:30 - 12:50: Monday - 10:30 - 12:50 - Sala AgoraCurryOn Curry On Talks at Sala Agora
10:30 - 11:10
Talk
Impromptu: A Lightweight, dependently-typed async framework for Scala
CurryOn Curry On Talks
Jon PrettyPropensive Ltd
11:20 - 12:00
Talk
Centrifuge : Data quality in Spark without the costs!
CurryOn Curry On Talks
12:10 - 12:50
Talk
Angelina Ballerina Learns About Memory Allocation
CurryOn Curry On Talks
Allison McMillanCollective Idea
10:30 - 12:50: Monday - 10:30 - 12:50 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building
10:30 - 11:10
Talk
The Programmer's Guide to Ideology
CurryOn Curry On Talks
11:20 - 12:00
Talk
Composable Caching in Swift
CurryOn Curry On Talks
Brandon KasePinterest
12:10 - 12:50
Talk
Building Web Apps with Reason
CurryOn Curry On Talks
Brandon DailFormidable Labs
10:50 - 12:30: Learning and ProbabilisticPLDI Research Papers at Actes, Civil Engineering
Chair(s): Swarat ChaudhuriRice University
10:50 - 11:15
Talk
DemoMatch: API Discovery from Demonstrations
PLDI Research Papers
Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL
Media Attached
11:15 - 11:40
Talk
Similarity of Binaries through re-Optimization
PLDI Research Papers
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
11:40 - 12:05
Talk
Synthesizing Program Input Grammars
PLDI Research Papers
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
12:05 - 12:30
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 - 11:15
Talk
Cache Locality Optimization for Recursive Programs
PLDI Research Papers
Jonathan Lifflander, Sriram KrishnamoorthyPacific Northwest National Laboratories
11:15 - 11:40
Talk
Fusing Effectful Comprehensions
PLDI Research Papers
Olli Saarikivi, Margus VeanesMicrosoft Research, Todd Mytkowicz, Madan MusuvathiMicrosoft Research
11:40 - 12:05
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 - 12:30
Talk
ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
PLDI Research Papers
David MenendezRutgers University, Santosh NagarakatteRutgers University, USA
Media Attached
11:00 - 12:30: Morning IIICOOOLPS at Vertex WS216
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
11:00 - 11:30
Talk
dart2java: Running Dart in Java-based Environments
ICOOOLPS
Matthias SpringerTokyo Institute of Technology, Andrew KriegerUniversity of California, Los Angeles, Stanislav ManilovUniversity of Edinburgh, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI File Attached
11:30 - 12:00
Talk
VM Wrapping - Fake it till you make it
ICOOOLPS
Johannes HenningHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI
Link to publication DOI File Attached
12:00 - 12:30
Talk
A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
ICOOOLPS
Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz
Link to publication DOI File Attached
11:00 - 12:30: Morning SessionIWACO at Vertex WS217
11:00 - 11:30
Talk
Spencer: Tracing as a Service
IWACO
Stephan BrandauerUppsala University
11:30 - 12:00
Talk
Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership.
IWACO
Alex PotaninVictoria University of Wellington
12:00 - 12:30
Talk
Reference Capabilities in Practice: Examining Real-World Pony Code
IWACO
Sylvan ClebschImperial College London
11:00 - 12:30: Events Meet ProcessesDEBS Workshop at Vertex WS219
11:00 - 12:30
DEBS Workshop
DEBS Workshop
12:30 - 14:00: LunchDEBS Catering at DEBS-CoffeeBreaks
12:30 - 14:00
Lunch
Lunch
DEBS Catering
12:30 - 14:00: LunchECOOP Catering at ECOOP-CoffeeBreaks
12:30 - 14:00
Lunch
Lunch
ECOOP Catering
12:30 - 14:00: Lunch (provided)PLDI Catering at Lunch area
12:30 - 14:00
Lunch
Lunch
PLDI Catering
12:50 - 14:00: LunchCurryOn Catering at CurryOn-CoffeeBreaks
12:50 - 14:00
Lunch
Lunch
CurryOn Catering
14:00 - 15:40: Language ImplementationPLDI Research Papers at Actes, Civil Engineering
Chair(s): David F. BaconGoogle
14:00 - 14:25
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 - 14:50
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 - 15:15
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 - 15:40
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 - 14:50: Monday - 14:00 - 14:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
14:00 - 14:50
Talk
FP is Dead: Long Live FP
CurryOn Curry On Keynotes
14:00 - 15:40: Concurrency AnalysisPLDI Research Papers at Aula Master
Chair(s): Jeff HuangTexas A&M University
14:00 - 14:25
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 - 14:50
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 - 15:15
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 - 15:40
Talk
Systematic Black-Box Analysis of Collaborative Web Applications
PLDI Research Papers
Marina BillesTU Darmstadt, Anders MøllerAarhus University, Michael PradelTU Darmstadt
Media Attached
14:00 - 15:40: S2AECOOP Summer School at Sala Agora
14:00 - 15:40
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal AhmedNortheastern University, USA
14:00 - 15:30: Afternoon IICOOOLPS at Vertex WS216
Chair(s): Edd BarrettKing's College London
14:00 - 15:00
Talk
Can Compiler Magic Ever Be Explained?
ICOOOLPS
Eric SedlarOracle Labs, Thomas WuerthingerOracle Labs
15:00 - 15:30
Talk
Code Generation in Serializers and Comparators of Apache Flink
ICOOOLPS
Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton BalassiHungarian Academy of Sciences
Link to publication DOI File Attached
14:00 - 15:30: AfternoonJSTools at Vertex WS218
Chair(s): Christian HammerUniversity of Potsdam
14:00 - 14:30
Talk
BCoz: Effective Performance Debugging for Web Applications
JSTools
John VilkUniversity of Massachusetts, Amherst
File Attached
14:30 - 15:00
Talk
Repairing Event Race Errors by Controlling Nondeterminism
JSTools
Frank TipNortheastern University
15:00 - 15:30
Talk
Static Analysis of CommonJS Modules
JSTools
14:00 - 15:30: Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219
14:00 - 14:20
Talk
Consistent Stream Processing
DEBS Doctoral Symposium
Lorenzo AffettiPolitecnico di Milano
14:20 - 14:40
Talk
A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context
DEBS Doctoral Symposium
Guenter HesseHasso Plattner Institute, Christoph MatthiesHasso Plattner Institute, Benjamin ReissausHasso Plattner Institute
14:40 - 15:00
Talk
Raphtory: Decentralised Streaming for Temporal Graphs
DEBS Doctoral Symposium
Benjamin SteerQueen Mary University London, Félix CuadradoQueen Mary University of London, Richard CleggQueen Mary University London
15:00 - 15:20
Talk
Large-Scale Stream Graph Processing
DEBS Doctoral Symposium
Domagoj MarganImperial College London
15:00 - 15:40: Monday - 15:00 - 15:40 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building
15:00 - 15:40
Talk
Clojure Transducers In The Wild
CurryOn Curry On Talks
Renzo BorgattiMailonline
15:00 - 15:40: Monday - 15:00 - 15:40 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
15:00 - 15:40
Talk
Don't Write Tests!
CurryOn Curry On Talks
John HughesChalmers University of Technology
15:00 - 15:40: Monday - 15:00 - 15:45 - Sala d'Actes CurryOn Curry On Talks at Sala d'Actes, Vertex Building
15:00 - 15:40
Talk
Carpenters & Cartographers
CurryOn Curry On Talks
Valentin Kasasself-employed @ Kanaka
15:30 - 16:00: CoffeeDEBS Catering at DEBS-CoffeeBreaks
15:30 - 16:00
Coffee break
Break
DEBS Catering
15:30 - 16:00: Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks
15:30 - 16:00
Coffee break
Break
ECOOP Catering
15:40 - 16:10: Coffee BreakPLDI Catering at Coffee Breaks area
15:40 - 16:10
Coffee break
Break
PLDI Catering
15:40 - 16:10: Coffee breakCurryOn Catering at CurryOn-CoffeeBreaks
15:40 - 16:10
Coffee break
Coffee break
CurryOn Catering
16:00 - 18:00: Afternoon IIICOOOLPS at Vertex WS216
Chair(s): Olivier Zendra
16:00 - 17:00
Other
Panel: Do new Computing Environments lead to new Language Constructs?
ICOOOLPS
Eric JulUniversity of Oslo, Edd BarrettKing's College London, Steve BlackburnAustralian National University , Ben L. TitzerGoogle
17:00 - 17:30
Talk
Diff Graphs for a fast Incremental Pointer Analysis
ICOOOLPS
Jakob KrainzFriedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen
Link to publication DOI File Attached
17:30 - 18:00
Demonstration
A Formalization IDE Integrated with a Verifying Compiler
ICOOOLPS
Daniel WelchClemson University, Blair DurkeeClemson University, Mike KabbaniClemson University, Murali SitaramanClemson University
Link to publication DOI File Attached
16:00 - 18:00: Keynote SessionIWACO at Vertex WS217
16:00 - 16:45
Talk
Adding Safe Manual Memory Management to .NET
IWACO
Dimitrios VytiniotisMicrosoft Research, Cambridge
16:00 - 18:00: Afternoon 2JSTools at Vertex WS218
16:00 - 16:30
Talk
WebPol: Fine-grained Information Flow Policies for Web Browsers
JSTools
Christian HammerUniversity of Potsdam
16:00 - 17:30: Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219
16:00 - 16:20
Talk
Property-based routing in clustered message brokers for CPS
DEBS Doctoral Symposium
Ole MeyerUniversity of Duisburg-Essen, Julius OlleschUniversity of Duisburg-Essen, Stefan GriesUniversity of Duisburg-Essen, Florian BlumUniversity of Duisburg-Essen, Volker GruhnUniversity Duisburg-Essen
16:20 - 16:40
Talk
An Embedded DSL Framework for Distributed Embedded Systems
DEBS Doctoral Symposium
16:40 - 17:00
Talk
Loosely Coupled Approach for Web-Based Collaborative 3D Design
DEBS Doctoral Symposium
Caroline DespratIRIT - University of Toulouse, Benoît Caudesaygues, Hervé LugaIRIT - Université Paul Sabatier Toulouse, Jean-Pierre JesselIRIT - Université Paul Sabatier Toulouse
17:00 - 17:20
Talk
Visualising complex event hierarchies using relevant domain ontologies
DEBS Doctoral Symposium
16:10 - 17:50: Dynamic Analysis and TestingPLDI Research Papers at Actes, Civil Engineering
Chair(s): Michael PradelTU Darmstadt
16:10 - 16:35
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 - 17:00
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 - 17:25
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 - 17:50
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 - 18:30: Monday - 16:10 - 18:30 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building
16:10 - 16:50
Talk
How types can turn a SQL interpreter into a SQL compiler
CurryOn Curry On Talks
Tiark RompfPurdue University
17:00 - 17:40
Talk
Orchestrate ING with Petri Net
CurryOn Curry On Talks
17:50 - 18:30
Talk
Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API
CurryOn Curry On Talks
16:10 - 18:30: Monday - 16:10 - 18:30 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
16:10 - 16:50
Talk
Winning the War on Error: Solving the Halting Problem and Curing Cancer
CurryOn Curry On Talks
Matthew MightUniversity of Utah, USA
17:00 - 17:40
Talk
Rust: Putting Ownership to Use
CurryOn Curry On Talks
Nicholas MatsakisMozilla Corporation
16:10 - 17:50: Static AnalysisPLDI Research Papers at Aula Master
Chair(s): Loris D'AntoniUniversity of Wisconsin–Madison
16:10 - 16:35
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 - 17:00
Talk
Context Transformations for Pointer Analysis
PLDI Research Papers
Rei ThiessenUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
Media Attached
17:00 - 17:25
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 - 17:50
Talk
Static Deadlock Detection for Asynchronous C# Programs
PLDI Research Papers
Anirudh SanthiarIndian Institute of Science, Aditya KanadeIndian Institute of Science, Bangalore
Media Attached
16:10 - 17:50: S2BECOOP Summer School at Sala Agora
16:10 - 17:50
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal AhmedNortheastern University, USA
16:10 - 18:30: Monday - 16:10 - 18:30 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building
16:10 - 16:50
Talk
Profunctor Optics: Modular Data Accessors
CurryOn Curry On Talks
Jeremy GibbonsDepartment of Computer Science, University of Oxford
17:00 - 17:40
Talk
Making decentralisation available for all
CurryOn Curry On Talks
Martin KleppmannUniversity of Cambridge
17:50 - 18:30
Talk
Reactive Programming in the Browser with Scala.js and PureScript
CurryOn Curry On Talks
Luka Jacobowitzcodecentric AG
17:55 - 18:50: Monday - 17:50 - 18:30 - PLDICurryOn Curry On Keynotes at Auditorium, Vertex Building
17:55 - 18:50
Talk
PLDI Keynote - TensorFlow considered as a programming language
CurryOn Curry On Keynotes
17:55 - 18:50: Joint Keynote ­– Martin AbadiPLDI Invited Speakers at Auditorium, Vertex Building
17:55 - 18:50
Talk
TensorFlow considered as a programming language
PLDI Invited Speakers
19:30 - 22:00: Social Event with Curry On (dinner provided)PLDI Catering at Moritz Brewery
19:30 - 22:00
Dinner
Dinner
PLDI Catering

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:00 - 09:00: RegistrationDEBS Registration at DEBS-Registration
08:00 - 09:00
Registration
Registration
DEBS Registration
09:00 - 09:50: Tuesday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
09:00 - 09:50
Talk
Idioms for building distributed fault-tolerant applications with Elixir
CurryOn Curry On Keynotes
José ValimPlataformatec
09:00 - 09:50: Curry-On Keynote – José ValimPLDI Invited Speakers at Auditorium, Vertex Building
09:00 - 09:50
Talk
Elixir
PLDI Invited Speakers
José ValimPlataformatec
09:00 - 10:30: Sliding-Window Aggregation AlgorithmsDEBS Tutorials at Vertex WS206b
09:00 - 10:30
Talk
Sliding-Window Aggregation Algorithms
DEBS Tutorials
Martin HirzelIBM Research, Scott SchneiderIBM Research, Kanat TangwongsanMahidol University International College
09:00 - 10:30: Session 1COP at Vertex WS216
09:00 - 09:15
Day opening
Welcome
COP
09:15 - 10:15
Talk
Keynote on Context-Oriented Language Engineering
COP
S: Tijs van der StormCWI & University of Groningen
10:15 - 10:30
Other
Discussion
COP
09:00 - 10:30: AFTfJP at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
09:30 - 09:50
Talk
Software Model Checking: A Promising Approach to Verify Mobile App Security
FTfJP
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK
Pre-print
09:50 - 10:25
Talk
Formal Analysis of Object-Oriented Mograms
FTfJP
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
10:25 - 10:30
Talk
Towards a Java Subtyping Operad
FTfJP
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
09:00 - 10:30: Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218
09:00 - 10:30
Talk
Complex Event Recognition Languages
DEBS Tutorials
Alexander ArtikisUniversity of Pireaus and NCSR "Demokritos", Alessandro MargaraPolitecnico di Milano, Martin UgarteUniversité Libre de Bruxelles, Stijn VansummerenUniversité Libre de Bruxelles, Matthias WeidlichHumboldt-Universtität zu Berlin
09:50 - 10:25: 1' pitches of the day and the next dayPLDI Research Papers at Auditorium, Vertex Building
09:50 - 10:25
Other
1' Pitches of Tuesday and Wednesday
PLDI Research Papers
10:25 - 12:45: Tuesday - 10:25 - 12:45 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building
10:25 - 11:05
Talk
The Joy of Vector Programming: Why Vector Programming Matters
CurryOn Curry On Talks
Dave ThomasKx Systems
11:15 - 11:55
Talk
Helping communities & products thrive by fostering empathy
CurryOn Curry On Talks
12:05 - 12:45
Talk
The CernVM File System - Beyond Static Content Distribution
CurryOn Curry On Talks
10:25 - 12:45: Tuesday - 10:25 - 12:45 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
10:25 - 11:05
Talk
Building Tools and Languages for Terabyte Scale Biology: A Call to Action
CurryOn Curry On Talks
Daniel KingBroad Institute
11:15 - 11:55
Talk
Preventing Information Leaks by Construction
CurryOn Curry On Talks
Jean YangCarnegie Mellon University
12:05 - 12:45
Talk
The Sharp Edges of Leaky Abstraction
CurryOn Curry On Talks
Mark AllenAlert Logic
10:25 - 10:50: Coffee BreakPLDI Catering at Coffee Breaks area
10:25 - 10:50
Coffee break
Break
PLDI Catering
10:25 - 12:45: Tuesday - 10:25 - 12:45 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building
10:25 - 11:05
Talk
Grammar-based language modes for text editors
CurryOn Curry On Talks
11:15 - 11:55
Talk
Scalable cross-references across languages
CurryOn Curry On Talks
Luke ZarkoGoogle, Inc
12:05 - 12:45
Talk
There are no BFT Fans Anymore... About Secure Eventual Consistency
CurryOn Curry On Talks
Ali ShokerHASLab/INESC TEC & University of Minho
10:30 - 11:00: CoffeeDEBS Catering at DEBS-CoffeeBreaks
10:30 - 11:00
Coffee break
Break
DEBS Catering
10:30 - 11:00: Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks
10:30 - 11:00
Coffee break
Break
ECOOP Catering
10:50 - 12:30: SynthesisPLDI Research Papers at Actes, Civil Engineering
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
10:50 - 11:15
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 - 11:40
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 - 12:05
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 - 12:30
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 - 11:15
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 - 11:40
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 - 12:05
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 - 12:30
Talk
Rigorous Analysis of Software Countermeasures against Cache Attacks
PLDI Research Papers
Goran DoychevIMDEA Software Institute, Boris KöpfIMDEA Software Institute, Spain
Media Attached
10:50 - 12:30: S3AECOOP Summer School at Sala Agora
10:50 - 12:30
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas MatsakisMozilla Corporation
11:00 - 12:30: Data Streaming and its Application to Stream ProcessingDEBS Tutorials at Vertex WS206b
11:00 - 12:30
Talk
Data Streaming and its Application to Stream Processing
DEBS Tutorials
Leonardo QuerzoniSapienza University Rome, Nicolo RivettiTechnion - Israel Institute of Technology
11:00 - 12:30: Morning SessionPMLDC at Vertex WS208
11:00 - 12:00
Talk
Edge Compute: The First 5000 Years
PMLDC
12:00 - 12:30
Talk
On the Design of Distributed Programming Models
PMLDC
Christopher MeiklejohnUniversité catholique de Louvain
File Attached
11:00 - 12:30: Session 2COP at Vertex WS216
11:00 - 11:30
Talk
The Declarative Nature of Implicit Layer Activation
COP
Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
11:30 - 12:00
Talk
Push-based Reactive Layer Activation in Context-Oriented Programming
COP
Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
12:00 - 12:30
Talk
Petri-Net Based Testing Environment for Context-Oriented Programming
COP
Harumi WatanabeTokai University, Nobuhiko OguraTokyo City University
11:00 - 12:30: BFTfJP at Vertex WS217
Chair(s): Santosh NagarakatteRutgers University, USA
11:00 - 11:20
Talk
A Coq-based synthesis of Scala programs which are correct-by-construction
FTfJP
Youssef El BakounyCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
11:20 - 12:30
Talk
Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)
FTfJP
11:00 - 12:30: Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218
11:00 - 12:30
Talk
Complex Event Recognition Languages
DEBS Tutorials
Alexander ArtikisUniversity of Pireaus and NCSR "Demokritos", Alessandro MargaraPolitecnico di Milano, Martin UgarteUniversité Libre de Bruxelles, Stijn VansummerenUniversité Libre de Bruxelles, Matthias WeidlichHumboldt-Universtität zu Berlin
12:30 - 14:00: LunchDEBS Catering at DEBS-CoffeeBreaks
12:30 - 14:00
Lunch
Lunch
DEBS Catering
12:30 - 14:00: LunchECOOP Catering at ECOOP-CoffeeBreaks
12:30 - 14:00
Lunch
Lunch
ECOOP Catering
12:30 - 14:00: Lunch (provided)PLDI Catering at Lunch area
12:30 - 14:00
Lunch
Lunch
PLDI Catering
12:35 - 13:50: LunchCurryOn Catering at CurryOn-CoffeeBreaks
12:35 - 13:50
Lunch
Lunch
CurryOn Catering
13:50 - 15:30: Tuesday - 13:50 - 15:20 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building
13:50 - 14:30
Talk
Modular Composition of Reactive Applications
CurryOn Curry On Talks
Mira MeziniTU Darmstadt
14:40 - 15:20
Talk
On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems
CurryOn Curry On Talks
Sztefan EdwardsnVisium LLC
13:50 - 15:30: Tuesday - 13:50 - 15:20 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building
13:50 - 14:30
Talk
Babelfish: Universal Code Parsing Server
CurryOn Curry On Talks
14:40 - 15:20
Talk
Channels, Concurrency, and Cores: A new Concurrent ML implementation
CurryOn Curry On Talks
Andy WingoIgalia, S.L.
14:00 - 15:40: Parallelization and ConcurrencyPLDI Research Papers at Actes, Civil Engineering
Chair(s): Milind KulkarniPurdue University
14:00 - 14:25
Talk
Synthesis of Divide and Conquer Parallelism for Loops
PLDI Research Papers
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
14:25 - 14:50
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 - 15:15
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 - 15:40
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 - 14:25
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 - 14:50
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 - 15:15
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 - 15:40
Talk
Levity Polymorphism
PLDI Research Papers
Richard A. EisenbergBryn Mawr College, USA, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
14:00 - 15:40: S3BECOOP Summer School at Sala Agora
14:00 - 15:40
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas MatsakisMozilla Corporation
14:00 - 15:30: Reflections on Almost Two Decades of Research into Stream ProcessingDEBS Tutorials at Vertex WS206b
14:00 - 15:30
Talk
Reflections on Almost Two Decades of Research into Stream Processing
DEBS Tutorials
Kyumars Sheykh EsmailiNokia Bell Labs
14:00 - 15:30: Afternoon SessionPMLDC at Vertex WS208
14:00 - 14:30
Talk
Monotonicity Types for Distributed Dataflow
PMLDC
Kevin Clancy, Heather MillerEcole Polytechnique Federale de Lausanne
File Attached
14:30 - 15:00
Talk
Multi-view data types for scalable concurrency in the multi-core era
PMLDC
Deepthi Devaki Akkoorath, José Brandão, Annette BieniusaTechnischen Universität Kaiserslautern, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached
15:00 - 15:30
Talk
The Single-Writer Principle in CRDT Composition
PMLDC
Vitor Enes, Paulo Sérgio Almeida, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached
14:00 - 15:30: Session 3COP at Vertex WS216
14:00 - 14:30
Talk
ContextROS: Context-Oriented Programming for the Robot Operating System
COP
Yuta SaekiKyushu University, Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Akira FukudaKyushu University
14:30 - 15:00
Talk
IoT Robot Simulator and Framework for Context-Oriented Programming
COP
Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Nobuhiko OguraTokyo City University, Harumi WatanabeTokai University, Akira FukudaKyushu University
15:00 - 15:30
Talk
Peace COrP: Learning to solve conflicts between contexts
COP
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland, Jorge H. CastroUniversidad de los Andes
Media Attached File Attached
14:00 - 15:30: CFTfJP at Vertex WS217
Chair(s): Martin Berger
14:00 - 14:20
Talk
Generic Approach to Certified Static Checking of Module-like Constructs
FTfJP
Julia BelyakovaSouthern Federal University
Pre-print
14:20 - 14:55
Talk
Tracing sharing in an imperative pure calculus
FTfJP
Paola GianniniUniversita' del Piemonte Orientale, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
14:55 - 15:30
Talk
Mutable WadlerFest DOT
FTfJP
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
14:00 - 15:30: Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218
14:00 - 15:30
Talk
Human Body Related Event Processing
DEBS Tutorials
Opher EtzionYezreel Valley College
15:30 - 16:00: Coffee breakCurryOn Catering at CurryOn-CoffeeBreaks
15:30 - 16:00
Coffee break
Coffee break
CurryOn Catering
15:30 - 16:00: CoffeeDEBS Catering at DEBS-CoffeeBreaks
15:30 - 16:00
Coffee break
Break
DEBS Catering
15:30 - 16:00: Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks
15:30 - 16:00
Coffee break
Break
ECOOP Catering
15:40 - 16:10: Coffee BreakPLDI Catering at Coffee Breaks area
15:40 - 16:10
Coffee break
Break
PLDI Catering
16:00 - 18:20: Tuesday - 16:00 - 18:20 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building
16:00 - 16:40
Talk
Computational Musicology, ????, Profit
CurryOn Curry On Talks
Chris FordThoughtWorks (UK) Ltd.
16:50 - 17:30
Talk
Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
CurryOn Curry On Talks
Jurriaan HageUtrecht University
17:40 - 18:20
Talk
With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections
CurryOn Curry On Talks
Michael SteindorferDelft University of Technology, Netherlands
16:00 - 18:20: Tuesday - 16:00 - 18:20 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
16:00 - 16:40
Talk
Pony: 714 Days Later
CurryOn Curry On Talks
Sylvan ClebschImperial College London
16:50 - 17:30
Talk
Finding and Preventing Bugs in JavaScript Bindings
CurryOn Curry On Talks
17:40 - 18:20
Talk
Reflex: Reactive Programming at Facebook
CurryOn Curry On Talks
16:00 - 18:20: Tuesday - 16:00 - 18:20 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building
16:00 - 16:40
Talk
Scope Graphs: A Fresh Look at Name Binding in Programming Languages
CurryOn Curry On Talks
Eelco VisserDelft University of Technology
Media Attached File Attached
16:50 - 17:30
Talk
Making Science Reproducible with Functional Programming Concepts
CurryOn Curry On Talks
Martin KavalarNextjournal
17:40 - 18:20
Talk
Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs
CurryOn Curry On Talks
Julia NguyenIndiegogo
16:00 - 18:00: Session 4COP at Vertex WS216
16:00 - 18:00
Other
Discussion
COP
16:00 - 18:00: DFTfJP at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
16:00 - 16:20
Talk
Consistency Types for Safe and Efficient Distributed Programming
FTfJP
Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiTU Darmstadt
16:20 - 16:55
Talk
Correctness of Partial Escape Analysis for Multithreading Optimization
FTfJP
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen N. FreundWilliams College
16:55 - 17:30
Talk
Parametric trace expressions for runtime verification of Java-like programs
FTfJP
Davide AnconaUniversity of Genova, Angelo Ferrando, Luca FranceschiniDIBRIS, University of Genova, Italy, Viviana MascardiDIBRIS, University of Genova, Italy
16:00 - 17:30: Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218
16:00 - 17:30
Talk
Human Body Related Event Processing
DEBS Tutorials
Opher EtzionYezreel Valley College
16:10 - 17:00: CorrectnessPLDI Research Papers at Actes, Civil Engineering
Chair(s): Joseph DeviettiUniversity of Pennsylvania
16:10 - 16:35
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 - 17:00
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
Media Attached
16:10 - 17:00: Verified ComputationPLDI Research Papers at Aula Master
Chair(s): Alvin CheungUniversity of Washington
16:10 - 16:35
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 - 17:00
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 - 18:00
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 - 20:00
Reception and SRC posters
PLDI Student Research Competition
18:30 - 19:20: Tuesday - 18:30 - 19:20 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
18:30 - 19:20
Talk
Scripting with Lua
CurryOn Curry On Keynotes

Wed 21 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:00 - 09:00: RegistrationDEBS Registration at DEBS-Registration
08:00 - 09:00
Registration
Registration
DEBS Registration
09:00 - 09:30
Day opening
Welcome
DEBS Welcome
09:00 - 09:15: OpeningLCTES at Vertex WS208
09:00 - 09:15
Day opening
Opening
LCTES
09:15 - 10:15: Keynote 1LCTES at Vertex WS208
Chair(s): Zili ShaoThe Hong Kong Polytechnic University
09:15 - 10:15
Talk
Static Analysis for Improving Software Performance, Safety and Security
LCTES
Jingling XueUNSW Australia
09:30 - 10:30: Session 1: New DirectionsDEBS Research Papers at Sala d'Actes, Vertex Building
Chair(s): Annika HinzeUniversity of Waikato
09:30 - 09:50
Talk
Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper)
DEBS Research Papers
Suad SejdovicFZI Research Center for Information Technology, Sven EutingFZI Research Center for Information Technology, Dominik RiemerFZI Research Center for Information Technology, York Sure-VetterKarlsruhe Institute of Technology (KIT)
09:50 - 10:10
Talk
Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper)
DEBS Research Papers
Aleksandar AntonicUniversity of Zagreb, Martina MarjanovicUniversity of Zagreb, Ivana Podnar ZarkoUniversity of Zagreb
10:10 - 10:30
Talk
The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper)
DEBS Research Papers
Piyush YadavLero The Irish Software Research Centre Ireland, Umair UlhassanInsight Centre for Data Analytics NUIG, Souleiman HasanInsight Centre for Data Analytics NUIG, Edward CurryInsight Centre for Data Analytics NUIG
09:55 - 10:20: Coffee BreakPLDI Catering at Coffee Breaks area
09:55 - 10:20
Coffee break
Break
PLDI Catering
10:15 - 10:50: Coffee BreakLCTES Catering at LCTES-CoffeeBreaks
10:15 - 10:50
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 - 10:45
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 - 11:10
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 - 11:35
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 - 12:00
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: SRC presentationsPLDI Student Research Competition at Vertex WS217
10:20 - 12:00
SRC presentations
PLDI Student Research Competition
10:30 - 11:00: CoffeeDEBS Catering at DEBS-CoffeeBreaks
10:30 - 11:00
Coffee break
Break
DEBS Catering
10:50 - 12:30: Session 1: Compiler Optimization for Embedded SystemsLCTES at Vertex WS208
Chair(s): Yi WangShenzhen University
10:50 - 11:15
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 - 11:40
Talk
Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
LCTES
Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Zheng WangLancaster University
11:40 - 12:05
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 - 12:30
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
11:00 - 12:30: Session 2: High Performance and DistributionDEBS Research Papers at Sala d'Actes, Vertex Building
Chair(s): Guido SalvaneschiTU Darmstadt
11:00 - 11:25
Talk
Minimizing Communication Overhead in Window-Based Parallel Complex Event Processing. (Research Paper)
DEBS Research Papers
Ruben MayerUniversity of Stuttgart, Muhammad Adnan TariqUniversity of Stuttgart, Kurt RothermelUniversitaet Stuttgart
11:25 - 11:50
Talk
Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper)
DEBS Research Papers
Kanat TangwongsanMahidol University International College, Martin HirzelIBM Research, Scott SchneiderIBM Research
11:50 - 12:10
Talk
Hardware Accelerated Application Integration Processing. (Industry Paper)
DEBS Research Papers
Daniel RitterSAP SE, Jonas DannSAP SE, Norman MaySAP SE, Stefanie Rinderle-MaUniversity of Vienna
12:10 - 12:30
Talk
Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper)
DEBS Research Papers
Benjamin ErbUlm University, Germany , Dominik MeißnerInstitute of Distributed Systems, Ulm University, Jakob PietronUlm University, Frank KarglUlm University
12:00 - 12:15
Awards
Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards
PLDI Research Papers
12:15 - 12:30
Day closing
Closing
PLDI Research Papers
12:30 - 14:00: LunchDEBS Catering at DEBS-CoffeeBreaks
12:30 - 14:00
Lunch
Lunch
DEBS Catering
12:30 - 14:00: LunchECOOP Catering at ECOOP-CoffeeBreaks
12:30 - 14:00
Lunch
Lunch
ECOOP Catering
12:30 - 14:00: LunchLCTES Catering at LCTES-CoffeeBreaks
12:30 - 14:00
Lunch
Lunch
LCTES Catering
12:30 - 14:00: Lunch with ECOOP,LCTES (provided) + SRC AwardsPLDI Catering at Lunch area
12:30 - 14:00
Lunch
Lunch
PLDI Catering
14:00 - 15:00: KeynoteECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Peter MüllerETH Zurich
14:00 - 15:00
Talk
Challenges to Achieving High Availability at Scale
ECOOP Invited Speakers
Media Attached
15:00 - 15:30: CoffeeDEBS Catering at DEBS-CoffeeBreaks
15:00 - 15:30
Coffee break
Break
DEBS Catering
15:00 - 15:30: Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks
15:00 - 15:30
Coffee break
Break
ECOOP Catering
15:00 - 15:30: Coffee BreakLCTES Catering at LCTES-CoffeeBreaks
15:00 - 15:30
Coffee break
Break
LCTES Catering
15:30 - 17:10: Analysis and SynthesisECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Anders MøllerAarhus University
15:30 - 15:55
Talk
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
ECOOP Research Papers
Mikaël MayerEPFL, Switzerland, Jad HamzaLIAFA, Université Paris Diderot, Viktor KunčakEPFL, Switzerland
Link to publication Media Attached
15:55 - 16:20
Talk
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
ECOOP Research Papers
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
Link to publication Media Attached
16:20 - 16:45
Talk
Mailbox Abstractions for Static Analysis of Actor Programs
ECOOP Research Papers
Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication Pre-print Media Attached
16:45 - 17:10
Talk
What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective
ECOOP Research Papers
Jeff HuangTexas A&M University, Arun Krishnakumar RajagopalanTexas A&M University
Link to publication Media Attached
15:30 - 16:30: DEBS 10 Years Time AwardDEBS 10 Years Time Award at Sala d'Actes, Vertex Building
15:30 - 16:30
Talk
10 Years Time Award
DEBS 10 Years Time Award
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 - 15:55
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 - 16:20
Talk
Integrated IoT Programming with Selective Abstraction
LCTES
Gyeongmin LeePOSTECH, Seonyeong HeoPOSTECH, Bongjun KimPOSTECH, Jong KimPOSTECH, Hanjun KimPOSTECH
16:20 - 16:45
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 - 17:10
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
16:30 - 17:00: Demos and Poster IntroductionDEBS Posters & Demos at Sala d'Actes, Vertex Building
16:30 - 17:00
Demonstration
DEBS Demos and Posters
DEBS Posters & Demos
17:00 - 20:00: DEBS Poster & Demo ReceptionDEBS Posters & Demos at Coffee Breaks area
17:00 - 20:00
Demonstration
DEBS Demos and Posters
DEBS Posters & Demos

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change