Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS216
Floor0
Room number216
Capacity30
Room InformationNo extra information available
Program

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: OpeningSOAP at Vertex WS216
08:30 - 08:45
Day opening
Opening
SOAP
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
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
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: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
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:20 - 18:00: Open DiscussionSOAP at Vertex WS216
16:20 - 18:00
Meeting
Open Discussion
SOAP

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

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
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
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
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

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

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
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
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
16:00 - 18:00: Session 4COP at Vertex WS216
16:00 - 18:00
Other
Discussion
COP

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

09:00 - 10:00: Intro & industry perspective on cryptoDSW at Vertex WS216
Chair(s): Andrew AppelPrinceton
09:00 - 09:15
Day opening
Introduction to DeepSpec
DSW
Lennart BeringerPrinceton University, Adam ChlipalaMassachusetts Institute of Technology, USA
09:15 - 10:00
Talk
Building Faith in Experts: Applying Formal Verification to Cryptography
DSW
10:30 - 12:10: Academic crypto projects; industry perspective on formal-methods integrationDSW at Vertex WS216
Chair(s): Zhong ShaoYale University
10:30 - 11:00
Talk
Correct-by-Construction Generation of Fast Code for Elliptic Curves
DSW
Adam ChlipalaMassachusetts Institute of Technology, USA
11:00 - 11:30
Talk
Introduction to verification using the VST
DSW
Lennart BeringerPrinceton University
11:30 - 12:10
Talk
Using formal tools to develop high-assurance software for autonomous ground vehicles
DSW
Aleksey NoginHRL Laboratories, LLC
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 - 14:20
Talk
Verifying concurrent C programs with the Verified Software Toolchain
DSW
Andrew AppelPrinceton
14:20 - 15:00
Talk
Challenges in Analysing Virtualisation Stacks
DSW
Michael TautschnigAmazon Web Services
15:30 - 17:00: Academic hypervisor project; closing discussionDSW at Vertex WS216
Chair(s): Lennart BeringerPrinceton University
15:30 - 16:15
Talk
CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
DSW
Zhong ShaoYale University
16:15 - 17:00
Day closing
Closing discussion
DSW

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

09:00 - 10:00: Scala, LMS and Delite for High-Performance DSLs and Program GeneratorsPLDI Tutorials at Vertex WS216
09:00 - 10:00
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: Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)PLDI Tutorials at Vertex WS216
10:30 - 12:10
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: Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)PLDI Tutorials at Vertex WS216
13:40 - 15:20
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: Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)PLDI Tutorials at Vertex WS216
15:50 - 17:00
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich

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

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS216

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS216

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