SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C. - Luc Séméria; Giovanni De Micheli (ICCAD, 1998)

Methodology for hardware/software co-verification in C/C++ (short paper). - Luc Séméria; Abhijit Ghosh (ASP-DAC, 2000)

Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C. - Luc Séméria; Koichi Sato; Giovanni De Micheli (DATE, 2000)

Application of Reconfigurable CORDIC Architectures. - Oskar Mencer; Luc Séméria; Martin Morf; Jean-Marc Delosme (J. VLSI Signal Process., 2000)

Cache-efficient memory layout of aggregate data structures. - Preeti Ranjan Panda; Luc Séméria; Giovanni De Micheli (ISSS, 2001)

Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C. - Luc Séméria; Giovanni De Micheli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001)

Synthesis of hardware models in C with pointers and complex data structures. - Luc Séméria; Koichi Sato; Giovanni De Micheli (IEEE Trans. Very Large Scale Integr. Syst., 2001)

RTL c-based methodology for designing and verifying a multi-threaded processor. - Luc Séméria; Renu Mehra; Barry M. Pangrle; Arjuna Ekanayake; Andrew Seawright; Daniel Ng (DAC, 2002)