The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CC"( http://dblp.L3S.de/Venues/CC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cc

Publication years (Num. hits)
1988 (18) 1989-1990 (24) 1991-1992 (30) 1994 (30) 1996 (25) 1998 (25) 1999 (23) 2000 (20) 2001 (27) 2002 (24) 2003 (24) 2004 (21) 2005 (23) 2006 (22) 2007 (16) 2008 (21) 2009 (20) 2010 (18) 2011 (17) 2012-2013 (28) 2014 (16) 2015-2016 (43) 2017-2018 (35) 2019 (19)
Publication types (Num. hits)
inproceedings(542) proceedings(27)
Venues (Conferences, Journals, ...)
CC(569)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 130 occurrences of 106 keywords

Results
Found 569 publication records. Showing 569 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1James Renwick, Tom Spink, Björn Franke Low-cost deterministic C++ exceptions for embedded systems. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yang Xia, Peng Jiang, Gagan Agrawal Enabling prefix sum parallelism pattern for recurrences with principled function reconstruction. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1José Nelson Amaral, Milind Kulkarni 0001 (eds.) Proceedings of the 28th International Conference on Compiler Construction, CC 2019, Washington, DC, USA, February 16-17, 2019 Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Komal Pathade, Uday P. Khedker Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saman P. Amarasinghe The sparse tensor algebra compiler (keynote). Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ying Liu, Lei Huang, Mingchuan Wu, Huimin Cui, Fang Lv, Xiaobing Feng 0002, Jingling Xue PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Charith Mendis, Ajay Jain, Paras Jain, Saman P. Amarasinghe Revec: program rejuvenation through revectorization. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Takafumi Kubota, Yusuke Suzuki, Kenji Kono To unify or not to unify: a case study on unified builds (in WebKit). Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuel Serrano, Marc Feeley Property caches revisited. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hongbo Li, Zizhong Chen, Rajiv Gupta 0001 Efficient concolic testing of MPI applications. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Raghesh Aloor, V. Krishna Nandivada Efficiency and expressiveness in UW-OpenMP. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi A static slicing method for functional programs and its incremental version. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ji Hwan Yeo, JinSeok Oh, Soo-Mook Moon Accelerating web application loading with snapshot of event and DOM handling. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rahman Lavaee, John Criswell, Chen Ding Codestitcher: inter-procedural basic block layout optimization. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thorsten Blaß, Michael Philippsen GPU-accelerated fixpoint algorithms for faster compiler analyses. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manas Thakur, V. Krishna Nandivada Compare less, defer more: scaling value-contexts based whole-program heap analyses. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maxime Schmitt, Philippe Helluy, Cédric Bastoul Automatic adaptive approximation for stencil computations. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tong Zhou, Michael R. Jantz, Prasad A. Kulkarni, Kshitij A. Doshi, Vivek Sarkar Valence: variable length calling context encoding. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bongjun Kim, Seonyeong Heo, Gyeongmin Lee, Seungbin Song, Jong Kim 0001, Hanjun Kim Spinal code: automatic code extraction for near-user computation in fogs. Search on Bibsonomy CC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stanislav Manilov, Christos Vasiladiotis, Björn Franke Generalized profile-guided iterator recognition. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexei Colin, Brandon Lucia Termination checking and task decomposition for task-based intermittent programs. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Komal Pathade, Uday P. Khedker Computing partially path-sensitive MFP solutions in data flow analyses. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Haiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder Efficient dynamic analysis for Node.js. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Doerfert, Shrey Sharma, Sebastian Hack Polyhedral expression propagation. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, Björn Franke Towards a compiler analysis for parallel algorithmic skeletons. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bettina Heim Compiler and language design for quantum computing (keynote). Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gergö Barany Finding missed compiler optimizations by differential testing. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Delphine Demange, Yon Fernández de Retana, David Pichardie Semantic reasoning about the sea of nodes. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis An efficient data structure for must-alias analysis. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xipeng Shen Rethinking compilers in the rise of machine learning and AI (keynote). Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón Compiling for concise code and efficient I/O. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle CAnDL: a domain specific language for compiler analysis. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen 0001 Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jacob Brock, Chen Ding, Xiaoran Xu, Yan Zhang PAYJIT: space-optimal JIT compilation and its practical implementation. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christophe Dubach, Jingling Xue (eds.) Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria Search on Bibsonomy CC The full citation details ... 2018 DBLP  BibTeX  RDF
1Jie Zhao 0002, Michael Kruse, Albert Cohen 0001 A polyhedral compilation framework for loops with dynamic data-dependent bounds. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jisheng Zhao, Michael G. Burke, Vivek Sarkar Parallel sparse flow-sensitive points-to analysis. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Magnus Madsen, Ramin Zarifi, Ondrej Lhoták Tail call elimination and data representation for functional languages on the Java virtual machine. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal A session type provider: compile-time API generation of distributed protocols with refinements in F#. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patrick Thier, M. Anton Ertl, Andreas Krall Fast and flexible instruction selection with constraints. Search on Bibsonomy CC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nikita Popov, Biagio Cosenza, Ben H. H. Juurlink, Dmitry Stogov Static optimization in PHP 7. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Christian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Würthinger One compiler: deoptimization to optimized code. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Richard Townsend, Martha A. Kim, Stephen A. Edwards From functional programs to pipelined dataflow circuits. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Arjun Suresh, Erven Rohou, André Seznec Compile-time function memoization. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Robin Morisset, Francesco Zappa Nardelli Partially redundant fence elimination for x86, ARM, and power processors. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Peng Wu 0001, Sebastian Hack (eds.) Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017 Search on Bibsonomy CC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nouraldin Jaber, Milind Kulkarni 0001 Data structure-aware heap partitioning. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Rumyana Neykova, Nobuko Yoshida Let it recover: multiparty protocol-induced recovery. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Di Federico, Mathias Payer, Giovanni Agosta rev.ng: a unified binary analysis framework to recover CFGs and function boundaries. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Dan Brotherston, Werner Dietl, Ondrej Lhoták Granullar: gradual nullable types for Java. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood Lightweight data race detection for production runs. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen 0001 Optimization space pruning without regrets. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Lian Li 0002, Yi Lu 0003, Jingling Xue Dynamic symbolic execution for polymorphism. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Jun Shirako, Akihiro Hayashi, Vivek Sarkar Optimized two-level parallelization for GPU accelerators using the polyhedral model. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Phitchaya Mangpo Phothilimthana, Aditya Thakur 0001, Rastislav Bodík, Dinakar Dhurjati GreenThumb: superoptimizer construction framework. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar Automatic data layout generation and kernel mapping for CPU+GPU architectures. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Delphine Demange, Yon Fernández de Retana Mechanizing conventional SSA for a verified destruction with coalescing. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond Kindergarten cop: dynamic nursery resizing for GHC. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amlan Kusum, Iulian Neamtiu, Rajiv Gupta 0001 Safe and flexible adaptation via alternate data structure representations. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann On fast large-scale program analysis in Datalog. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cédric Bastoul Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Clemens Hammacher, Kevin Streit, Andreas Zeller, Sebastian Hack Thread-level speculation with kernel support. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Haowei Wu, Shengqian Yang, Atanas Rountev Static detection of energy defect patterns in Android applications. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simon Moll, Johannes Doerfert, Sebastian Hack Input space splitting for OpenCL. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Register allocation and instruction scheduling in Unison. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, Alexandra Jimborean Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada Improved MHP Analysis. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vineet Singh, Rajiv Gupta 0001, Iulian Neamtiu Automatic fault location for data structures. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ali Afroozeh, Anastasia Izmaylova Iguana: a practical data-dependent parsing framework. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Minjia Zhang, Swarnendu Biswas, Michael D. Bond Relaxed dependence tracking for parallel runtime support. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel SYCO: a systematic testing tool for concurrent objects. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Buchwald, Denis Lohner, Sebastian Ullrich 0002 Verified construction of static single assignment form. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, P. Sadayappan On fusing recursive traversals of K-d trees. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alain Darte, Alexandre Isoard, Tomofumi Yuki Extended lattice-based memory allocation. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yulei Sui, Jingling Xue SVF: interprocedural static value-flow analysis in LLVM. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Niall Murphy, Timothy M. Jones 0001, Robert Mullins, Simone Campanoni Performance implications of transient loop-carried data dependences in automatically parallelized loops. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicholas Ng, Nobuko Yoshida Static deadlock detection for concurrent go by global session graph synthesis. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lukasz Domagala, Duco van Amstel, Fabrice Rastello, P. Sadayappan Register allocation and promotion through combined instruction scheduling and loop unrolling. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha Sparse representation of implicit flows with applications to side-channel detection. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1François Pottier Reachability and error diagnosis in LR(1) parsers. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap Heap bounds protection with low fat pointers. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayal Zaks, Manuel V. Hermenegildo (eds.) Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016 Search on Bibsonomy CC The full citation details ... 2016 DBLP  BibTeX  RDF
1Zhen Cao, Clark Verbrugge Reducing memory buffering overhead in software thread-level speculation. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira Restrictification of function arguments. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amanj Sherwany, Nosheen Zaza, Nathaniel Nystrom A Refactoring Library for Scala Compiler Extensions. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sebastian Buchwald Optgen: A Generator for Local Optimizations. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alain Darte, Alexandre Isoard Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida Protocols by Default - Safe MPI Code Generation Based on Session Types. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ali Afroozeh, Anastasia Izmaylova Faster, Practical GLL Parsing. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Björn Franke (eds.) Compiler Construction - 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vincent St-Amour, Leif Andersen, Matthias Felleisen Feature-Specific Profiling. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicholas Hollingum, Bernhard Scholz Towards a Scalable Framework for Context-Free Language Reachability. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Delphine Demange, David Pichardie, Léo Stefanesco Verifying Fast and Sparse SSA-Based Optimizations in Coq. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan Staged Points-to Analysis for Large Code Bases. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Keshav Pingali, Gianfranco Bilardi A Graphical Model for Context-Free Grammar Parsing. Search on Bibsonomy CC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella The PAPAGENO Parallel-Parser Generator. Search on Bibsonomy CC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Feautrier, Eric Violard, Alain Ketterlin Improving the Performance of X10 Programs by Clock Removal. Search on Bibsonomy CC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft Liveness-Based Garbage Collection. Search on Bibsonomy CC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 569 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license