Write a Blog >>

0 results

People (6 results)
Isil Dillig

Isil Dillig

UT Austin

… Isil Dillig is an assistant professor of computer science at UT Austin. She obtained all her degrees (BS, MS, PhD) in computer science from Stanford University. Prior to joining UT Austin, she was a researcher at Microsoft Research …

Jordi Cabot

Jordi Cabot

ICREA - UOC

… the rigorous use of software models and engineering principles in all software …

Laurie Hendren

Laurie Hendren

McGill University, Canada

… pieces back them so that all compiler groups can benefit from the work. …

Events (27 results)

Accepted posters and posters for all the accepted papers will be presented in this session

LCTES 2017 When: Wed 21 Jun 2017 14:00 - 15:00

… …

HPTT: A High-Performance Tensor Transposition C++ Library

ARRAY 2017 When: Sun 18 Jun 2017 17:00 - 17:30 People: Paul Springer, Tong Su, Paolo Bientinesi

… Recently we presented TTC, a domain-specific compiler for tensor transpositions. Despite the fact that the performance of the generated code is nearly optimal, due to its offline nature, TTC cannot be utilized in all the application codes …

Hermes: Assessment and Creation of Effective Test Corpora

SOAP When: Sun 18 Jun 2017 16:00 - 16:20 People: Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini

… a minimal subset of all QC projects useful for generic data- and control-flow …

Static Analysis for Improving Software Performance, Safety and Security

LCTES 2017 When: Wed 21 Jun 2017 09:15 - 10:15 People: Jingling Xue

… Static program analysis is increasingly recognized as a fundamental tool for compiler optimization, bug detection and security analysis (among others). Pointer analysis is the foundation, on which virtually all other analyses are based …

Attending Information (2 results)

Visa

… ACM can provide visa support letters to confirmed participants. For Visa support letters, please send all requests to the Office of SIG Services supportletters@acm.org with the following information:

  • Your name as it appears on your …

Sponsoring

… plus

  • logo on all

  • Tracks (10 results)

    SOAP 2017

    … talks by leading members of the program analysis community, presentations of all … reference must list all authors of the paper. The citations should …

    Deep Specifications in the Wild 2017

    … of formal-methods approaches, the presentations from our team will all be about …

    First Workshop on Incremental Computing

    … of the submission – they will most likely not be. All submissions should …

    Homepage (9 results)

    PLMW 2017 Homepage

    … Programming Languages Mentoring Workshop@PLDI 2017 Welcome to the website of the Programming Languages Mentoring Workshop@PLDI 2017 conference. We are working hard to fill the website with all related information. Please check back soon! …

    ISMM 2017 Homepage

    … …

    LCTES 2017 Homepage

    … and their reproduction, and confirmation



    All accepted papers …