Search events for 'all'
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.
…
KJS: A Complete Formal Semantics of JavaScript
Research Papers When: Tue 16 Jun 2015 14:50 - 15:15 People: Daejun Park, Andrei Stefanescu, Grigore Roşu
… 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 …
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, Işıl Dillig, Calvin Lin
… program for different input sizes. With an input size of 50,000, all repaired …
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 …
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 F. P. 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 …
Defining the undefinedness of C
Research Papers When: Tue 16 Jun 2015 14:25 - 14:50 People: Chris Hathhorn, Chucky Ellison, Grigore Roşu
… examples of all 77 categories of core language undefinedness appearing in the C11 …
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.
…
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 …