Trips | Mina Lee

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity

Amsterdam, The Netherlands
Oct 30-Nov 4, 2016

16725985628_01551fe817_o

Oct 31

Breakfast @ Omelegg – City Centre

Generative Programming: Concepts and Experiences (GPCE)

Opening
Ina Schaefer (Program Chair in Program Committee for GPCE 2016)

Statistics
- Submission: 44 full papers, 7 short papers, 1 tool paper
- Accepted: 17 full papers, 2 short papers, 1 tool paper
- 38% acceptance rate
- 162 reviews, at least 3 per paper
- 155 authors from 25 countries
Best Paper Award, “Synthesizing Regular Expressions from Examples for Introductory Automata Assignments”

bestpaperaward

[Keynote] Lightweight Modular Staging (LMS): Generate all the things!
Tiark Rompf

Tiark Rompf
- Assistant professor at Purdue University
- Runtime code generation, advanced compiler technology, and associated language support
- CS590: Metaprogramming and Program Generation
Lightweight Modular Staging (LMS)
- A library for generating high performance (low-level) code from high-level specification
- Killer applications: data processing (database)
  - 1M LOC for generic DBMS
  - Manual specialization for performance is required
  - Previous approaches are still 10-100x slower than hand-written code

Domain-Specific Language Design and Implementation (DSLDI)

[Keynote] Small, simple and smelly: What we can learn from examining end-user artifacts?
Felienne Hermans

Two ways towards good, flawless programs ★
- A better language
- Education
Excel
- The world’s most popular programming language
- Common characteristics with programming languages
  - It is used for similar problems
  - Its formulas are Turing complete
    - Excel Turing Machine
  - It suffers from typical programming problems
    - Many variables
    - Long methods
    - Complexity
    - Code clones
Programming education for non-developers
- Sparrow decks
  - Train intuition

The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions
Vadim Zaytsev

Pizza with Emojis

Naturally Embedded DSLs
Jonathan Aldrich, Alex Potanin

Control multiple DSLs with one general purpose embedded DSL
- e.g. serve: (URL, HTML) -> ()
- Execute a parser and interpreter for each DSL (in this case, URL and HTML)

Towards explanation-oriented introductory programming
Julian Jabs

Explanation-oriented programming ★
- Martin Erwig
- Eric Walkingshaw
- Quorum (Evidence-oriented programming language, check)
Insight: interpretation is just another explanation
- Add natural language explanation within interpreter
Challenges
- Difficulty to describe the intended behavior
- Usability of line-by-line explanation
- Necessity to provide all the explanations in advance

DesignScript: a scalable multi-paradigm domain-specific end-user language and modelling environment for architectural computation
Robert Aish, Emmanuel Mendoza

Generative Programming: Concepts and Experiences (GPCE)

Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Mina Lee, Sunbeom So, Hakjoo Oh

Programmable Semantic Fragments: The Design and Implementation of typy
Cyrus Omar, Jonathan Aldrich

Delaying Decisions in Variable Concern Hierarchies
Jörg Kienzle, Gunter Mussbacher, Omar Alam, Philippe Collet

Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers
Sorin Adam, Marco Kuhrmann, Ulrik Schultz

Monday Poster Reception

A Web Application is a Domain-Specific Language
David H. Lorenz, Boaz Rosenan

Principled Syntactic Code Completion using Placeholders
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser

Dinner @ Bravi Ragazzi

Nov 1

Evaluation and Usability of Programming Languages and Tools (PLATEAU)

Opening

[Keynote] How to Design a Programming Language
Alan Blackwell

Software Engineering for Parallel Systems (SEPS)

Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Jixin Han, Rina Fujino, Ryota Tamura, Mamoru Shimaoka, Hiroki Mikami, Moriyuki Takamura, Sachio Kamiya, Kazuhiko Suzuki, Takahiro Miyajima, Keiji Kimura , Hironori Kasahara

Top 3 most time-consuming analysis
- Def-use analysis
- Pointer analysis
- Dependency analysis
Evaluation
- Time cost reduced by 30%
  - 51.7% in terms of pointer analysis

LWC@SLE 2016 Language Workbench Challenge

Whole Platform Solution to a Selection of LWC16 Benchmark Problems
Riccardo Solmi, Enrico Persiani

Software Language Engineering (SLE)

Towards a Universal Code Formatter through Machine Learning ★
Terence Parr, Jurgen Vinju

Principled Syntactic Code Completion using Placeholders
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser

DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)
Joel Lindholm, Johan Thorsberg, Görel Hedin

Dynamic Languages Symposium (DLS)

A Small Embedding of Logic Programming with a Simple Complete Search ★
Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might

Generative Programming: Concepts and Experiences (GPCE)

A Vision for Online Verification-Validation
Matthew Hammer, Bor-Yuh Evan Chang, David Van Horn

Automatic Non-functional Testing of Code Generators Families
Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé

Beer @ Hannekes Boom

Dinner @ DoubleTree by Hilton Hotel Amsterdam Centraal Station

Nov 2

Breakfast @ Starbucks

SPLASH 2016

Welcome to SPLASH 2016
Eelco Visser

OOPSLA 10-year Most Influential Paper Award
Eelco Visser

[Keynote] The Science of Deep Specification
Benjamin C. Pierce

Course design
- Undergraduate courses
  - Drop-in replacements for standard compiler and OS courses
  - Pedagogical versions of Vellvm and CertiKOS
  - Reading and interacting with specifications
  - Code connected to specifications via random testing
- Graduate courses
  - New course on formally specifying and verifying systems software and hardware

OOPSLA – Semantics and Verification

Semantics-Based Program Verifiers for All Languages
Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu

Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco

OOPSLA – Program Synthesis

Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations
Shachar Itzhaky, Rohit Singh, Rezaul Chowdhury, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Armando Solar-Lezama

Speeding Up Machine-Code Synthesis
Venkatesh Srinivasan, Tushar Sharma, Thomas Reps

Automated Reasoning for Web Page Layout
Pavel Panchekha, Emina Torlak

FIDEX: Filtering Spreadsheet Data using Examples
Xinyu Wang, Sumit Gulwani, Rishabh Singh

OOPSLA – Programming Frameworks, Tools, and Methodologies

Purposes, Concepts, Misfits, and a Redesign of Git
Santiago Perez De Rosso, Daniel Jackson

So many people want better Git :)

Apex: Automatic Programming Assignment Error Explanation ★
Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera

Wednesday Poster Reception

Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Mina Lee, Sunbeom So, Hakjoo Oh

Dinner & Drink @ Delirium Café Amsterdam

Nov 3

SPLASH 2016

OOPSLA Awards
Yannis Smaragdakis, Michael Bond

[Keynote] From DOT to Dotty — Foundations and Types for Objects As Modules
Martin Odersky

OOPSLA – Language Design and Programming Models II

Automatic Enforcement of Expressive Security Policies using Enclaves
Anitha Gollamudi, Stephen Chong

Chain: Tasks and Channels for Reliable Intermittent Programs
Alexei Colin, Brandon Lucia

Lunch @ Cau Restaurant

Cruise @ Rederij Kooij

Onward! Papers

Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications
Matt McCutchen, Shachar Itzhaky, Daniel Jackson

Moldable, Context-Aware Searching with Spotter
Andrei Chiş, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel

OOPSLA– Program Modeling and Learning

Ringer: Web Automation by Demonstration
Shaon Barman, Sarah Chasins, Rastislav Bodik, Sumit Gulwani

Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock

Banquet @ Beurs van Berlage

Nov 4

SPLASH 2016

SPLASH 2017
Gail Murphy

Onward! Most Notable Paper Award
Guy L. Steele Jr., Robert Hirschfeld

Student Awards
Sam Guyer, Matthew Flatt

[Keynote] A Human View of Programming Languages
Andrew J. Ko

Onward! Papers

Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift
Ivan Kuraj, Daniel Jackson

Gramada: Immediacy in Programming Language Development
Patrick Rein, Marcel Taeumel, Robert Hirschfeld

Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras

Separate security part of code with functionality code
Developers for functionality use abstracted calls
Developers for security then deals with encapsulated security part with expertise

Leveraging a Corpus of Natural Language Descriptions for Program Similarity
Meital Zilberstein, Eran Yahav

Apply NLP techniques to suggest similar codes
- Dataset from Stack Overflow
- TF-IDF
How effectively does this data-driven approach work?
Many remaining challenges to resolve
- Context (e.g. counterexamples)
- Partial program

My second time in Amsterdam was more vivid, lively, and brighter than the first time. I started off the trip by walking around the city on Sunday night (which is one of the best things to do in Amsterdam). I was surprised that I could actually spot some of the places that I went two years ago. This stack of pancakes, however, I didn’t get an opportunity to have one at that time; it’s super yummy. You must try it!

I was attending an international conference, and it was very nice of the program committee to hand out a free ticket of the canal cruise to all of its participants. Also, I sincerely thank all of the people I met at the conference. Besides inspiring keynotes and talks, I think the best part of attending a conference is to meet such awesome people face-to-face: no matter which positions they are at, such as professors, students, or people from industry, they are all willing to share their interests and opinions with their great sense of humor.

This place has over 700 different kinds of beer as well as 30+ draft beer–AWESOME :) I had Blanche de Namur, and it was indeed a brilliant choice. For me, this night turned out to be the best time I had in Amsterdam thanks to these amazing people!

On my last day in Amsterdam, I got a chance to go to A’DAM Lookout and there was the Europe’s highest swing called ‘Over the Edge’. Doesn’t it look so scary and thrilling?! I would definitely try it if I visit there again–would I? To be honest, I am not an eager tourist who plans to visit all the landmarks of a city, but there are some places that I want to (re)visit if I get to travel in Amsterdam again some day :) What a cool city!

Overall, it was one of the most unique trips I’ve ever had; I went for a conference, presented my work, and discussed various interesting research topics, while having so much fun with other participants between and after the sessions. I really look forward to having many of this kind of moments in my life :) Cheers!

* More photos of Amsterdam: Google Photos

– Amsterdam, Netherlands
October 31-November 4, 2016