Výsledky vyhledávání - ((Processors—compilers OR Processors—computers) OR processors—computers) keywords compiler testing

Compiler validation via equivalence modulo inputs

Autoři: Vu Le Mehrdad Afshari Zhendong Su a další

Přispěvatelé: Vu Le Mehrdad Afshari Zhendong Su a další

Zdroj: http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, H.3.4 [Programming Languages, Processors—compilers General Terms Algorithms, Languages, Reliability, Verification Keywords Compiler testing, miscompilation, equivalent program variants, automated

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6361; http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6361
http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf

Finding and understanding bugs in C compilers

Autoři: Xuejun Yang Yang Chen Eric Eide a další

Přispěvatelé: Xuejun Yang Yang Chen Eric Eide a další

Zdroj: http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, D.3.4 [Programming Languages, Processors—compilers General Terms Languages, Reliability Keywords compiler testing, compiler defect, automated testing, random testing, random

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.3297

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.3297
http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.pdf

Testcase reduction for C compiler bugs

Autoři: John Regehr Yang Chen Pascal Cuoq a další

Přispěvatelé: John Regehr Yang Chen Pascal Cuoq a další

Zdroj: http://www.flux.utah.edu/download?uid=115.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, D.3.4 [Programming Languages, Processors—compilers Keywords compiler testing, compiler defect, automated testing, random testing, bug reporting

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.3936; http://www.flux.utah.edu/download?uid=115

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.3936
http://www.flux.utah.edu/download?uid=115

Volatiles are miscompiled, and what to do about it

Autoři: Eric Eide John Regehr The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Eric Eide John Regehr The Pennsylvania State University CiteSeerX Archives

Zdroj: http://dent.cecs.uci.edu/~papers/esweek08/emsoft/p255.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, D.3.4 [Programming Languages, Processors—compilers General Terms Languages, Reliability Keywords compiler testing, compiler defect, automated testing, random testing

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.474.2225; http://dent.cecs.uci.edu/~papers/esweek08/emsoft/p255.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.474.2225
http://dent.cecs.uci.edu/~papers/esweek08/emsoft/p255.pdf

Taming Compiler Fuzzers

Autoři: Yang Chen Alex Groce Chaoqiang Zhang a další

Přispěvatelé: Yang Chen Alex Groce Chaoqiang Zhang a další

Zdroj: http://www.flux.utah.edu/download?uid=110.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.3.4 [Programming Languages, Processors—compilers, H.3.3 [Information Storage and Retrieval, Information Search and Retrieval—selection process Keywords compiler testing, compiler defect, automated testing, fuzz testing, random testing, bug reporting

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.9143; http://www.flux.utah.edu/download?uid=110

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.9143
http://www.flux.utah.edu/download?uid=110

Taming Compiler Fuzzers

Autoři: Yang Chen Alex Groce Chaoqiang Zhang a další

Přispěvatelé: Yang Chen Alex Groce Chaoqiang Zhang a další

Zdroj: http://www.cs.utah.edu/~regehr/papers/pldi13.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.3.4 [Programming Languages, Processors—compilers, H.3.3 [Information Storage and Retrieval, Information Search and Retrieval—selection process Keywords compiler testing, compiler defect, automated testing, fuzz testing, random testing, bug reporting

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.5541; http://www.cs.utah.edu/~regehr/papers/pldi13.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.5541
http://www.cs.utah.edu/~regehr/papers/pldi13.pdf

Hi-Lite: The Convergence of Compiler Technology and Program Verification

Autoři: Johannes Kanig Edmond Schonberg Claire Dross a další

Přispěvatelé: Johannes Kanig Edmond Schonberg Claire Dross a další

Zdroj: http://www.open-do.org/wp-content/uploads/2012/11/HILT_2012.pdf.

Témata: Categories and Subject Descriptors F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Pre- and Postconditions, Mechanical Verification, D.2.4 [Software Engineering, Software/Program Verification—Formal Methods, Programming by Contract, D.3.4 [Programming Languages, Processors—Compilers Keywords Compiler technology, formal verification, testing

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.5086

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.5086
http://www.open-do.org/wp-content/uploads/2012/11/HILT_2012.pdf

A precision independent tool for testing floating-point arithmetic I: basic operations, square root and remainder

Autoři: Annie Cuyt Brigitte Verdonk Dennis Verschaeren a další

Přispěvatelé: Annie Cuyt Brigitte Verdonk Dennis Verschaeren a další

Zdroj: ftp://wins.uia.ac.be/pub/preprints/99/toms1.ps

Témata: Categories and Subject Descriptors, G.1.0 [Numerical Analysis, General---Computer arithmetic, D.3.0 [Programming Languages, Processors---Compilers, General---Standards General Terms, floating-point, arithmetic Additional Key Words and Phrases, multiprecision, IEEE floating-point standard, verification

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.5150

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.5150

Efficient soft error protection for commodity embedded microprocessors using profile information

Autoři: Daya Shanker Khudia Griffin Wright Scott Mahlke a další

Přispěvatelé: Daya Shanker Khudia Griffin Wright Scott Mahlke a další

Zdroj: http://cccp.eecs.umich.edu/papers/dskhudia-lctes12.pdf.

Témata: Categories and Subject Descriptors B.8.1 [Performance and Reli- ability, Reliability, Testing, and Fault Tolerance, D.3.4 [Program- ming Languages, Processors—Compilers General Terms Reliability, Soft Errors, Profiling Keywords Profile-based Compiler Analysis, Fault Injection

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.5646

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.5646
http://cccp.eecs.umich.edu/papers/dskhudia-lctes12.pdf

Trust but verify: monitoring remotely executing programs for progress and correctness

Autoři: Shuo Yang Ali R. Butt Y. Charlie Hu a další

Přispěvatelé: Shuo Yang Ali R. Butt Y. Charlie Hu a další

Zdroj: http://www.ece.purdue.edu/~ychu/publications/ppopp05_gridcop.pdf.

Témata: – distributed programming, D.3.4 [Programming Languages, Processor – compiler, D.2.5 [Software Engineering, Testing and Debugging – monitors, tracing General Terms Security, Verification, Performance, Experimentation Keywords Grid computing, cycle-sharing, correctness verification, Progress monitoring

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.419; http://www.ece.purdue.edu/~ychu/publications/ppopp05_gridcop.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.419
http://www.ece.purdue.edu/~ychu/publications/ppopp05_gridcop.pdf

VHDL Compiler with Natural Parallel Comands Execution

Autoři: Andriy Safonyk Nataliia Zhukovska Viktor Zhukovskyy a další

Zdroj: IEEE EUROCON 2021 - 19th International Conference on Smart Technologies. :331-337

Přístupová URL adresa: http://xplorestaging.ieee.org/ielx7/9535532/9535533/09535606.pdf?arnumber=9535606
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=9535606

Efficient computation of interprocedural definition-use chains

Autoři: Mary Jean Harrold Mary Lou Soffa The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Mary Jean Harrold Mary Lou Soffa The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cc.gatech.edu/aristotle/Publications/Papers/toplas94.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging, D.2.6 [Software Engineering, Programming Environments, D.3.4 [Programming Languages, Processors—compilers, optimization General Terms, Algorithms, Design Additional Key Words and Phrases, Data-flow testing, interprocedural data-flow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.8860; http://www.cc.gatech.edu/aristotle/Publications/Papers/toplas94.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.8860
http://www.cc.gatech.edu/aristotle/Publications/Papers/toplas94.pdf

Swarm Testing

Autoři: Alex Groce Chaoqiang Zhang Eric Eide a další

Přispěvatelé: Alex Groce Chaoqiang Zhang Eric Eide a další

Zdroj: http://www.cs.utah.edu/~regehr/papers/swarm12.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.3.4 [Programming Languages, Processors—compilers Algorithms, Experimentation, Languages, Relia- General Terms bility Keywords Random

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.5460; http://www.cs.utah.edu/~regehr/papers/swarm12.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.5460
http://www.cs.utah.edu/~regehr/papers/swarm12.pdf

Sectional Domain Specific Languages

Autoři: Walter Cazzola Ivan Speziale The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Walter Cazzola Ivan Speziale The Pennsylvania State University CiteSeerX Archives

Zdroj: http://cazzola.di.unimi.it/pubs/dsal09-www.pdf.

Témata: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features, D.3.4 [Programming Languages, Processors—Compiler Generators. General Terms, Languages. Keywords, DSL, Compilers, AOSD, Modularity

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.5444

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.5444
http://cazzola.di.unimi.it/pubs/dsal09-www.pdf

Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization

Autoři: Yixin Shou Robert A. Engelen Johnnie Birch a další

Přispěvatelé: Yixin Shou Robert A. Engelen Johnnie Birch a další

Zdroj: http://www.csit.fsu.edu/~gallivan/papers/Acm/acmse06.pdf.gz.

Témata: D.3.4 [Software, Processors—Compilers, Optimization General Terms Compiler Algorithms Keywords Loop parallelization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.2385; http://www.csit.fsu.edu/~gallivan/papers/Acm/acmse06.pdf.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.2385
http://www.csit.fsu.edu/~gallivan/papers/Acm/acmse06.pdf.gz

Fast total least squares vectorization.

Autoři: Jelinek, Ales Zalud, Ludek Jilek, Tomas

Zdroj: Journal of Real-Time Image Processing; Apr2019, Vol. 16 Issue 2, p459-475, 17p

Exploiting architectural features of a computer vision platform towards reducing memory stalls.

Autoři: Ul Mustafa, Naveed O'Riordan, Martin J. Rogers, Stephen a další

Zdroj: Journal of Real-Time Image Processing; Aug2020, Vol. 17 Issue 4, p853-870, 18p

A precision and range independent tool for testing floating-point arithmetic II: Conversions

Autoři: Annie Cuyt Brigitte Verdonk Dennis Verschaeren a další

Přispěvatelé: Annie Cuyt Brigitte Verdonk Dennis Verschaeren a další

Zdroj: ftp://wins.uia.ac.be/pub/preprints/00/toms2.ps

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.7408

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.7408

Compiler Frontiers Unveiled

Autoři: Azhar ul Haque Sario

Resource Type: eBook.

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / Systems Analysis & Design

Fundamentals of Software Testing

Autoři: Bernard Homès

Resource Type: eBook.

Témata: Computer software--Testing

Categories: COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Computer Engineering