Finalists at the Student Lightning Talk Session at POPL'12

Talk 1 (SV+, A high level hardware design language, Alex Wang, Shanghai Jiaotong University)

Talk 2 (Getting More Done With Weaker Tools, Daniel King, Northeastern University)

Talk 3 (The K Semantic Framework, David Lazar, University of Illinois at Urbana-Champaign )

Talk 4 (Extensible Syntax via Type-Oriented Island Parsing, Erik Silkensen, University of Colorado)

Talk 5 (Formal Verification of a Real Time Operating System, Gadi de Leon Tellez Espinosa, University of Saskatchewan)

Talk 6 (ScanDal: Static Analyzer for Detecting Privacy Leaks in Android Applications, Jinyung Kim, Seoul National University)

Talk 7 (Translation from Multi-Staged Calculus to Context Calculus, Joonwon Choi, Seoul National University)

Talk 8 (Static Expession of Thread-Locality in Java for Improved Type Checking and Application Performance, Nosheen Zaza, Uppsala University)

Talk 9 (Compiling the Game Description Language, Abdallah Saffidine, Université Paris-Dauphine)

Talk 10 (A Compiler for Beluga, Francisco Ferreira, McGill University)

Talk 11 (Let there be trees, Jeroen Bransen, Utrecht University)

Talk 12 (A type debugger using compiler's type inference, Kanae Tsushima, Ochanomizu University)

Talk 13 (--auto-parallelize should be implied by -O3, Paul Bone, National, University of Melbourne)

Talk 14 (Designing Ceylon, Ross Tate, University of California, San Diego)

Talk 15 (Labels to simplify efficient evaluation, Thibaut Balabonski, Univ Paris Diderot Sorbonne)

Talk 16 (Virtual Value for Language Extension, Tim Disney, University of California Santa Cruz)

Talk 17 (Bounded Verification of Quantized Digital Filters, Arlen Cox, University of Colorado)

Talk 18 (Quis cu -- Who watches their own dogfood?, Christian von Essen, UJF Grenoble Verimag)

Talk 19 (Measuring Reasoning Scope with Symbolic Trace Interpretation, Devin Coughlin, University of Colorado)

Talk 20 (Global static analysis of million lines of code, Hakjoo Oh, Seoul National University)

Talk 21 (Capsules and Separation, Jean-Baptiste Jeannin, Cornell University)

Talk 22 (CSolve: Verification via Low-Level Liquid Types, Patrick Rondon, University of California, San Diego)

Talk 23 (Termination Analysis with Exact Learning, Wonchan Lee, Seoul National University)

Talk 24 (Data flow graphs for program analysis, Zachary Kincaid, University of Toronto)

Talk 25 (The Rise of the Interpolants, Aws Albarghouthi, University of Toronto)

Talk 26 (Splitting via Interpolants, Evren Ermis, University of Freiburg)

Talk 27 (Monadic Aspect Semantics, Ismael Figueroa, University of Chile)

Talk 29 (Meta-Lambda Calculus: Syntax and Semantics, Moe Masuko, Ochanomizu University)

Talk 30 (Modern Generic Programming in Chapel, Neelam Satish Agrawal, University of Colorado)

Talk 31 (GMeta: A Generic Formal Metatheory Framework for First-Order Representations, Sungkeun Cho, Seoul National University)

Talk 32 (A Better API for Java Reflection, Zalia Shams, Department of Computer Science Virginia Tech)