TAPAS 2020 Contributors

co-located with SPLASH 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (33)

A Justus AdamAdam, Justus University of Kent, UKUnited Kingdom Type checking beyond type checkers, via Slice & Run
B Christian BischofBischof, Christian Scientific Computing, TU Darmstadt MetaCG: Annotated call-graphs to facilitate whole-program analysis
C Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom Toward More Scalable Symbolic Execution via Code Chopping
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Committee Member in Program Committee within the TAPAS-track
F Yannic FischlerFischler, Yannic TU Darmstadt MetaCG: Annotated call-graphs to facilitate whole-program analysis
G Carlos GalindoGalindo, Carlos Program Slicing with Exception Handling Data Dependence for Object-Oriented Programs
Dietrich GeislerGeisler, Dietrich Cornell University Online Verification of Commutativity
H Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the TAPAS-track
Alexander HückHück, Alexander Institute for Scientific Computing, TU Darmstadt MetaCG: Annotated call-graphs to facilitate whole-program analysis
K Aditi KabraKabra, Aditi Carnegie Mellon University Online Verification of Commutativity
Vineeth KashyapKashyap, Vineeth GrammaTech, Inc.India API Analytics for Curating Static Analysis Rules
Stephen KellKell, Stephen University of Kent Type checking beyond type checkers, via Slice & Run
Lucja KotKot, Lucja API Analytics for Curating Static Analysis Rules
L Woosuk LeeLee, Woosuk Hanyang University, South Korea Committee Member in Program Committee within the TAPAS-track
Jan-Patrick LehrLehr, Jan-Patrick Scientific Computing, TU DarmstadtGermany MetaCG: Annotated call-graphs to facilitate whole-program analysis
Li LiLi, Li Monash University, AustraliaAustralia Committee Member in Program Committee within the TAPAS-track
Yue LiLi, Yue Nanjing University, ChinaChina Committee Member in Program Committee within the TAPAS-track
Jiangchao LiuLiu, Jiangchao College of Computer, National University of Defense TechnologyChina Committee Member in Program Committee within the TAPAS-track
M David MelskiMelski, David API Analytics for Curating Static Analysis Rules
O Hakjoo OhOh, Hakjoo Korea University Committee Member in Program Committee within the TAPAS-track Co-chair in Organizing Committee within the TAPAS-track
P Zvonimir PavlinovicPavlinovic, Zvonimir Google, USAUnited States Committee Member in Program Committee within the TAPAS-track
Sergio Perez RubioPerez Rubio, Sergio Program Slicing with Exception Handling Data Dependence for Object-Oriented Programs
Ruzica PiskacPiskac, Ruzica Yale University, USA Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
R Joseph RanieriRanieri, Joseph API Analytics for Curating Static Analysis Rules
S Adrian SampsonSampson, Adrian Cornell University Online Verification of Commutativity
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
Roger ScottScott, Roger API Analytics for Curating Static Analysis Rules
Nicholas ShoemakerShoemaker, Nicholas Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
Josep SilvaSilva, Josep Program Slicing with Exception Handling Data Dependence for Object-Oriented Programs
Manu SridharanSridharan, Manu University of California at Riverside Moving Fast with High Reliability using Pluggable Types
Yulei SuiSui, Yulei University of Technology Sydney Committee Member in Program Committee within the TAPAS-track Co-chair in Organizing Committee within the TAPAS-track
V Jules VillardVillard, Jules Facebook LondonUnited Kingdom Committee Member in Program Committee within the TAPAS-track
Z Charles ZhangZhang, Charles The Hong Kong University of Science and TechnologyChina Enterprise-scale static analysis: A Pinpoint experience