Search events for 'all'
One VM to Rule Them All, One VM to Bind Them
Tutorials When: Mon 13 Jun 2016 13:30 - 15:00Mon 13 Jun 2016 15:30 - 17:00 People: Christian Wimmer
… integration with all other Truffle languages, and tool support - all of that by just …
Panel Discussion
FMS When: Mon 13 Jun 2016 16:15 - 17:00
… A panel discussion with all the invited speakers, including questions from the audience. …
Introduction to (Resilient) X10 and APGAS -- slides are attached
X10 When: Tue 14 Jun 2016 09:10 - 10:00 People: Olivier Tardieu
… This talk will present a high-level introduction to the X10 language with the goal of ensuring a common base knowledge of X10 by all workshop attendees. The X10 language will be introduced primarily via code examples with a focus …
Verifying Constant-Time Implementations
FMS When: Mon 13 Jun 2016 14:15 - 15:00 People: Michael Emmi
… speedups or to comply with legacy APIs, would be declared insecure by all prior …
The Secrets
PLMW@PLDI 2016 When: Tue 14 Jun 2016 13:45 - 14:00 People: Jason Mars
… The Secrets is a tell-all expose of the key insights and ideas that has made Jason Mars successful as a researcher and intellectual. By intermingling … on the all-too chaotic publication process. …
Invited Talk: Toward Gamification of Proofs about Programs
SOAP When: Tue 14 Jun 2016 15:30 - 16:15 People: Sorin Lerner
… logical proofs in natural deduction. In this context, if we erase all the symbols, our …
Verifying Precise Floating-Point Optimizations in LLVM
SOAP When: Tue 14 Jun 2016 14:40 - 15:00 People: andres Notzli, Fraser Brown
… It is vital to optimize floating-point arithmetic because it is ubiqui- tous, costly, and used in compute-heavy workloads. Implementing precise optimizations correctly, however, is difficult, since devel- opers must account for all …
What’s Next for Program Synthesis
PLMW@PLDI 2016 When: Tue 14 Jun 2016 15:30 - 15:55 People: Armando Solar-Lezama
… Over the last ten years, program synthesis technology has moved from the fringes of AI to the forefront of programming systems research. Today, there are synthesis sessions in all the major PL and software engineering conferences, and our …
Keynote talk: Rethinking Memory System Design
ISMM When: Tue 14 Jun 2016 09:00 - 10:10 People: Onur Mutlu
… The memory system is a fundamental performance and energy bottleneck in almost all computing systems. Recent system design, application, and technology trends that require more capacity, bandwidth, efficiency, and predictability out …
Keynote: “Love, Marriage, and Happiness”
PLMW@PLDI 2016 When: Tue 14 Jun 2016 09:15 - 10:00 People: Matthias Felleisen
… When you are falling in love, everything feels different. You can’t wait to see her (him) again. Actually you want to be with her (him) all the time. You are plain happy.
When you get married, you are in love. But life has a habit …
Cross-platform analysis of mobile apps using the WALA framework
Tutorials When: Tue 14 Jun 2016 13:30 - 15:00Tue 14 Jun 2016 15:30 - 17:00 People: Julian Dolby, Omer Tripp, Sukyoung Ryu
… languages and for different architectures. Many concerns are shared across all …, and semantic models, underlying all of the above the platforms, enabling one to write the analysis algorithm once and apply it to all these platforms …
Ivy: Safety Verification by Interactive Generalization
Research Papers When: Fri 17 Jun 2016 09:30 - 10:00 People: Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham
… a restricted modeling language. This ensures that all verification conditions can be checked algorithmically. All user interactions are performed using graphical models …
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
Research Papers When: Thu 16 Jun 2016 17:00 - 17:30 People: Sepideh Maleki, Annie Yang, Martin Burtscher
… implementation unifies all of these computations in a single 100-statement kernel. SAM …
Living on the edge: Rapid-toggling probes with cross modification on x86
Research Papers When: Wed 15 Jun 2016 11:00 - 11:30 People: Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton
… state of the program—typically in which all the program threads are halted …
Temporal NetKAT
Research Papers When: Thu 16 Jun 2016 14:00 - 14:30 People: Ryan Beckett, Michael Greenberg, David Walker
… , unified framework, called Temporal NetKAT, capable of facilitating all …
On the Complexity and Performance of Parsing with Derivatives
Research Papers When: Wed 15 Jun 2016 16:30 - 17:00 People: Michael D. Adams, Celeste Hollenbeck, Matthew Might
… Current algorithms for context-free parsing inflict a trade-off between ease of understanding, ease of implementation, theoretical complexity, and practical performance. No algorithm achieves all of these properties simultaneously.
Might …
PROSE: Programming using Examples
Tutorials When: Tue 14 Jun 2016 09:00 - 10:00Tue 14 Jun 2016 10:30 - 12:00 People: Sumit Gulwani, Alex Polozov
… of technologies for PBE that facilitates all stages of this pipeline. Given … introduces all concepts of PBE, illustrating them with concurrent implementation …
Occurrence Typing Modulo Theories
Research Papers When: Thu 16 Jun 2016 11:00 - 11:30 People: Andrew Kent, David Kempe II, Sam Tobin-Hochstadt
… study, and examine all vector accesses in a 56,000 line corpus of Typed Racket …
Into the depths of C: elaborating the de facto standards
Research Papers When: Wed 15 Jun 2016 10:30 - 11:00 People: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
… there are conflicts. We apply all this to an experimental C implemented above …
Just-in-Time Static Type Checking for Dynamic Languages
Research Papers When: Thu 16 Jun 2016 15:30 - 16:00 People: Brianna M. Ren, Jeffrey S. Foster
… found that all apps typecheck successfully using Hummingbird. By applying …