IRILL - Research and Innovation on Free Software

Publications

2015

  • Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, and Stefano Zacchiroli. Mining component repositories for installability issues. In MSR 2015: The 12th Working Conference on Mining Software Repositories, 24–33. IEEE, 2015. doi:10.1109/MSR.2015.10.
    Bibtex ]

  • Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, and Jakub Zwolakowski. Automatic deployment of services in the cloud with aeolus blender. In ICSOC 2015: 13th International Conference on Service Oriented Computing, 397–411. Springer-Verlag, 2015. doi:10.1007/978-3-662-48616-0_28.
    Bibtex ]

  • Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, and Jakub Zwolakowski. Automatic application deployment in the cloud: from practice to theory and back. In CONCUR 2015: 26th International Conference on Concurrency Theory, volume 42 of Leibniz International Proceedings in Informatics (LIPIcs), 1–16. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2015. doi:10.4230/LIPIcs.CONCUR.2015.1.
    Bibtex ]

  • Stefano Zacchiroli. The debsources dataset: two decades of debian source code metadata. In MSR 2015: The 12th Working Conference on Mining Software Repositories, 466–469. IEEE, 2015. doi:10.1109/MSR.2015.65.
    Bibtex ]

2014 (to appear)

  • Tobias Grosser, Sven Verdoolaege, Albert Cohen, P. Sadayappan, and Justin Holewinski. Hybrid hexagonal/classical tiling for gpus. In International Symposium on Code Generation and Optimization (CGO), Proc. 2014 (to appear).
    Bibtex ]

2014

  • Albert Cohen, editor. 17\th International Conference on Compiler Construction (CC), number 8409 in LNCS, Grenoble, France, April 2014. Springer-Verlag.
    Bibtex ]

  • Ivica Crnkovic, Marsha Chechik, and Paul Grünbacher, editors. ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014, ACM, 2014. URL: http://dl.acm.org/citation.cfm?id=2642937.
    Bibtex ]

  • Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, and Stefano Zacchiroli. Using preferences to tame your package manager. In OCaml 2014: The OCaml Users and Developers Workshop. 2014.
    Bibtex ]

  • Vincent Balat. Rethinking traditional web interaction: theory and implementation. International Journal on Advances in Internet Technology, 2014. URL: http://www.iariajournals.org/internet_technology/.
    Bibtex ]

  • Matthieu Caneill and Stefano Zacchiroli. Debsources: live and historical views on macro-level software evolution. In ESEM 2014: 8th International Symposium on Empirical Software Engineering and Measurement. 2014. to appear.
    Bibtex ]

  • Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, and Alexis Agahi. Automated synthesis and deployment of cloud applications. In ASE 2014: 29th IEEE/ACM International Conference on Automated Software Engineering, 211–222. ACM, 2014. URL: http://doi.acm.org/10.1145/2642937.2642980, doi:10.1145/2642937.2642980.
    Bibtex ]

  • Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, and Gianluigi Zavattaro. Aeolus: A component model for the cloud. Information and Computation, 239:100–121, 2014. URL: http://dx.doi.org/10.1016/j.ic.2014.11.002, doi:10.1016/j.ic.2014.11.002.
    Bibtex ]

  • Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, and Sven Verdoolaege. Hybrid hexagonal/classical tiling for gpus. In Intl. Symp. on Code Generation and Optimization (CGO). Orlando, FL, February 2014.
    Bibtex ]

  • Tobias Grosser, Sven Verdoolaege, Albert Cohen, and P. Sadayappan. The relation between diamond tiling and hexagonal tiling. In 1\st International Workshop on High-Performance Stencil Computations (HiStencils, associated with HiPEAC). Vienna, Austria, January 2014.
    Bibtex ]

  • Sven Verdoolaege, Serge Guelton, Tobias Grosser, and Albert Cohen. Schedule trees. IMPACT 2014 4th International Workshop on Polyhedral Compilation Techniques, 2014.
    Bibtex ]

2013

  • Albert Cohen and Chenggang Wu, editors. 10\th International Symposium on Advanced Parallel Processing Technologies (APPT), number 8299 in LNCS, Stockholm, Sweden, August 2013. Springer-Verlag.
    Bibtex ]

  • Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen, editors. Dagstuhl Seminar 13142 on Correct and Efficient Accelerator Programming, volume 1 of Dagstuhl Reports, Dagstuhl Publishing, April 2013.
    Bibtex ]

  • Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Learning from the future of component repositories. Science of Computer Programming, 90(B):93–115, 2013. doi:10.1016/j.scico.2013.06.007.
    Bibtex ]

  • Vincent Balat. Client-server web applications widgets. In WWW'13 dev track: Proceedings of the 22nd international conference on World Wide Web, 19–22. Rio de Janeiro, Brazil, 2013. URL: http://dl.acm.org/citation.cfm?id=2487788.2487795.
    Bibtex ]

  • Vincent Balat. Rethinking Traditional Web Interaction. In Proceedings of the Eighth International Conference on Internet and Web Applications and Services. France, 2013.
    Bibtex ]

  • Benjamin Canou, Emmanuel Chailloux, and Vincent Balat. A Declarative-friendly API for Web Document Manipulation. In International Symposium on Practical Aspects of Declarative Languages (PADL 2013), number 7752 in Lecture Notes in Computer Science, 109–124. Springer Verlag, January 2013.
    Bibtex ]

  • Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, and Jakub Zwolakowski. Aeolus: mastering the complexity of cloud application deployment. In ESOCC 2013: Service-Oriented and Cloud Computing, volume 8135 of LNCS, 1–3. Springer-Verlag, 2013. doi:10.1007/978-3-642-40651-5_1.
    Bibtex ]

  • Albert Cohen, Tobias Grosser, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, and Sven Verdoolaege. Split tiling for gpus: automatic parallelization using trapezoidal tiles to reconcile parallelism and locality, avoiding divergence and load imbalance. In GPGPU 6. Houston, March 2013.
    Bibtex ]

  • Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, and Jakub Zwolakowski. Optimal provisioning in the cloud. Technical Report, Aeolus project, Juin 2013.
    Bibtex ]

  • Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, and Gianluigi Zavattaro. Component reconfiguration in the presence of conflicts. In ICALP 2013: 40th International Colloquium on Automata, Languages and Programming, volume 7966 of LNCS, 187–198. Springer-Verlag, 2013. doi:10.1007/978-3-642-39212-2_19.
    Bibtex ]

  • Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Formal aspects of free and open source software components. In FMCO 2012: HATS International School on Formal Models for Components and Objects, volume 7866 of LNCS, 216–239. Springer-Verlag, 2013.
    Bibtex ]

  • Jacques Garrigue and Didier Rémy. Ambivalent types for principal type inference with GADT. In Chung-chien Shan, editor, 11th Asian Symposium on Programming Languages and Systems, volume 8301 of LNCS. Melbourne, VIC, Australia, December 2013. Springer.
    Bibtex ]

  • Tobias Grosser, Albert Cohen, Paul HJ Kelly, J Ramanujam, P Sadayappan, and Sven Verdoolaege. Split tiling for gpus: automatic parallelization using trapezoidal tiles. In Proceedings of the 6th Workshop on General Purpose Processor Using Graphics Processing Units, 24–31. ACM, 2013.
    Bibtex ]

  • Tobias Grosser, Sven Verdoolaege, Albert Cohen, and P. Sadayappan. The Promises of Hybrid Hexagonal/Classical Tiling for GPU. Technical Report RR-8339, INRIA, July 2013.
    Bibtex ]

  • Nhat Minh Lê, Adrien Guatto, Albert Cohen, and Antoniu Pop. Correct and efficient bounded FIFO queues. In SBAC-PAD. Porto de Galinhas, Brazil, October 2013. IEEE.
    Bibtex ]

  • Nhat Minh Lê, Antoniu Pop, Albert Cohen, and Francesco Zappa Nardelli. Correct and efficient work-stealing for weak memory models. In Symp. on Principles and Practice of Parallel Programming (PPoPP). Shenzhen, China, February 2013.
    Bibtex ]

  • Robin Morisset, Pankaj Pawan, and Francesco Zappa Nardelli. Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. In Proc. PLDI. ACM, 2013.
    Bibtex ]

  • Antoniu Pop and Albert Cohen. OpenStream: expressiveness and data-flow compilation of OpenMP streaming programs. ACM Transactions on Architecture and Code Optimization (TACO), January 2013. Selected for presentation at the HiPEAC 2013 Conference.
    Bibtex ]

  • Gabriel Scherer and Didier Rémy. GADT meet subtyping. In 22nd European Symposium on Programming (ESOP), number 7792 in LNCS. IEEE Computer Society, March 2013.
    Bibtex ]

  • Ramakrishna Upadrasta and Albert Cohen. Sub-polyhedral scheduling using \hbox (Unit-)two-variable-per-inequality polyhedra. In 40\th Symp. on Principles of Programming Languages (POPL). Rome, Italy, January 2013.
    Bibtex ]

  • Jérôme Vouillon and Roberto Di Cosmo. On software component co-installability. ACM Trans. Softw. Eng. Methodol., 22(4):34:1–34:35, October 2013. URL: http://doi.acm.org/10.1145/2522920.2522927, doi:10.1145/2522920.2522927.
    Bibtex ]

  • Jérôme Vouillon and Roberto Di Cosmo. Broken sets in software repository evolution. In Proceedings of the 2013 International Conference on Software Engineering, ICSE '13, 412–421. Piscataway, NJ, USA, 2013. IEEE Press. URL: http://dl.acm.org/citation.cfm?id=2486788.2486843.
    Bibtex ]

  • Jérôme Vouillon and Vincent Balat. From Bytecode to JavaScript: the Js_of_ocaml Compiler. Software: Practice and Experience, 2013. doi:10.1002/spe.2187.
    Bibtex ]

2012

  • Martin Glinz, Gail C. Murphy, and Mauro Pezzè, editors. 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, IEEE, 2012.
    Bibtex ]

  • Michele Lanza, Massimiliano Di Penta, and Tao Xi, editors. 9th IEEE Working Conference on Mining Software Repositories, MSR 2012, June 2-3, 2012, Zurich, Switzerland, IEEE, 2012.
    Bibtex ]

  • Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. A modular package manager architecture. Information and Software Technology, 2012. doi:10.1016/j.infsof.2012.09.002.
    Bibtex ]

  • Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Dependency solving: a separate concern in component evolution management. Journal of Systems and Software, 85:2228–2240, October 2012. doi:10.1016/j.jss.2012.02.018.
    Bibtex ]

  • Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Learning from the future of component repositories. In CBSE 2012: 15th International ACM SIGSOFT Symposium on Component Based Software Engineering. 2012.
    Bibtex ]

  • Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, and Siau-Cheng Khoo. Semantic patch inference. In ASE, 382–385. Essen, Germany, September 2012.
    Bibtex ]

  • Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Why do software packages conflict? In MSR, 141–150. IEEE, 2012.
    Bibtex ]

  • Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, and Alastair Donaldson. PENCIL: towards a platform-neutral compute intermediate language for dsls. In 2\nd Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing (WOLFHPC, associated with SC). Salt Lake City, Utah, November 2012.
    Bibtex ]

  • Vincent Balat, Pierre Chambart, and Grégoire Henry. Client-server Web applications with Ocsigen. In WWW2012 dev track proceedings, 59. Lyon, France, April 2012. URL: http://hal.archives-ouvertes.fr/hal-00691710.
    Bibtex ] [ PDF ]

  • Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall, and Gilles Muller. Diagnosys: automatic generation of a debugging interface to the linux kernel. In ASE, 60–69. Essen, Germany, September 2012.
    Bibtex ]

  • Benjamin Canou, Emmanuel Chailloux, and Jérôme Vouillon. How to Run your Favorite Language in Web Browsers. In International World Wide Web Conference, dev track, 1–4. May 2012.
    Bibtex ]

  • Emmanuel Chailloux and Bernard Serpette. Séparation des couleurs dans un lambda-calcul bichrome. In Journées Francophones des Langages Applicatifs, 1–12. January 2012. URL: http://hal.inria.fr/docs/00/66/59/58/PDF/paper_8.pdf.
    Bibtex ]

  • Marco Danelutto and Roberto Di Cosmo. A "minimal disruption" skeleton experiment: seamless map & reduce embedding in ocaml. Procedia CS, 9:1837–1846, 2012.
    Bibtex ]

  • Roberto Di Cosmo, Stefano Zacchiroli, and Gianluigi Zavattaro. Towards a formal component model for the cloud. In SEFM 2012: 10th International Conference on Software Engineering and Formal Methods, volume 7504 of LNCS, 156–171. Springer-Verlag, 2012. doi:10.1007/978-3-642-33826-7_11.
    Bibtex ]

  • Jacques Garrigue and Didier Rémy. Tracing ambiguity in gadt type inference. Talk given at ACM SIGPLAN Workshop in Copenaghen, September 2012. URL: http://www.lexifi.com/ml2012/.
    Bibtex ]

  • Grégoire Henry, Michel Mauny, Emmanuel Chailloux, and Pascal Manoury. Typing unmarshalling without marshalling types. In International Conference on Functional Programming, 287–298. ACM, 2012.
    Bibtex ]

  • Feng Li, Boris Arnoux, and Albert Cohen. A compiler and runtime system perspective to scalable data-flow computing. In 5\th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG, associated with HiPEAC). Paris, France, January 2012.
    Bibtex ]

  • Antoniu Pop and Albert Cohen. Work-streaming compilation of futures. In 5\th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES, associated with ETAPS). Tallinn, Estonia, March 2012.
    Bibtex ]

  • Gabriel Scherer and Didier Rémy. Gadt meet subtyping. Talk given at ACM SIGPLAN Workshop in Copenaghen, September 2012. URL: http://www.lexifi.com/ml2012/.
    Bibtex ]

  • Yuan Tian, Julia L. Lawall, and David Lo. Identifying linux bug fixing patches. In ICSE, 386–396. Zurich, Switzerland, June 2012.
    Bibtex ]

  • Ramakrishna Upadrasta and Albert Cohen. A case for strongly polynomial time sub-polyhedral scheduling using two-variable-per-inequality polyhedra. In 2\nd Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC). Paris, France, January 2012.
    Bibtex ]

  • Jérôme Vouillon. A solution to the poplmark challenge based on de bruijn indices. Journal of Automated Reasoning, pages 1–36, 2012. URL: http://dx.doi.org/10.1007/s10817-011-9230-5.
    Bibtex ]

2011

  • Tibor Gyimóthy and Andreas Zeller, editors. SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, ACM, 2011.
    Bibtex ]

  • Serge Abiteboul, Klemens Böhm, Christoph Koch, and Kian-Lee Tan, editors. Workshops Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany, IEEE, 2011.
    Bibtex ]

  • Pietro Abate and Roberto Di Cosmo. Predicting upgrade failures using dependency analysis. In HotSWUP 2011: Hot topics in Software Updates, 145–150. ACM, 2011. doi:http://dx.doi.org/10.1109/ICDEW.2011.5767626.
    Bibtex ]

  • Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Mpm: a modular package manager. In CBSE 2011: 14th International ACM SIGSOFT Symposium on Component Based Software Engineering, 179–188. ACM, 2011. doi:10.1145/2000229.2000255.
    Bibtex ]

  • Cyrille Valentin Artho, Roberto Di Cosmo, Kuniyasu Suzaki, and Stefano Zacchiroli. Sources of inter-package conflicts in debian. In LoCoCo 2011 International Workshop on Logics for Component Configuration. 2011.
    Bibtex ]

  • M. Bachir, S.-A.-A. Touati, and A. Cohen. Decomposing meeting graph circuits to minimise kernel loop unrolling. In 9\th Workshop on Optimizations for DSP and Embedded Systems (ODES'11, associated with CGO). Chamonix, France, April 2011.
    Bibtex ]

  • Mounira Bachir, Frederic Brault, Sid-Ahmed-Ali Touati, and Albert Cohen. Loop unrolling minimisation in the presence of multiple register types: a viable alternative to modulo variable expansion. In High Performance Computing and Simulation Conference (HPCS 2011). Istanbul, Turkey, July 2011.
    Bibtex ]

  • Jaap Boender. Efficient computation of dominance in component systems. In Proceedings of SEFM 2011. 2011.
    Bibtex ]

  • A. Cohen. Polyhedral compilation runs out of (static) control! In Taiwan Compiler workshop (CTHPC'11). Taipei, Taiwan, June 2011. Keynote presentation.
    Bibtex ]

  • Roberto Di Cosmo and Jérôme Vouillon. On software component co-installability. In SIGSOFT FSE, 256–266. ACM, 2011.
    Bibtex ]

  • Julien Cretin and Didier Rémy. Extending System F-eta with Abstraction over Erasable Coercions. Research Report RR-7587, INRIA, July 2011.
    Bibtex ] [ PDF ]

  • Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, and Stefano Zacchiroli. Supporting software evolution in component-based foss systems. Science of Computer Programming, pages 1144–1160, 2011. doi:10.1016/j.scico.2010.11.001.
    Bibtex ]

  • Roberto Di Cosmo, Olivier Lhomme, and Claude Michel. Aligning component upgrades. In Lococo, volume 65, 1–11. 2011.
    Bibtex ]

  • Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, and Stefano Zacchiroli. Enforcing type-safe linking using inter-package relationships. Studia Informatica Universalis, 2011.
    Bibtex ]

  • Conrad Drescher, Inês Lynce, and Ralf Treinen. Proceedings second workshop on logics for component configuration. EPTCS, 2011.
    Bibtex ]

  • Sergei Dyshel, Dorit Nuzman, Erven Rohou, Ira Rosen, Kevin Williams, David Yuste, Albert Cohen, and Ayal Zaks. Vapor simd – auto-vectorize once, run everywhere. In Intl. Symp. on Code Generation and Optimization (CGO'11). Chamonix, France, April 2011.
    Bibtex ]

  • S. Halle and A. Cohen. Support of collective effort towards performance portability. In 3\rd USENIX Workshop on Hot Topics in Parallelism (HotPar'11). June 2011. 5 pages and poster.
    Bibtex ]

  • Sean Halle and Albert Cohen. A mutable hardware abstraction to replace threads. In Languages and Compilers for Parallel Computing (LCPC'11), LNCS. Fort Collins, Colorado, September 2011. Springer-Verlag.
    Bibtex ]

  • Feng Li, Antoniu Pop, and Albert Cohen. Extending loop distribution to ps-dswp. In 1\st Workshop on Intermediate Representations (WIR'11, associated with CGO). Chamonix, France, April 2011.
    Bibtex ]

  • Harm Munk, Eduard Ayguadé, Cédric Bastoul, Paul Carpenter, Zbigniew Chamski, Albert Cohen, Marco Cornero, Philippe Dumont, Marc Duranton, Mohammed Fellahi, Roger Ferrer, Razya Ladelsky, Menno Lindwer, Xavier Martorell, Cupertino Miranda, Dorit Nuzman, Andrea Ornstein, Antoniu Pop, Sebastian Pop, Louis-Noël Pouchet, Alex Ramírez, David Ródenas, Erven Rohou, Ira Rosen, Uzi Shvadron, Konrad Trifunović, and Ayal Zaks. Acotes project: advanced compiler technologies for embedded streaming. Intl. J. of Parallel Programming, 39(3):397–450, June 2011. Special issue on European HiPEAC network of excellence member's projects.
    Bibtex ]

  • Nicolas Palix, Ga\"l Thomas, Suman Saha, Christophe Calvès, Julia Lawall, and Gilles Muller. Faults in Linux: ten years later. In Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), 305–318. Newport Beach, CA, USA, March 2011.
    Bibtex ]

  • Eunjung Park, Louis-Noël Pouchet, John Cavazos, Albert Cohen, and P. Saddayapan. Predictive modeling in a polyhedral optimization space. In Intl. Symp. on Code Generation and Optimization (CGO'11). Chamonix, France, April 2011.
    Bibtex ]

  • Antoniu Pop and Albert Cohen. A stream-computing extension to OpenMP. In Intl. Conf. on High Performance and Embedded Architectures and Compilers (HiPEAC'11). January 2011.
    Bibtex ]

  • Louis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam, P. Sadayappan, and Nicolas Vasilache. Loop transformations: convexity, pruning and optimization. In 38\th Symp. on Principles of Programming Languages (POPL'11). Austin, Texas, January 2011.
    Bibtex ]

  • Erven Rohou, Kevin Williams, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Albert Cohen, and Ayal Zaks. Speculatively vectorized bytecode. In Intl. Conf. on High Performance and Embedded Architectures and Compilers (HiPEAC'11). January 2011.
    Bibtex ]

  • Didier Rémy and Boris Yakobowski. A church-style intermediate language for MLF. Theoretical Computer Science, 2011. Accepted for publication.
    Bibtex ]

  • Suman Saha and Julia L. Lawall andnco Gilles Muller. An approach to improving the structure of error-handling code in the Linux kernel. In Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, 41–50. Chicago, IL, USA, April 2011.
    Bibtex ]

  • Suman Saha, Julia Lawall, and Gilles Muller. Finding resource-release omission faults in Linux. In 6th Workshop on Programming Languages and Operating Systems (PLOS 2011). Cascais, Portugal, October 2011.
    Bibtex ]

  • Konrad Trifunović, Albert Cohen, Razya Ladelski, and Feng Li. Elimination of memory-based dependences for loop-nest optimization and parallelization: evaluation of a revised violated dependence analysis method on a three-address code polyhedral compiler. In 3\rd GCC Research Opportunities Workshop (GROW'11, associated with CGO). Chamonix, France, April 2011.
    Bibtex ]

  • Ramakrishna Upadrasta and Albert Cohen. Exploring the use of sub-polyhedra in the polyhedral model: a tvpi based approach. In 1\st Workshop on Polyhedral Compilation Techniques (IMPACT'11, associated with CGO). Chamonix, France, April 2011.
    Bibtex ]

  • Sven Verdoolaege, Albert Cohen, and Anna Beletska. Transitive closures of affine integer tuple relations and their overapproximations. In Intl. Symp. on Static Analysis (SAS'11), LNCS. Venice, Italy, September 2011. Springer-Verlag.
    Bibtex ]

2010

  • Roberto Di Cosmo and Stefano Zacchiroli. Feature diagrams as package dependencies. In SPLC 2010: 14th International Software Product Line Conference. Springer-Verlag, 2010. doi:10.1007/978-3-642-15579-6_40.
    Bibtex ]

  • Cupertino Miranda, Antoniu Pop, Philippe Dumont, Albert Cohen, and Marc Duranton. Erbium: a deterministic, concurrent intermediate representation to map data-flow tasks to scalable, persistent streaming processes. In Intl. Conf. on Compilers Architectures and Synthesis for Embedded Systems (CASES'10). October 2010.
    Bibtex ]

  • Mircea Namolaru, Albert Cohen, Grigori Fursin, Ayal Zaks, and Ari Freund. Practical aggregation of semantical program properties for machine learning based optimization. In Intl. Conf. on Compilers Architectures and Synthesis for Embedded Systems (CASES'10). October 2010.
    Bibtex ]

  • Louis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam, and P. Sadayappan. Combined iterative and model-driven optimization in an automatic parallelization framework. In ACM Supercomputing Conf. (SC'10). New Orleans, Lousiana, November 2010. 11 pages.
    Bibtex ]

  • Konrad Trifunović and Albert Cohen. Enabling more optimizations in GRAPHITE: ignoring memory-based dependences. In Proc. of the 8\th GCC Developper's Summit. Ottawa, Ontario, October 2010.
    Bibtex ]