VMCAI 2018 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (109)

A Mahmudul Faisal Al AmeenAl Ameen, Mahmudul Faisal National University of Singapore A Logical System for Modular Information Flow Verification
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Gradual Program Verification
Jade AlglaveAlglave, Jade University College LondonFrance Committee Member in Program Committee within the VMCAI-track
Benjamin AminofAminof, Benjamin Vienna University of Technology Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Alasdair ArmstrongArmstrong, Alasdair Brunel University On abstraction and compositionality for weak-memory linearisability
B Johannes BaderBader, Johannes MicrosoftUnited States Gradual Program Verification
Sorav BansalBansal, Sorav Automatic Verification of Intermittent Systems
Cedric BaumannBaumann, Cedric ETH Zurich Automatic Verification of RMA Programs via Abstraction Extrapolation
Fabrizio BiondiBiondi, Fabrizio CentraleSupelec Rennes Scalable Approximation of Quantitative Information Flow in Programs
Roderick BloemBloem, Roderick Institute of Software Technology, Graz University of Technology Committee Member in Program Committee within the VMCAI-track
Austin BourgerieBourgerie, Austin University of Maryland Refinement Types for Ruby
Roberto BruniBruni, Roberto Dipartimento di Informatica, Universita' di Pisa Code Obfuscation Against Abstract Model Checking Attacks
Samuele BuroBuro, Samuele Università degli Studi di Verona Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference
Eric ButlerButler, Eric University of Washington A Framework for Computer-Aided Design of Educational Domain Models
C Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Session Chair of Potpourri (part of VMCAI) A Logical System for Modular Information Flow Verification Committee Member in Program Committee within the VMCAI-track
Maria ChristakisChristakis, Maria MPI-SWSGermany Committee Member in Program Committee within the VMCAI-track
Patrick CousotCousot, Patrick Session Chair of Abstract Interpretation (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
D Manjeet DahiyaDahiya, Manjeet Automatic Verification of Intermittent Systems
Andrei Marian DanDan, Andrei Marian ETH ZurichSwitzerland Automatic Verification of RMA Programs via Abstraction Extrapolation
Işıl DilligDillig, Işıl UT Austin Session Chair of Invited Talk by Ranjit Jhala (part of VMCAI) Session Chair of Invited Talk by Azadeh Farzan (part of VMCAI) Program Co-Chair in Program Committee within the VMCAI-track Co-chair in Organizing Committee within the VMCAI-track
Brijesh DongolDongol, Brijesh Brunel University London On abstraction and compositionality for weak-memory linearisability
E Mike EnescuEnescu, Mike INRIA Scalable Approximation of Quantitative Information Flow in Programs
Patrick EugsterEugster, Patrick Purdue University Co-Design and Verification of an Available File System
F Azadeh FarzanFarzan, Azadeh University of TorontoCanada Rethinking Compositionality for Concurrent Program Proofs Invited Speaker in Invited Speakers within the VMCAI-track
Marco A. FeliuFeliu, Marco A. National Institute of Aerospace An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
Tomas FiedorFiedor, Tomas VUT Brno From Shapes to Amortized Complexity
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland, College ParkUnited States Session Chair of Verification (part of VMCAI) Refinement Types for Ruby
G Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Code Obfuscation Against Abstract Model Checking Attacks
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Committee Member in Program Committee within the VMCAI-track
Roberta GoriGori, Roberta Dipartimento di Informatica, Universita' di Pisa Code Obfuscation Against Abstract Model Checking Attacks
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Maximum Satisfiability in Program Analysis: Applications and Techniques
H Annelie HeuserHeuser, Annelie CNRS/IRISA Scalable Approximation of Quantitative Information Flow in Programs
Torsten HoeflerHoefler, Torsten ETH ZurichSwitzerland Automatic Verification of RMA Programs via Abstraction Extrapolation
Lukáš HolíkHolík, Lukáš Brno University of Technology From Shapes to Amortized Complexity
Andreas HumenbergerHumenberger, Andreas Vienna University of Technology Invariant Generation for Multi-Path Loops with Polynomial Assignments
I Shachar ItzhakyItzhaky, Shachar Technion, IsraelIsrael Abstraction-Based Interaction Model for Synthesis
J Swen JacobsJacobs, Swen Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
Radha JagadeesanJagadeesan, Radha DePaul University On abstraction and compositionality for weak-memory linearisability
Maximilian JaroschekJaroschek, Maximilian Vienna University of Technology Invariant Generation for Multi-Path Loops with Polynomial Assignments
Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States Reasoning about Functions Invited Speaker in Invited Speakers within the VMCAI-track
Dejan JovanovićJovanović, Dejan SRI InternationalUnited States Selfless Interpolation for Infinite-State Model Checking
K Milod KazerounianKazerounian, Milod Refinement Types for Ruby
Eric KoskinenKoskinen, Eric Stevens Institute of Technology Committee Member in Program Committee within the VMCAI-track
Laura KovacsKovacs, Laura Chalmers University of Technology Invariant Generation for Multi-Path Loops with Polynomial Assignments Committee Member in Program Committee within the VMCAI-track
Julian KranzKranz, Julian Technical University of Munich Modular Analysis of Executables using On-Demand Heyting Completion
Paddy KrishnanKrishnan, Paddy Committee Member in Program Committee within the VMCAI-track
L Benedict LeeLee, Benedict National University of Singapore A Logical System for Modular Information Flow Verification
Axel LegayLegay, Axel Scalable Approximation of Quantitative Information Flow in Programs
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Session Chair of Synthesis (part of VMCAI)
Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Committee Member in Program Committee within the VMCAI-track
Yong LiLi, Yong Institute of Software, Chinese Academy of Sciences Learning to Complement Büchi Automata
M Ruben MartinsMartins, Ruben Carnegie Mellon UniversityPortugal Committee Member in Program Committee within the VMCAI-track
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference
Kenneth L. McMillanMcMillan, Kenneth L. Microsoft ResearchUnited States Session Chair of Model Checking (part of VMCAI) P5: Planner-less Proofs of Probabilistic Parameterized Protocols How to Stay Decidable Committee Member in Program Committee within the VMCAI-track Invited Speaker in Invited Speakers within the VMCAI-track
Kuldeep S. MeelMeel, Kuldeep S. National University of Singapore Scalable Approximation of Quantitative Information Flow in Programs
Yuri MeshmanMeshman, Yuri IMDEA Automatic Verification of RMA Programs via Abstraction Extrapolation
Mariano MoscatoMoscato, Mariano National Institute of Aerospace An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
Cesar MunozMunoz, Cesar NASA An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
N Mayur NaikNaik, Mayur University of Pennsylvania Maximum Satisfiability in Program Analysis: Applications and Techniques Committee Member in Invited Tutorial within the VMCAI-track
Mahsa NajafzadehNajafzadeh, Mahsa Purdue University Co-Design and Verification of an Available File System
Daniel NeiderNeider, Daniel Max Planck Institute for Software SystemsGermany Committee Member in Program Committee within the VMCAI-track
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) Session Chair of Invited Tutorial by Mayur Naik (part of VMCAI) Program Co-Chair in Program Committee within the VMCAI-track Co-chair in Organizing Committee within the VMCAI-track
Hila PelegPeleg, Hila Abstraction-Based Interaction Model for Synthesis Generating Tests by Example
Ruzica PiskacPiskac, Ruzica Yale University Chair in Travel Grants within the VMCAI-track
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Committee Member in Program Committee within the VMCAI-track
Zoran PopovicPopovic, Zoran University of Washington A Framework for Computer-Aided Design of Educational Domain Models
Adi PrabawaPrabawa, Adi National University of Singapore A Logical System for Modular Information Flow Verification
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research Center Committee Member in Program Committee within the VMCAI-track
Q Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Jean QuilbeufQuilbeuf, Jean INRIA Scalable Approximation of Quantitative Information Flow in Programs
R Francesco RanzatoRanzato, Francesco University of PadovaItaly Session Chair of Security (part of VMCAI) On Constructivity of Galois Connections
Dan RasinRasin, Dan Technion – Israel Institute of Technology Generating Tests by Example
James RielyRiely, James DePaul University Session Chair of Verifying Protocols and Systems (part of VMCAI) On abstraction and compositionality for weak-memory linearisability
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in Program Committee within the VMCAI-track
Adam RogalewiczRogalewicz, Adam Brno University of Technology From Shapes to Amortized Complexity
Nima RoohiRoohi, Nima University of Pennsylvania Revisiting MITL to Fix Decision Procedures
Sasha RubinRubin, Sasha University of Naples Federico II Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden Committee Member in Program Committee within the VMCAI-track
S Mouhammad SakrSakr, Mouhammad Saarland University Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
Roopsha SamantaSamanta, Roopsha Purdue University Committee Member in Program Committee within the VMCAI-track
Sven ScheweSchewe, Sven University of Liverpool Learning to Complement Büchi Automata
Tanja SchindlerSchindler, Tanja University of Freiburg Selfless Interpolation for Infinite-State Model Checking
Marc ShapiroShapiro, Marc LIP6 Co-Design and Verification of an Available File System
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Committee Member in Program Committee within the VMCAI-track
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Abstraction-Based Interaction Model for Synthesis
Xujie SiSi, Xujie University of Pennsylvania Maximum Satisfiability in Program Analysis: Applications and Techniques
Axel SimonSimon, Axel Google Modular Analysis of Executables using On-Demand Heyting Completion
Moritz SinnSinn, Moritz St. Polten University of Applied Sciences From Shapes to Amortized Complexity
Ana SokolovaSokolova, Ana University of Salzburg Committee Member in Program Committee within the VMCAI-track
Ilina StoilkovskaStoilkovska, Ilina Vienna University of Technology Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
T Éric TanterTanter, Éric University of ChileChile Gradual Program Verification
Tachio TerauchiTerauchi, Tachio Waseda University Session Chair of Types and Analysis (part of VMCAI) Committee Member in Program Committee within the VMCAI-track
Laura TitoloTitolo, Laura National Institute of Aerospace, USAItaly An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
Jordan TorfTorf, Jordan UIC P5: Planner-less Proofs of Probabilistic Parameterized Protocols
Emina TorlakTorlak, Emina University of WashingtonUnited States A Framework for Computer-Aided Design of Educational Domain Models Refinement Types for Ruby
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Learning to Complement Büchi Automata
V Niki VazouVazou, Niki University of Maryland Refinement Types for Ruby
Martin VechevVechev, Martin ETH Zürich Automatic Verification of RMA Programs via Abstraction Extrapolation
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-Champaign Revisiting MITL to Fix Decision Procedures
Tomáš VojnarVojnar, Tomáš Brno University of Technology From Shapes to Amortized Complexity
W Thomas WahlWahl, Thomas Northeastern University Committee Member in Program Committee within the VMCAI-track
Josef WidderWidder, Josef TU WienAustria Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Thomas WiesWies, Thomas New York University Committee Member in Program Committee within the VMCAI-track
Y Eran YahavYahav, Eran TechnionIsrael Generating Tests by Example
Z Charles ZhangZhang, Charles Committee Member in Program Committee within the VMCAI-track
Lijun ZhangZhang, Lijun Institute of Software, Chinese Academy of Sciences Learning to Complement Büchi Automata
Xin ZhangZhang, Xin Massachusetts Institute of Technology, USAUnited States Maximum Satisfiability in Program Analysis: Applications and Techniques
Lenore ZuckZuck, Lenore Session Chair of Invited Talk by Kenneth L. McMillan (part of VMCAI) P5: Planner-less Proofs of Probabilistic Parameterized Protocols
Florian ZulegerZuleger, Florian TU Vienna From Shapes to Amortized Complexity Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction