Publications

Journal papers

Stéphanie Giraud, Nic Volanschi, Charles Consel. Empowering Caregivers to Customizing the Assistive Computing Support of Older Adults - an End-User Domain-Specific Approach. International Journal of Human–Computer Interaction, (2020). DOI

ACM DL Author-ize serviceA Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living
Nic Volanschi, Bernard Serpette, Adrien Carteron, Charles Consel
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 2018
DOI

Milan Kabáč, Charles Consel, Nic Volanschi. Designing Parallel Data Processing for Enabling Large-Scale Sensor Applications. Personal and Ubiquitous Computing, 21:3 (2017), 457-473. Springer. DOI

N. Volanschi. Pattern Matching for the Masses using Custom Notations. Science of Computer Programming 77:5 (2012) 609–635. Elsevier. DOI

C. Rinderknecht and N. Volanschi. Theory and Practice of Unparsed Patterns for Metacompilation. Science of Computer Programming 75:3 (2010) 85-105. Elsevier. DOI

N. Volanschi. A portable compiler-integrated approach to permanent checking. In Automated Software Engineering, November 2008. ISSN: 0928-8910 (print version), ISSN: 1573-7535 (electronic version). The original publication is available at www.springerlink.com. DOI

G. Muller, R. Marlet, and E.N. Volanschi. Accurate Program Analyses for Successful Specialization of Legacy System Software. Theoretical Computer Science, 248(1--2):201--210, 2000. DOI

ACM DL Author-ize servicePartial evaluation for software engineering
C. Consel, L. Hornof, R. Marlet, G. Muller, S. Thibault, E.-N. Volanschi, J. Lawall, J. Noyé
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue, 1998
DOI
ACM DL Author-ize serviceTempo: specializing systems applications and beyond
C. Consel, L. Hornof, R. Marlet, G. Muller, S. Thibault, E.-N. Volanschi, J. Lawall, J. Noyé
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue, 1998
DOI

Conference papers

Nic Volanschi, Julia Lawall. The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel. 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20), Sep 2020, Virtual Event, Australia. DOI

Rafik Belloum, Charles Consel, Nic Volanschi. A Tool-Based Methodology For Long-Term Activity Monitoring. PETRA’20 - Pervasive Technologies Related to Assistive Environments, Jun 2020, Corfu Island, Greece. DOI

Nic Volanschi, Bernard Serpette. AllenRV: an Extensible Monitor for Multiple Complex Specifications with High Reactivity (See also the Extended version including a short tutorial). The 19th International Conference on Runtime Verification (RV'19), Porto, Portugal, October 8-11, 2019. DOI

ACM DL Author-ize serviceImplementing a semi-causal domain-specific language for context detection over binary sensors
Nic Volanschi, Bernard Serpette, Charles Consel
GPCE 2018 Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018
DOI

Nic Volanschi, Adrien Carteron, Charles Consel. A Domain-Specific Approach To Unifying The Many Dimensions of Context-Aware Home Service Development. The 15th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2018), Oct 2018, Guangzhou, China. DOI

Nic Volanschi. Stereo: editing clones refactored as code generators. 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME'08), Sep 2018, Madrid, Spain. DOI

Adrien Carteron, Charles Consel, Nic Volanschi. Improving the Reliability of Pervasive Computing Applications By Continuous Checking of Sensor Readings. IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2016), Jul 2016, Toulouse, France. DOI

Milan Kabáč, Charles Consel, Nic Volanschi. Leveraging Declarations over the Lifecycle of Large-Scale Sensor Applications. 13th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2016), Jul 2016, Toulouse, France. DOI

Nic Volanschi. Towards Smart and Sustainable Multimodal Public Transports Based on a Participatory Ecosystem Workshop on Smart and Sustainable City (WSSC'16), Jul 2016, Toulouse, France. DOI

ACM DL Author-ize serviceAn evaluation of the DiaSuite toolset by professional developers: learning cost and usability
Milan Kabáč, Nic Volanschi, Charles Consel
PLATEAU 2015 Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, 2015
DOI

N. Volanschi. Safe Clone-Based Refactoring through Stereotype Identification and Iso-Generation.
IWSC'12, 6th International Workshop On Software Clones, 2012. DOI

ACM DL Author-ize serviceUnparsed patterns: easy user-extensibility of program manipulation tools
Nic Volanschi, Christian Rinderknecht
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, 2008
DOI

N. Volanschi. A Portable Compiler-Integrated Approach to Permanent Checking. In Proceedings of the 21st IEEE international Conference on Automated Software Engineering (ASE'06) (September 18-22, 2006). Automated Software Engineering. IEEE Computer Society, Washington, DC, 103-112. DOI

ACM DL Author-ize serviceCondate: a proto-language at the confluence between checking and compiling
Nic Volanschi
PPDP '06 Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, 2006
DOI

G. Muller, R. Marlet, E.-N. Volanschi, C. Consel, C. Pu, and A. Goel. Fast, Optimized Sun RPC Using Automatic Program Specialization. In Proceedings of the The 18th International Conference on Distributed Computing Systems (ICDCS '98). 1998. IEEE Computer Society, Washington, DC, USA, 240-. DOI

ACM DL Author-ize serviceScaling up partial evaluation for optimizing the Sun commercial RPC protocol
Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, 1997
DOI
ACM DL Author-ize serviceDeclarative specialization of object-oriented programs
Eugen N. Volanschi, Charles Consel, Gilles Muller, Crispin Cowan
OOPSLA '97 Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 1997
DOI

C. Consel, L. Hornof, F. Noël, J. Noyé, and E.N. Volanschi. A Uniform Approach for Compile-Time and Run-Time Specialization. In O. Danvy, R. Glück, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 of Lecture Notes in Computer Science, pages 54--72, February 1996. DOI

C. Cowan, A. Black, C. Krasic, C. Pu, J. Walpole, C. Consel, and E.N. Volanschi. Specialization Classes: An Object Framework for Specialization (pdf). In Fifth IEEE International Workshop on Object-Orientation in Operating Systems, Seattle, Washington, October 1996. DOI

E.N. Volanschi, G. Muller, and C. Consel. Safe Operating System Specialization: the RPC Case Study (pdf). In Workshop Record of WCSSS'96 -- The Inaugural Workshop on Compiler Support for Systems Software, Tucson, AZ, USA, pages 24--28, February 1996.

Habilitation Thesis (HDR)

N. Volanschi. Contributions à l'application de techniques langage au génie logiciel. Dossier de travaux pour obtenir l'habilitation à diriger des recherches, Université de Bordeaux, France, November 2019.

PhD Thesis

E.-N. Volanschi. Une approche automatique à la spécialisation de composants système. Thèse de doctorat, Université de Rennes1, France, February 1998. (English abstract: An automatic approach to specializing system components)

Patents

FR 2838205: VOLANSCHI EUGEN NICOLAE. PROCEDE DE DETECTION D’ERREURS DANS UN PROGRAMME INFORMATIQUE. Publication date: 2003-10-10.

FR 2835992: VOLANSCHI EUGEN. PROCEDES ET DISPOSITIFS OPTIMISES D’EMISSION ET DE RECEPTION DE DONNEES PAR DEFLECTION DE DONNEES. Publication date : 2003-08-15.

FR 2823871: SANCHEZ LEIGHTON VICENTE; VOLANSCHI EUGEN. PROCEDE ET DISPOSITIF DE GENERATION DU CODE EXECUTABLE D’UN PROGRAMME D’ORDINATEUR. Publication date: 2002-10-25.

FR 2823329: MAZE FREDERIC; VOLANSCHI EUGEN NICOLAE. PROCEDE ET DISPOSITIF DE FILTRAGE DE PAQUETS DE DONNEES. Publication date: 2002-10-11.

See also