‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy

The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at <Programming> before a panel of judges and conference attendees, and creates opportunities for learning and networking among researchers and practitioners. The SRC gives visibility to not only up-and-coming young researchers, but also to the field of computer science research and its community.

alt text

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 2 Apr

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

12:30 - 14:00
Poster SessionStudent Research Competition at Second floor hall
Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden
12:30
90m
Poster
RML: Runtime monitoring language
Student Research Competition
Luca Franceschini DIBRIS, University of Genova, Italy
12:30
90m
Poster
Automatic test case generation from UML state machine diagrams
Student Research Competition
12:30
90m
Poster
Reading logic as code or as natural language text
Student Research Competition
Patrick Rein Hasso Plattner Institute, Germany
12:30
90m
Poster
Cantor pairing in a reversible programming language
Student Research Competition
Francesco Rossini University of Turin, Italy
12:30
90m
Poster
Exploring example-driven migration
Student Research Competition
12:30
90m
Poster
Magritte: A modern shell language
Student Research Competition
Jeanine Miller Adkisson Tokyo Institute of Technology
12:30
90m
Poster
BacCaml: The Meta-Hybrid Just-In-Time Compiler
Student Research Competition
Yusuke Izawa Tokyo Institute of Technology
12:30
90m
Poster
A framework for big-step semantics
Student Research Competition
Francesco Dagnino DIBRIS, University of Genova, Italy

Wed 3 Apr

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

09:30 - 11:00
Oral PresentationStudent Research Competition at Bellini
Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden
09:30
15m
Talk
Cantor pairing in a reversible programming language (short presentation)
Student Research Competition
Francesco Rossini University of Turin, Italy
09:45
15m
Talk
Reading logic as code or as natural language text (short presentation)
Student Research Competition
Patrick Rein Hasso Plattner Institute, Germany
10:00
15m
Talk
A framework for big-step semantics (short presentation)
Student Research Competition
Francesco Dagnino DIBRIS, University of Genova, Italy
10:15
15m
Talk
RML: Runtime monitoring language (short presentation)
Student Research Competition
Luca Franceschini DIBRIS, University of Genova, Italy
10:30
15m
Talk
BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation)
Student Research Competition
Yusuke Izawa Tokyo Institute of Technology
10:45
15m
Talk
Magritte: A modern shell language (short presentation)
Student Research Competition
Jeanine Miller Adkisson Tokyo Institute of Technology

Call for Student Research Competition

In order to participate in the SRC, you have to fulfill the following requirements:

  • Current ACM student membership
  • Graduate or undergraduate student status (must be currently enrolled in a university or college) at the time of submission
  • If selected, participants must register for the conference

If you meet the above requirements and want to participate, you must submit an extended abstract of no more than 800 words, and no more than 2 pages (excluding references) to: Ana Milanova (milanova@cs.rpi.edu) and Philipp Haller (phaller@kth.se).

Submission deadline: Monday 11 February Friday 15 February 2019 (extended)

Your abstract should conform to the ACM SIGPLAN conference template, using the acmart class with the “sigconf” option, and it should be in 10pt font, and be submitted in PDF format. The research presented in the abstract has to be done on an individual basis for graduate students, but group projects are allowed for undergraduate submissions (one student must be chosen to present the work). The abstract should describe the research problem and motivation, background and related work, the intended solution approach and its uniqueness, results, and contributions.

Your extended abstract will be judged by a panel of judges:

  • Johannes Späth, Fraunhofer IEM, Germany
  • David Liu, State University of New York at Binghampton, USA
  • Ana Milanova, Rensselaer Polytechnic Institute, USA

You will be notified if you are accepted as a SRC participant to attend in Genova, Italy by Monday 18 February 2019. If your abstract is accepted, you will have to prepare a poster to present in the first round of the competition.

For more information about the ACM SRC, please visit the FAQ.

Student Research Competition Process

There are two rounds of SRC competition that are held during the conference, once your abstract is accepted, and a later Grand Finals competition:

First Round Competitions

The first round is the Poster Session. This is your opportunity to present your research in the areas specified in the conference’s call for papers. Judges will review the posters and speak to participants about their research. The judges will evaluate the research (quality, novelty, and significance) and the presentation of the research (poster, discussion), and a group of semi-finalists will be chosen to present at the second round of the competition.

Second Round Competitions

Semi-finalists continue by giving a short presentation (a ten minute presentation followed by a five minute question and answer period) of their research before a panel of judges, with a supporting slide presentation. Evaluations are based on the presenter’s knowledge of his/her research area, contribution of the research, and the quality of the oral and visual presentation. Three winners will be chosen in each category, undergraduate and graduate, receiving $500, $300, and $200, respectively.

The SRC Grand Finals

First place undergraduate and graduate student winners from the SRCs held during the year advance to the ACM SRC Grand Finals. A different panel of judges evaluates these winners against each other via the web. Three undergraduates and three graduates will be chosen as the SRC Grand Finals winners. They are invited, along with their advisors, to the annual ACM Awards Banquet, where they receive formal recognition.

Travel Expenses

ACM’s SRC program covers expenses up to $500 for all students invited to an SRC. The kinds of conference expenses that are acceptable include:

  • Transportation expenses (air, rail, bus, taxi, car service, car rental, parking)
  • Meals, hotel, tips
  • Supplies for poster development, poster shipment, etc.
  • Conference registration

Students will be reimbursed once we receive their SRC Travel Expense report form along with receipts for all expenses above $25.