Faculty

Institution

Unit

Venue

David Padua

Donald Biggar Willett Professor Emeritus in Engineering

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

David Padua is currently serving as a Siebel School Of Computing And Data Science Donald Biggar Willett Professor Emeritus in Engineering at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

David Padua

University of Illinois Urbana-Champaign

Donald Biggar Willett Professor Emeritus in Engineering

You can click a keyword to filter the displayed items

computer science computer engineering parallel computing parallel programming computer architecture high performance computer architecture program analysis programming languages software analysis compiler technology software engineering parallelizing compiler parallel software formal methods optimizing compilers parallel programming models system software distributed systems parallel processing scalability microarchitecture scientific computing program optimization compiler support design automation systems engineering array computing massively-parallel computing computational optimization numerical algorithms parallel implementation data science dynamic compilation parallel performance evaluation data-level parallelism memory model (programming) computational science cluster computing shared memory multiprocessor systems static program analysis computing education logic in computer science automated reasoning next generation computing networked system design vector processing concurrent programming performance prediction high-performance architectures programming language design program transformation vectorization memory management optimization techniques compiler techniques distributed processing knowledge discovery programming language implementation sorting algorithms empirical algorithmics hierarchically tiled arrays hardware acceleration nsf/ieee-tcpp curriculum initiative automatic parallelization parallel programs empirical search alert preferences available parallelism lrpd test vector instructions vector code synchronization instructions stack histogram nas benchmarks high performance

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Applications. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

parallel computingmassively-parallel computingcomputer sciencecomputer architectureparallel processingscientific computingsupercomputer architecturecomputer engineeringmany parallel applicationscomputer vision researchershigh performance computer architectureparallel programming

Concluding Remarks. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

parallel computingcomputer sciencecomputer architecturescalabilityparallel processingtheory of computationcomputer engineeringprogramming languageshardware perspectivetheoretical computer scienceparallel softwarehigh performance computer architectureparallel programminglast 40

Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431). (2021)

Jens KnoopJaejin LeeSamuel P. MidkiffDavid Padua

software consistency modelsdagstuhl seminar 03431computer sciencesoftware engineeringcomputer architecturesystem specificationconsistency technologyhardware verification languagecomputer engineeringprogramming languagessoftware analysisperformance portabilityprogram analysisdata consistencyhigh performance computer architectureformal methods

Parallel Hardware. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

parallel computingmassively-parallel computingcomputer sciencecomputer architectureparallel processingseymour craycomputer engineeringparallel implementationparallel hardwarehigh performance computer architectureparallel programming

Parallel Hardware Today and Tomorrow. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

parallel computingmassively-parallel computingcomputer sciencecluster computingcomputer architecturetechnologyparallel processingparallel hardware todaycomputer engineeringrecent progresshigh performance computer architectureparallel programmingmany-core architecturesneural network (machine learning)

Parallel Processing, 1980 to 2020. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

parallel computingcomputer sciencecomputer architectureparallel processinghistorical surveycomputer engineeringparallel implementationparallel softwarehigh performance computer architectureparallel programmingparallel programming models

Programming Notations and Compilers. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

parallel computingcomputer sciencesoftware engineeringcomputer architecturevector formparallelizing compilervector processingdominant programming notationscomputer engineeringprogramming languagescompiler technologyvector extensionshigh performance computer architectureparallel programmingparallel programming models

Dataflow Execution of Hierarchically Tiled Arrays. Lecture notes in computer science (2019)

Chih-Chieh YangJuan C. PichelDavid A. Padua

parallel computingcomputer sciencedata flowscomputer architecturecomputer engineeringmicroarchitecturearray computingworkflow executionhigh performance computer architecturedataflow execution

LOCUS: A System and a Language for Program Optimization. (2019)

S. Thiago TeixeiraCorinne AncourtDavid A. PaduaWilliam Gropp

program transformationsystem softwarecomputer sciencesoftware engineeringprogram optimizationoptimizing compilersautomatic programmingdesign automationcomputer engineeringsoftware designprogramming languagescompiler technologysoftware analysisprogram analysisprogram variantsformal methodsprogram transformation sequences

Managing Code Transformations for Better Performance Portability. The International Journal of High Performance Computing Applications (2019)

Thiago SFX TeixeiraWilliam GroppDavid Padua

system softwarecomputer sciencesoftware engineeringcomputer architectureprogram optimizationoptimizing compilerscode transformationscomputer engineeringsoftware designprogramming languagesdynamic compilationsoftware analysiscompiler technologyprogram analysiscode optimizationhigh performance computer architecturecode generationdesign automation

1
2
3
4
5
42
10 / page

David Padua

Donald Biggar Willett Professor Emeritus in Engineering

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

David Padua is currently serving as a Siebel School Of Computing And Data Science Donald Biggar Willett Professor Emeritus in Engineering at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

David Padua

University of Illinois Urbana-Champaign

Donald Biggar Willett Professor Emeritus in Engineering

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Applications. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

Concluding Remarks. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431). (2021)

Jens KnoopJaejin LeeSamuel P. MidkiffDavid Padua

Parallel Hardware. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

Parallel Hardware Today and Tomorrow. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

Parallel Processing, 1980 to 2020. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

Programming Notations and Compilers. Synthesis lectures on computer architecture (2021)

Robert KuhnDavid Padua

Dataflow Execution of Hierarchically Tiled Arrays. Lecture notes in computer science (2019)

Chih-Chieh YangJuan C. PichelDavid A. Padua

parallel computingcomputer sciencedata flowscomputer architecturecomputer engineeringmicroarchitecturearray computingworkflow executionhigh performance computer architecturedataflow execution

LOCUS: A System and a Language for Program Optimization. (2019)

S. Thiago TeixeiraCorinne AncourtDavid A. PaduaWilliam Gropp

Managing Code Transformations for Better Performance Portability. The International Journal of High Performance Computing Applications (2019)

Thiago SFX TeixeiraWilliam GroppDavid Padua

1
2
3
4
5
42
10 / page

Similar Faculty Members

Marc Snir

Institution

University of Illinois Urbana-Champaign

parallel computing

programming language

Laxmikant V Kale

Institution

University of Illinois Urbana-Champaign

parallel programming model

high performance computer architecture

Josep Torrellas

Institution

University of Illinois Urbana-Champaign

manycore processor

high performance computer architecture

Sarita V Adve

Institution

University of Illinois Urbana-Champaign

parallel programming model

high performance computer architecture

William D Gropp

Institution

University of Illinois Urbana-Champaign

applied mathematics

parallel metaheuristics

Vikram Sadanand Adve

Institution

University of Illinois Urbana-Champaign

high-level programming language

software engineering

Grigore Rosu

Institution

University of Illinois Urbana-Champaign

software engineering

formal verification

Nancy Amato

Institution

University of Illinois Urbana-Champaign

performance modeling

design

Darko Marinov

Institution

University of Illinois Urbana-Champaign

system specification

software engineering

Gul A Agha

Institution

University of Illinois Urbana-Champaign

parallel computing

distributed system

Similar Faculty Members

Marc Snir

Institution

University of Illinois Urbana-Champaign

parallel computing

programming language

Laxmikant V Kale

Institution

University of Illinois Urbana-Champaign

parallel programming model

high performance computer architecture

Josep Torrellas

Institution

University of Illinois Urbana-Champaign

manycore processor

high performance computer architecture

Sarita V Adve

Institution

University of Illinois Urbana-Champaign

parallel programming model

high performance computer architecture

William D Gropp

Institution

University of Illinois Urbana-Champaign

applied mathematics

parallel metaheuristics

Vikram Sadanand Adve

Institution

University of Illinois Urbana-Champaign

high-level programming language

software engineering

Grigore Rosu

Institution

University of Illinois Urbana-Champaign

software engineering

formal verification

Nancy Amato

Institution

University of Illinois Urbana-Champaign

performance modeling

design

Darko Marinov

Institution

University of Illinois Urbana-Champaign

system specification

software engineering

Gul A Agha

Institution

University of Illinois Urbana-Champaign

parallel computing

distributed system