kirancodes.me
To Proof Maintenance & Beyond!
Venues / CC /

CC 2014

15 papers

  1. A First Step towards a Compiler for Business Processes · Thomas M. Prinz, Norbert Spieß, Wolfram Amme
  2. A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching · Martin Sulzmann, Pippijn van Steenhoven
  3. Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler · Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann
  4. CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations · Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
  5. Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code · Zheng Wang, Daniel Christopher Powell, Björn Franke, Michael F. P. O'Boyle
  6. Improving the Performance of X10 Programs by Clock Removal · Paul Feautrier, Eric Violard, Alain Ketterlin
  7. Inter-iteration Scalar Replacement Using Array SSA Form · Rishi Surendran, Rajkishore Barik, Jisheng Zhao, Vivek Sarkar
  8. Liveness-Based Garbage Collection · Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft
  9. Parameterized Construction of Program Representations for Sparse Dataflow Analyses · André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello
  10. Recovery of Class Hierarchies and Composition Relationships from Machine Code · Venkatesh Srinivasan, Thomas W. Reps
  11. String Analysis for Dynamic Field Access · Magnus Madsen, Esben Andreasen
  12. Taming Control Divergence in GPUs through Control Flow Linearization · Jayvant Anantpur, R. Govindarajan
  13. The PAPAGENO Parallel-Parser Generator · Alessandro Barenghi, Stefano Crespi Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
  14. Using the SSA-Form in a Code Generator · Benoît Dupont de Dinechin
  15. deGoal a Tool to Embed Dynamic Code Generators into Applications · Henri-Pierre Charles, Damien Couroussé, Victor Lomüller, Fernando Akira Endo, Rémy Gauguey