Spremljaj
Nicolas Palix
Nicolas Palix
University of Grenoble - Alps (UGA - Polytech/LIG)
Preverjeni e-poštni naslov na imag.fr - Domača stran
Naslov
Navedeno
Navedeno
Leto
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
3032011
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
802009
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
582010
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
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
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
342010
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
192013
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
182020
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
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
122008
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
112015
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
112014
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
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
82020
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
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
MC Olesen, RR Hansen, JL Lawall, N Palix
Electronic Communications of the EASST 33, 2010
52010
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20