7 research outputs found
DEAD: Dead Code Elimination based Automatic Differential Testing
- Author
- Publication venue
- ETH Zurich, Advanced Software Technologies Lab
- Publication date
- 01/04/2022
- Field of study
In their pursuit of faster code, compilers invoke increasingly more complex optimizations. Along with the increase in complexity the difficulty to identify missed optimizations and performance regressions also increases. Most existing work does not focus on finding such missed opportunities. It either concentrates on correctness, does not pinpoint the precise missed optimization, or only finds missed optimizations for specific components of a compiler. We built DEAD, a tool that leverages Dead Code Elimination and Differential Testing to find regressions, and generate corresponding bug reports. We conducted an empirical study on the 647 regressions found by DEAD and developed a new analysis to assess the evolution of LLVM and GCC. With DEAD, we help to improve the quality of compilers and enable further thorough testing of new changes
Vapor pressure and liquid and gas densities of 2,2,2-trifluoroethanol
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Prolegomena
- Author
- A Augustinus
- A BĂ€nninger
- A BĂ€nninger
- A BĂ€nninger
- A Camus
- A HĂŒgli
- A HĂŒgli
- A HĂŒgli
- A HĂŒgli
- A HĂŒgli
- A HĂŒgli
- A HĂŒgli
- A Pieper
- A Pieper
- Agence France Presse
- Aristoteles
- Aristoteles
- Aristoteles
- AU Sommer
- B Claussen
- B Claussen
- C Duttweiler
- C Schmitt
- C Schmitt
- D Presserat
- E Bollinger
- E Girsberger
- E Girsberger
- E Girsberger
- E Girsberger
- E Girsberger
- E Girsberger
- E KĂ€stner
- E Noelle-Neumann
- EB Fetscher
- EE Kisch
- F Nietzsche
- F Nietzsche
- F Nowottny
- G Wallraff
- G Wisnewski
- G Wisnewski
- G Wisnewski
- G Wisnewski
- GC Tholen
- GE Lessing
- H DĂ€pp
- H Hentig von
- H Hentig von
- H Hentig von
- H Hug
- H Hug
- H Hug
- H Jonas
- H Jonas
- H Jonas
- H Jonas
- H Kesten
- H Klein
- H Ottmann
- H Ottmann
- H Ottmann
- I Kant
- I Ramonet
- J Habermas
- J Habermas
- J Wilke
- J. S.
- J. S.
- K Fischer
- K LĂŒĂ¶nd
- K LĂŒĂ¶nd
- K Wiegerling
- K Wiegerling
- M Haller
- M Horkheimer
- M Matter
- M Schomers
- M Walzer
- M Walzer
- N Deuchert
- N Postman
- O Massing
- O Ulrich
- P Blom
- P Bourdieu
- P Hadot
- P Hadot
- Platon
- R Baumann
- R Baumann
- R Baumann
- R Baumann
- R Baumann
- R BĂŒtler
- R BĂŒtler
- R Marcic
- R Stadler
- R Stadler
- S Wehowsky
- S Weischenberg
- S Weischenberg
- Schweizer Verband der Journalistinnen und Journalisten
- T Hobbes
- T Hobbes
- T Hobbes
- Telex
- V Gerhardt
- V Gerhardt
- V Hösle
- Verein âQualitĂ€t im Journalismusâ
- Verein âQualitĂ€t im Journalismusâ
- Verein âQualitĂ€t im Journalismusâ
- W HagenbĂŒchle
- W HagenbĂŒchle
- W HagenbĂŒchle
- W Schneider
- W Schneider
- Y Binur
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2003
- Field of study
Breeding Apples for Oranges: Africa's Misplaced Priority Over Plant Breeders' Rights
- Author
- A Crosby
- A Jehu-Appiah
- Angola
- Angola
- Angola Algeria
- B C Mercurio
- B De Jonge
- Botswana
- Burkina Benin
- C Borowiak
- C F Runge
- C Oguamanam
- C Oguamanam
- C Oguamanam
- C Oguamanam
- C Oguamanam
- C Oguamanam
- C Oguamanam
- C Saez
- Chidi Oguamanam
- D Gervais
- D Kuyek
- D Leskien
- D R Downes
- E S Nwauche
- Facts Sadc
- Fao
- Fao
- Fao
- For
- For Canada
- G Dutfield
- G Dutfield
- Grain
- H J? Ohr
- I Mgbeoji
- Ibid
- J A Ekpere
- J De Beer
- J Kesan
- J R Kloppenburg
- J Slomp
- J T Schlebecker
- K Aoki
- La Via
- M ( Schoeman
- M A Girsberger
- N Condon
- Naluwaire
- O B Arewa
- Oxfam
- P Drahos
- R Andersen
- R Manning
- R Mccormick
- R Rowden
- S K Sell
- Sadc
- See
- See Southern Africa
- T W Dagne
- T Weis
- They Are Botswana
- Un General Assembly
- V Shiva
- V Shiva
- W Bello
- W R Gazaro
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2015
- Field of study
Intellectual Property Rights Beyond National Jurisdiction: Outlining a Regime for Patenting Products Based on Marine Genetic Resources of the Deep-Sea Bed and High Seas
- Author
- A Di Blase
- A Fischer-Lescano
- A Smagadi
- A Smagadi
- A Thomison
- Angelica Bonfanti
- B Conforti
- B Macgrady
- B Ong
- B Simma
- B Simma
- B Stern
- C Chiarolla
- C M Correa
- C M Correa
- C M Correa
- C R Mcmanis
- C Salpin
- D French
- D Momtaz
- E Bevenisti
- E Bonadio
- F Francioni
- G Dutfield
- G Marceau
- G Marceau
- G Marceau
- H Tuerk
- J Carr
- J De Werra
- J Pauwelyn
- J Pauwelyn
- J Pauwelyn
- J S Miller
- J.-F Morin
- K E Zewers
- L A De La Fayette
- L Boisson De Chazournes
- L Condorelli
- L Glowka
- L Migliorino
- M A Girsberger
- M Distefano
- M H Nordquist
- M Matsushita
- M Young
- N Boschiero
- N Matz-Lïżœck
- Orrego Vicuna
- P Birnie
- P Sands
- R J Mclaughlin
- R Pavoni
- R Pavoni
- R Pisillo Mazzeschi
- References Ademuni-Odeke
- S Arico
- S Arico
- S Trevisanut
- S Tully
- S Vezzani
- Seline Trevisanut
- T Scovazzi
- T Scovazzi
- T Scovazzi
- T T B Koh
- T Treves
- T Treves
- T Treves
- T Treves
- Treves
- Un Doc
- V.-D Degan
- W B Chambers
- Wto Ministerial Conference
- Z Thomas
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2011
- Field of study
General Movements in preterm infants undergoing craniosacral therapy: a randomised controlled pilot-trial
- Author
- A JĂ€kel
- A Vickers
- AF Bos
- AF Bos
- AJ Spittle
- AJ Spittle
- Alexander Avian
- BCL Touwen
- Berndt Urlesberger
- BF Degenhardt
- C Einspieler
- C Einspieler
- C Einspieler
- C Einspieler
- C Einspieler
- C Hayden
- CE Henley
- Christa Einspieler
- Claudia Amhofer
- Clinical Guideline Subcommittee on Low Back Pain
- Constanze Sommer
- E Longin
- Elisabeth Löwenstein
- F Cerritelli
- F Cerritelli
- F Ferrari
- FA Scafidi
- G Cioni
- G Pizzolorusso
- GC Lund
- H Magoun
- H Philippi
- HF Prechtl
- HFR Prechtl
- HFR Prechtl
- JE Upledger
- KR Meltzer
- M Bosanquet
- M Burger
- N Bayley
- NK Vries de
- P Posadzki
- Peter B. Marschik
- RE Harrison
- S Fucile
- S Potzinger
- S Saigal
- SA Billingham
- SA Julious
- Susanne Soral
- T Field
- TJ Zuzak
- Ute Maurer-Fellbaum
- V Narendran
- VM Frymann
- W Girsberger
- WA Engle
- Wilhelm MĂŒller
- Wolfgang Raith
- Y Nakajima
- Y Noble
- Y Vandenplas
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
SteuergeldwÀscherei in Bezug auf direkte Steuern
- Author
- ABBET S
- ABEGG P GEISSBĂHLER A, HAEFELI K, HUG-GENBERGER E
- ACKERMANN J ACKERMANN J, HEINE G
- ACKERMANN J ACKERMANN J, HILF MARIANNE J
- ACKERMANN J DâADDARIO DI PAOLO GABRIELLA
- ACKERMANN J NIGGLI MARCEL A, WIPRĂCHTIGER H
- ACKERMANN J SCHMID N, ACKERMANN J, ARZT G, BERNASCONI P, DE CAPITANI W
- ACKERMANN J ZEHNDER S
- ACKERMANN J ZOBL D, GIOVANOLI M, HERTIG G
- ACOCELLA D STAEHELIN A, BAUER T, STAEHELIN D
- ALTENHAIN K KINDHĂUSER U, NEUMANN U, PAEFFGEN H
- AMADĂ F MOLO G
- AMONN K WALTHER F
- ARZT G
- ARZT G
- ARZT G
- ARZT G
- ARZT G
- ARZT G ACKERMANN J, WOHLERS W
- BACHER J
- BALABAN B
- BALMAT C
- BAUMANN F ACKERMANN J, HILF MARIANNE J
- BAUMANN F NIGGLI M, WIPRĂCHTIGER H
- BEHNISCH U ACKERMANN J, HEINE G
- BEHNISCH U BĂR R
- BENEDICK G
- BERNASCONI P
- BERNASCONI P
- BERNASCONI P VORPE S
- BERTOSSA B
- BETSCHART M
- BETSCHART M
- BETSCHART M
- BEUSCH M FRIEDLI S, BORLA M, VORPE S
- BEUSCH M MALLA J
- BITTMANN F
- BITTMANN F
- BLUMENSTEIN E LOCHER P
- BOLLAG J
- BOMMER F
- BOOG M NIGGLI MARCEL A, WIPRĂCHTIGER H
- BOOG M NIGGLI MARCEL A, WIPRĂCHTIGER H
- BOURQUIN G
- BRETTON-CHEVALLIER C
- BRUNNER A BOLLER F, STAEHELIN A, BAUER T, STAEHELIN D
- BURGER A
- BĂCKLI P
- BĂCKLI P
- BĂCKLI P
- BĂLTE J LEITNER R
- CAMP R BĂHRER C
- CARONI M TAYLAN M
- CASANOVA H
- CASANOVA ZWEIFEL M, CASANOVA H
- CASSANI U
- CASSANI U
- CASSANI U
- CASSANI U
- CASSANI U BOVET C, THĂVENOZ L
- CASSANI U ROTH R, MOREILLON L
- CASSANI U SCHUBARTH M
- CASSANI U SCHUBARTH M
- CAVALLO A DONATSCH A
- COHEN E
- COLOMBINI A
- COMETTA F DALLĂVES L, FOĂX B, JEANDIN N
- CONRAD HARI A
- CORBOZ B
- DANON R YERSIN D, NOĂL Y
- DE CAPITANI W
- DE CAPITANI W SCHMID N
- DELNON V RĂDI B, NIGGLI MARCEL A, WIPRĂCHTIGER H
- DI GIACINTO A
- DONATSCH A
- DONATSCH A
- DONATSCH A
- DONATSCH A ARNOLD I
- DONATSCH A ARNOLD I, MĂUSLI-AL-LENSPACH P, BEUSCH M
- DONATSCH A BLOCHER F, BREITSCHMID P, PORTMANN W, REY H, ZOBL D
- DONATSCH A DONATSCH A
- DONATSCH A KOUTSOGIAN-NAKIS V, UTTINGER L
- DONATSCH A TAG B
- DONATSCH A WALDER HANS U, JAAG T, ZOBL D
- DONATSCH A WOHLERS W
- DONATSCH A ZWEIFEL M, ATHANAS P
- DONATSCH A ZWEIFEL M, ATHANAS P
- DONATSCH Andreas
- EGGER TANNER C
- EICKER A
- EICKER A FRANK F, ACHERMANN J
- ENGLER M NIGGLI MARCEL A, WIPRĂCHTIGER H
- ESCHELBACH R GRAF P, JĂGER M, WITTIG P
- FIOLKA G
- FIOLKA G NIGGLI MARCEL A, AMSTUTZ M, BORS M
- FISCHER P
- FORSTER M NIGGLI MARCEL A, WIPRĂCHTIGER H
- FOUMDJEM C
- FRANCIS C
- FREI W
- FREUND G
- FREY H ZWEIFEL M, ATHANAS P
- GALLIANO D MOLO G
- GAUTHIER J
- GERICKE D WALLER S, HONSELL H, VOGT NEDIM P
- GILLIĂRON P
- GLASER R
- GRABENWARTER C PABEL K
- GRABER C
- GUHL T
- GĂCHTER T SCHMID J, GIRSBERGER D
- HAGENSTEIN N NIGGLI MARCEL A, WIPRĂCHTIGER H
- HECHT B ACKERMANN J, HILF MARIANNE J
- HEIERLI C
- HEIERLI C SCHNYDER A, HONSELL H, VOGT NEDIM P, WIEGAND W
- HEIMGARTNER S NIGGLI MARCEL A, WIPRĂCHTIGER H
- HEINE G
- HETZER W
- HETZER W
- HIRSIG-VOUILLOZ M ROTH R, MOREILLON L
- HOFER T
- HOLENSTEIN D
- HOLENSTEIN D
- HOLENSTEIN D
- HOLENSTEIN D ZWEIFEL M, BEUSCH M, MATTEOTTI R
- HUG M DONATSCH A
- HURTADO POZO J
- HĂBERLIN P
- HĂFELIN U HALLER W, KELLER H
- HĂFELIN U MĂLLER G, UHLMANN F
- HĂHN E
- HĂRLIMANN-FERSCH C
- JAHN M SATZGEBER H, SCHLUCKEBIER W, WIDMAIER G
- JEAN-RICHARD M
- JENNY G
- JOSITSCH D
- JULEN BERTHOD A LEMBO S
- JUNG M
- JUNG M
- JĂGER M BROCKMEYER HANS B
- JĂRG R
- KILGUS S LOSINGER P
- KILLIAS M KUHN A, DONGOIS N, AEBI M
- KOHLBACHER U
- KRAMER E
- KRĂHENBĂHL D
- KUCHOWSKY N RYSER R
- KĂLIN W KĂNZLI J
- LIVSCHITZ M ACKERMANN J, HILF MARIANNE J
- LOCHER P
- LOMBARDINI C
- LUCREZIA G
- LUTZ P
- LUTZ P KERN M
- LĂPEZ F
- MACALUSO A ROTH R, MOREILLON L
- MATTEOTTI R
- MATTEOTTI R
- MATTEOTTI R
- MATTEOTTI R BOURQUIN G
- MATTEOTTI R BOURQUIN G, MANY S
- MATTEOTTI R FELBER M, KUNZ P, HERREN D, COTTIER T, MATTEOTTI R
- MATTEOTTI R JUNG M
- MATTEOTTI R MANY S
- MAYER-LADEWIG J
- MICHAEL K
- MOLO G
- MOLO G VORPE S
- MOLO G VORPE S, GALLIANO D
- MĂLLER G
- MĂLLER JĂRG P SCHEFER M
- MĂLLER JĂRG L
- MĂLLER R
- NADELHOFER DO CANTO S
- NAEF F
- NAEF F
- NAEF F CLERICI M
- NEUHAUS R. M SCHĂRER C, HONSELL H, VOGT NEDIM P, WATTER R
- NIGGLI MARCEL A GFELLER D, NIGGLI MARCEL A, WIPRĂCHTIGER HANS
- NIGGLI MARCEL A MAEDER S, NIGGLI MARCEL A, WIPRĂCHTIGER H
- NIGGLI MARCEL A NIGGLI MARCEL A, WIPRĂCHTIGER H
- NIGGLI MARCEL A RIEDO C, NIGGLI MARCEL A, WIPRĂCHTIGER H
- OBERSON X
- OBERSON X
- OBERSON X MELLER E
- OESTERHELT S
- OLIVER B
- PERRIN B
- PHILIPPE G BERNHARD S
- PIETH M ACKERMANN J
- PIETH M NIGGLI MARCEL A, WIPRĂCHTIGER H
- PIRAS C BREITENMOSER S
- POPP P BERKEMEIER A, NIGGLI MARCEL A, WIPRĂCHTIGER H
- POPP P NIGGLI MARCEL A, HURTADO POZO J, QUELOZ N
- QUELOZ N
- REICH M
- RICHNER F FREI W, KAUFMANN S, MEUTER HANS U
- RICHNER F FREI W, KAUFMANN S, MEUTER HANS U
- RIGOT D DALLĂVES L, FOĂX B, JEANDIN N
- ROTH M
- ROTH M
- ROTH M
- SALDITT F
- SAMSON E HIRSCH HANS J
- SANSONETTI P YERSIN D, NOĂ«L Y
- SCHERRER B
- SCHERRER B ZUMOFFEN FRUTTERO JOĂLLE, NEUHAUS M
- SCHILD TRAPPE G
- SCHMID F
- SCHMID N
- SCHMID N
- SCHMID N
- SCHMID N HĂNER I, WALDMANN B
- SCHMID N VON DER CRONE H
- SCHNEIDER S
- SCHUBARTH M SCHULZ J, VORMBAUM T
- SCHULTZ H
- SCHWARZ J HUGUENIN C
- SCHWARZENEGGER C HUG M, JOSITSCH D
- SCHWOB R
- SEELMANN K
- SEELMANN K NIGGLI MARCEL A, WIPRĂCHTIGER H
- SIEBER R ZWEIFEL M, ATHANAS P
- SPATSCHECK R WULF M
- STADLER S
- STRASSER O
- STRASSER O
- STRASSER O ACKERMANN J, HILF MARIANNE J
- STRATENWERTH G
- STRATENWERTH G
- STRATENWERTH G BOMMER F
- STRATENWERTH G PIETH M
- STRATENWERTH G WOHLERS W
- STRENG F KINDHĂUSER U, NEUMANN U, PAEFFGEN H
- SUTER C
- SUTER C REMUND C
- SUTER C REMUND C
- TAMARA T
- TAUBE T
- THELESKLAF D WYSS R, ZOLLINGER D, VAN THIEL M
- THELESKLAF D WYSS R, ZOLLINGER D, VAN THIEL M
- THELESKLAF D WYSS R, ZOLLINGER D, VAN THIEL M
- TOPHINKE E NIGGLI MARCEL A, HEER M, WIPRĂCHTIGER H
- TRECHSEL S
- TRECHSEL S NOLL P
- VALLENDER K LOOSER M, ZWEIFEL M, ATHANAS P
- WALDBURGER R FUCHS S
- WEDER U DONATSCH A
- WEISSENBERGER P
- WIPRĂCHTIGER H KELLER S, NIGGLI MARCEL A, WIPRĂCHTIGER H
- WĂSTINER H HONSELL H, VOGT NEDIM PETER, WATTER R
- ZIMMERMANN R
- ZULAUF U ISLER P, CERUTTI R
- ZWEIFEL M
- ZWEIFEL M ZWEIFEL M, ATHANAS P
- ZĂCH R ZĂCH R, WEBER R, HEINEMANN A
- Publication venue
- 'Carl Grossman Verlag'
- Publication date
- Field of study