Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kenny Zhuo Ming Lu, Daniel Yu Hian Low |
Constructing Structured SSA from FJ. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck |
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Edward Lee, Kavin Satheeskumar, Ondrej Lhoták |
Dependency-Free Capture Tracking. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Timon Böhler, David Richter, Mira Mezini |
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Baber Rehman |
Correctness-by-Construction Meets Refinement Types. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Niels Mommen, Bart Jacobs 0002 |
Verifying C++ Dynamic Binding. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Tomb (eds.) |
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023 |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ângelo 0002, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido |
Gradual Guarantee for FJ with lambda-Expressions. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Loulergue, Jolan Philippe |
Towards Verified Scalable Parallel Computing with Coq and Spark. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Runtime Verification of Hash Code in Mutable Classes. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Cardenas, Paul Leger, Hiroaki Fukuda, Nicolás Cardozo |
Points-to Analysis for Context-Oriented JavaScript Programs. |
FTfJP@ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
On the Need for a Common API for Abstract Domains of Object-Oriented Programs. |
FTfJP@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter |
A Graph-Based Formal Semantics of Reactive Programming from First Principles. |
FTfJP@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David R. Cok |
Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language. |
FTfJP@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Kudasov, Violetta Sim |
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects. |
FTfJP@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James Noble 0001, Julian Mackay, Tobias Wrigstad |
Rusty Links in Local Chains✱. |
FTfJP@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nick Webster, Marco Servetto, Michael Homer |
Using Functional Reactive Programming to Define Safe Actor Systems. |
FTfJP@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Rebêlo (eds.) |
Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022 |
FTfJP@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok |
Automated Reasoning Repair. |
FTfJP@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Indigo Orton, Alan Mycroft |
Refactoring traces to identify concurrency improvements. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello |
Combining formal and machine learning techniques for the generation of JML specifications. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman |
IntelliJML: a JML plugin for IntelliJ IDEA. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich |
Reconstructing z3 proofs in KeY: there and back again. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp, Chuangjie Xu |
A generic type system for featherweight Java. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen |
Behavioural separation with parallel usages. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Weitian Xing, Yuanhui Cheng, Werner Dietl |
Ensuring correct cryptographic algorithm and provider usage at compile time. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Indigo Orton, Alan Mycroft |
Source code patches from dynamic analysis. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David R. Cok |
JML and OpenJML for Java 16. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David R. Cok (eds.) |
FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marie Farrell, Conor Reynolds, Rosemary Monahan |
Using dafny to solve the VerifyThis 2021 challenges. |
FTfJP@ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Barbieri, Francesco Dagnino, Elena Zucca |
An inductive abstract semantics for coFJ. |
FTfJP@ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Köhler 0001, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi |
ConSysT: tunable, safe consistency meets object-oriented programming. |
FTfJP@ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Hans-Dieter A. Hiep |
History-based specification and verification of Java collections in KeY (keynote). |
FTfJP@ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman, Anton Wijs |
Towards verified construction of correct and optimised GPU software. |
FTfJP@ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander J. Summers |
Prusti: deductive verification for Rust (keynote). |
FTfJP@ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joanna C. S. Santos, Reese A. Jones, Mehdi Mirakhorli |
Salsa: static analysis of serialization features. |
FTfJP@ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Reinhard, Amin Timany, Bart Jacobs 0002 |
A separation logic to verify termination of busy-waiting for abrupt program exit. |
FTfJP@ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wytse Oortwijn (eds.) |
FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020 |
FTfJP@ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Willem Penninckx, Amin Timany, Bart Jacobs 0002 |
Specifying I/O using abstract nested hoare triples in separation logic. |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Mariusz Lester |
Analysis of MiniJava programs via translation to ML. |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohammadsadegh Dalvandi, Brijesh Dongol |
Towards deductive verification of C11 programs with Event-B and ProB. |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fangzhen Lin |
Translating classes to first-order logic: an example. |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Scott Owens |
Building trustworthy software with CakeML. |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Julia Belyakova |
Decidable tag-based semantic subtyping for nominal types, tuples, and unions. |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Rümmer |
JayHorn: a Java model checker. |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Toby Murray, Gidon Ernst (eds.) |
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019 |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Moez A. AbdelGawad |
Towards a Java Subtyping Operad. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julia Belyakova |
Generic Approach to Certified Static Checking of Module-like Constructs. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Moussa Amrani, Pierre-Yves Schobbens |
Formal Analysis of Object-Oriented Mograms. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Youssef El Bakouny, Tristan Crolard, Dani Mezher |
A Coq-based synthesis of Scala programs which are correct-by-construction. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Margara, Guido Salvaneschi |
Consistency Types for Safe and Efficient Distributed Programming. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Angelo Ferrando 0001, Luca Franceschini, Viviana Mascardi |
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marianna Rapoport, Ondrej Lhoták |
Mutable WadlerFest DOT. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dustin Rhodes, Cormac Flanagan, Stephen N. Freund |
Correctness of Partial Escape Analysis for Multithreading Optimization. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017 |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paola Giannini, Marco Servetto, Elena Zucca |
Tracing sharing in an imperative pure calculus: extended abstract. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Hoyland, Matthew Hague |
Generating Concurrency Checks Automatically. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Andrea Corradi |
A formal account of SSA in Java-like languages. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Paola Giannini, Marco Servetto, Elena Zucca |
Coupling catch clauses with local declarations. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Vladimir Klebanov (eds.) |
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016 |
FTfJP@ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Aotani, Gary T. Leavens |
Towards Modular Reasoning for Context-Oriented Programs. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Gurvan Cabon, David Cachera, David Pichardie |
An Extended Buffered Memory Model With Full Reorderings. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Sophia Drossopoulou, James Noble 0001, Mark S. Miller, Toby C. Murray |
Permission and Authority Revisited towards a formalisation. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Jens Dietrich 0001, Nicholas Hollingum, Bernhard Scholz |
A Note on the Soundness of Difference Propagation. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Bart Jacobs 0002 |
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Timothy Jones 0002, David J. Pearce 0001 |
A Mechanical Soundness Proof for Subtyping Over Recursive Types. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Francesco Dagnino, Elena Zucca |
Towards a model of corecursion with default. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
1 | Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich |
Regression verification for Java using a secure information flow calculus. |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Reza Ahmadi, K. Rustan M. Leino, Jyrki Nummenmaa |
Automatic verification of Dafny programs with traits. |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rosemary Monahan (eds.) |
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015 |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0002 |
Provably live exception handling. |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joana Campos 0002, Vasco T. Vasconcelos |
Imperative objects with dependent types. |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuyan Bao, Gary T. Leavens, Gidon Ernst |
Conditional effects in fine-grained region logic. |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski |
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis |
Foo: a minimal modern OO calculus. |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Federico Frassetto |
A three-valued type system for true positives detection in Java-like languages. |
FTfJP@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | John Tang Boyland, Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers |
Constraint Semantics for Abstract Read Permissions. |
FTfJP@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David J. Pearce 0001 (eds.) |
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014 |
FTfJP@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Jones 0002, James Noble 0001 |
Tinygrace: A Simple, Safe, and Structurally Typed Language. |
FTfJP@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom |
Verifying Functional Behaviour of Concurrent Programs. |
FTfJP@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James Noble 0001, Sophia Drossopoulou |
Rationally Reconstructing the Escrow Example. |
FTfJP@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona |
How to prove type soundness of Java-like languages without forgoing big-step semantics. |
FTfJP@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Rytz, Nada Amin, Martin Odersky |
A flow-insensitive, modular effect system for purity. |
FTfJP@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Servetto, Lindsay Groves |
True small-step reduction for imperative object oriented languages. |
FTfJP@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yan Zhang 0017, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg |
Semi-automatic controller design of Java-like models. |
FTfJP@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Werner Dietl (eds.) |
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013 |
FTfJP@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ana L. Milanova, Wei Huang 0001 |
Composing polymorphic information flow systems with reference immutability. |
FTfJP@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Elena Zucca |
Safe corecursion in coFJ. |
FTfJP@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David J. Pearce 0001 |
A calculus for constraint-based flow typing. |
FTfJP@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Drossopoulou, James Noble 0001 |
The need for capability policies. |
FTfJP@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Welsch, Arnd Poetzsch-Heffter |
Verifying backwards compatibility of object-oriented libraries using Boogie. |
FTfJP@ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Elena Zucca |
Corecursive Featherweight Java. |
FTfJP@ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron 0001 |
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. |
FTfJP@ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tom Van Cutsem |
AmbientTalk: modern actors for modern networks. |
FTfJP@ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Ngan Chin, Aquinas Hobor (eds.) |
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012 |
FTfJP@ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg |
Featherweight X10: a core calculus for async-finish parallelism. |
FTfJP@ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic |
Verification games: making verification fun. |
FTfJP@ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ben Horsfall, Nathaniel Charlton, Bernhard Reus |
Verifying the reflective visitor pattern. |
FTfJP@ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eric Spishak, Werner Dietl, Michael D. Ernst |
A type system for regular expressions. |
FTfJP@ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|