| 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 | 311 | 2011 |
| 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 | 80 | 2009 |
| 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 | 61 | 2010 |
| 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 | 45 | 2006 |
| 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 | 35 | 2010 |
| 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 | 33 | 2014 |
| 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 | 23 | 2008 |
| 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 | 20 | 2020 |
| 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 | 19 | 2013 |
| 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 | 16 | 2008 |
| 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 | 14 | 2014 |
| 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 | 13 | 2015 |
| 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 | 13 | 2009 |
| 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 | 11 | 2020 |
| 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 | 11 | 2008 |
| 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 | 10 | 2007 |
| 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 | 7 | 2007 |
| How Often do Experts Make Mistakes? N Palix, JL Lawall, G Thomas, G Muller Universität Potsdam, 2010 | 6 | 2010 |
| 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 | 6 | 2006 |
| 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 | 5 | 2010 |
Julia L. Lawall在 diku.edu 的电子邮件经过验证
