Nicolas Palix
Nicolas Palix
University of Grenoble - Alps (UGA - Polytech/LIG)
Verified email at imag.fr - Homepage
Title
Cited by
Cited by
Year
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
2532011
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
722009
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
462010
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
462006
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
302010
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
252014
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
222008
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
142013
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
142008
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
132008
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
122009
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
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
72015
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
Coccinelle: Tool support for automated CERT C secure coding standard certification
MC Olesen, RR Hansen, JL Lawall, N Palix
Science of Computer Programming 91 (Part B), 141-160, 2014
62014
How often do experts make mistakes?
N Palix, JL Lawall, G Thomas, G Muller
62010
Langages dédiés au développement de services de communications
N Palix
62008
A High-Level, Open-Ended Architecture For SIP-based Services
L Burgy, C Consel, F Latry, N Palix, L Réveillère
62006
Towards proving optimistic multicore schedulers
B Lepers, W Zwaenepoel, JP Lozi, N Palix, R Gouicem, J Sopena, ...
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 18-23, 2017
42017
Herodotos: A tool to expose bugs' lives
N Palix, J Lawall, G Muller
42009
The system can't perform the operation now. Try again later.
Articles 1–20