DLS 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (131)

A Umair Z. AhmedAhmed, Umair Z. National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the SAS-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Committee Member in Steering Committee within the DLS-track
Sepideh AsadiAsadi, Sepideh PhD Student Farkas-Based Tree Interpolation
B Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States Static analysis for privacy-preserving artificial intelligence Invited Speaker in Invited Speakers within the SAS-track
Josh BerdineBerdine, Josh Facebook Committee Member in Program Committee within the SAS-track
Alexandre BergelBergel, Alexandre University of ChileChile Committee Member in Program Committee within the DLS-track
Martin BlichaBlicha, Martin Farkas-Based Tree Interpolation
CF Bolz-TereickBolz-Tereick, CF Germany Committee Member in Steering Committee within the DLS-track
Yuriy BrunBrun, Yuriy University of Massachusetts Amherst Wasm/k: Delimited Continuations for WebAssembly
Brandt BucherBucher, Brandt Research Affiliates, LLCUnited States Dynamic Pattern Matching with Python
Samuele BuroBuro, Samuele Università degli Studi di Verona On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
C Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Session Chair of 1 (part of SAS) Committee Member in Program Committee within the SAS-track
Marc ChevalierChevalier, Marc ENS, CNRS, PSL University, INRIAFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Program Committee within the DLS-track Session Chair of 4 (part of SAS)
Murray ColeCole, Murray University of Edinburgh, UK DelayRepay: Delayed Execution for Kernel Fusion in Python
Patrick CousotCousot, Patrick New York UniversityUnited States Session Chair of 3 (part of SAS) Session Chair of 5 (part of SAS) Session Chair of 1 (part of SAS) Committee Member in Program Committee within the SAS-track
Roy CroleCrole, Roy University of LeicesterUnited Kingdom On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
D Mila Dalla PredaDalla Preda, Mila University of Verona, Italy Formal framework for reasoning about the precision of dynamic analysis
Eva DarulovaDarulova, Eva MPI-SWS Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
Ankush DasDas, Ankush Carnegie Mellon UniversityUnited States Exact and Linear-Time Gas-Cost Analysis
Julian DolbyDolby, Julian IBM Research, USA Python 3 Types in the Wild: A Tale of Two Type Systems
Christophe DubachDubach, Christophe McGill UniversityUnited Kingdom DelayRepay: Delayed Execution for Kernel Fusion in Python
Stéphane DucasseDucasse, Stéphane INRIA Lille Committee Member in Program Committee within the DLS-track
F Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Farkas-Based Tree Interpolation
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track Session Chair of 7 (part of SAS) Session Chair of 8 (part of SAS)
Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of 9 (part of SAS) Committee Member in Program Committee within the SAS-track
Matthew FlattFlatt, Matthew University of Utah, USA Program Chair in Program Committee within the DLS-track Session Chair of 2 (part of SAS) Session Chair of 2 (part of SAS)
Olivier FlückigerFlückiger, Olivier Northeastern University Sampling Optimized Code for Type Feedback
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Sound, Heuristic Type Annotation Inference for Ruby
Vanessa FreudenbergFreudenberg, Vanessa Croquet CorpUnited States Croquet: A Unique Collaboration Architecture (Keynote)
Florian FrohnFrohn, Florian Max Planck Institute for InformaticsGermany Termination of Polynomial Loops
G Samir GenaimGenaim, Samir Universidad Complutense de MadridSpain Session Chair of 8 (part of SAS) Committee Member in Program Committee within the SAS-track
Pritam GharatGharat, Pritam Committee Member in Artifact Evaluation Committee within the SAS-track
Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Formal framework for reasoning about the precision of dynamic analysis
Jürgen GieslGiesl, Jürgen RWTH Aachen UniversityGermany Termination of Polynomial Loops
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Framework-Aware Debugging with Stack Tailoring Committee Member in Program Committee within the DLS-track
Arjun GuhaGuha, Arjun University of Massachusetts at Amherst Wasm/k: Delimited Continuations for WebAssembly
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the SAS-track
H Marcel HarkHark, Marcel RWTH Aachen University, Germany Termination of Polynomial Loops
Timothée HaudebourgHaudebourg, Timothée ENS RennesFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Manuel HermenegildoHermenegildo, Manuel IMDEA Software Institute and T.U. of MadridSpain Cost Analysis of Smart Contracts via Parametric Resource Analysis Invited Speaker in Invited Speakers within the SAS-track
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Committee Member in Steering Committee within the DLS-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Python 3 Types in the Wild: A Tale of Two Type Systems
Michael HomerHomer, Michael Victoria University of Wellington Committee Member in Program Committee within the DLS-track Session Chair of 3 (part of SAS) Session Chair of 3 (part of SAS)
Antti HyvärinenHyvärinen, Antti Farkas-Based Tree Interpolation
I Hugo IllousIllous, Hugo CEA & INRIA / ENS ParisFrance Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
Anastasia IsychevIsychev, Anastasia Technical University of MunichGermany Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
Naoki IwayamaIwayama, Naoki University of Tokyo, Japan Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
Yusuke IzawaIzawa, Yusuke Tokyo Institute of TechnologyJapan Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
J Dejice JacobJacob, Dejice University of Glasgow, UKUnited Kingdom Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
Maxime JacqueminJacquemin, Maxime CEA LIST, FranceFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Committee Member in Program Committee within the SAS-track
Nicolas JeannerodJeannerod, Nicolas IRIF, Université de ParisFrance Committee Member in Artifact Evaluation Committee within the SAS-track
K Kuba KaszykKaszyk, Kuba University of Edinburgh DelayRepay: Delayed Execution for Kernel Fusion in Python
Milod KazerounianKazerounian, Milod University of Maryland, College ParkUnited States Sound, Heuristic Type Annotation Inference for Ruby
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
Tobias KohnKohn, Tobias University of Cambridge, UKUnited Kingdom Dynamic Pattern Matching with Python
Sung Kook KimKook Kim, Sung University of California, DavisUnited States Memory-Efficient Fixpoint Computation
Murali Krishna RamanathanKrishna Ramanathan, Murali Uber Technologies Inc.United States Committee Member in Program Committee within the SAS-track
Sebastián KrynskiKrynski, Sebastián Czech Technical University, National University of Quilmes Sampling Optimized Code for Type Feedback
L Matthieu LemerreLemerre, Matthieu CEA LIST, FranceFrance Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
Ivan LevkivskyiLevkivskyi, Ivan Dropbox Ireland Dynamic Pattern Matching with Python
Lu LiLi, Lu Linköping University DelayRepay: Delayed Execution for Kernel Fusion in Python
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Program Committee within the SAS-track
M Ravi MangalMangal, Ravi Georgia Institute of TechnologyUnited States Probabilistic Lipschitz Analysis of Neural Networks
Niccolò MarastoniMarastoni, Niccolò University of VeronaItaly Formal framework for reasoning about the precision of dynamic analysis
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Steering Committee within the DLS-track
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Framework-Aware Debugging with Stack Tailoring
Mark MarronMarron, Mark Microsoft ResearchUnited States Committee Member in Program Committee within the DLS-track
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
Abu Naser MasudMasud, Abu Naser Malardalen University Simple and Efficient Computation of Minimal Weak Control Closure
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
Daniel McCrevanMcCrevan, Daniel Rensselaer Polytechnic Institute Python 3 Types in the Wild: A Tale of Two Type Systems
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Python 3 Types in the Wild: A Tale of Two Type Systems
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Session Chair of 4 (part of SAS) A Library Modeling Language for the Static Analysis of C Programs Committee Member in Program Committee within the SAS-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Committee Member in Artifact Evaluation Committee within the SAS-track
John Magnus MortonMorton, John Magnus University of Edinburgh DelayRepay: Delayed Execution for Kernel Fusion in Python
Rashmi MudduluruMudduluru, Rashmi University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee within the SAS-track
Suvam MukherjeeMukherjee, Suvam Microsoft Research Committee Member in Artifact Evaluation Committee within the SAS-track
Anders MøllerMøller, Anders Aarhus University Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SAS-track
Christian MüllerMüller, Christian Technische Universität München, Saarland UniversityGermany Stratified Guarded First-order Transition Systems
N Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Session Chair of 7 (part of SAS) Committee Member in Program Committee within the SAS-track
Olivier NicoleNicole, Olivier CEA LIST, FranceFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Aditya NoriNori, Aditya Probabilistic Lipschitz Analysis of Neural Networks
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh DelayRepay: Delayed Execution for Kernel Fusion in Python
Alessandro OrsoOrso, Alessandro Georgia TechUnited States Probabilistic Lipschitz Analysis of Neural Networks
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance A Library Modeling Language for the Static Analysis of C Programs
P David PichardiePichardie, David Univ Rennes, ENS Rennes, IRISAFrance Session Chair of 10 (part of SAS) Session Chair of 2 (part of SAS) Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track
Donald PinckneyPinckney, Donald Northeastern UniversityUnited States Wasm/k: Delimited Continuations for WebAssembly
Guillermo PolitoPolito, Guillermo Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de LilleArgentina Framework-Aware Debugging with Stack Tailoring
Sylvie PutotPutot, Sylvie École Polytechnique Committee Member in Program Committee within the SAS-track
Q Shaz QadeerQadeer, Shaz Novi, USAUnited States Exact and Linear-Time Gas-Cost Analysis
R Ingkarat Rak-amnouykitRak-amnouykit, Ingkarat Rensselaer Polytechnic Institute Python 3 Types in the Wild: A Tale of Two Type Systems
Francesco RanzatoRanzato, Francesco University of PadovaItaly Session Chair of 3 (part of SAS) Committee Member in Program Committee within the SAS-track
Brianna M. RenRen, Brianna M. University of Maryland Sound, Heuristic Type Annotation Inference for Ruby
Manuel RiggerRigger, Manuel ETH Zurich Committee Member in Program Committee within the DLS-track
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Session Chair of 5 (part of SAS) Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries Committee Member in Program Committee within the SAS-track
Guillermo Román-DíezRomán-Díez, Guillermo Committee Member in Artifact Evaluation Committee within the SAS-track
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Committee Member in Program Committee within the DLS-track
Sukyoung RyuRyu, Sukyoung Session Chair of 5 (part of SAS) Session Chair of 5 (part of SAS)
S Kartik SarangmathSarangmath, Kartik Georgia Institute of TechnologyUnited States Probabilistic Lipschitz Analysis of Neural Networks
Helmut SeidlSeidl, Helmut Technische Universität München Session Chair of 8 (part of SAS) Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis Stratified Guarded First-order Transition Systems Committee Member in Program Committee within the SAS-track
Natasha SharyginaSharygina, Natasha USI Lugano, SwitzerlandSwitzerland Farkas-Based Tree Interpolation
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Committee Member in Program Committee within the DLS-track Session Chair of 4 (part of SAS)
Mihaela SighireanuSighireanu, Mihaela LSV, ENS Paris-SaclayFrance Session Chair of 6 (part of SAS) Session Chair of 10 (part of SAS) Session Chair of 7 (part of SAS) Session Chair of 6 (part of SAS) Session Chair of 2 (part of SAS) Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track
Jeremy SingerSinger, Jeremy Glasgow UniversityUnited Kingdom Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
Devika SondhiSondhi, Devika IIIT DelhiIndia Committee Member in Artifact Evaluation Committee within the SAS-track
Matthew SotoudehSotoudeh, Matthew University of California, Davis Abstract Neural Networks
Michel SteuwerSteuwer, Michel The University of EdinburghUnited Kingdom DelayRepay: Delayed Execution for Kernel Fusion in Python
Jiawen SunSun, Jiawen University of Edinburgh DelayRepay: Delayed Execution for Kernel Fusion in Python
Ryota SuzukiSuzuki, Ryota Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
T TalinTalin Dynamic Pattern Matching with Python
Aditya V. ThakurThakur, Aditya V. University of California, DavisUnited States Memory-Efficient Fixpoint Computation Abstract Neural Networks
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Steering Committee within the DLS-track
Phil TrinderTrinder, Phil University of Glasgow Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
Takeshi TsukadaTsukada, Takeshi Chiba University, JapanJapan Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
U Caterina UrbanUrban, Caterina École normale supérieure Session Chair of 4 (part of SAS) Committee Member in Program Committee within the SAS-track
V Pedro ValeroValero, Pedro IMDEA Software Institute, SpainSpain Committee Member in Artifact Evaluation Committee within the SAS-track
Guido van Rossumvan Rossum, Guido Python Software Foundation Dynamic Pattern Matching with Python
Jyothi VeduradaVedurada, Jyothi Microsoft ResearchIndia Artifact Evaluation Chair in Artifact Evaluation Committee within the SAS-track Artifact Evaluation Chair in Organizing Committee within the SAS-track
Arnaud J. VenetVenet, Arnaud J. Facebook Memory-Efficient Fixpoint Computation
Jan VitekVitek, Jan Northeastern University / Czech Technical University Sampling Optimized Code for Type Feedback
Tomáš VojnarVojnar, Tomáš Brno University of Technology Committee Member in Program Committee within the SAS-track
W James WorrellWorrell, James University of OxfordUnited Kingdom Polynomial Invariants for Affine Programs Invited Speaker in Invited Speakers within the SAS-track
Andreas WälchliWälchli, Andreas University of Bern Sampling Optimized Code for Type Feedback
Y Kwangkeun YiYi, Kwangkeun Seoul National University, South Korea Session Chair of 9 (part of SAS) Committee Member in Program Committee within the SAS-track
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Committee Member in Program Committee within the SAS-track
Marco ZanellaZanella, Marco University of Padova, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS-track
Francesco Zappa NardelliZappa Nardelli, Francesco FacebookFrance Committee Member in Program Committee within the DLS-track
Florian ZulegerZuleger, Florian TU ViennaAustria Committee Member in Program Committee within the SAS-track
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook LondonUnited Kingdom Static Resource Analysis at Scale Invited Speaker in Invited Speakers within the SAS-track

DLS 2020 Contributors

Results (131)

Tracks

Co-hosted Conferences