FTfJP 2021 Contributors

Sun 11 - Sat 17 July 2021 Online

co-located with ECOOP and ISSTA 2021

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

A Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee within the FTfJP-track
B Marcel BöhmeBöhme, Marcel Monash UniversityAustralia Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track
C Yuanhui ChengCheng, Yuanhui University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time
Maria ChristakisChristakis, Maria MPI-SWSGermany Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track
David CokCok, David Safer Software Consulting, LLC JML and OpenJML for Java 16 Organizing Chair in Program Committee Chair within the FTfJP-track
D Gaël de Chalendarde Chalendar, Gaël Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Werner DietlDietl, Werner University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time Steering Committee Member in Steering Committee within the FTfJP-track
F Marie FarrellFarrell, Marie University of Liverpool Using Dafny to Solve the VerifyThis 2021 Challenges
Marie FarrellFarrell, Marie Maynooth UniversityIreland Committee Member in Program Committee within the FTfJP-track
G Pierre-Yves GibelloGibello, Pierre-Yves Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Iaroslav GolovanovGolovanov, Iaroslav Aalborg University Behavioural Separation with Parallel Usages
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Steering Committee within the FTfJP-track
H Paula HerberHerber, Paula University of Munster, GermanyGermany Committee Member in Program Committee within the FTfJP-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Behavioural Separation with Parallel Usages
J Mathias Steen JakobsenJakobsen, Mathias Steen Department of Computer Science, Aalborg University, Denmark Behavioural Separation with Parallel Usages
K Mikkel Klinke KettunenKettunen, Mikkel Klinke Department of Computer Science, Aalborg University, Denmark Behavioural Separation with Parallel Usages
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Committee Member in Program Committee within the FTfJP-track
L Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Steering Committee within the FTfJP-track
M Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Using Dafny to Solve the VerifyThis 2021 Challenges Steering Committee Chair in Steering Committee within the FTfJP-track
Steven MonteiroMonteiro, Steven University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Alan MycroftMycroft, Alan University of Cambridge, UK Refactoring traces to identify concurrency improvements Source code patches from dynamic analysis
N James NobleNoble, James Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the FTfJP-track
O Indigo OrtonOrton, Indigo University of Cambridge, UK Refactoring traces to identify concurrency improvements Source code patches from dynamic analysis
P Wolfram PfeiferPfeifer, Wolfram Karlsruhe Institute of Technology (KIT)Germany Reconstructing Z3 Proofs in KeY: There and Back Again
Armand PuccettiPuccetti, Armand Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Violet Ka I PunPun, Violet Ka I Committee Member in Program Committee within the FTfJP-track
R Conor ReynoldsReynolds, Conor Maynooth UniversityIreland Using Dafny to Solve the VerifyThis 2021 Challenges
S Jonas SchifflSchiffl, Jonas Reconstructing Z3 Proofs in KeY: There and Back Again
Ulrich SchöppSchöpp, Ulrich fortiss GmbHGermany A Generic Type System for Featherweight Java
John L. SingletonSingleton, John L. GitHub, Inc.United States Committee Member in Program Committee within the FTfJP-track
Erikas SokolovasSokolovas, Erikas University of Twente, The NetherlandsNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Alexander J. SummersSummers, Alexander J. University of British Columbia (UBC)Canada Steering Committee Member in Steering Committee within the FTfJP-track
U Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Reconstructing Z3 Proofs in KeY: There and Back Again Committee Member in Program Committee within the FTfJP-track
V Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands Committee Member in Program Committee within the FTfJP-track
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
W Ellen WittingenWittingen, Ellen University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
X Weitian XingXing, Weitian University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time
Chuangjie XuXu, Chuangjie fortiss GmbHGermany A Generic Type System for Featherweight Java
Z Elena ZuccaZucca, Elena University of Genova Committee Member in Program Committee within the FTfJP-track