Fetching the paper…
Reading the bibliography…
N-Version Programming is a well-known methodology for developing fault-tolerant systems.
Distance between sets
Michael Levandowsky and David Winter · 1971
Earlier work this paper cites.
The n-version approach to fault-tolerant software
Algirdas Avizienis · 1985
Earlier work this paper cites.
A theoretical basis for the analysis of multiversion software subject to coincident errors
D.E. Eckhardt and L.D. Lee · 1985
Earlier work this paper cites.
Error recovery in multi-version software
K.S. Tso, A. Avižienis, and J.P.J. Kelly · 1986
Earlier work this paper cites.
The methodology of n-version programming
Algirdas Avizienis · 1995
Earlier work this paper cites.
Building diverse computer systems
Stephanie Forrest, Anil Somayaji, and David H Ackley · 1997
Earlier work this paper cites.
Using simplicity to control complexity
Lui Sha · 2001
Earlier work this paper cites.
Analysis of faults in an n-version software experiment
Susan S. Brilliant, John C. Knight, and Nancy G. Leveson · 2002
Earlier work this paper cites.
Pin: building customized program analysis tools with dynamic instrumentation
Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood · 2005
Earlier work this paper cites.
Volatiles are miscompiled, and what to do about it
Eric Eide and John Regehr · 2008
Earlier work this paper cites.
Avatars for pennies: Cheap n-version programming for replication
Atul Singh, Nishant Sinha, and Nitin Agrawal · 2010
Earlier work this paper cites.
Object-level recombination of commodity applications
Blair Foster and Anil Somayaji · 2010
Earlier work this paper cites.
Finding and understanding bugs in c compilers
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr · 2011
Earlier work this paper cites.
An experimental evaluation of the assumption of independence in multiversion programming
John C Knight and Nancy G Leveson · 2012
Earlier work this paper cites.
kguard: lightweight kernel protection against return-to-user attacks
Vasileios P. Kemerlis, Georgios Portokalidis, and Angelos D. Keromytis · 2012
Earlier work this paper cites.
Reim & reiminfer: checking and inference of reference immutability and method purity
Wei Huang, Ana L. Milanova, Werner Dietl, and Michael D. Ernst · 2012
Earlier work this paper cites.
Distributed application tamper detection via continuous software updates
Christian Collberg, Sam Martin, Jonathan Myers, and Jasvir Nagra · 2012
Earlier work this paper cites.
Profile-guided automated software diversity
Andrei Homescu, Steven Neisius, Per Larsen, Stefan Brunthaler, and Michael Franz · 2013
Earlier work this paper cites.
The plastic surgery hypothesis
Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro · 2014
Earlier work this paper cites.
Babel pidgin: Sbse can grow and graft entirely new functionality into a real world system
Mark Harman, Yue Jia, and William B Langdon · 2014
Earlier work this paper cites.
Varan the unbelievable: An efficient n-version execution framework
Petr Hosek and Cristian Cadar · 2015
Earlier work this paper cites.
Detecting function purity in javascript
Jens Nicolay, Carlos Noguera, Coen De Roover, and Wolfgang De Meuter · 2015
Cited alongside, same era.
Finding deep compiler bugs via guided stochastic program mutation
Vu Le, Chengnian Sun, and Zhendong Su · 2015
Cited alongside, same era.
N-version obfuscation
Hui Xu, Yangfan Zhou, and Michael Lyu · 2016
Cited alongside, same era.
Toward understanding compiler bugs in gcc and llvm
Chengnian Sun, Vu Le, Qirun Zhang, and Zhendong Su · 2016
Cited alongside, same era.
Frankenssl: Recombining cryptographic libraries for software diversity
Bheesham Persaud, Borke Obada-Obieh, Nilofar Mansourzadeh, Ashley Moni, and Anil Somayaji · 2016
Cited alongside, same era.
Bunshin: compositing security mechanisms through diversification
Meng Xu, Kangjie Lu, Taesoo Kim, and Wenke Lee · 2017
Cited alongside, same era.
Dynamic system diversification for securing cloud-based iot subnetworks
Hussain Almohri, Layne Watson, David Evans, and Stephen Billups · 2022
Later among the works it cites.
Highly available blockchain nodes with n-version design
Javier Ron, César Soto-Valero, Long Zhang, Benoit Baudry, and Martin Monperrus · 2023
Later among the works it cites.
The compcert c verified compiler: Documentation and user’s manual
Xavier Leroy · 2023
Later among the works it cites.
Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation
Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, and LINGMING ZHANG · 2023
Later among the works it cites.
Cigar: Cost-efficient program repair with llms, 2024
Dávid Hidvégi, Khashayar Etemadi, Sofia Bobadilla, and Martin Monperrus · 2024
Closest in time.
Wasm-mutate: Fast and effective binary diversification for webassembly
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Towards seamless integration of n-version programming in model-based design
Tingting Hu, Ivan Cibrario Bertolott, and Nicolas Navet · 2017
Cited alongside, same era.
Codecarboncopy
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard · 2017
Cited alongside, same era.
Automated transplantation and differential testing for clones
Tianyi Zhang and Miryung Kim · 2017
Cited alongside, same era.
Enter the hydra: Towards principled bug bounties and Exploit-Resistant smart contracts
Lorenz Breidenbach, Phil Daian, Florian Tramèr, and Ari Juels · 2018
Cited alongside, same era.
Semantic program repair using a reference implementation
Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury · 2018
Cited alongside, same era.
On learning meaningful code changes via neural machine translation
Michele Tufano, Jevgenija Pantiuchina, Cody Watson, Gabriele Bavota, and Denys Poshyvanyk · 2019
Cited alongside, same era.
Javier Cabrera-Arteaga, Nicholas Fitzgerald, Martin Monperrus, and Benoit Baudry · 2024
Closest in time.
Automated creation of source code variants of a cryptographic hash function implementation using generative pre-trained transformer models, 2024
Elijah Pelofske, Vincent Urias, and Lorie M. Liebrock · 2024
Closest in time.
Vert: Verified equivalent rust transpilation with large language models as few-shot learners, 2024
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, and Daniel Kroening · 2024
Closest in time.
Creative and correct: Requesting diverse code solutions from ai foundation models
Scott Blyth, Christoph Treude, and Markus Wagner · 2024
Closest in time.
Exploring and evaluating hallucinations in llm-powered code generation
Fang Liu, Yang Liu, Lin Shi, Houkun Huang, Ruifeng Wang, Zhen Yang, and Li Zhang · 2024
Closest in time.
Software Diversification for WebAssembly
Javier Cabrera Arteaga · 2024
Closest in time.
Lost in translation: A study of bugs introduced by large language models while translating code
Rangeet Pan, Ali Reza Ibrahimzada, Rahul Krishna, Divya Sankar, Lambert Pouguem Wassi, Michele Merler, Boris Sobolev, Raju Pavuluri, Saurabh Sinha, and Reyhaneh Jabbarvand · 2024
Closest in time.
N-version assessment and enhancement of generative ai
Marcus Kessel and Colin Atkinson · 2024
Closest in time.
Mercury: A code efficiency benchmark for code large language models, 2024
Mingzhe Du, Anh Tuan Luu, Bin Ji, Qian Liu, and See-Kiong Ng · 2024
Closest in time.
A survey of large language models for code: Evolution, benchmarking, and future trends, 2024
Zibin Zheng, Kaiwen Ning, Yanlin Wang, Jingwen Zhang, Dewu Zheng, Mingxi Ye, and Jiachi Chen · 2024
Closest in time.
A survey on large language models for code generation, 2024
Juyong Jiang, Fan Wang, Jiasi Shen, Sungju Kim, and Sunghun Kim · 2024
Closest in time.
Verified code transpilation with llms, 2024
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, and Alvin Cheung · 2024
Closest in time.
Exploring and unleashing the power of large language models in automated code translation
Zhen Yang, Fang Liu, Zhongxing Yu, Jacky Wai Keung, Jia Li, Shuo Liu, Yifan Hong, Xiaoxue Ma, Zhi Jin, and Ge Li · 2024
Closest in time.
Isolating compiler bugs by generating effective witness programs with large language models
Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, and Lingxiao Jiang · 2024
Closest in time.
Proving and rewarding client diversity to strengthen resilience of blockchain networks
Javier Ron, Zheyuan He, and Martin Monperrus · 2025
Closest in time.