PLDI 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (594)

A Umut A. AcarAcar, Umut A. Carnegie Mellon University Committee Member in External Program Committee for PLDI 2018 Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
Aravind AcharyaAcharya, Aravind Indian Institute of Science, Bangalore Polyhedral Auto-transformation with No Integer Linear Programming
Sara AchourAchour, Sara MITUnited States Panel: "Charting your Path" Poster Session Speaker in Speakers within the PLMW @ PLDI-track
Ulf AdamsAdams, Ulf Google, Germany Ryū: Fast Float-to-String Conversion
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-ChampaignUnited States Committee Member in External Program Committee for PLDI 2018
Eddie AftandilianAftandilian, Eddie GoogleUnited States Committee Member in Program Committee for ISMM 2018
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Typed Closure Conversion for the Calculus of Constructions
Alex AikenAiken, Alex Stanford University Crossing the Divide: Becoming a (Programming Languages) Researcher Active Learning of Points-To Specifications Speaker in Speakers within the PLMW @ PLDI-track
Shoaib AkramAkram, Shoaib Ghent UniversityBelgium Committee Member in Artifact Evaluation Committee for PLDI 2018 Write-Rationing Garbage Collection for Hybrid Memories
Allison AllainAllain, Allison IBM Research Ariadne: Analysis for Machine Learning Programs
Miltiadis AllamanisAllamanis, Miltiadis Microsoft Research, CambridgeUnited Kingdom Committee Member in External Review Committee for PLDI 2018
Uri AlonAlon, Uri TechnionIsrael A General Path-Based Representation for Predicting Program Properties
Rajeev AlurAlur, Rajeev University of PennsylvaniaUnited States Committee Member in External Program Committee for PLDI 2018 Accelerating Search-Based Program Synthesis using Learned Probabilistic Models
Saman AmarasingheAmarasinghe, Saman MITUnited States The Three Pillars of Machine Programming
Nada AminAmin, Nada University of CambridgeUnited Kingdom Committee Member in Student Research Competition Committee for PLDI 2018 Committee Member in External Review Committee for PLDI 2018
Corinne AncourtAncourt, Corinne MINES ParisTech, France Profile-Based Vectorization for MATLAB
Andrew W. AppelAppel, Andrew W. Princeton Modular Verification of Deep Specifications of Security-Critical Components The Science of Deep Specification
Rumen Atanasov PaletovAtanasov Paletov, Rumen Inferring Crypto API Rules from Code Changes
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Carnegie Mellon University, USAUnited States Committee Member in External Review Committee for PLDI 2018
B David B. WhalleyB. Whalley, David Committee Member in Program Committee for LCTES 2018 Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency
Sara BaghsorkhiBaghsorkhi, Sara Intel Labs Committee Member in Program Committee for ISMM 2018
Ryan BairdBaird, Ryan Florida State University Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency
Thomas BallBall, Thomas Microsoft ResearchUnited States MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
Raj BarikBarik, Raj Intel Labs Steering Committee Member in Steering Committee within the MAPL-track
Sean BartellBartell, Sean University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee for PLDI 2018
Regina BarzilayBarzilay, Regina MIT The Three Pillars of Machine Programming
Osbert BastaniBastani, Osbert Stanford University Committee Member in External Review Committee for PLDI 2018 Poster Session Program Synthesis using Conflict-Driven Learning Active Learning of Points-To Specifications
Samuel BaxterBaxter, Samuel University of Massachusetts at Amherst, USA Putting in All the Stops: Execution Control for JavaScript
Ryan BeckettBeckett, Ryan Princeton University Committee Member in External Review Committee for PLDI 2018
Jonathan BellBell, Jonathan George Mason UniversityUnited States Obfuscation Resilient Search through Executable Classification
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Committee Member in Steering Committee for PLDI 2018 Committee Member in External Review Committee for ISMM 2018 Session Chair of Keynote (part of PLDI Invited Speakers) Session Chair of Reference Counting and Techniques for C-family Languages (part of ISMM ) Poster Session BLeak: Automatically Debugging Memory Leaks in Web Applications
Robert BerneckyBernecky, Robert Snake Island Research A Rosetta Stone for Array Languages
Benjamin BichselBichsel, Benjamin ETH Zurich, Switzerland Incremental Inference for Probabilistic Programs
David Black-SchafferBlack-Schaffer, David Uppsala University Committee Member in External Review Committee for ISMM 2018
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Steering Committee for PLDI 2018 Committee Member in Program Committee for ISMM 2018 SIGPLAN Town Hall Meeting
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Static Analysis for C++ with Phasar
Hans-J. BoehmBoehm, Hans-J. Google Committee Member in External Program Committee for PLDI 2018 Session Chair of Floats and Maps (part of PLDI Research Papers)
Brandon BohrerBohrer, Brandon VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
Michael D. BondBond, Michael D. Ohio State University Committee Member in External Review Committee for PLDI 2018 Steering Committee Member in Steering Committee for ISMM 2018 Session Chair of Analyzing the Cache and Scheduling (part of ISMM ) High-Coverage, Unbounded Sound Predictive Race Detection
Uday BondhugulaBondhugula, Uday Indian Institute of ScienceIndia Polyhedral Auto-transformation with No Integer Linear Programming
William J. BowmanBowman, William J. Northeastern University, USAUnited States Typed Closure Conversion for the Calculus of Constructions
Jacob BrockBrock, Jacob University of Rochester Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving
Alex BrooksBrooks, Alex University of Illinois at Urbana-Champaign, USA Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
Rodrigo BrunoBruno, Rodrigo INESC-ID / Instituto Superior Técnico, University of Lisbon Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
Lucas BrutschyBrutschy, Lucas ETH ZurichSwitzerland Static Serializability Analysis for Causal Consistency
Eva BurrowsBurrows, Eva University of Bergen, Norway An Array API for Finite Difference Methods
Lukasz BurzawaBurzawa, Lukasz FWDNXT and Purdue WIP: Deep Neural Networks compiler for a trace-based accelerator
Costas BuschBusch, Costas Louisiana State University, USA Distributed Garbage Collection for General Graphs
Stuart BymaByma, Stuart EPFL, Switzerland Detailed Heap Profiling
Daniel ByrneByrne, Daniel Michigan Technological University, USA mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores
C Cheng CaiCai, Cheng University of California, Irvine Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
John Peter CamporaCampora, John Peter University of Louisiana at LafayetteUnited States Committee Member in Artifact Evaluation Committee for PLDI 2018
Qinxiang CaoCao, Qinxiang Verifiable C, a logic and system for proving C programs correct
Ting CaoCao, Ting Huawei Committee Member in Program Committee for ISMM 2018
Michael CarbinCarbin, Michael MITUnited States Session Chair of Session A (part of PLMW @ PLDI) The Three Pillars of Machine Programming Wrap up The Importance of Communication Introduction and Welcome Poster Session Speaker in Speakers within the PLMW @ PLDI-track Organizer in Organizing Committee within the PLMW @ PLDI-track
Quentin CarbonneauxCarbonneaux, Quentin Yale University Bounded Expectations: Resource Analysis for Probabilistic Programs
João M. P. CardosoCardoso, João M. P. University of Porto and INESC TEC, PortugalPortugal Committee Member in Program Committee for LCTES 2018
Trevor E. CarlsonCarlson, Trevor E. National University of SingaporeSingapore SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
Elias CastegrenCastegren, Elias Uppsala University Committee Member in Artifact Evaluation Committee for PLDI 2018 Parallel Programming with Arrays in Kappa
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Committee Member in Program Committee for LCTES 2018
Gaurav ChadhaChadha, Gaurav Oracle America Inc WIP: JSCore: Architectural support for accelerating JavaScript execution
Soham ChakrabortyChakraborty, Soham Max Planck Institute for Software Systems Committee Member in Artifact Evaluation Committee for PLDI 2018
Van Chan NgoChan Ngo, Van Carnegie Mellon UniversityUnited States Bounded Expectations: Resource Analysis for Probabilistic Programs
Satish ChandraChandra, Satish FacebookUnited States Committee Member in External Review Committee for PLDI 2018 Retrieval on source code: a neural code search
Andre Xian Ming ChangChang, Andre Xian Ming FWDNXT and Purdue WIP: Deep Neural Networks compiler for a trace-based accelerator
Sai Charan KoduruCharan Koduru, Sai University of California, Riverside OMR: Out-of-Core MapReduce for Large Data Sets
Arthur CharguéraudCharguéraud, Arthur InriaFrance Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
Avik ChaudhuriChaudhuri, Avik Facebook, USA Committee Member in Program Committee for PLDI 2018
Swarat ChaudhuriChaudhuri, Swarat Rice University Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
Dong ChenChen, Dong University of RochesterChina Locality Analysis through Static Parallel Sampling
Hao ChenChen, Hao Yale University Certified Concurrent Abstraction Layers
Peter M. ChenChen, Peter M. University of Michigan, USA Persistency for Synchronization-Free Regions
Sheng ChenChen, Sheng University of Louisiana at LafayetteUnited States Committee Member in External Review Committee for PLDI 2018
Tianqi ChenChen, Tianqi Relay: A New IR for Machine Learning Frameworks
Yu-Fang ChenChen, Yu-Fang Advanced Automata-Based Algorithms for Program Termination Checking
Yutian ChenChen, Yutian Google Deepmind, n.n. Probabilistic Programming with Programmable Inference
Alvin CheungCheung, Alvin University of Washington Session Chair of Closing Remarks (part of MAPL) Session Chair of Introduction (part of MAPL) Program Chair in Program Committee within the MAPL-track
Bharti ChimdyalwarChimdyalwar, Bharti Tata Consultancy Services WIP: Statically Relating Program Properties for Efficient Verification
Gautham N. ChinyaChinya, Gautham N. Intel Labs, n.n. Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States Committee Member in Program Committee for PLDI 2018 Session Chair of Verification (part of PLDI Research Papers) Verification Around the Hardware-Software Interface: Instruction Set, Processors, and Side Channels
Sungkeun ChoCho, Sungkeun Seoul National University, South Korea Crellvm: Verified Credible Compilation for LLVM
Joonwon ChoiChoi, Joonwon Massachusetts Institute of Technology, USA Serializability for Distributed Protocols Crellvm: Verified Credible Compilation for LLVM
Nathan ChongChong, Nathan ARM Ltd.United Kingdom The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
Maria ChristakisChristakis, Maria MPI-SWSGermany Student Research Competition Chair in Student Research Competition Committee for PLDI 2018 Committee Member in External Review Committee for PLDI 2018 Student Research Competition Chair in Organizing Committee for PLDI 2018 Session Chair of SIGPLAN and SRC Awards (part of PLDI Invited Speakers)
Ravi ChughChugh, Ravi University of Chicago Co-chair in Artifact Evaluation Committee for PLDI 2018 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2018
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Committee Member in Artifact Evaluation Committee for PLDI 2018 Committee Member in External Review Committee for PLDI 2018
Albert CohenCohen, Albert Inria, France / ENS, FranceFrance Steering Committee Member in Steering Committee for PLDI 2018 Tensor Comprehensions: deep learning as a polyhedral compiler's killer app Polyhedral Auto-transformation with No Integer Linear Programming
Alexei ColinColin, Alexei Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2018
David CostanzoCostanzo, David Yale UniversityUnited States Certified Concurrent Abstraction Layers
Eugenio CulurcielloCulurciello, Eugenio FWDNXT and Purdue WIP: Deep Neural Networks compiler for a trace-based accelerator
Marco Cusumano-TownerCusumano-Towner, Marco MIT-CSAIL Gen: probabilistic programming with fast custom inference via code generation Incremental Inference for Probabilistic Programs
D Loris D'AntoniD'Antoni, Loris University of Wisconsin–MadisonItaly Committee Member in External Review Committee for PLDI 2018
Daniele Cono D'EliaD'Elia, Daniele Cono Sapienza University of Rome, ItalyItaly On-Stack Replacement, Distilled
Hoang-Vu DangDang, Hoang-Vu University of Illinois at Urbana-Champaign, USA Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
Priyanka DarkeDarke, Priyanka Tata Consultancy Services WIP: Statically Relating Program Properties for Efficient Verification
Eva DarulovaDarulova, Eva MPI-SWSGermany Committee Member in Program Committee for PLDI 2018 Committee Member in Student Research Competition Committee for PLDI 2018 Session Chair of Analyzing Probabilistic Programs (part of PLDI Research Papers) Poster Session
Sabar DasguptaDasgupta, Sabar Stanford University WIP: An open-source realtime computational platform
Roshan DathathriDathathri, Roshan University of Texas at Austin, USA Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
Yaniv DavidDavid, Yaniv TechnionIsrael Committee Member in External Review Committee for PLDI 2018
Mike DaviesDavies, Mike Intel Labs, n.n. Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
Peli de Halleuxde Halleux, Peli Microsoft Research MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
Ana Lúcia de Mourade Moura, Ana Lúcia WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly On-Stack Replacement, Distilled
Ankush DesaiDesai, Ankush University of California, Berkeley Committee Member in Artifact Evaluation Committee for PLDI 2018
Prem DevanbuDevanbu, Prem University of CaliforniaUnited States Committee Member in Program Committee within the MAPL-track
Joseph DeviettiDevietti, Joseph University of Pennsylvania Committee Member in Student Research Competition Committee for PLDI 2018 Committee Member in External Review Committee for ISMM 2018 Poster Session CURD: A Dynamic CUDA Race Detector
James DevineDevine, James Lancaster University MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
Stephan DiestelhorstDiestelhorst, Stephan ARM Research, UK Persistency for Synchronization-Free Regions
Işıl DilligDillig, Işıl UT Austin Committee Member in Program Committee for PLDI 2018 Steering Committee Member in Steering Committee for PLDI 2018 Session Chair of Program Analysis (part of PLDI Research Papers) Program verification using abductive reasoning Program Synthesis using Conflict-Driven Learning Symbolic Reasoning for Automatic Signal Placement Speaker in Speakers within the PLMW @ PLDI-track
Dimitar DimitrovDimitrov, Dimitar ETH Zurich, Switzerland Static Serializability Analysis for Causal Consistency
Chen DingDing, Chen University of Rochester Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving Locality Analysis through Static Parallel Sampling
Stephen DolanDolan, Stephen University of CambridgeUnited Kingdom Bounding Data Races in Space and Time
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States Committee Member in Program Committee for PLDI 2018 Session Chair of Parallelism (part of PLDI Research Papers) Ariadne: Analysis for Machine Learning Programs
Nikoli DrydenDryden, Nikoli University of Illinois at Urbana-Champaign, USA Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
Christophe DubachDubach, Christophe University of EdinburghUnited Kingdom Program Chair in Organizing Committee for LCTES 2018
Gregory J. DuckDuck, Gregory J. National University of Singapore, Singapore EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
E Lieven EeckhoutEeckhout, Lieven Ghent University, Belgium Committee Member in External Review Committee for ISMM 2018 Write-Rationing Garbage Collection for Hybrid Memories
Bernhard EggerEgger, Bernhard Seoul National UniversitySouth Korea Committee Member in Program Committee for LCTES 2018 Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
Venmugil ElangoElango, Venmugil NVIDIA Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs
Yehia ElkhatibElkhatib, Yehia Lancaster University Adaptive Deep Learning Model Selection on Embedded Systems
Andres ErbsenErbsen, Andres Automation for High-Assurance Cryptography, for Primitives and Protocols
Stefano ErmonErmon, Stefano Stanford Steering Committee Member in Steering Committee within the MAPL-track
Michael D. ErnstErnst, Michael D. University of Washington, USA Verifying That Web Pages Have Accessible Layout
F Gang FanFan, Gang Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Committee Member in External Review Committee for PLDI 2018
Alexandra (Sasha) FedorovaFedorova, Alexandra (Sasha) University of British ColumbiaCanada Committee Member in External Program Committee for PLDI 2018
Matthew FeldmanFeldman, Matthew Stanford University, USA Spatial: A Language and Compiler for Application Accelerators
Daniel FelteyFeltey, Daniel Northwestern University, USA Committee Member in Artifact Evaluation Committee for PLDI 2018
Yu FengFeng, Yu University of Texas at Austin, USAChina Program Synthesis using Conflict-Driven Learning
Kostas FerlesFerles, Kostas UT AustinUnited States Symbolic Reasoning for Automatic Signal Placement
Paulo FerreiraFerreira, Paulo INESC-ID / Instituto Superior Técnico, University of LisbonPortugal Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
Joe FinneyFinney, Joe MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States Committee Member in Program Committee for PLDI 2018 Committee Member in Distinguished Paper Committee for PLDI 2018 Session Chair of Types (part of PLDI Research Papers) Session Chair of PLDI 2019 Introduction (part of PLDI Invited Speakers) PLDI 2019 Introduction
Ruben FiszelFiszel, Ruben EPFL, Switzerland Spatial: A Language and Compiler for Application Accelerators
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Steering Committee Chair in Steering Committee for PLDI 2018 Session Chair of Keynote (part of PLDI Invited Speakers)
Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States Committee Member in External Review Committee for PLDI 2018
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland, College Park / Tufts UniversityUnited States General Chair in Organizing Committee for PLDI 2018 Session Chair of Welcome (part of PLDI Invited Speakers)
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Committee Member in External Program Committee for PLDI 2018
Helmer André FriisFriis, Helmer André IRIS, Norway An Array API for Finite Difference Methods
Carlo A. FuriaFuria, Carlo A. Chalmers University of Technology, SwedenItaly Committee Member in Student Research Competition Committee for PLDI 2018
Tetiana FydorenchykFydorenchyk, Tetiana Jelastic, n.n. Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
G Vinod GanapathyGanapathy, Vinod Indian Institute of Science, Bangalore Committee Member in Program Committee within the FMS-track
Philippa GardnerGardner, Philippa Imperial College London Committee Member in External Review Committee for PLDI 2018
Timon GehrGehr, Timon Bayonet: Probabilistic Inference for Networks Incremental Inference for Probabilistic Programs
Marc GeilenGeilen, Marc Eindhoven University of Technology Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective
Adam T. GellerGeller, Adam T. University of Washington, USA Verifying That Web Pages Have Accessible Layout
Kaan GençGenç, Kaan Ohio State University, USA High-Coverage, Unbounded Sound Predictive Race Detection
Lokesh GidraGidra, Lokesh GoogleUnited States Committee Member in Program Committee for ISMM 2018
John GilbertGilbert, John Committee Member in Program Committee within the ARRAY-track
Gurbinder GillGill, Gurbinder University of Texas at Austin, USA Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
Vaibhav GogteGogte, Vaibhav University of Michigan, USA Persistency for Synchronization-Free Regions
Ann Gordon-RossGordon-Ross, Ann University of Florida, USA Committee Member in Program Committee for LCTES 2018
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee Member in External Review Committee for PLDI 2018
Justin GottschlichGottschlich, Justin Intel Labs Session Chair of Closing Remarks (part of MAPL) Session Chair of Introduction (part of MAPL) The Three Pillars of Machine Programming General Chair in Organizing Committee within the MAPL-track
Michael GreenbergGreenberg, Michael Pomona College Committee Member in External Review Committee for PLDI 2018
Dan GrossmanGrossman, Dan University of WashingtonUnited States Program Chair in Program Committee for PLDI 2018 Program Chair in Organizing Committee for PLDI 2018 Chair in Distinguished Paper Committee for PLDI 2018 Session Chair of Lightning Overview - Day 3 (part of PLDI Research Papers) Session Chair of Programming-Student Feedback (part of PLDI Research Papers) Session Chair of Lightning Overview - Day 1 (part of PLDI Research Papers) Session Chair of Lightning Overview - Day 2 (part of PLDI Research Papers) Session Chair of Program Chair's Report and SIGPLAN Town Hall Meeting (part of PLDI Invited Speakers) Session Chair of Welcome (part of PLDI Invited Speakers) PLDI Program Chair's Report
Benjamin Grossman-PonemonGrossman-Ponemon, Benjamin Terrain Data, USA FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++
David GroveGrove, David IBM ResearchUnited States Committee Member in Steering Committee for PLDI 2018
Vinod GroverGrover, Vinod Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs CURD: A Dynamic CUDA Race Detector
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology A Quick Hack to ask any SMT Solver if my Coq Goal is True
Ronghui GuGu, Ronghui Columbia University Committee Member in External Review Committee for PLDI 2018 Certified Concurrent Abstraction Layers
Adrien GuattoGuatto, Adrien Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
Arjun GuhaGuha, Arjun University of Massachusetts, Amherst Committee Member in Program Committee for PLDI 2018 Session Chair of Inference for Probabilistic Programs (part of PLDI Research Papers) Putting in All the Stops: Execution Control for JavaScript
Sumit GulwaniGulwani, Sumit Microsoft Research Automated Clustering and Program Repair for Introductory Programming Assignments
Aarti GuptaGupta, Aarti Princeton University Committee Member in Program Committee within the FMS-track
Rajiv GuptaGupta, Rajiv UC RiversideUnited States OMR: Out-of-Core MapReduce for Large Data Sets
Sam GuyerGuyer, Sam Tufts UniversityUnited States Committee Member in External Review Committee for PLDI 2018
H Christine H. FloodH. Flood, Christine Red Hat Steering Committee Member in Steering Committee for ISMM 2018 Session Chair of Optimizing for the Web and the Cloud (part of ISMM )
Sebastian HackHack, Sebastian Saarland University, GermanyGermany Committee Member in External Review Committee for PLDI 2018 Partial Control-Flow Linearization
Stefan HadjisHadjis, Stefan Stanford University, USA Spatial: A Language and Compiler for Application Accelerators
Edward Hermann HaeuslerHaeusler, Edward Hermann PUC-Rio A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
Jurriaan HageHage, Jurriaan Utrecht University Guarded Impredicative Polymorphism
Mary HallHall, Mary University of Utah Committee Member in External Program Committee for PLDI 2018
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Committee Member in External Review Committee for PLDI 2018
Lei HanHan, Lei Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array
Shivam HandaHanda, Shivam Probabilistic Programming with Programmable Inference
Matin HashemiHashemi, Matin Sharif University of TechnologyIran Committee Member in Program Committee for LCTES 2018
Matthias HauswirthHauswirth, Matthias Università della Svizzera italiana (USI)Switzerland Committee Member in External Program Committee for PLDI 2018
Magne HaveraaenHaveraaen, Magne University of Bergen, Norway Proving a Core Code for FDM Correct by 2 + dw Tests An Array API for Finite Difference Methods Committee Member in Program Committee within the ARRAY-track
Ari B. HayesHayes, Ari B. Rutgers UniversityUnited States Publicity Chair in Organizing Committee for LCTES 2018
Kyle HeadleyHeadley, Kyle University of Colorado BoulderUnited States Student Volunteer Co-Chair in Organizing Committee for PLDI 2018
Marco HeisigHeisig, Marco Petalisp: Run Time Code Generation for Operations on Strided Arrays
Matthias HeizmannHeizmann, Matthias University of Freiburg, Germany Advanced Automata-Based Algorithms for Program Termination Checking
Brian HempelHempel, Brian University of Chicago Committee Member in Artifact Evaluation Committee for PLDI 2018
Laurie HendrenHendren, Laurie McGill University, CanadaCanada Committee Member in Program Committee within the ARRAY-track
Kihong HeoHeo, Kihong University of Pennsylvania, USAUnited States User-Guided Program Reasoning using Bayesian Inference Accelerating Search-Based Program Synthesis using Learned Probabilistic Models
Stephan HerhutHerhut, Stephan Google Inc. Programme Committee in Program Committee within the ARRAY-track
Ben HermannHermann, Ben University of PaderbornGermany Committee Member in External Review Committee for PLDI 2018 Static Analysis for C++ with Phasar
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Committee Member in Steering Committee for PLDI 2018 Session Chair of Program Chair's Report and SIGPLAN Town Hall Meeting (part of PLDI Invited Speakers) Session Chair of Keynote (part of PLDI Invited Speakers) SIGPLAN Town Hall Meeting
Loc HoangHoang, Loc University of Texas at Austin, USA Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
Steve HodgesHodges, Steve Microsoft MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Committee Member in Student Research Competition Committee for PLDI 2018 PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs Bounded Expectations: Resource Analysis for Probabilistic Programs
Changwan HongHong, Changwan GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
Michihiro HorieHorie, Michihiro IBM Research - Tokyo Balanced Double Queues for GC Work-Stealing on Weak Memory Models
Hiroshi HoriiHorii, Hiroshi IBM Research, Japan Balanced Double Queues for GC Work-Stealing on Weak Memory Models
Tony HoskingHosking, Tony Australian National University / Data61Australia Committee Member in Program Committee for PLDI 2018 Committee Member in Distinguished Paper Committee for PLDI 2018 Steering Committee Member in Steering Committee for ISMM 2018 Session Chair of Concurrency Debugging (part of PLDI Research Papers)
Yongjian HuHu, Yongjian University of California, Riverside China Committee Member in Artifact Evaluation Committee for PLDI 2018
Hang HuangHuang, Hang Huazhong University of Science and Technology, China Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
Jeff HuangHuang, Jeff Texas A&M University D4: Fast Concurrency Debugging with Parallel Differential Analysis
Xianglong HuangHuang, Xianglong Alibaba Committee Member in External Review Committee for ISMM 2018
Richard L. HudsonHudson, Richard L. Google Getting to Go
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Crellvm Crellvm: Verified Credible Compilation for LLVM
David HydeHyde, David Stanford University, USA FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++
I Costin IancuIancu, Costin Lawrence Berkeley National Laboratory Steering Committee Member in Steering Committee within the MAPL-track
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
Mohamed IsmailIsmail, Mohamed Cornell University, USA Hardware-Software Co-optimization of Memory Management in Dynamic Languages
Chinawat IsradisaikulIsradisaikul, Chinawat Cornell UniversityThailand Committee Member in External Review Committee for PLDI 2018
Shachar ItzhakyItzhaky, Shachar Technion, IsraelIsrael Committee Member in Program Committee for PLDI 2018
J Joxan JaffarJaffar, Joxan National University of SingaporeSingapore Committee Member in Program Committee for PLDI 2018
Suresh JagannathanJagannathan, Suresh Purdue University A Data-Driven CHC Solver Committee Member in Program Committee within the ARRAY-track
Magnus JahreJahre, Magnus Norwegian University of Science and Technology Committee Member in Program Committee for LCTES 2018
Jonas JensenJensen, Jonas Semmle Declarative Program Analysis with QL
Chris JermaineJermaine, Chris Rice University Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
Somesh JhaJha, Somesh University of Wisconsin, MadisonUnited States Committee Member in Organizing Committee within the FMS-track Conference Chair in Program Committee within the FMS-track
Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States Language-Integrated Verification
Lei JiangJiang, Lei Indiana University BloomingtonUnited States Committee Member in Program Committee for LCTES 2018
Alexandra JimboreanJimborean, Alexandra Uppsala UniversitySweden Committee Member in Program Committee for LCTES 2018 SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
Zhaoxiang JinJin, Zhaoxiang Michigan Technological University Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency
Michael Peyton JonesJones, Michael Peyton Semmle Declarative Program Analysis with QL
Lei JuJu, Lei Shandong UniversityChina Committee Member in Program Committee for LCTES 2018
Myoungsoo JungJung, Myoungsoo Yonsei University, South Korea Enhancing Computation-to-Core Assignment with Physical Location Information
K Gail KaiserKaiser, Gail Columbia University, New YorkUnited States Obfuscation Resilient Search through Executable Classification
Shoaib KamilKamil, Shoaib Adobe Committee Member in External Review Committee for PLDI 2018 Panel: "Charting your Path" Verifying That Web Pages Have Accessible Layout Speaker in Speakers within the PLMW @ PLDI-track
Aditya KanadeKanade, Aditya Indian Institute of Science, Bangalore Committee Member in Program Committee for PLDI 2018
Mahmut Taylan KandemirKandemir, Mahmut Taylan University of Pennsylvania Enhancing Computation-to-Core Assignment with Physical Location Information
Jeehoon KangKang, Jeehoon Seoul National UniversityKorea, South Crellvm: Verified Credible Compilation for LLVM
Gurneet KaurKaur, Gurneet OMR: Out-of-Core MapReduce for Large Data Sets
Stefanos KaxirasKaxiras, Stefanos Uppsala University, Sweden SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
Patryk KiepasKiepas, Patryk MINES ParisTech, France Profile-Based Vectorization for MATLAB
Jieung KimKim, Jieung Yale University, USA Multicore and Multithreaded Linking for Concurrent CertiKOS Certified Concurrent Abstraction Layers
Jinsung KimKim, Jinsung Ohio State University, USA GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
Seohyun KimKim, Seohyun Facebook Retrieval on source code: a neural code search
Yonghyun KimKim, Yonghyun Seoul National University, South Korea Crellvm: Verified Credible Compilation for LLVM
Yoonseung KimKim, Yoonseung Seoul National University (South Korea) Crellvm: Verified Credible Compilation for LLVM
Marisa KirisameKirisame, Marisa Relay: A New IR for Machine Learning Frameworks
Christoph KirschKirsch, Christoph University of SalzburgAustria Steering Committee Chair in Steering Committee for ISMM 2018
Orhan KislalKislal, Orhan Pennsylvania State University, USA Enhancing Computation-to-Core Assignment with Physical Location Information
Andreas KloecknerKloeckner, Andreas University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the ARRAY-track
Penporn KoanantakoolKoanantakool, Penporn GoogleUnited States Committee Member in Artifact Evaluation Committee for PLDI 2018
Ugur KocKoc, Ugur University of Maryland, College ParkUnited States Accessibility Chair in Organizing Committee for PLDI 2018
Jérémie KoenigKoenig, Jérémie Certified Concurrent Abstraction Layers
David KoeplingerKoeplinger, David Stanford University, USA Spatial: A Language and Compiler for Application Accelerators
Jagadish KotraKotra, Jagadish Pennsylvania State University, USA Enhancing Computation-to-Core Assignment with Physical Location Information
Konstantinos KoukosKoukos, Konstantinos Uppsala University, Sweden SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
Jaroslaw KozlakKozlak, Jaroslaw AGH University of Science and Technology, Poland Profile-Based Vectorization for MATLAB
Christos KozyrakisKozyrakis, Christos Stanford University, USA Spatial: A Language and Compiler for Application Accelerators
Chandra KrintzKrintz, Chandra UC Santa Barbara Committee Member in Steering Committee for PLDI 2018 Committee Member in Program Committee for LCTES 2018
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories Committee Member in External Review Committee for PLDI 2018 GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA Inferring Type Rules for Syntactic Sugar Putting in All the Stops: Execution Control for JavaScript
Hari KrishnanKrishnan, Hari Facebook, n.n. Distributed Garbage Collection for General Graphs
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Committee Member in Distinguished Paper Committee for PLDI 2018 Committee Member in External Program Committee for PLDI 2018 Session Chair of Optimization and Locality (part of PLDI Research Papers) Session Chair of Session D (part of PLMW @ PLDI) Session Chair of Session B (part of PLMW @ PLDI) Evaluating Evaluations Wrap up Introduction and Welcome Poster Session Speaker in Speakers within the PLMW @ PLDI-track Organizer in Organizing Committee within the PLMW @ PLDI-track
Prasad KulkarniKulkarni, Prasad University of Kansas Committee Member in Program Committee for LCTES 2018
Sulekha KulkarniKulkarni, Sulekha Georgia Tech User-Guided Program Reasoning using Bayesian Inference
Lindsey KuperKuper, Lindsey University of California, Santa Cruz Committee Member in External Review Committee for PLDI 2018
Boris KöpfKöpf, Boris IMDEA Software Institute, SpainSpain Committee Member in Program Committee within the FMS-track
Harald KöstlerKöstler, Harald Friedrich-Alexander University Erlangen-Nürnberg, Germany Petalisp: Run Time Code Generation for Operations on Strided Arrays
L Patrick LamLam, Patrick University of Waterloo Committee Member in External Program Committee for PLDI 2018
Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece QuickChick: Random Testing in Coq
Tian LanLan, Tian George Washington University Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection
James LarusLarus, James EPFLSwitzerland Detailed Heap Profiling Poster Session
Rahman LavaeeLavaee, Rahman Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in External Program Committee for PLDI 2018
Hochan LeeLee, Hochan Seoul National University Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
Jaejin LeeLee, Jaejin Seoul National UniversityKorea, South Committee Member in External Review Committee for ISMM 2018
Juneyoung LeeLee, Juneyoung Seoul National University Crellvm: Verified Credible Compilation for LLVM
Sungho LeeLee, Sungho KAIST, South KoreaSouth Korea Committee Member in Artifact Evaluation Committee for PLDI 2018
Woosuk LeeLee, Woosuk University of Pennsylvania, USAUnited States Accelerating Search-Based Program Synthesis using Learned Probabilistic Models
Ondřej LengálLengál, Ondřej Brno University of Technology Czechia Advanced Automata-Based Algorithms for Program Termination Checking
Sorin LernerLerner, Sorin University of California, San Diego Committee Member in Program Committee for PLDI 2018 Committee Member in Distinguished Paper Committee for PLDI 2018 Session Chair of Dynamic Techniques (part of PLDI Research Papers) Finding Root Causes of Floating Point Error
Omer LevyLevy, Omer University of Washington, USA A General Path-Based Representation for Predicting Program Properties
Hongyu LiLi, Hongyu Rice University Retrieval on source code: a neural code search
Pengcheng LiLi, Pengcheng Committee Member in Program Committee for LCTES 2018
Tao LiLi, Tao University of Florida Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array
Yong LiLi, Yong Institute of Software, Chinese Academy of SciencesChina Advanced Automata-Based Algorithms for Program Termination Checking
Percy LiangLiang, Percy Stanford University Active Learning of Points-To Specifications
Guilherme F. LimaLima, Guilherme F. PUC-Rio A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
Chit-Kwan LinLin, Chit-Kwan Intel Labs, n.n. Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
Tsung-Han LinLin, Tsung-Han Intel Labs, n.n. Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
Bozhen LiuLiu, Bozhen Texas A&M University, USA D4: Fast Concurrency Debugging with Parallel Differential Analysis
Fangzhou LiuLiu, Fangzhou Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving
Fangzhou LiuLiu, Fangzhou University of RochesterChina Locality Analysis through Static Parallel Sampling
Fengyun LiuLiu, Fengyun EPFL, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee for PLDI 2018
Haopeng LiuLiu, Haopeng University of Chicago Committee Member in Artifact Evaluation Committee for PLDI 2018
Hongyu LiuLiu, Hongyu University of Texas at San Antonio, USA iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
Peizun LiuLiu, Peizun Northeastern University, USA CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs
Tongping LiuLiu, Tongping iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in External Review Committee for PLDI 2018
Benjamin LivshitsLivshits, Benjamin Imperial College London, UK Committee Member in Program Committee for PLDI 2018
Fan LongLong, Fan MIT CSAIL Committee Member in External Review Committee for PLDI 2018
Giuliano LosaLosa, Giuliano University of California at Los Angeles, USA Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Jian-Guang LouLou, Jian-Guang Microsoft Research Committee Member in Program Committee within the MAPL-track
Sifei LuanLuan, Sifei Facebook Retrieval on source code: a neural code search
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Co-chair in Artifact Evaluation Committee for PLDI 2018 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2018 Intermittent Computing Systems Speaker in Speakers within the PLMW @ PLDI-track
Steven LyubomirskyLyubomirsky, Steven University of Washington, USAUnited States Relay: A New IR for Machine Learning Frameworks
Welf LöweLöwe, Welf Linnaeus University Committee Member in External Review Committee for ISMM 2018
M Martin MaasMaas, Martin GoogleUnited States Committee Member in External Review Committee for PLDI 2018
Julian MackayMackay, Julian Victoria University of Wellington Committee Member in Artifact Evaluation Committee for PLDI 2018
Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom Bounding Data Races in Space and Time
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Committee Member in Organizing Committee within the FMS-track Committee Member in Program Committee within the FMS-track
Matteo MaffeiMaffei, Matteo TU Wien Committee Member in Program Committee within the FMS-track
Rasool MagharehMaghareh, Rasool National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee for PLDI 2018
Stephen MagillMagill, Stephen A Data-Driven CHC Solver
Petar MaksimovićMaksimović, Petar Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee for PLDI 2018
Konstantinos MamourasMamouras, Konstantinos University of Pennsylvania Committee Member in Artifact Evaluation Committee for PLDI 2018
Panagiotis ManoliosManolios, Panagiotis Northeastern University Rank Polymorphism Viewed as a Constraint Problem
Vikash K. MansinghkaMansinghka, Vikash K. MIT Gen: probabilistic programming with fast custom inference via code generation Incremental Inference for Probabilistic Programs Probabilistic Programming with Programmable Inference
William ManskyMansky, William Princeton UniversityUnited States Specifying and Verifying Concurrent Programs with Ghost State
Virendra MaratheMarathe, Virendra Oracle LabsUnited States Committee Member in Program Committee for ISMM 2018
Vicent Sanz MarcoMarco, Vicent Sanz Lancaster University Adaptive Deep Learning Model Selection on Embedded Systems
Mark MarronMarron, Mark Microsoft ResearchUnited States Committee Member in External Review Committee for ISMM 2018
Jason MarsMars, Jason University of Michigan Committee Member in Program Committee for PLDI 2018
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityPortugal Program Synthesis using Conflict-Driven Learning
Margaret MartonosiMartonosi, Margaret A “Post-ISA” Era in Computer Systems: Challenges and Opportunities
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Inner Array Inlining for Structure of Arrays Layout
Tim MattsonMattson, Tim Intel, USA The Three Pillars of Machine Programming
Kathryn S McKinleyMcKinley, Kathryn S Google Committee Member in Program Committee for PLDI 2018 Session Chair of PLDI 2019 Introduction (part of PLDI Invited Speakers) What Programming Language Researchers Do and How to Become One PLDI 2019 Introduction Write-Rationing Garbage Collection for Hybrid Memories Speaker in Speakers within the PLMW @ PLDI-track
Kenneth L. McMillanMcMillan, Kenneth L. Microsoft Research Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Pavan MehrotraMehrotra, Pavan Stanford University WIP: An open-source realtime computational platform
Erik MeijerMeijer, Erik Machine Learning: Alchemy for the Modern Computer Scientist
Richard MembarthMembarth, Richard DFKI, GermanyGermany Committee Member in Program Committee within the ARRAY-track
David MenendezMenendez, David Rutgers UniversityUnited States Committee Member in External Review Committee for PLDI 2018
Vijay MenonMenon, Vijay Google Committee Member in External Review Committee for PLDI 2018
Mira MeziniMezini, Mira TU DarmstadtGermany Committee Member in External Program Committee for PLDI 2018
Mae MilanoMilano, Mae Cornell University MixT: A Language for Mixing Consistency in Geodistributed Transactions
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Committee Member in External Review Committee for PLDI 2018
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-Champaign, USA Committee Member in Student Research Competition Committee for PLDI 2018 Poster Session Bayonet: Probabilistic Inference for Networks
Nick MitchellMitchell, Nick IBM TJ Watson Research CenterUnited States Committee Member in External Review Committee for ISMM 2018
Tulika MitraMitra, Tulika National University of Singapore, SingaporeSingapore Committee Member in Program Committee for LCTES 2018
Stefan MitschMitsch, Stefan Carnegie Mellon University, USA VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
Simon MollMoll, Simon Saarland University, Germany Partial Control-Flow Linearization
Michał MoskalMoskal, Michał Microsoft ResearchPoland MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
Vijayaraghavan MuraliMurali, Vijayaraghavan Rice University, USA Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
Abdullah MuzahidMuzahid, Abdullah Committee Member in Program Committee within the MAPL-track
Andrew MyersMyers, Andrew Cornell UniversityUnited States Designing hardware to be free of covert channels by construction MixT: A Language for Mixing Consistency in Geodistributed Transactions
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden CakeML: from functions to machine code with proof all the way VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
Todd MytkowiczMytkowicz, Todd Microsoft Research Committee Member in Program Committee for PLDI 2018
Peter MüllerMüller, Peter ETH ZurichSwitzerland Static Serializability Analysis for Causal Consistency
N Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Committee Member in Student Research Competition Committee for PLDI 2018 Poster Session Debugging and Profiling Task Parallel Programs with TASKPROF
Mayur NaikNaik, Mayur University of Pennsylvania Poster Session User-Guided Program Reasoning using Bayesian Inference Accelerating Search-Based Program Synthesis using Learned Probabilistic Models
Satish NarayanasamyNarayanasamy, Satish University of MichiganUnited States Persistency for Synchronization-Free Regions
Luigi NardiNardi, Luigi Stanford UniversityUnited States Spatial: A Language and Compiler for Application Accelerators
Iulian NeamtiuNeamtiu, Iulian New Jersey Institute of TechnologyUnited States Committee Member in Program Committee for PLDI 2018 Session Chair of Concurrency and Termination (part of PLDI Research Papers)
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Committee Member in Program Committee for PLDI 2018 Session Chair of Emerging Hardware (part of PLDI Research Papers)
Khanh NguyenNguyen, Khanh University of California, Irvine Committee Member in Program Committee for ISMM 2018 Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
ThanhVu NguyenNguyen, ThanhVu University of Nebraska-LincolnUnited States Committee Member in External Review Committee for PLDI 2018
Victor NicoletNicolet, Victor University of TorontoCanada Committee Member in Artifact Evaluation Committee for PLDI 2018
Rachit NigamNigam, Rachit Putting in All the Stops: Execution Control for JavaScript
Paul NuyujukianNuyujukian, Paul Stanford UniversityUnited States WIP: An open-source realtime computational platform
O Russell O'ConnorO'Connor, Russell Simplicity for Smart Contracts
Kazunori OgataOgata, Kazunori IBM Research, Japan Balanced Double Queues for GC Work-Stealing on Weak Memory Models
Kunle OlukotunOlukotun, Kunle Stanford UniversityUnited States Spatial: A Language and Compiler for Application Accelerators Steering Committee Member in Steering Committee within the MAPL-track
Nilufer OnderOnder, Nilufer Michigan Technological University, USA mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores
Soner OnderOnder, Soner Michigan Technological University Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency
Tamiya OnoderaOnodera, Tamiya IBM, JapanJapan Balanced Double Queues for GC Work-Stealing on Weak Memory Models
Guilherme OttoniOttoni, Guilherme Facebook HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Committee Member in External Review Committee for PLDI 2018
P Rohan PadhyePadhye, Rohan University of California, Berkeley Committee Member in Artifact Evaluation Committee for PLDI 2018
Oded PadonPadon, Oded Tel Aviv UniversityIsrael Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Locality Analysis through Static Parallel Sampling
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) Committee Member in Program Committee for PLDI 2018 Committee Member in Program Committee for PLDI 2018
Pavel PanchekhaPanchekha, Pavel University of WashingtonUnited States Verifying That Web Pages Have Accessible Layout Finding Root Causes of Floating Point Error
Sanghoon ParkPark, Sanghoon Seoul National University, South Korea Crellvm: Verified Credible Compilation for LLVM
Hannes PayerPayer, Hannes Google General Chair in Organizing Committee for ISMM 2018 Message from the Chairs
David J. PearcePearce, David J. Victoria University of Wellington, New ZealandUnited Kingdom Committee Member in External Review Committee for PLDI 2018
Ardavan PedramPedram, Ardavan Stanford University, USA Spatial: A Language and Compiler for Application Accelerators
Yuanfeng PengPeng, Yuanfeng University of Pennsylvania CURD: A Dynamic CUDA Race Detector
Erez PetrankPetrank, Erez TechnionIsrael Committee Member in External Review Committee for PLDI 2018
Simon Peyton JonesPeyton Jones, Simon Microsoft Research Committee Member in External Program Committee for PLDI 2018 Guarded Impredicative Polymorphism
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo University of California at Berkeley Committee Member in External Review Committee for PLDI 2018
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Progress Report on the DeepSpec Web Server SIGPLAN Town Hall Meeting
Keshav PingaliPingali, Keshav University of Texas at Austin, USA Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
Ruzica PiskacPiskac, Ruzica Yale University Committee Member in Program Committee for PLDI 2018
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAIL Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats
André PlatzerPlatzer, André Carnegie Mellon UniversityUnited States VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Committee Member in Student Research Competition Committee for PLDI 2018 Committee Member in External Review Committee for PLDI 2018
Joe Gibbs PolitzPolitz, Joe Gibbs University of California, San DiegoUnited States Putting in All the Stops: Execution Control for JavaScript
Josh PollockPollock, Josh University of Washington Relay: A New IR for Machine Learning Frameworks
Justin PombrioPombrio, Justin Brown University, USAUnited States Inferring Type Rules for Syntactic Sugar
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
Raghu PrabhakarPrabhakar, Raghu Stanford University, USA Spatial: A Language and Compiler for Application Accelerators
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Verified Low-Level Programming in F*
Q Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Committee Member in External Review Committee for PLDI 2018
R Steven R. BrandtR. Brandt, Steven Louisiana State UniversityUnited States Distributed Garbage Collection for General Graphs
Ivan RadičekRadiček, Ivan Vienna University of Technology, Austria Automated Clustering and Program Repair for Introductory Programming Assignments
Alexey RadulRadul, Alexey Probabilistic Programming with Programmable Inference
Jonathan Ragan-KelleyRagan-Kelley, Jonathan UC BerkeleyUnited States Committee Member in Program Committee for PLDI 2018
Mukund RaghothamanRaghothaman, Mukund University of Pennsylvania User-Guided Program Reasoning using Bayesian Inference
Mike RaineyRainey, Mike Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
Tahina RamananandroRamananandro, Tahina Microsoft Research, n.n.United States Certified Concurrent Abstraction Layers Verified Low-Level Programming in F*
Jia RaoRao, Jia University of Texas at Arlington, USA Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
Fabrice RastelloRastello, Fabrice INRIA Committee Member in Program Committee for LCTES 2018 GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
Mahesh RavishankarRavishankar, Mahesh Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs
Prashant Singh RawatRawat, Prashant Singh GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
Baishakhi RayRay, Baishakhi Columbia University, New YorkUnited States Obfuscation Resilient Search through Executable Classification
Veselin RaychevRaychev, Veselin ETH Zurich Inferring Crypto API Rules from Code Changes
Alastair ReidReid, Alastair Arm LtdUnited Kingdom Committee Member in External Review Committee for PLDI 2018
Jenna ReinenReinen, Jenna IBM Research Ariadne: Analysis for Machine Learning Programs
Thomas RepsReps, Thomas University of Wisconsin - Madison and GrammaTech, Inc.United States PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs
Tamara RezkRezk, Tamara InriaFrance Committee Member in External Review Committee for PLDI 2018
Sebastian RiedelRiedel, Sebastian Committee Member in Program Committee within the MAPL-track
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States The Three Pillars of Machine Programming Probabilistic Programming with Programmable Inference
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Committee Member in External Review Committee for PLDI 2018
Christine RizkallahRizkallah, Christine The University of MelbourneAustralia A Formal Equational Theory for Call-By-Push-Value
Samantha RobertsonRobertson, Samantha Stanford University WIP: An open-source realtime computational platform
Noemi RodriguezRodriguez, Noemi PUC-Rio WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach
Jake RoemerRoemer, Jake Ohio State University High-Coverage, Unbounded Sound Predictive Race Detection
Jared RoeschRoesch, Jared University of Washington, USAUnited States Relay: A New IR for Machine Learning Frameworks
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Program Committee for PLDI 2018
Andreas RossbergRossberg, Andreas GoogleGermany Committee Member in Program Committee for PLDI 2018
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee for PLDI 2018
Norm RubinRubin, Norm NVIDIA Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Committee Member in Program Committee for PLDI 2018
S Saksham SachdevSachdev, Saksham Facebook Retrieval on source code: a neural code search
P. SadayappanSadayappan, P. Ohio State UniversityUnited States GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis Committee Member in Program Committee within the ARRAY-track
Mooly SagivSagiv, Mooly Tel Aviv University Committee Member in External Program Committee for PLDI 2018 Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Malavika SamakSamak, Malavika CSAIL, MITUnited States Committee Member in Student Research Competition Committee for PLDI 2018
Adrian SampsonSampson, Adrian Cornell UniversityUnited States Publicity Chair in Organizing Committee for PLDI 2018 Poster Session
Alex Sanchez-SternSanchez-Stern, Alex University of California, San DiegoUnited States Finding Root Causes of Floating Point Error
Hari SandanagobalaneSandanagobalane, Hari NVIDIA Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
Mark SantolucitoSantolucito, Mark Yale University Committee Member in Artifact Evaluation Committee for PLDI 2018
Rodrigo C. M. SantosSantos, Rodrigo C. M. PUC-Rio A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
John SarracinoSarracino, John University of California, San Diego Committee Member in Artifact Evaluation Committee for PLDI 2018
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit BrusselBelgium Committee Member in External Review Committee for PLDI 2018 Program Chair in Organizing Committee for ISMM 2018 Message from the Chairs Panel: "Charting your Path" Write-Rationing Garbage Collection for Hybrid Memories Speaker in Speakers within the PLMW @ PLDI-track
Annabel SatinSatin, Annabel P.C.K. Treasurer & Conference Manager in Organizing Committee for PLDI 2018
Ulrich SchaechtleSchaechtle, Ulrich Massachusetts Institute of Technology, USA Probabilistic Programming with Programmable Inference
Max SchaeferSchaefer, Max SemmleUnited Kingdom Committee Member in Student Research Competition Committee for PLDI 2018
Bernhard ScholzScholz, Bernhard University of Sydney, Australia Committee Member in Program Committee for LCTES 2018
Sven-Bodo ScholzScholz, Sven-Bodo Heriot-Watt UniversityUnited Kingdom A Rosetta Stone for Array Languages Co-chair in Organizing Committee within the ARRAY-track
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Static Analysis for C++ with Phasar
Christian SchulteSchulte, Christian KTH Royal Institute of Technology, Sweden Committee Member in Program Committee for LCTES 2018
Koushik SenSen, Koushik University of California, BerkeleyUnited States Committee Member in External Review Committee for PLDI 2018 Retrieval on source code: a neural code search
Alejandro SerranoSerrano, Alejandro Utrecht UniversityNetherlands Guarded Impredicative Polymorphism
Thomas SewellSewell, Thomas UNSW, Australia Verifying seL4 towards Concurrency
Zhong ShaoShao, Zhong Yale University Real-Time CertiKOS: A Step Toward Resource Adaptive Certified OS Kernels Certified Concurrent Abstraction Layers
Zili ShaoShao, Zili The Hong Kong Polytechnic UniversityHong Kong Committee Member in Program Committee for LCTES 2018 Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array
Aditya SharadSharad, Aditya SemmleUnited Kingdom Declarative Program Analysis with QL
Gokarna SharmaSharma, Gokarna Kent State University, USA Distributed Garbage Collection for General Graphs
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Committee Member in Program Committee for PLDI 2018 Committee Member in Student Research Competition Committee for PLDI 2018 Active Learning of Points-To Specifications
Mary SheeranSheeran, Mary Committee Member in Program Committee within the ARRAY-track
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Committee Member in Program Committee for PLDI 2018
Zhaoyan ShenShen, Zhaoyan The Hong Kong Polytechnic University Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array
Qingkai ShiShi, Qingkai Hong Kong University of Science and Technology, ChinaChina Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
Daeyoung ShinShin, Daeyoung Seoul National University Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
Mark Dongyeon ShinShin, Mark Dongyeon Seoul National University, South Korea Crellvm: Verified Credible Compilation for LLVM
Avraham ShinnarShinnar, Avraham IBM Research Ariadne: Analysis for Machine Learning Programs
Olin ShiversShivers, Olin Northeastern University, USA Rank Polymorphism Viewed as a Constraint Problem Co-chair in Organizing Committee within the ARRAY-track
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Tatiana ShpeismanShpeisman, Tatiana Google BrainUnited States Committee Member in Program Committee for PLDI 2018 Committee Member in Distinguished Paper Committee for PLDI 2018 Session Chair of Transactions and Races (part of PLDI Research Papers) Committee Member in Program Committee within the MAPL-track Steering Committee Chair in Steering Committee within the MAPL-track
Xujie SiSi, Xujie University of Pennsylvania Student Volunteer Co-Chair in Organizing Committee for PLDI 2018
Filip SieczkowskiSieczkowski, Filip University of WrocławPoland Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Committee Member in External Program Committee for PLDI 2018
Sam SilvestroSilvestro, Sam University of Texas at San Antonio, USA iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
Jeremy SingerSinger, Jeremy University of Glasgow Committee Member in External Review Committee for ISMM 2018
Rishabh SinghSingh, Rishabh Google BrainUnited States Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises Committee Member in Program Committee within the MAPL-track
Satnam SinghSingh, Satnam X, the moonshot factoryUnited States Session Chair of SIGPLAN and SRC Awards (part of PLDI Invited Speakers)
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeUnited Kingdom Bounding Data Races in Space and Time
Magnus SjälanderSjälander, Magnus Norwegian University of Science and Technology (NTNU) SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
Vilhelm SjöbergSjöberg, Vilhelm Yale University Certified Concurrent Abstraction Layers
Mladen SkelinSkelin, Mladen Eindhoven University of Technology Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective
Justin SlepakSlepak, Justin Northeastern UniversityUnited States Rank Polymorphism Viewed as a Constraint Problem
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Committee Member in Program Committee for PLDI 2018 Session Chair of Multicore and More (part of PLDI Research Papers) Symbolic Reasoning for Automatic Signal Placement
Aaron SmithSmith, Aaron Workshops and Tutorials Chair in Organizing Committee for PLDI 2018 Committee Member in Program Committee for LCTES 2018
Marc SnirSnir, Marc UIUC Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
Ana SokolovaSokolova, Ana University of Salzburg Committee Member in External Review Committee for ISMM 2018
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States The Three Pillars of Machine Programming Committee Member in Program Committee within the MAPL-track
Dawn SongSong, Dawn Committee Member in Program Committee within the MAPL-track
Eunjin SongSong, Eunjin Seoul National University Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
Youngju SongSong, Youngju Seoul National University Crellvm: Verified Credible Compilation for LLVM
Tyler SorensenSorensen, Tyler Imperial College LondonUnited Kingdom Committee Member in External Review Committee for PLDI 2018 The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany Inner Array Inlining for Structure of Arrays Layout
Witawas Srisa-anSrisa-an, Witawas University of Nebraska-LincolnUnited States Committee Member in Program Committee for ISMM 2018
Vincent St-AmourSt-Amour, Vincent Northwestern University Committee Member in External Review Committee for PLDI 2018
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in Program Committee for ISMM 2018
Deian StefanStefan, Deian University of California, San Diego Committee Member in Program Committee for PLDI 2018
Michael J. SteindorferSteindorfer, Michael J. Delft University of TechnologyNetherlands To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries
Christos StergiouStergiou, Christos GoogleUnited States Committee Member in Student Research Competition Committee for PLDI 2018
Michel SteuwerSteuwer, Michel University of GlasgowUnited Kingdom Committee Member in Program Committee for LCTES 2018 Artifact Evaluation Chair in Organizing Committee for LCTES 2018
Gordon StewartStewart, Gordon Ohio University Machine-Verified Machine Learning
Michael StokesStokes, Michael Florida State University Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency
Michelle StroutStrout, Michelle University of ArizonaUnited States Sponsorship Chair in Organizing Committee for PLDI 2018 Committee Member in External Program Committee for PLDI 2018 Session Chair of Session C (part of PLMW @ PLDI) Icebreaker Wrap up Introduction and Welcome Poster Session Organizer in Organizing Committee within the PLMW @ PLDI-track
Cynthia SturtonSturton, Cynthia A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs
Fang-Hsiang SuSu, Fang-Hsiang Columbia University, New YorkUnited States Obfuscation Resilient Search through Executable Classification
Zhendong SuSu, Zhendong University of California, DavisUnited States Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
Suriya SubramaniamSubramaniam, Suriya Committee Member in External Review Committee for ISMM 2018
G. Edward SuhSuh, G. Edward Cornell University, USA Hardware-Software Co-optimization of Memory Management in Dynamic Languages
Aravind Sukumaran-RajamSukumaran-Rajam, Aravind Ohio State University, USA GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
Alexander J. SummersSummers, Alexander J. ETH Zurich Committee Member in Student Research Competition Committee for PLDI 2018
Yaozhu SunSun, Yaozhu Tokyo Institute of TechnologyJapan Inner Array Inlining for Structure of Arrays Layout
Charles SuttonSutton, Charles University of EdinburghUnited Kingdom Committee Member in Program Committee within the MAPL-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem Verified Low-Level Programming in F*
Ruslan SynytskySynytsky, Ruslan Jelastic, n.n. Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
Alexandre SztajnbergSztajnberg, Alexandre Rio de Janeiro State University WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach
T Claude TadonkiTadonki, Claude MINES ParisTech, France Profile-Based Vectorization for MATLAB
Jean-Pierre TalpinTalpin, Jean-Pierre INRIA, France Committee Member in Program Committee for LCTES 2018
Yong Kiam TanTan, Yong Kiam Carnegie Mellon University, USA VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
Xulong TangTang, Xulong Penn State Enhancing Computation-to-Core Assignment with Physical Location Information
Nesime TatbulTatbul, Nesime Intel Labs and MITUnited States The Three Pillars of Machine Programming Committee Member in Program Committee within the MAPL-track
Ross TateTate, Ross Cornell UniversityUnited States Committee Member in Program Committee for PLDI 2018
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Relay: A New IR for Machine Learning Frameworks Panel: "Charting your Path" Verifying That Web Pages Have Accessible Layout Finding Root Causes of Floating Point Error Speaker in Speakers within the PLMW @ PLDI-track
Marcelo TaubeTaube, Marcelo Tel Aviv University, Israel Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Ben TaylorTaylor, Ben Lancaster University, UKUnited Kingdom Adaptive Deep Learning Model Selection on Embedded Systems
Jürgen TeichTeich, Jürgen Committee Member in Program Committee for LCTES 2018
Joshua B. TenenbaumTenenbaum, Joshua B. MIT The Three Pillars of Machine Programming
Peter ThiemannThiemann, Peter University of Freiburg, Germany Committee Member in Steering Committee for PLDI 2018
Chen TianTian, Chen Huawei Lab, USA iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
Ben L. TitzerTitzer, Ben L. GoogleGermany Committee Member in External Review Committee for PLDI 2018 Steering Committee Member in Steering Committee for ISMM 2018
John TomanToman, John University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee for PLDI 2018
Emina TorlakTorlak, Emina University of WashingtonUnited States Committee Member in Program Committee for PLDI 2018
Kim-Anh TranTran, Kim-Anh Uppsala University, Sweden SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
Sean TreichlerTreichler, Sean NVIDIAUnited States Committee Member in External Review Committee for PLDI 2018
Charles TrippTripp, Charles Terrain Data, USA FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++
Jean-Baptiste TristanTristan, Jean-Baptiste Oracle LabsUnited States Committee Member in Program Committee for PLDI 2018
Ming-Hsien TsaiTsai, Ming-Hsien Academia Sinica, Taiwan Advanced Automata-Based Algorithms for Program Termination Checking
Petar TsankovTsankov, Petar ETH ZurichSwitzerland Inferring Crypto API Rules from Code Changes Bayonet: Probabilistic Inference for Networks
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Advanced Automata-Based Algorithms for Program Termination Checking
U Tomoharu UgawaUgawa, Tomoharu Kochi University of Technology, JapanJapan Committee Member in Program Committee for ISMM 2018
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Committee Member in Student Research Competition Committee for PLDI 2018
V Jacob Van GeffenVan Geffen, Jacob UT Austin Symbolic Reasoning for Automatic Signal Placement
David Van HornVan Horn, David University of Maryland Committee Member in Student Research Competition Committee for PLDI 2018
Laurent VanbeverVanbever, Laurent ETH ZürichSwitzerland Bayonet: Probabilistic Inference for Networks
Kapil VaswaniVaswani, Kapil Microsoft Research Committee Member in External Program Committee for PLDI 2018
Martin VechevVechev, Martin ETH Zürich Steering Committee Member in Steering Committee for PLDI 2018 Inferring Crypto API Rules from Code Changes Bayonet: Probabilistic Inference for Networks Static Serializability Analysis for Causal Consistency Incremental Inference for Probabilistic Programs Committee Member in Program Committee within the MAPL-track
Guru VenkataramaniVenkataramani, Guru George Washington University Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection
Hans-Nikolai VießmannVießmann, Hans-Nikolai Heriot-Watt University, UK A Rosetta Stone for Array Languages
Muralidaran VijayaraghavanVijayaraghavan, Muralidaran SiFive Using Kami in the field - experiences integrating Kami into SiFive's Chisel/Scala-based design flow
John VilkVilk, John University of Massachusetts, AmherstUnited States BLeak: Automatically Debugging Memory Leaks in Web Applications
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BVNetherlands To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries
Michael VollmerVollmer, Michael Indiana UniversityUnited States Committee Member in Artifact Evaluation Committee for PLDI 2018
Keval VoraVora, Keval University of California, Riverside OMR: Out-of-Core MapReduce for Large Data Sets
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Committee Member in Program Committee for PLDI 2018 Guarded Impredicative Polymorphism
W Thomas WahlWahl, Thomas Northeastern UniversityUnited States CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs
Di WangWang, Di Carnegie Mellon UniversityUnited States PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs
Hong WangWang, Hong Intel Labs, n.n. Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
Ke WangWang, Ke University of California at Davis, USA Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises
Shengyi WangWang, Shengyi Verification of Union-Find in C
Wei WangWang, Wei University of Texas at San Antonio, USA iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
William WangWang, William Arm Research, UK Persistency for Synchronization-Free Regions
Xi WangWang, Xi University of Washington Committee Member in External Review Committee for PLDI 2018
Zheng WangWang, Zheng Lancaster University Adaptive Deep Learning Model Selection on Embedded Systems
Zhenlin WangWang, Zhenlin Michigan Technological University Committee Member in Program Committee for ISMM 2018 mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores
Logan WeberWeber, Logan University of Washington Relay: A New IR for Machine Learning Frameworks
Stephanie WeirichWeirich, Stephanie University of Pennsylvania, USAUnited States Towards a formal semantics for GHC Core Committee Member in Organizing Committee within the DeepSpec-track
Adam WelcWelc, Adam Uber TechnologiesUnited States Committee Member in Program Committee for ISMM 2018
Thomas F. WenischWenisch, Thomas F. University of Michigan, USA Persistency for Synchronization-Free Regions
John WickersonWickerson, John Imperial College LondonUnited Kingdom Poster Session The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
Pascal WiesmannWiesmann, Pascal ETH Zurich, Switzerland Bayonet: Probabilistic Inference for Networks
James R. WilcoxWilcox, James R. University of WashingtonUnited States Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Andreas WildWild, Andreas Intel Labs, n.n. Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
Christian WimmerWimmer, Christian Oracle Labs Committee Member in External Program Committee for PLDI 2018
Willy WolffWolff, Willy Lancaster University Adaptive Deep Learning Model Selection on Embedded Systems
Doug WoosWoos, Doug University of WashingtonUnited States Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Committee Member in Program Committee for PLDI 2018 Session Chair of Web Pages (part of PLDI Research Papers) Parallel Programming with Arrays in Kappa
Baijun WuWu, Baijun University of Louisiana at Lafayette, USA Committee Member in Artifact Evaluation Committee for PLDI 2018
Peng WuWu, Peng Huawei America Research LabUnited States Committee Member in Program Committee for LCTES 2018
Rongxin WuWu, Rongxin Department of Computer Science and Engineering, The Hong Kong University of Science and TechnologyChina Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
Song WuWu, Song Huazhong University of Science and Technology, China Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
Xiongnan (Newman) WuWu, Xiongnan (Newman) Yale University Certified Concurrent Abstraction Layers
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Committee Member in External Review Committee for PLDI 2018
X Xiao XiaoXiao, Xiao SourceBrella Inc. Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
Tao XieXie, Tao Committee Member in Program Committee within the MAPL-track
Harry XuXu, Harry University of California, Los Angeles (UCLA)United States Committee Member in Program Committee for PLDI 2018 Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
Hongfa XueXue, Hongfa George Washington University Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection
Jingling XueXue, Jingling UNSW SydneyAustralia Committee Member in External Review Committee for PLDI 2018
Y Eran YahavYahav, Eran TechnionIsrael A General Path-Based Representation for Predicting Program Properties Committee Member in Program Committee within the MAPL-track
Albert Mingkun YangYang, Albert Mingkun Committee Member in Artifact Evaluation Committee for PLDI 2018
Chengmo YangYang, Chengmo University of Delaware, USA Committee Member in Program Committee for LCTES 2018
Chia-Lin YangYang, Chia-Lin National Taiwan University, Taiwan Committee Member in Program Committee for LCTES 2018
Roland H. C. YapYap, Roland H. C. National University of Singapore, Singapore EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
Kwangkeun YiYi, Kwangkeun Seoul National UniversityKorea, South Crellvm: Verified Credible Compilation for LLVM
Adarsh YogaYoga, Adarsh Rutgers University, USA Debugging and Profiling Task Parallel Programs with TASKPROF
Liang YuanYuan, Liang Institute of Computing Technology at Chinese Academy of Sciences, China Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving
Z Aliasger ZaidyZaidy, Aliasger FWDNXT and Purdue WIP: Deep Neural Networks compiler for a trace-based accelerator
Yannick ZakowskiZakowski, Yannick LLVM's IR and Call-By-Push-Value Lambda Calculus
Francesco Zappa NardelliZappa Nardelli, Francesco InriaFrance Debugging Debug Information and Beyond
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Committee Member in Distinguished Paper Committee for PLDI 2018 Committee Member in External Program Committee for PLDI 2018 Vellvm - Modular Semantics via Interaction Trees Committee Member in Organizing Committee within the DeepSpec-track
Charles ZhangZhang, Charles Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
Lijun ZhangZhang, Lijun Institute of Software, Chinese Academy of SciencesChina Advanced Automata-Based Algorithms for Program Termination Checking
Qirun ZhangZhang, Qirun University of California, DavisUnited States Committee Member in External Review Committee for PLDI 2018 Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
Rui ZhangZhang, Rui A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs
Xin ZhangZhang, Xin Massachusetts Institute of Technology, USAUnited States Committee Member in Program Committee for PLDI 2018 Session Chair of Synthesis and Learning (part of PLDI Research Papers) Poster Session
Yaqi ZhangZhang, Yaqi Stanford University, USA Spatial: A Language and Compiler for Application Accelerators
Zheng ZhangZhang, Zheng Rutgers University Steering Committee Member in Steering Committee for ISMM 2018 General Chair in Organizing Committee for LCTES 2018
Tian ZhaoZhao, Tian Stanford University Spatial: A Language and Compiler for Application Accelerators
Guolong ZhengZheng, Guolong University of Nebraska Lincoln Committee Member in Artifact Evaluation Committee for PLDI 2018
Jinguo ZhouZhou, Jinguo Sourcebrella Inc. Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
He ZhuZhu, He Rutgers University, USA A Data-Driven CHC Solver
Meital ZilbersteinZilberstein, Meital TechnionIsrael A General Path-Based Representation for Predicting Program Properties
Benjamin ZornZorn, Benjamin Microsoft ResearchUnited States Committee Member in Distinguished Paper Committee for PLDI 2018 Committee Member in External Program Committee for PLDI 2018
Damien ZuffereyZufferey, Damien MPI-SWS Committee Member in Student Research Competition Committee for PLDI 2018
Florian ZulegerZuleger, Florian TU Vienna Automated Clustering and Program Repair for Introductory Programming Assignments
Zhiqiang ZuoZuo, Zhiqiang Nanjing University, ChinaChina Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
Å Beatrice ÅkerblomÅkerblom, Beatrice Stockholm University Parallel Programming with Arrays in Kappa
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UK A Rosetta Stone for Array Languages

PLDI 2018 Contributors

Results (594)

Tracks

Co-hosted Conferences

Workshops