TCE Conference 2015 – Program

  • Research Workshop of the Israel Science Foundation (ISF)

    Monday – June 1st

    08:30-09:30

    Gathering & registration

       

    09:30-09:40

    Prof. Peretz Lavie – President of the Technion – Israel Institute of Technology, Opening Remarks

    youtubeS  
     

    Session Chair: Eran Yahav, CS Technion

       

    09:40-10:20

    Martin Vechev, ETH Switzerland
    The Rubinger Family Visiting lectureship in TCE​
    Machine Learning for Programming

    youtubeS adobe reader  

    10:20-11:00

    Emery Berger, UMass Amherst
    The Rubinger Family Visiting lectureship in TCE​
    Programming Language Technology for the Sciences

    youtubeS adobe reader  

    11:00-11:25

    Alex Kesselman, Google
    Building Scalable Cloud Storage

    youtubeS adobe reader  

     

    11:25-11:45

    Coffee break    

    Session Chair: Mark Silberstein, EE Technion

       

    11:45-12:10

    Keren Censor-Hillel, Technion
    Are Lock-Free Algorithms Practically Wait-Free?

    youtubeS adobe reader  

    12:10-12:50

    Lorenzo Alvisi, UT Austin
    Salt: Combining ACID and BASE in a Distributed Database

    youtubeS adobe reader  
    12:50-13:40 Lunch    

    Session Chair: Emery Berger, UMass Amherst

       

    13:40-14:00

    Michael Kagan, Mellanox
    Enabling the Use of Data

    youtubeS adobe reader  

    14:00-14:40

    Patrice Godefroid, Microsoft Research
    The Rubinger Family Visiting lectureship in TCE​
    Automated Software Testing for the 21st Century

    youtubeS adobe reader  

    14:40-15:20

    Andreas Zeller, Saarland University, Germany
    The Rubinger Family Visiting lectureship in TCE​
    Guarantees from Testing

    youtubeS adobe reader  

    15:20-15:40

    Coffee break

       
    Session chair: Idit Keidar, EE Technion    

    15:40-16:05

    Shelly Garion, IBM
    Auditing, Security and Data Analytics for Cloud Object Stores

    youtubeS adobe reader  


    16:05-16:45

    Bianca Schroeder, University of Toronto
    Programming Paradigms for Massively Parallel Computing: Massively Inefficient?

    youtubeS adobe reader  

    16:45-17-10

    Omer Barkol, HP
    The Machine Changes … Software Stacks

    youtubeS adobe reader  

    17:10-17:35

    Ran Bittmann, SAP
    The Cloud as a Vehicle for Democratization of Hybrid Computing

    youtubeS adobe reader  

     

    Tuesday -June 2nd

    08:30-09:15

    Gathering & registration

     

    Session chair: Martin Vechev, ETH Switzerland

     

    09:15-09:55

    Martin Odersky, EPFL Switzerland
    Compilers are Databases

     

    09:55-10:20

    Ayal Zaks, Intel
    Compiling for Scalable Computing Systems – the Merit of SIMD

    youtubeS adobe reader

    10:20-11:05

    Robert O'Callahan, Mozilla Corporation
    The Rubinger Family Visiting lectureship in TCE​
    Taming Nondeterminism

    youtubeS adobe reader
    11:15-11:35 Coffee break  

    Session chair: Orna Berry, EMC Corporation

     

    11:35-12:15

    Radia Perlman, EMC Corporation
    Making Data be There When You Want it and Gone When You Want it Gone

    youtubeS adobe reader

    12:15-12:55

    Peter Druschel, MPI-SWS, Germany
    Ensuring Compliance in Large-scale Data Systems

    youtubeS adobe reader
    13:00-14:00

    Lunch

     

    Session chair: Lorenzo Alvisi, UT Austin

     

    14:00-14:40

    Wolfgang Roesner, IBM Systems
    Software Methods meet Large-Scale System-on-a-Chip Design: the Arrival of Aspect-Orient Design

    youtubeS adobe reader

    14:40-15:05

    Mark Silberstein, Technion
    Accelerator-Centric Operating Systems: Rethinking the Role of CPUs in Modern Computers

    youtubeS adobe reader 

    15:05-15:30

    Mooly Sagiv, Tel Aviv University
    Verifying Correctness of Stateful Networks

    youtubeS adobe reader 

    15:30-16:00

    Coffee break

     

    Session chair: Raphi Rom, EE Technion 

     

    16:00-16:25

    Benny Schnaider, Ravello
    Infrastructure Independent Application Life Cycle

    youtubeS adobe reader 

    16:25-16:50

    Ran Canetti, Tel Aviv University
    Cryptographic Software Obfuscation and Applications

     youtubeS

    16:50-17:10

    Rotem Oshman, Tel Aviv University
    Information-Theory Lower Bounds in Distributed Computing

     youtubeS adobe reader

    17:10-17:15

    Closing comments