Events (21 results)

Functional Programming For All! Scaling a MOOC for Students and Professionals Alike

PLOOC 2015 When: Sun 14 Jun 2015 14:00 - 14:40 People: Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky

… …

Morning Wrapup

ARRAY When: Sat 13 Jun 2015 12:20 - 12:30

… Questions to all presenters from the morning sessions. …

Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code

SOAP When: Sun 14 Jun 2015 10:40 - 11:00 People: Nicholas Allen, Paddy Krishnan, Bernhard Scholz

… . Analyzing libraries statically requires novel abstractions for all possible … the behaviour of all possible applications. The key contribution is (1 … of the library with all possible applications. …

Evaluating Call Graph Construction for JVM-hosted Language Implementations

SOAP When: Sun 14 Jun 2015 14:00 - 14:30 People: Frank Tip

… . For Scala and OCaml, all unsoundness comes from rare, complex uses …

Making Proof Tutors out of Proof Assistants

PLOOC 2015 When: Sun 14 Jun 2015 16:40 - 17:20 People: Peter-Michael Osera, Steve Zdancewic

… , and program execution visualization. However, for all of its close connections …

Abstract Expressionism for Parallel Performance

ARRAY When: Sat 13 Jun 2015 17:00 - 17:30 People: Robert Bernecky, Sven-Bodo Scholz

… .

We show that all of our serial \sac\ algorithms outperform serial C …

One Minute Madness

Research Papers When: Mon 15 Jun 2015 10:30 - 10:50Tue 16 Jun 2015 08:45 - 09:10Wed 17 Jun 2015 08:30 - 09:00

… We will show the 60 second video abstracts for all of today’s talks. …

ACM SIGPLAN Townhall Meeting

Research Papers When: Tue 16 Jun 2015 16:30 - 17:30 People: Jan Vitek

… to all, food and drinks will be served.* …

A Formal C Memory Model Supporting Integer-Pointer Casts

Research Papers When: Tue 16 Jun 2015 14:00 - 14:25 People: Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis

… of pointers. All arithmetic operations are well-defined for pointers that have been … and program with. All our results are fully formalized in Coq.

PLDI 2015 Artifact Evaluated Badge

KJS: A Complete Formal Semantics of JavaScript

Research Papers When: Tue 16 Jun 2015 14:50 - 15:15 People: Daejun Park, Andrei Stefanescu, Grigore Rosu

… the ECMAScript 5 conformance test suite, and passes all 2,782 core language tests. Among the existing implementations of JavaScript, only Chrome’s passes all

Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack

Research Papers When: Mon 15 Jun 2015 14:00 - 14:25 People: Maarten Faddegon, Olaf Chitil

… Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by the debugger. This is a pity, because …

Autotuning Algorithmic Choice for Input Sensitivity

Research Papers When: Wed 17 Jun 2015 09:40 - 10:05 People: Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O’Reilly, Saman Amarasinghe

… to a 3x speedup over using a single configuration for all inputs, and a 34x …

DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs

Research Papers When: Tue 16 Jun 2015 14:00 - 14:25 People: Akash Lal, Shaz Qadeer

… of deciding reachability in hierarchical programs is to first inline all

Automated Detection of Performance Bugs via Static Analysis

Research Papers When: Wed 17 Jun 2015 09:15 - 09:40 People: Oswaldo Olivo, Isil Dillig, Calvin Lin

… program for different input sizes. With an input size of 50,000, all repaired …

Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments

Research Papers When: Wed 17 Jun 2015 14:00 - 14:25 People: Murali Krishna Emani, Michael O'Boyle

all policy.There is little ability to either evaluate or adapt the policy when … adaptive and show that our approach, in all cases, outperforms existing schemes …

CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics

Tutorials When: Sat 13 Jun 2015 14:00 - 15:30Sat 13 Jun 2015 16:00 - 18:00 People: Nadav Chachmon, Magnus Christensson, Vijay J. Reddi

… , including BIOS, kernel, drivers and all processes. The tutorial …

A Semantics-Directed Approach to Program Termination

Tutorials When: Sat 13 Jun 2015 11:20 - 12:30Sat 13 Jun 2015 09:00 - 11:00 People: Salvador Lucas, José Meseguer

… as the absence of infinite inference: all proof attempts must either successfully terminate …

Monitoring Refinement via Symbolic Reasoning

Research Papers When: Tue 16 Jun 2015 10:05 - 10:30 People: Michael Emmi, Constantin Enea, Jad Hamza

… detect nearly all violations arising in actual executions.

PLDI 2015 Artifact Evaluated Badge

Defining the undefinedness of C

Research Papers When: Tue 16 Jun 2015 14:25 - 14:50 People: Chris Hathhorn, Chucky Ellison, Grigore Rosu

… examples of all 77 categories of core language undefinedness appearing in the C11 …

Light: Replay via Tightly Bounded Recording

Research Papers When: Mon 15 Jun 2015 14:50 - 15:15 People: Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng

… also reproduce all the bugs we have collected whereas existing techniques miss some …

Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics

Tutorials When: Sat 13 Jun 2015 09:00 - 11:00Sat 13 Jun 2015 11:20 - 12:30 People: Knud Kirkegaard, Anoop M. Prabha

… of the GPU. The C++ compiler handles all aspects of both the host and target …