Seguir
Nicolas Palix
Nicolas Palix
University of Grenoble - Alps (Grenoble INP - UGA - Polytech/LIG)
Dirección de correo verificada de imag.fr - Página principal
Título
Citado por
Citado por
Año
Faults in Linux: Ten years later
N Palix, G Thomas, S Saha, C Calvès, J Lawall, G Muller
Proceedings of the sixteenth international conference on Architectural …, 2011
3232011
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
JL Lawall, J Brunel, N Palix, RR Hansen, H Stuart, G Muller
2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 43-52, 2009
812009
Finding error handling bugs in openssl using coccinelle
J Lawall, B Laurie, RR Hansen, N Palix, G Muller
2010 European Dependable Computing Conference, 191-196, 2010
612010
Language technology for internet-telephony service creation
L Burgy, C Consel, F Latry, J Lawall, N Palix, L Réveillère
2006 IEEE International Conference on Communications 4, 1795-1800, 2006
452006
Tracking code patterns over multiple software versions with Herodotos
N Palix, J Lawall, G Muller
Proceedings of the 9th International Conference on Aspect-Oriented Software …, 2010
352010
Faults in linux 2.6
N Palix, G Thomas, S Saha, C Calvès, G Muller, J Lawall
ACM Transactions on Computer Systems (TOCS) 32 (2), 1-40, 2014
342014
Provable multicore schedulers with Ipanema: application to work conservation
B Lepers, R Gouicem, D Carver, JP Lozi, N Palix, MV Aponte, ...
Proceedings of the Fifteenth European Conference on Computer Systems, 1-16, 2020
242020
A SIP-based programming framework for advanced telephony applications
W Jouve, N Palix, C Consel, P Kadionik
Principles, Systems and Applications of IP Telecommunications. Services and …, 2008
232008
WYSIWIB: exploiting fine‐grained program structure in a scriptable API‐usage protocol‐finding process
JL Lawall, J Brunel, N Palix, RR Hansen, H Stuart, G Muller
Software: Practice and Experience 43 (1), 67-92, 2013
192013
High-level programming support for robust pervasive computing applications
W Jouve, J Lancia, N Palix, C Consel, J Lawall
2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008
162008
Coccinelle: tool support for automated cert c secure coding standard certification
MC Olesen, RR Hansen, JL Lawall, N Palix
Science of Computer Programming 91, 141-160, 2014
152014
Fewer Cores, More Hertz: Leveraging {High-Frequency} Cores in the {OS} Scheduler for Improved Application Performance
R Gouicem, D Carver, JP Lozi, J Sopena, B Lepers, W Zwaenepoel, ...
2020 USENIX Annual Technical Conference (USENIX ATC 20), 435-448, 2020
142020
Improving pattern tracking with a language-aware tree differencing algorithm
N Palix, JR Falleri, J Lawall
2015 IEEE 22nd International Conference on Software Analysis, Evolution, and …, 2015
132015
Enforcing the use of API functions in Linux code
JL Lawall, G Muller, N Palix
Proceedings of the 8th workshop on Aspects, components, and patterns for …, 2009
132009
Pantaxou: a domain-specific language for developing safe coordination services
J Mercadal, N Palix, C Consel, JL Lawall
Proceedings of the 7th international conference on Generative programming …, 2008
112008
A stepwise approach to developing languages for SIP telephony service creation
N Palix, C Consel, L Réveillère, J Lawall
Proceedings of the 1st international conference on Principles, systems and …, 2007
102007
Ontology-directed generation of frameworks for pervasive service development
C Consel, W Jouve, J Lancia, N Palix
Fifth Annual IEEE International Conference on Pervasive Computing and …, 2007
72007
How Often do Experts Make Mistakes?
N Palix, JL Lawall, G Thomas, G Muller
Universität Potsdam, 2010
62010
A High-Level, Open-Ended Architecture For SIP-based Services
L Burgy, C Consel, F Latry, N Palix, L Réveillère
Proceedings of the tenth International Conference on Intelligence in service …, 2006
62006
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification
M Olesen, R Hansen, J Lawall, N Palix
Electronic Communications of the EASST 33, 2010
52010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20