PLDI 2019
40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
Powered by
Conference Publishing Consulting

40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019), June 22–26, 2019, Phoenix, AZ, USA

PLDI 2019 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P Q R S T V W X Y Z

Abdulla, Parosh Aziz PLDI '19: "Verification of Programs under ..."
Abrahamsson, Oskar PLDI '19: "Verified Compilation on a ..."
Adve, Vikram S. PLDI '19: "A Complete Formal Semantics ..."
Aiken, Alex PLDI '19: "Semantic Program Alignment ..."
Almahallawi, Deyaaeldeen PLDI '19: "Toward Efficient Gradual Typing ..."
Alur, Rajeev PLDI '19: "Data-Trace Types for Distributed ..."
Amit, Nadav PLDI '19: "Simple and Precise Static ..."
Anderson, Greg PLDI '19: "Optimization and Abstraction: ..."
Arora, Jatin PLDI '19: "Verification of Programs under ..."
Arunachalam, Meena PLDI '19: "Co-optimizing Memory-Level ..."
Astorga, Angello PLDI '19: "Learning Stateful Preconditions ..."
Atig, Mohamed Faouzi PLDI '19: "Verification of Programs under ..."
Augustine, Travis PLDI '19: "Generating Piecewise-Regular ..."
Barthe, Gilles PLDI '19: "Bidirectional Type Checking ..." PLDI '19: "A DSL for Timing-Sensitive ..."
Benussi, Elias PLDI '19: "Verifying Message-Passing ..."
Berger, Emery D. PLDI '19: "Mesh: Compacting Memory Management ..."
Bichsel, Benjamin PLDI '19: "Scalable Taint Specification ..."
Binder, Walter PLDI '19: "Renaissance: Benchmarking ..."
Bland, Maxwell Troy PLDI '19: "Lazy Counterfactual Symbolic ..."
Blelloch, Guy PLDI '19: "Low-Latency Graph Streaming ..."
Brandner, Laurin PLDI '19: "A Fast Analytical Model of ..."
Brown, Fraser PLDI '19: "A DSL for Timing-Sensitive ..."
Bulej, Lubomír PLDI '19: "Renaissance: Benchmarking ..."
Cadar, Cristian PLDI '19: "Computing Summaries of String ..."
Campagna, Giovanni PLDI '19: "Genie: A Generator of Natural ..."
Cao, Ting PLDI '19: "Panthera: Holistic Memory ..."
Cauligi, Sunjay PLDI '19: "A DSL for Timing-Sensitive ..."
Chajed, Tej PLDI '19: "Argosy: Verifying Layered ..."
Chatterjee, Krishnendu PLDI '19: "Cost Analysis of Nondeterministic ..."
Chaudhuri, Swarat PLDI '19: "Optimization and Abstraction: ..."
Chen, Hao PLDI '19: "CHET: An Optimizing Compiler ..."
Chen, Xianglan PLDI '19: "DFix: Automatically Fixing ..."
Cheshmi, Kazem PLDI '19: "Sparse Computation Data Dependence ..."
Chibotaru, Victor PLDI '19: "Scalable Taint Specification ..."
Choi, Jiho PLDI '19: "Reusable Inline Caching for ..."
Churchill, Berkeley PLDI '19: "Semantic Program Alignment ..."
Çiçek, Ezgi PLDI '19: "Bidirectional Type Checking ..."
Cui, Huimin PLDI '19: "Panthera: Holistic Memory ..."
Cusumano-Towner, Marco F. PLDI '19: "Gen: A General-Purpose Probabilistic ..."
Dagand, Pierre-Évariste PLDI '19: "Anozd: High-Throughtput and ..."
Dasgupta, Sandeep PLDI '19: "A Complete Formal Semantics ..."
Dathathri, Roshan PLDI '19: "CHET: An Optimizing Compiler ..."
Davis, Eddie C. PLDI '19: "Sparse Computation Data Dependence ..."
Dehnavi, Maryam Mehri PLDI '19: "Sparse Computation Data Dependence ..."
Dhulipala, Laxman PLDI '19: "Low-Latency Graph Streaming ..."
Dillig, Isil PLDI '19: "Synthesizing Database Applications ..." PLDI '19: "Optimization and Abstraction: ..."
Ding, Zeyu PLDI '19: "Proving Differential Privacy ..."
Donaldson, Alastair F. PLDI '19: "Sparse Record and Replay with ..."
Dong, James PLDI '19: "Synthesizing Database Applications ..."
Dreossi, Tommaso PLDI '19: "Scenic: A Language for Scenario ..."
Duboscq, Gilles PLDI '19: "Renaissance: Benchmarking ..."
Eberhardt, Jan PLDI '19: "Unsupervised Learning of API ..."
Enea, Constantin PLDI '19: "Replication-Aware Linearizability ..."
Farzan, Azadeh PLDI '19: "Modular Divide-and-Conquer ..."
Feng, Xiaobing PLDI '19: "Panthera: Holistic Memory ..."
Feng, Xinyu PLDI '19: "Towards Certified Compositional ..."
Férée, Hugo PLDI '19: "Characterising Renaming with ..."
Foster, Jeffrey S. PLDI '19: "Type-Level Computations for ..."
Foster, Nate PLDI '19: "Scalable Verification of Probabilistic ..."
Fox, Anthony PLDI '19: "Verified Compilation on a ..."
Fremont, Daniel J. PLDI '19: "Scenic: A Language for Scenario ..."
Fu, Hongfei PLDI '19: "Cost Analysis of Nondeterministic ..."
Fu, Zhoulai PLDI '19: "Effective Floating-Point Analysis ..."
Gaboardi, Marco PLDI '19: "Bidirectional Type Checking ..."
Garg, Deepak PLDI '19: "Bidirectional Type Checking ..."
Gershuni, Elazar PLDI '19: "Simple and Precise Static ..."
Ghanathe, Nikhil PLDI '19: "Compiling KB-Sized Machine ..."
Ghosh, Shromona PLDI '19: "Scenic: A Language for Scenario ..."
Gilray, Thomas PLDI '19: "Size-Change Termination as ..."
Goharshady, Amir Kafshdar PLDI '19: "Cost Analysis of Nondeterministic ..."
Gopinath, Rahul PLDI '19: "Parser-Directed Fuzzing ..."
Gopinath, Sridhar PLDI '19: "Compiling KB-Sized Machine ..."
Grégoire, Benjamin PLDI '19: "A DSL for Timing-Sensitive ..."
Grosser, Tobias PLDI '19: "A Fast Analytical Model of ..."
Guan, Hui PLDI '19: "Wootz: A Compiler-Based Framework ..."
Gunawi, Haryadi S. PLDI '19: "DFix: Automatically Fixing ..."
Gurfinkel, Arie PLDI '19: "Simple and Precise Static ..."
Guria, Sankha Narayan PLDI '19: "Type-Level Computations for ..."
Gysi, Tobias PLDI '19: "A Fast Analytical Model of ..."
Hall, Mary PLDI '19: "Sparse Computation Data Dependence ..."
Hallahan, William T. PLDI '19: "Lazy Counterfactual Symbolic ..."
Hammer, Matthew PLDI '19: "ILC and SaUCy: A Calculus ..."
Heo, Kihong PLDI '19: "Continuous Program Reasoning ..."
Hoefler, Torsten PLDI '19: "A Fast Analytical Model of ..."
Höschele, Matthias PLDI '19: "Parser-Directed Fuzzing ..."
Hoffmann, Jan PLDI '19: "Resource-Guided Program Synthesis ..."
Hsu, Justin PLDI '19: "Scalable Verification of Probabilistic ..."
Huang, Jian PLDI '19: "AutoPersist: An Easy-To-Use ..."
Hur, Chung-Kil PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Ish-Shalom, Oren PLDI '19: "Computing Summaries of String ..."
Itzhaky, Shachar PLDI '19: "Computing Summaries of String ..."
Ives, Zachary G. PLDI '19: "Data-Trace Types for Distributed ..."
Iyer, Arun PLDI '19: "Synthesis and Machine Learning ..."
Jagannathan, Suresh PLDI '19: "An Inductive Synthesis Framework ..."
Jhala, Ranjit PLDI '19: "A DSL for Timing-Sensitive ..." PLDI '19: "Lazy Counterfactual Symbolic ..."
Jiang, Hanru PLDI '19: "Towards Certified Compositional ..."
Johannesmeyer, Brian PLDI '19: "A DSL for Timing-Sensitive ..."
Jonnalagedda, Manohar PLDI '19: "Synthesis and Machine Learning ..."
Kaashoek, M. Frans PLDI '19: "Argosy: Verifying Layered ..."
Kampmann, Alexander PLDI '19: "Parser-Directed Fuzzing ..."
Kandemir, Mahmut Taylan PLDI '19: "Co-optimizing Memory-Level ..."
Kang, Jeehoon PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Kapus, Timotej PLDI '19: "Computing Summaries of String ..."
Karakoy, Mustafa PLDI '19: "Co-optimizing Memory-Level ..."
Karel, Ben PLDI '19: "Ignis: Light-Touch Scale-Out ..."
Kasampalis, Theodoros PLDI '19: "A Complete Formal Semantics ..."
Kasikci, Baris PLDI '19: "Huron: Hybrid False Sharing ..."
Kazerounian, Milod PLDI '19: "Type-Level Computations for ..."
Khan, Tanvir Ahmed PLDI '19: "Huron: Hybrid False Sharing ..."
Kifer, Daniel PLDI '19: "Proving Differential Privacy ..."
Kim, Dohyeong PLDI '19: "SemCluster: Clustering of ..."
Kinder, Johannes PLDI '19: "Sound Regular Expression Semantics ..."
Knoth, Tristan PLDI '19: "Resource-Guided Program Synthesis ..."
Kokologiannakis, Michalis PLDI '19: "Model Checking for Weakly ..."
Kong, Martin PLDI '19: "Model-Driven Transformations ..."
Koparkar, Chaitanya PLDI '19: "LoCal: A Language for Programs ..."
Kozen, Dexter PLDI '19: "Scalable Verification of Probabilistic ..."
Krishna, Shankaranarayanan PLDI '19: "Verification of Programs under ..."
Krishnaswami, Neelakantan R. PLDI '19: "A Typed, Algebraic Approach ..."
Kuhlenschmidt, Andre PLDI '19: "Toward Efficient Gradual Typing ..."
Kulkarni, Milind PLDI '19: "LoCal: A Language for Programs ..." PLDI '19: "Sound, Fine-Grained Traversal ..." PLDI '19: "Composable, Sound Transformations ..."
Kumar, Praveen PLDI '19: "Scalable Verification of Probabilistic ..."
Kumar, Ramana PLDI '19: "Verified Compilation on a ..."
Lahav, Ori PLDI '19: "Robustness Against Release/Acquire ..."
Laine, Kim PLDI '19: "CHET: An Optimizing Compiler ..."
Lam, Monica S. PLDI '19: "Genie: A Generator of Natural ..."
Lauter, Kristin PLDI '19: "CHET: An Optimizing Compiler ..."
Le, Ton Chanh PLDI '19: "SLING: Using Dynamic Analysis ..."
Lee, Sung-Hwan PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Lee, Wen-Chuan PLDI '19: "Programming Support for Autonomizing ..."
Le Goues, Claire PLDI '19: "Lightweight Parser-Driven ..."
Leopoldseder, David PLDI '19: "Renaissance: Benchmarking ..."
Lew, Alex PLDI '19: "Gen: A General-Purpose Probabilistic ..."
Li, Guangpu PLDI '19: "DFix: Automatically Fixing ..."
Liang, Hongjin PLDI '19: "Towards Certified Compositional ..."
Liao, Kevin PLDI '19: "ILC and SaUCy: A Calculus ..."
Lidbury, Christopher PLDI '19: "Sparse Record and Replay with ..."
Lim, Seung-Hwan PLDI '19: "Wootz: A Compiler-Based Framework ..."
Liu, Haopeng PLDI '19: "DFix: Automatically Fixing ..."
Liu, Lun PLDI '19: "Accelerating Volatile-by-Default ..."
Liu, Peng PLDI '19: "Programming Support for Autonomizing ..."
Liu, Yingqi PLDI '19: "Programming Support for Autonomizing ..."
Lööw, Andreas PLDI '19: "Verified Compilation on a ..."
Loring, Blake PLDI '19: "Sound Regular Expression Semantics ..."
Lu, Shan PLDI '19: "DFix: Automatically Fixing ..."
Lucia, Brandon PLDI '19: "Transactional Concurrency ..." PLDI '19: "Supporting Peripherals in ..."
Lv, Fang PLDI '19: "Panthera: Holistic Memory ..."
Ma, Shiqing PLDI '19: "Programming Support for Autonomizing ..."
Maeng, Kiwan PLDI '19: "Supporting Peripherals in ..."
Magill, Stephen PLDI '19: "An Inductive Synthesis Framework ..."
Maleki, Saeed PLDI '19: "CHET: An Optimizing Compiler ..."
Mamouras, Konstantinos PLDI '19: "Data-Trace Types for Distributed ..."
Mansinghka, Vikash K. PLDI '19: "Gen: A General-Purpose Probabilistic ..."
Margalit, Roy PLDI '19: "Robustness Against Release/Acquire ..."
Mathis, Björn PLDI '19: "Parser-Directed Fuzzing ..."
McGregor, Andrew PLDI '19: "Mesh: Compacting Memory Management ..."
Mera, Michaël PLDI '19: "Parser-Directed Fuzzing ..."
Mercadier, Darius PLDI '19: "Anozd: High-Throughtput and ..."
Miller, Andrew PLDI '19: "ILC and SaUCy: A Calculus ..."
Millstein, Todd PLDI '19: "Accelerating Volatile-by-Default ..."
Mitchell, Duncan PLDI '19: "Sound Regular Expression Semantics ..."
Mohammadi, Mahdi Soltan PLDI '19: "Sparse Computation Data Dependence ..."
Moradshahi, Mehrad PLDI '19: "Genie: A Generator of Natural ..."
Mozafari, Barzan PLDI '19: "Huron: Hybrid False Sharing ..."
Musuvathi, Madanlal PLDI '19: "Accelerating Volatile-by-Default ..." PLDI '19: "CHET: An Optimizing Compiler ..."
Mutlu, Onur PLDI '19: "Panthera: Holistic Memory ..."
Mutluergil, Suha Orhun PLDI '19: "Replication-Aware Linearizability ..."
Myreen, Magnus O. PLDI '19: "Verified Compilation on a ..."
Mytkowicz, Todd PLDI '19: "CHET: An Optimizing Compiler ..."
Nagarakatte, Santosh PLDI '19: "Parallelism-Centric What-If ..."
Naik, Mayur PLDI '19: "Continuous Program Reasoning ..."
Nandy, Payal PLDI '19: "Sparse Computation Data Dependence ..."
Narodytska, Nina PLDI '19: "Simple and Precise Static ..."
Navas, Jorge A. PLDI '19: "Simple and Precise Static ..."
Newton, Ryan R. PLDI '19: "LoCal: A Language for Programs ..." PLDI '19: "Sound, Fine-Grained Traversal ..."
Nguyễn, Phúc C. PLDI '19: "Size-Change Termination as ..."
Nguyen, ThanhVu PLDI '19: "SLING: Using Dynamic Analysis ..."
Nicolet, Victor PLDI '19: "Modular Divide-and-Conquer ..."
Norrish, Michael PLDI '19: "Verified Compilation on a ..."
Olschanowsky, Catherine R. M. PLDI '19: "Sparse Computation Data Dependence ..."
Owens, Scott PLDI '19: "Characterising Renaming with ..."
Padon, Oded PLDI '19: "Semantic Program Alignment ..."
Pailoor, Shankara PLDI '19: "Optimization and Abstraction: ..."
Park, Daejun PLDI '19: "A Complete Formal Semantics ..."
Parthasarathy, Madhusudan PLDI '19: "Learning Stateful Preconditions ..."
Parthasarathy, Suresh PLDI '19: "Synthesis and Machine Learning ..."
Perry, David M. PLDI '19: "SemCluster: Clustering of ..."
Petri, Gustavo PLDI '19: "Replication-Aware Linearizability ..."
Pichon-Pharabod, Jean PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Piskac, Ruzica PLDI '19: "Lazy Counterfactual Symbolic ..."
Pokam, Gilles PLDI '19: "Huron: Hybrid False Sharing ..."
Polikarpova, Nadia PLDI '19: "Resource-Guided Program Synthesis ..."
Pouchet, Louis-Noël PLDI '19: "Model-Driven Transformations ..." PLDI '19: "Generating Piecewise-Regular ..."
Powers, Bobby PLDI '19: "Mesh: Compacting Memory Management ..."
Prokopec, Aleksandar PLDI '19: "Renaissance: Benchmarking ..."
Pulte, Christopher PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Qin, Xudong PLDI '19: "Cost Analysis of Nondeterministic ..."
Qu, Weihao PLDI '19: "Bidirectional Type Checking ..."
Raad, Azalea PLDI '19: "Model Checking for Weakly ..."
Radhakrishna, Arjun PLDI '19: "Synthesis and Machine Learning ..."
Raghothaman, Mukund PLDI '19: "Continuous Program Reasoning ..."
Rainey, Mike PLDI '19: "LoCal: A Language for Programs ..."
Rajamani, Sriram K. PLDI '19: "Synthesis and Machine Learning ..."
Raychev, Veselin PLDI '19: "Unsupervised Learning of API ..." PLDI '19: "Scalable Taint Specification ..."
Renner, John PLDI '19: "A DSL for Timing-Sensitive ..."
Rinard, Martin C. PLDI '19: "Using Active Learning to Synthesize ..."
Rinetzky, Noam PLDI '19: "Computing Summaries of String ..." PLDI '19: "Simple and Precise Static ..."
Rodríguez, Gabriel PLDI '19: "Generating Piecewise-Regular ..."
Rosà, Andrea PLDI '19: "Renaissance: Benchmarking ..."
Roşu, Grigore PLDI '19: "A Complete Formal Semantics ..."
Rowe, Reuben N. S. PLDI '19: "Characterising Renaming with ..."
Ruppel, Emily PLDI '19: "Transactional Concurrency ..."
Ryzhyk, Leonid PLDI '19: "Simple and Precise Static ..."
Saad, Feras A. PLDI '19: "Gen: A General-Purpose Probabilistic ..."
Saarikivi, Olli PLDI '19: "CHET: An Optimizing Compiler ..."
Sagiv, Mooly PLDI '19: "Simple and Precise Static ..."
Saha, Shambwaditya PLDI '19: "Learning Stateful Preconditions ..."
Sakka, Laith PLDI '19: "LoCal: A Language for Programs ..." PLDI '19: "Sound, Fine-Grained Traversal ..."
Samanta, Roopsha PLDI '19: "SemCluster: Clustering of ..."
Sangiovanni-Vincentelli, Alberto L. PLDI '19: "Scenic: A Language for Scenario ..."
Scalas, Alceste PLDI '19: "Verifying Message-Passing ..."
Seshadri, Vivek PLDI '19: "Compiling KB-Sized Machine ..."
Seshia, Sanjit A. PLDI '19: "Scenic: A Language for Scenario ..."
Shah, Rushi PLDI '19: "Synthesizing Database Applications ..."
Sharma, Jana PLDI '19: "Generating Piecewise-Regular ..."
Sharma, Rahul PLDI '19: "Compiling KB-Sized Machine ..." PLDI '19: "Semantic Program Alignment ..."
Shen, Jiasi PLDI '19: "Using Active Learning to Synthesize ..."
Shen, Xipeng PLDI '19: "Wootz: A Compiler-Based Framework ..."
Shi, Wenjun PLDI '19: "Cost Analysis of Nondeterministic ..."
Shull, Thomas PLDI '19: "AutoPersist: An Easy-To-Use ..." PLDI '19: "Reusable Inline Caching for ..."
Shun, Julian PLDI '19: "Low-Latency Graph Streaming ..."
Si, Xujie PLDI '19: "Continuous Program Reasoning ..."
Siek, Jeremy G. PLDI '19: "Toward Efficient Gradual Typing ..."
Silva, Alexandra PLDI '19: "Scalable Verification of Probabilistic ..."
Simon, Doug PLDI '19: "Renaissance: Benchmarking ..."
Smith, Jonathan M. PLDI '19: "Ignis: Light-Touch Scale-Out ..."
Smolka, Steffen PLDI '19: "Scalable Verification of Probabilistic ..."
Soeller, Gary PLDI '19: "A DSL for Timing-Sensitive ..."
Stanford, Caleb PLDI '19: "Data-Trace Types for Distributed ..."
Stefan, Deian PLDI '19: "A DSL for Timing-Sensitive ..."
Steffen, Samuel PLDI '19: "Unsupervised Learning of API ..."
Strout, Michelle Mills PLDI '19: "Sparse Computation Data Dependence ..."
Studener, Martin PLDI '19: "Renaissance: Benchmarking ..."
Su, Zhendong PLDI '19: "Effective Floating-Point Analysis ..."
Sundararajah, Kirshanthan PLDI '19: "Sound, Fine-Grained Traversal ..." PLDI '19: "Composable, Sound Transformations ..."
Tan, Yong Kiam PLDI '19: "Verified Compilation on a ..."
Tang, Xulong PLDI '19: "Co-optimizing Memory-Level ..."
Tannen, Val PLDI '19: "Data-Trace Types for Distributed ..."
Tassarotti, Joseph PLDI '19: "Argosy: Verifying Layered ..."
Tench, David PLDI '19: "Mesh: Compacting Memory Management ..."
Thompson, Simon PLDI '19: "Characterising Renaming with ..."
Tobin-Hochstadt, Sam PLDI '19: "Size-Change Termination as ..."
Torrellas, Josep PLDI '19: "AutoPersist: An Easy-To-Use ..." PLDI '19: "Reusable Inline Caching for ..."
Tůma, Petr PLDI '19: "Renaissance: Benchmarking ..."
Vafeiadis, Viktor PLDI '19: "Model Checking for Weakly ..."
Van Horn, David PLDI '19: "Type-Level Computations for ..." PLDI '19: "Size-Change Termination as ..."
Van Tonder, Rijnard PLDI '19: "Lightweight Parser-Driven ..."
Vasilakis, Nikos PLDI '19: "Ignis: Light-Touch Scale-Out ..."
Vazou, Niki PLDI '19: "Type-Level Computations for ..."
Vechev, Martin PLDI '19: "Unsupervised Learning of API ..." PLDI '19: "Scalable Taint Specification ..."
Venkat, Anand PLDI '19: "Sparse Computation Data Dependence ..."
Villazón, Alex PLDI '19: "Renaissance: Benchmarking ..."
Vollmer, Michael PLDI '19: "LoCal: A Language for Programs ..."
Volos, Haris PLDI '19: "Panthera: Holistic Memory ..."
Wahby, Riad S. PLDI '19: "A DSL for Timing-Sensitive ..."
Wang, Chao PLDI '19: "Abstract Interpretation under ..." PLDI '19: "Replication-Aware Linearizability ..."
Wang, Chenxi PLDI '19: "Panthera: Holistic Memory ..."
Wang, Di PLDI '19: "Resource-Guided Program Synthesis ..."
Wang, Guanhong PLDI '19: "Proving Differential Privacy ..."
Wang, Peixin PLDI '19: "Cost Analysis of Nondeterministic ..."
Wang, Shiyu PLDI '19: "Learning Stateful Preconditions ..."
Wang, Yuepeng PLDI '19: "Synthesizing Database Applications ..."
Wang, Yuxin PLDI '19: "Proving Differential Privacy ..."
Wu, Meng PLDI '19: "Abstract Interpretation under ..."
Würthinger, Thomas PLDI '19: "Renaissance: Benchmarking ..."
Xiao, Siyang PLDI '19: "Towards Certified Compositional ..."
Xie, Tao PLDI '19: "Learning Stateful Preconditions ..."
Xiong, Zikang PLDI '19: "An Inductive Synthesis Framework ..."
Xu, Harry PLDI '19: "Panthera: Holistic Memory ..."
Xu, Silei PLDI '19: "Genie: A Generator of Natural ..."
Xue, Anton PLDI '19: "Lazy Counterfactual Symbolic ..."
Xue, Jingling PLDI '19: "Incremental Precision-Preserving ..."
Yallop, Jeremy PLDI '19: "A Typed, Algebraic Approach ..."
Ying, Mingsheng PLDI '19: "An Applied Quantum Hoare Logic ..."
Yoga, Adarsh PLDI '19: "Parallelism-Centric What-If ..."
Yoshida, Nobuko PLDI '19: "Verifying Message-Passing ..."
Yu, Nengkun PLDI '19: "An Applied Quantum Hoare Logic ..."
Yue, Xiangyu PLDI '19: "Scenic: A Language for Scenario ..."
Yuki, Tomofumi PLDI '19: "Sparse Computation Data Dependence ..."
Zeldovich, Nickolai PLDI '19: "Argosy: Verifying Layered ..."
Zeller, Andreas PLDI '19: "Parser-Directed Fuzzing ..."
Zha, Junpeng PLDI '19: "Towards Certified Compositional ..."
Zhang, Danfeng PLDI '19: "Proving Differential Privacy ..."
Zhang, Jieyuan PLDI '19: "Incremental Precision-Preserving ..."
Zhang, Xiangyu PLDI '19: "Programming Support for Autonomizing ..." PLDI '19: "SemCluster: Clustering of ..."
Zhao, Yifan PLDI '19: "Huron: Hybrid False Sharing ..."
Zheng, Guolong PLDI '19: "SLING: Using Dynamic Analysis ..."
Zheng, Yudi PLDI '19: "Renaissance: Benchmarking ..."
Zhou, Li PLDI '19: "An Applied Quantum Hoare Logic ..."
Zhu, He PLDI '19: "An Inductive Synthesis Framework ..."
Zigman, John PLDI '19: "Panthera: Holistic Memory ..."

301 authors

proc time: 0.18