Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 11:30 - 12:00 at Kensington - Languages and Semantics

Procedure (or method) calls are a basic computation mechanism found in virtually every language. A procedure call may or may not create aliases for parameters. Understanding aliasing is critical for comprehending how programs will behave, with impact on other concepts such as parallelism.

In this paper we study the awareness and descriptions of aliasing behavior in two college-level audiences. The paper measures their understanding of aliasing, analyzes their written explanations of procedure calls, and identifies problems with their knowledge. In particular, we show that even upper-level students suffer from difficulties that instructors might have assumed have long since been addressed.

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Languages and SemanticsSPLASH-E at Kensington
10:30
30m
Talk
(CER) Early Experience with Grace
SPLASH-E
Andrew Black Portland State University, Kim Bruce Pomona College
File Attached
11:00
30m
Talk
(CER) Making the Liskov Substitution Principle Happy and Sad
SPLASH-E
Elisa Baniassad University of British Columbia
File Attached
11:30
30m
Talk
(CSES) Student Understanding of Aliasing and Procedure Calls
SPLASH-E
Preston Tunnell Wilson Brown University, Kathi Fisler Brown University, Shriram Krishnamurthi Brown University, USA
File Attached