Fri 22 Jan 2016 11:45 - 12:10 at Grand Bay North - Track 1: Program Design and Analysis Chair(s): Manu Sridharan
Our new macro expander for Racket builds on a novel approach to hygiene. Instead of basing macro expansion on variable renamings that are mediated by expansion history, our new expander tracks binding through a set of scopes that an identifier acquires from both binding forms and macro expansions. The resulting model of macro expansion is simpler and more uniform than one based on renaming, and it is sufficiently compatible with Racket’s current expander to be practical.
Fri 22 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Fri 22 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:10: Track 1: Program Design and AnalysisResearch Papers at Grand Bay North Chair(s): Manu SridharanSamsung Research America | |||
10:30 - 10:55 Talk | Newtonian Program Analysis via Tensor Product Research Papers Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc., Emma TuretskyCS Dept., Univ. of Wisconsin-Madison, Prathmesh PrabhuGoogle Media Attached | ||
10:55 - 11:20 Talk | Casper: An Efficient Approach to Call Trace Collection Research Papers Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiao XiaoThe Hong Kong University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongyu ZhangMicrosoft Research, Charles ZhangHKUST Media Attached | ||
11:20 - 11:45 Talk | Pushdown Control-flow Analysis for Free Research Papers Thomas GilrayUniversity of Utah, Steven Lyde, Michael D. AdamsUniversity of Utah, Matthew MightUniversity of Utah, USA, David Van HornUniversity of Maryland, College Park Pre-print Media Attached | ||
11:45 - 12:10 Talk | Binding as Sets of Scopes Research Papers Matthew FlattUniversity of Utah Pre-print Media Attached |