ESOP 2015 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (131)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityTurkey Refinement Types for Incremental Computational Complexity Committee Member in Program Committee within the ESOP -track
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin - Madison Spatial Interpolants
Jade AlglaveAlglave, Jade University College LondonFrance Committee Member in Program Committee within the ESOP -track
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
B Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
Gilles BartheBarthe, Gilles IMDEAFrance Committee Member in Program Committee within the ESOP -track
Mark BattyBatty, Mark University of Cambridge The Problem of Programming Language Concurrency Semantics
Véronique BenzakenBenzaken, Véronique LRI, Université Paris-Sud A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
Josh BerdineBerdine, Josh Microsoft Research Spatial Interpolants
Gavin BiermanBierman, Gavin Oracle LabsUnited Kingdom Session Chair of Session 2 (part of ESOP ) Committee Member in Program Committee within the ESOP -track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Session Chair of Session 4 (part of ESOP ) A Separation Logic for Fictional Sequential Consistency Committee Member in Program Committee within the ESOP -track
Jasmin BlanchetteBlanchette, Jasmin TU Munich Witnessing (Co)datatypes
Johannes BorgströmBorgström, Johannes Uppsala University Probabilistic Programs as Spreadsheet Queries
Michele BugliesiBugliesi, Michele Università Ca' Foscari Venezia Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions
C Luís CairesCaires, Luís FCT / Universidade Nova de LisboaPortugal Committee Member in Program Committee within the ESOP -track
Stefano CalzavaraCalzavara, Stefano Università Ca' Foscari Venezia Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions
Giuseppe CastagnaCastagna, Giuseppe Paris Diderot University & CNRSItaly Chair in Steering Committee for ESOP 2015 A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
Pavol CernyCerny, Pavol University of Colorado Boulder Segment Abstraction for Worst-Case Execution Time Analysis
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Tie ChengCheng, Tie CNRS, ENS, INRIA, Paris, France Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Adam ChlipalaChlipala, Adam MITUnited States Committee Member in Program Committee within the ESOP -track
Ravi ChughChugh, Ravi University of Chicago IsoLate: A Type System for Self-Recursion
Matteo CiminiCimini, Matteo Indiana University Monotonic References for Efficient Gradual Typing
Koen ClaessenClaessen, Koen Chalmers University of Technology Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Charles ConselConsel, Charles University of Bordeaux / INRIA / LaBRIFrance Committee Member in Program Committee within the ESOP -track
Byron CookCook, Byron Microsoft Research Spatial Interpolants
Arlen CoxCox, Arlen University of Colorado Boulder Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Silvia CrafaCrafa, Silvia University of Padova Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions
D Cristina DavidDavid, Cristina University of Oxford Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs
Delphine DemangeDemange, Delphine IRISA / University of Rennes 1France Session Chair of Session 7 (part of ESOP ) Committee Member in Program Committee within the ESOP -track
Işıl DilligDillig, Işıl University of Texas, AustinTurkey Committee Member in Program Committee within the ESOP -track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Committee Member in Program Committee within the ESOP -track
Derek DreyerDreyer, Derek MPI-SWSUnited States Committee Member in Program Committee within the ESOP -track
E Manuel EberlEberl, Manuel Technische Universität MünchenGermany A Verified Compiler for Probability Density Functions
Michael EmmiEmmi, Michael IMDEA Software Institute Analysis of Asynchronous Programs with Event-Based Synchronization
F Azadeh FarzanFarzan, Azadeh University of TorontoIran Committee Member in Program Committee within the ESOP -track
Matthias FelleisenFelleisen, Matthias Northeastern UniversityGermany Committee Member in Steering Committee for ESOP 2015
Burke FetscherFetscher, Burke Northwestern University Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Mario FloridoFlorido, Mario FCUP, Universidade do Porto, PortugalPortugal Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages
Cédric FournetFournet, Cédric Microsoft Research Committee Member in Program Committee within the ESOP -track
G Pierre GantyGanty, Pierre IMDEA Software Institute Analysis of Asynchronous Programs with Event-Based Synchronization
Ronald GarciaGarcia, Ronald University of British Columbia Monotonic References for Efficient Gradual Typing
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Committee Member in Steering Committee for ESOP 2015 CoLoSL: Concurrent Local Subjective Logic
Deepak GargGarg, Deepak MPI-SWS Refinement Types for Incremental Computational Complexity
Giorgio GhelliGhelli, Giorgio Universita di Pisa Committee Member in Program Committee within the ESOP -track
Andrew D. GordonGordon, Andrew D. Microsoft Research and University of Edinburgh Probabilistic Programs as Spreadsheet Queries
Alexey GotsmanGotsman, Alexey IMDEA Composite Replicated Data Types Committee Member in Program Committee within the ESOP -track
Thore GraepelGraepel, Thore Microsoft Research Probabilistic Programs as Spreadsheet Queries
H Kevin HammondHammond, Kevin University of St Andrews, St Andrews, UK Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages
Robert HarperHarper, Robert Carnegie Mellon UniversityUnited States Unifying Speaker
Thomas A. HenzingerHenzinger, Thomas A. IST Austria Segment Abstraction for Worst-Case Execution Time Analysis
Jan HoffmannHoffmann, Jan Yale University Automatic Static Cost Analysis for Parallel Programs
John HughesHughes, John Chalmers University of Technology Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Johannes HölzlHölzl, Johannes Technische Universität MünchenGermany A Verified Compiler for Probability Density Functions
I Hyeonseung ImIm, Hyeonseung INRIA Grenoble Rhône-Alpes A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
J Bart JacobsJacobs, Bart iMinds - Distrinet, KU LeuvenBelgium Sound, modular and compositional verification of the input/output behavior of programs
Ranjit JhalaJhala, Ranjit University of California, San Diego Type Targeted Testing
Steffen JostJost, Steffen LMU, Munich, GermanyGermany Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages
K Zachary KincaidKincaid, Zachary University of TorontoUnited States Spatial Interpolants
Laura KovacsKovacs, Laura Chalmers University of Technology Segment Abstraction for Worst-Case Execution Time Analysis
Daniel KroeningKroening, Daniel University of Oxford Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs
L Matt LewisLewis, Matt University of Oxford Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs
Sam LindleyLindley, Sam University of Edinburgh A Semantics for Propositions as Sessions
M Michael M. VitousekM. Vitousek, Michael Indiana University Monotonic References for Efficient Gradual Typing
Rupak MajumdarMajumdar, Rupak MPI-SWS Analysis of Asynchronous Programs with Event-Based Synchronization
Jay McCarthyMcCarthy, Jay Running Probabilistic Programs Backwards
Kayvan MemarianMemarian, Kayvan University of Cambridge The Problem of Programming Language Concurrency Semantics
J. Garrett MorrisMorris, J. Garrett The University of Edinburgh A Semantics for Propositions as Sessions
Peter MüllerMüller, Peter ETH Zurich Committee Member in Program Committee within the ESOP -track
N Aleksandar NanevskiNanevski, Aleksandar IMDEA Software Institute Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
Pierre NeronNeron, Pierre TU DelftFrance A Theory of Name Resolution
Kim NguyễnNguyễn, Kim LRI, Université Paris-Sud A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
Kyndylan NienhuisNienhuis, Kyndylan University of Cambridge The Problem of Programming Language Concurrency Semantics
Tobias NipkowNipkow, Tobias Technische Universität München A Verified Compiler for Probability Density Functions
P Luca PadovaniPadovani, Luca Universita di Torino Committee Member in Program Committee within the ESOP -track
Catuscia PalamidessiPalamidessi, Catuscia INRIA and LIXItaly Unifying Speaker - 2
Michał PałkaPałka, Michał Chalmers University of Technology Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Willem PenninckxPenninckx, Willem KU Leuven Sound, modular and compositional verification of the input/output behavior of programs
Michael PetterPetter, Michael Technische Universität München Inter-procedural Two-Variable Herbrand Equalities
Frank PfenningPfenning, Frank Carnegie Mellon UniversityGermany FoSSaCS Speaker
Tuan Phong NgoPhong Ngo, Tuan Uppsala University The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
Jean Pichon-PharabodPichon-Pharabod, Jean University of Cambridge A Separation Logic for Fictional Sequential Consistency The Problem of Programming Language Concurrency Semantics
Frank PiessensPiessens, Frank iMinds - Distrinet, KU Leuven Sound, modular and compositional verification of the input/output behavior of programs
Keshav PingaliPingali, Keshav University of Texas, AustinIndia CC Speaker Committee Member in Program Committee within the ESOP -track
Andrei PopescuPopescu, Andrei Middlesex University, London Witnessing (Co)datatypes
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom CoLoSL: Concurrent Local Subjective Logic
Arjun RadhakrishnaRadhakrishna, Arjun Microsoft Segment Abstraction for Worst-Case Execution Time Analysis
Wilmer RicciottiRicciotti, Wilmer University of ToulouseItaly Binding Structures as an Abstract Data Type
Xavier RivalRival, Xavier INRIA/CNRS/ENS Paris Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Nicolas RollandRolland, Nicolas Microsoft Research Probabilistic Programs as Spreadsheet Queries
Fernando Rosa-VelardoRosa-Velardo, Fernando Universidad Complutense de Madrid Analysis of Asynchronous Programs with Event-Based Synchronization
Claudio RussoRusso, Claudio Microsoft Research Probabilistic Programs as Spreadsheet Queries
Didier RémyRémy, Didier INRIA Full reduction in the face of absurdity
S Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Committee Member in Program Committee within the ESOP -track
Dave SandsSands, Dave Chalmers University of Technology Session Chair of Session 3 (part of ESOP ) Committee Member in Program Committee within the ESOP -track
Gabriel SchererScherer, Gabriel INRIA Full reduction in the face of absurdity
Stefan Schulze FrielinghausSchulze Frielinghaus, Stefan Technische Universität MünchenGermany Inter-procedural Two-Variable Herbrand Equalities
Eric SeidelSeidel, Eric Type Targeted Testing
Helmut SeidlSeidl, Helmut Technische Universität MünchenGermany Committee Member in Steering Committee for ESOP 2015 Session Chair of Session 6 (part of ESOP ) Inter-procedural Two-Variable Herbrand Equalities Committee Member in Program Committee within the ESOP -track
Ilya SergeySergey, Ilya IMDEA Software InstituteRussia Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
Peter SewellSewell, Peter University of Cambridge The Problem of Programming Language Concurrency Semantics
Zhong ShaoShao, Zhong Yale UniversityChina Committee Member in Steering Committee for ESOP 2015 Automatic Static Cost Analysis for Parallel Programs
Filip SieczkowskiSieczkowski, Filip Aarhus University A Separation Logic for Fictional Sequential Consistency
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States Monotonic References for Efficient Gradual Typing
Armando Solar-LezamaSolar-Lezama, Armando MITUnited States Committee Member in Program Committee within the ESOP -track
Enrico SteffinlongoSteffinlongo, Enrico Università Ca' Foscari VeneziaItaly Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions
Kasper SvendsenSvendsen, Kasper Aarhus University A Separation Logic for Fictional Sequential Consistency
Marcin SzymczakSzymczak, Marcin University of Edinburgh Probabilistic Programs as Spreadsheet Queries
T Éric TanterTanter, Éric University of Chile Committee Member in Program Committee within the ESOP -track
Daniel TarlowTarlow, Daniel Microsoft Research Probabilistic Programs as Spreadsheet Queries
Tachio TerauchiTerauchi, Tachio JAIST Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement
Peter ThiemannThiemann, Peter University of FreiburgGermany Committee Member in Program Committee within the ESOP -track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Monotonic References for Efficient Gradual Typing
Andrew TolmachTolmach, Andrew Portland State University A Theory of Name Resolution
Neil TorontoToronto, Neil Brigham Young University Running Probabilistic Programs Backwards
Dmitriy TraytelTraytel, Dmitriy TU Munich Witnessing (Co)datatypes
U Hiroshi UnnoUnno, Hiroshi University of Tsukuba Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement
V David Van HornVan Horn, David Running Probabilistic Programs Backwards
Pedro VasconcelosVasconcelos, Pedro LIACC, Universidade do Porto, Porto, Portugal Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages
Niki VazouVazou, Niki UC San Diego Type Targeted Testing
Jules VillardVillard, Jules Imperial College London CoLoSL: Concurrent Local Subjective Logic
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands A Theory of Name Resolution
Jan VitekVitek, Jan Northeastern UniversitySwitzerland Committee Member in Steering Committee for ESOP 2015 Session Chair of Session 1 (part of ESOP ) Session Chair of Session 8 (part of ESOP ) Session Chair of Session 5 (part of ESOP ) Session Chair of Session 9 (part of ESOP ) Chair in Program Committee within the ESOP -track
W Guido WachsmuthWachsmuth, Guido Delft University of TechnologyGermany A Theory of Name Resolution
Philip WadlerWadler, Philip University of EdinburghUnited States Committee Member in Steering Committee for ESOP 2015
Y Hongseok YangYang, Hongseok University of Oxford Composite Replicated Data Types Committee Member in Program Committee within the ESOP -track
Z Francesco Zappa NardelliZappa Nardelli, Francesco INRIAItaly Committee Member in Program Committee within the ESOP -track
Jakob ZwirchmayrZwirchmayr, Jakob IRIT Toulouse Segment Abstraction for Worst-Case Execution Time Analysis
Ç Ezgi ÇiçekÇiçek, Ezgi MPI-SWS Refinement Types for Incremental Computational Complexity