Vikram S. Adve -

Registered user since Sun 3 Sep 2017

Name:Vikram S. Adve

Affiliation:University of Illinois at Urbana-Champaign, USA

Personal website:http://vikram.cs.illinois.edu

Research interests:Compilers, Programming Languages, Parallel Computing, Software Reliability

Contributions

CC 2023	Keynote Speaker of Keynote: Automating Retargetable Compiler Construction with Hydride within the Research Papers-track
SPLASH 2021	Author of Guided Linking: Dynamic Linking Without the Costs within the SIGPLAN Papers-track Committee Member in Program Committe within the CARES-track
PPoPP 2021	Author of ApproxTuner: A Compiler and Runtime System for Adaptive Approximations within the Main Conference-track
SPLASH 2020	Author of Guided Linking: Dynamic Linking without the Costs within the OOPSLA-track Keynote Speaker of Why Digital Agriculture is Fertile Ground for Software Systems Research within the Keynotes-track Author of Guided Linking: Dynamic Linking Without the Costs within the OOPSLA Artifacts-track Committee Member in Program Committe within the CARES-track Author of Guided Linking: Dynamic Linking Without the Costs within the Posters-track
PLDI 2020	Author of Scalable Validation of Binary Lifters within the PLDI Research Papers-track
SPLASH 2019	Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track
PLDI 2019	Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track
ICSE 2019	Author of Wok: Statistical Program Slicing in Production within the Posters-track
SPLASH 2018	Author of Software Multiplexing: Share Your Libraries and Statically Link Them Too within the OOPSLA-track
PLDI 2018	Committee Member in External Program Committee
PLDI 2016	Committee Member in External Program Committee Committee Member in Distinguished Paper Committee
SPLASH 2012	Committee Member in External Reviewers within the OOPSLA Research Papers-track
SPLASH 2011	Committee Member in Program Committee within the OOPSLA-track