ECOOP and ISSTA 2021 (series) / ECOOP 2021 (series) /
ECOOP 2021 Program
This is the ECOOP 2021 program - see the full program for ECOOP and ISSTA 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 11 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Sun 11 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 13:00 | |||
11:00 2hTalk | Ubiquitous Omniscient Debugging REBASE Robert O'Callahan Pernosco | ||
13:00 - 15:00 | Session 2REBASE at Rebase Chair(s): Alexandre Bergel University of Chile, Oscar Nierstrasz University of Bern, Switzerland | ||
13:00 2hTalk | Molding Knowledge REBASE Tudor Gîrba feenk.com | ||
15:00 - 17:00 | |||
15:00 2hTalk | Students can't test. Or can they? REBASE John Wrenn Brown University | ||
17:00 - 19:00 | Session 4REBASE at Rebase Chair(s): Manuel Chakravarty Tweag & IOHK, Andreas Rossberg Dfinity Stiftung | ||
17:00 2hTalk | The Move language for the Diem Blockchain REBASE Shaz Qadeer Facebook | ||
19:00 - 21:00 | |||
19:00 2hTalk | AA - Yet Another New Language REBASE Cliff Click me | ||
21:00 - 23:00 | |||
21:00 2hTalk | Variational Calculus for Dummies REBASE | ||
Mon 12 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
10:30 - 11:50 | |||
10:30 40mKeynote | Increasing Confidence in Autonomous Systems VORTEX File Attached | ||
11:10 20mTalk | Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents VORTEX Filippo Ricca DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy, Alessandro Verri File Attached | ||
11:30 20mTalk | RVPLAN: A General Purpose Framework for Replanning using Runtime Verification VORTEX File Attached | ||
13:30 - 14:50 | |||
13:30 40mKeynote | The E-ACSL Perspective on Runtime Assertion Checking VORTEX Julien Signoles CEA LIST File Attached | ||
14:10 20mTalk | Towards Aggregate Monitoring of Spatio-temporal Properties VORTEX File Attached | ||
14:30 20mTalk | RM for Users’ Safety and Security in the Built Environment VORTEX Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Giuseppe Di Giuda , Silvia Meschini , Laura Pellegrini , Elena Seghezzi , Lavinia Chiara Tagliabue , Lorenzo Testa , Gianluca Torta File Attached | ||
15:30 - 16:50 | |||
15:30 40mKeynote | Synchronous and Asynchronous Stream Runtime Verification VORTEX File Attached | ||
16:10 20mTalk | Optional Monitoring for Long-Lived Transactions VORTEX File Attached | ||
16:30 20mTalk | Runtime Verification for Trustworthy Secure Shell Deployment VORTEX File Attached | ||
17:00 - 18:30 | |||
17:00 90mTalk | Who is Afraid of the Turnstile? ECOOP and ISSTA Summer School Media Attached | ||
19:00 - 20:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
19:00 90mTalk | Let me fix that for you: An Overview of Automated Program Repair ECOOP and ISSTA Summer School Media Attached | ||
21:00 - 22:30 | |||
21:00 90mTalk | FanSASTic! The magic behind Static Application Security Testing ECOOP and ISSTA Summer School Link to publication Media Attached | ||
Tue 13 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:00 - 01:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
00:00 90mTalk | Foundations of Software Testing ECOOP and ISSTA Summer School Media Attached | ||
02:00 - 03:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
02:00 90mTalk | Machine Learning for Developer Productivity ECOOP and ISSTA Summer School | ||
08:00 - 09:30 | |||
08:00 90mTalk | Who is Afraid of the Turnstile? ECOOP and ISSTA Summer School Media Attached | ||
10:00 - 11:30 | |||
10:00 90mTalk | FanSASTic! The magic behind Static Application Security Testing ECOOP and ISSTA Summer School Link to publication Media Attached | ||
13:00 - 17:30 | |||
13:00 5mOther | Welcome ICOOOLPS | ||
13:05 25mTalk | The Two Cultures of Language ImplementationInvited Talk ICOOOLPS Stephen Kell King's College London | ||
13:30 20mPaper | Naïve Transient Cast Insertion Isn’t (That) BadPaper ICOOOLPS P: Erin Greenwood-Thessman Victoria University of Wellington, Isaac Oscar Gariano Victoria University of Wellington, Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington DOI Pre-print | ||
13:50 20mTalk | Threaded Code Generation with a Meta-tracing JIT CompilerPosition Paper ICOOOLPS P: Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, CF Bolz-Tereick , Youyou Cong Tokyo Institute of Technology Pre-print | ||
14:10 10mSocial Event | Break ICOOOLPS | ||
14:20 20mTalk | Avoiding Monomorphisation Bottlenecks with Phase-based Splitting ICOOOLPS P: Sophie Kaleba University of Kent, Stefan Marr University of Kent, Richard Jones University of Kent Pre-print | ||
14:40 20mTalk | Native Implementation of Mutable Value SemanticsPosition Paper ICOOOLPS P: Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dave Abrahams Google, Dan Zheng Purdue University, Google Brain, Brennan Saeta Google Pre-print | ||
15:00 20mTalk | An Eclipse OMR-based Garbage Collector for Python ICOOOLPS P: Joannah Nanjekye University of New Brunswick, David Bremner University of New Brunswick, Aleksandar Micic IBM, Canada | ||
15:20 20mSocial Event | Break ICOOOLPS | ||
15:40 20mTalk | Userfault Objects: Transparent Programmable MemoryPosition Paper ICOOOLPS Pre-print | ||
16:00 20mTalk | The Strange and Wondrous Life of Functions in Ř ICOOOLPS Jan Ječmen , Olivier Flückiger Northeastern University, Sebastián Krynski Czech Technical University in Prague, P: Jan Vitek Northeastern University / Czech Technical University File Attached | ||
16:20 20mTalk | Non-Intrusive Migration from Lazy to Eager Evaluation ICOOOLPS P: Aviral Goel Northeastern University, Jan Vitek Northeastern University / Czech Technical University | ||
16:40 10mSocial Event | Break ICOOOLPS | ||
16:50 20mTalk | A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications ICOOOLPS P: Kyle Liang Carnegie Mellon University, Reese Grimsley CMU, Eve Hu CMU, Edward Andert Arizona State University, Mohammad Khayatian Arizona State University, Aviral Shrivastava Arizona State University, Carlee Joe-Wong CMU, Jonathan Aldrich Carnegie Mellon University, Bob Iannucci CMU | ||
17:10 20mTalk | Fuel: A Compiler Framework for Safe Memory ManagementPosition Paper ICOOOLPS Dimi Racordon University of Geneva, Switzerland, P: Aurélien Coet University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland Pre-print | ||
14:00 - 14:15 | |||
14:00 3mTalk | Welcome Talk ECOOP and ISSTA Doctoral Symposium | ||
14:00 - 16:35 | |||
14:00 5mTalk | Welcome FTfJP | ||
14:05 30mTalk | Refactoring traces to identify concurrency improvements FTfJP | ||
14:35 30mTalk | A Generic Type System for Featherweight Java FTfJP | ||
15:05 30mTalk | Source code patches from dynamic analysis FTfJP | ||
15:35 30mTalk | Reconstructing Z3 Proofs in KeY: There and Back Again FTfJP P: Wolfram Pfeifer Karlsruhe Institute of Technology (KIT), Jonas Schiffl , Mattias Ulbrich Karlsruhe Institute of Technology File Attached | ||
16:05 30mTalk | Using Dafny to Solve the VerifyThis 2021 Challenges FTfJP P: Marie Farrell University of Liverpool, Rosemary Monahan National University of Ireland, A: Conor Reynolds Maynooth University | ||
14:15 - 15:15 | |||
14:15 60mTalk | Keynote ECOOP and ISSTA Doctoral Symposium Media Attached | ||
15:30 - 17:30 | Student Presentations Session 1ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium Chair(s): Eric Bodden University of Paderborn; Fraunhofer IEM Panel Members: Myra Cohen, Iowa State University, USA | ||
15:30 30mTalk | Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
16:00 30mTalk | JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation) ECOOP and ISSTA Doctoral Symposium Jihyeok Park KAIST | ||
16:30 30mTalk | AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
17:00 30mTalk | Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
16:50 - 18:50 | |||
16:50 30mTalk | IntelliJML: A JML plugin for IntelliJ IDEA FTfJP P: Steven Monteiro University of Twente, P: Erikas Sokolovas University of Twente, The Netherlands, P: Ellen Wittingen University of Twente, Tom van Dijk University of Twente, Marieke Huisman University of Twente File Attached | ||
17:20 30mTalk | Ensuring correct cryptographic algorithm and provider usage at compile time FTfJP P: Weitian Xing University of Waterloo, Yuanhui Cheng University of Waterloo, Werner Dietl University of Waterloo Media Attached | ||
17:50 30mTalk | Behavioural Separation with Parallel Usages FTfJP Iaroslav Golovanov Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, P: Mathias Steen Jakobsen Department of Computer Science, Aalborg University, Denmark, Mikkel Klinke Kettunen Department of Computer Science, Aalborg University, Denmark | ||
18:20 30mTalk | Combining Formal and Machine Learning Techniques for the Generation of JML Specifications FTfJP DOI File Attached | ||
18:50 30mTalk | JML and OpenJML for Java 16 FTfJP File Attached | ||
18:30 - 19:15 | |||
19:00 - 20:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
19:00 90mTalk | Machine Learning for Developer Productivity ECOOP and ISSTA Summer School | ||
19:15 - 20:15 | |||
19:20 - 20:00 | |||
19:20 40mLive Q&A | Discussion and Conclusion FTfJP | ||
20:30 - 22:30 | Student presentations Session 2ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium Chair(s): Wei Le Iowa State University Panel Members: Myra Cohen, Iowa State University, USA | ||
20:30 30mTalk | Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
21:00 30mTalk | Using refactoring features to solve the problem of nested refactoring (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
21:30 30mTalk | Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
22:00 30mTalk | Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
Wed 14 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:00 - 01:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
00:00 90mTalk | Let me fix that for you: An Overview of Automated Program Repair ECOOP and ISSTA Summer School Media Attached | ||
08:00 - 09:30 | |||
08:00 90mTalk | Foundations of Software Testing ECOOP and ISSTA Summer School Media Attached | ||
17:00 - 17:20 | |||
17:00 20m | Opening Session ECOOP and ISSTA Opening E: Anders Møller Aarhus University, I: Cristian Cadar Imperial College London, UK, E: Manu Sridharan University of California at Riverside, I: Xiangyu Zhang Purdue University Media Attached | ||
18:30 - 19:30 | Types (time band 1)ECOOP Technical Papers at ECOOP 1 Chair(s): Sam Tobin-Hochstadt Indiana University | ||
18:30 20mTalk | Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP Technical Papers Anish Tondwalkar University of California, San Diego, Matthew Kolosick University of California, San Diego, Ranjit Jhala University of California at San Diego DOI | ||
18:50 20mTalk | Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers ECOOP Technical Papers DOI File Attached | ||
19:10 20mTalk | Idris 2: Quantitative Type Theory in Practice ECOOP Technical Papers Edwin Brady University of St Andrews, UK DOI Media Attached | ||
18:40 - 19:40 | AmazonECOOP and ISSTA Sponsors at Sponsors Amazon is developing exciting technologies in many areas, including programming languages, code analysis, and software quality. We welcome you to join us and learn about Amazon CodeGuru, a machine-learning powered service that enables developers to maintain a high bar of code quality. In addition, we welcome you to participate in AWS BugBust, a global competition of fixing software bugs, and win exciting prizes! | ||
18:40 60m | Amazon ECOOP and ISSTA Sponsors | ||
19:40 - 20:40 | Modular Programming / Types (time band 1)ECOOP Technical Papers at ECOOP 1 Chair(s): Alexander J. Summers University of British Columbia (UBC) | ||
19:40 20mTalk | Compositional ProgrammingTOPLAS Journal-First ECOOP Technical Papers Weixin Zhang University of Bristol, UK, Yaozhu Sun University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong DOI Pre-print Media Attached File Attached | ||
20:00 20mTalk | Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems ECOOP Technical Papers Jan Bessai Technical University Dortmund, George Heineman WPI, Boris Düdder University of Copenhagen DOI | ||
20:20 20mTalk | A Dependently Typed Calculus with Polymorphic SubtypingSCICO Journal-First ECOOP Technical Papers DOI | ||
20:40 - 21:10 | |||
20:40 30mPoster | Can we run in parallel? Automating Loop Parallelization for TornadoVM ECOOP and ISSTA Posters Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi | ||
20:40 30mPoster | Techniques for Evaluating Pragmatic Call Graph Builders ECOOP and ISSTA Posters Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia | ||
20:40 30mPoster | Exposing Previously Undetectable Faults in Deep Neural Networks ECOOP and ISSTA Posters Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford | ||
20:40 30mPoster | Refactoring Scala Programs to Promote Functional Design Patterns ECOOP and ISSTA Posters Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi File Attached | ||
20:40 30mPoster | Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study ECOOP and ISSTA Posters Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle File Attached | ||
Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:00 - 00:20 | |||
00:00 20m | Opening Session ECOOP and ISSTA Opening E: Anders Møller Aarhus University, I: Cristian Cadar Imperial College London, UK, E: Manu Sridharan University of California at Riverside, I: Xiangyu Zhang Purdue University Media Attached | ||
00:20 - 01:20 | Language Design (time band 2)ECOOP Technical Papers at ECOOP 1 Chair(s): Jens Dietrich Victoria University of Wellington | ||
00:20 20mTalk | Lambda-based object-oriented programmingPearl ECOOP Technical Papers DOI Media Attached | ||
00:40 20mTalk | ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ECOOP Technical Papers DOI | ||
01:00 20mTalk | Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks ECOOP Technical Papers Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology DOI | ||
01:40 - 02:20 | |||
01:40 20mTalk | Type-Directed Operational Semantics for Gradual Typing ECOOP Technical Papers Wenjia Ye The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Xuejing Huang The University of Hong Kong DOI Media Attached File Attached | ||
02:00 20mTalk | Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types ECOOP Technical Papers Anish Tondwalkar University of California, San Diego, Matthew Kolosick University of California, San Diego, Ranjit Jhala University of California at San Diego DOI | ||
02:20 - 02:50 | |||
02:20 30mPoster | KLEEMA: A DSE based Mutation Analyser ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore | ||
02:20 30mPoster | Techniques for Evaluating Pragmatic Call Graph Builders ECOOP and ISSTA Posters Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia | ||
02:20 30mPoster | Native Implementation of Mutable Value Semantics ECOOP and ISSTA Posters Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google | ||
02:20 30mPoster | Toward Optimal MC/DC Test Case Generation ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore | ||
02:20 30mPoster | Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study ECOOP and ISSTA Posters Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle File Attached | ||
02:20 30mPoster | Target Code-coverage in APP Automatic Compatibility Testing ECOOP and ISSTA Posters Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA | ||
09:10 - 10:10 | |||
09:10 20mTalk | Type-Directed Operational Semantics for Gradual Typing ECOOP Technical Papers Wenjia Ye The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Xuejing Huang The University of Hong Kong DOI Media Attached File Attached | ||
09:30 20mTalk | Lambda-based object-oriented programmingPearl ECOOP Technical Papers DOI Media Attached | ||
09:50 20mTalk | ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ECOOP Technical Papers DOI | ||
09:10 - 10:10 | AmazonECOOP and ISSTA Sponsors at Sponsors Amazon is developing exciting technologies in many areas, including programming languages, code analysis, and software quality. We welcome you to join us and learn about Amazon CodeGuru, a machine-learning powered service that enables developers to maintain a high bar of code quality. In addition, we welcome you to participate in AWS BugBust, a global competition of fixing software bugs, and win exciting prizes! | ||
09:10 60m | Amazon ECOOP and ISSTA Sponsors | ||
10:10 - 11:10 | Modular Programming / Types (time band 3)ECOOP Technical Papers at ECOOP 2 Chair(s): Eelco Visser Delft University of Technology | ||
10:10 20mTalk | A Dependently Typed Calculus with Polymorphic SubtypingSCICO Journal-First ECOOP Technical Papers DOI | ||
10:30 20mTalk | Compositional ProgrammingTOPLAS Journal-First ECOOP Technical Papers Weixin Zhang University of Bristol, UK, Yaozhu Sun University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong DOI Pre-print Media Attached File Attached | ||
10:50 20mTalk | Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems ECOOP Technical Papers Jan Bessai Technical University Dortmund, George Heineman WPI, Boris Düdder University of Copenhagen DOI | ||
11:10 - 11:40 | |||
11:10 30mPoster | Exposing Previously Undetectable Faults in Deep Neural Networks ECOOP and ISSTA Posters Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford | ||
11:10 30mPoster | KLEEMA: A DSE based Mutation Analyser ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore | ||
11:10 30mPoster | Target Code-coverage in APP Automatic Compatibility Testing ECOOP and ISSTA Posters Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA | ||
11:10 30mPoster | Native Implementation of Mutable Value Semantics ECOOP and ISSTA Posters Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google | ||
11:10 30mPoster | Toward Optimal MC/DC Test Case Generation ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore | ||
11:10 30mPoster | Refactoring Scala Programs to Promote Functional Design Patterns ECOOP and ISSTA Posters Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi File Attached | ||
11:10 30mPoster | Can we run in parallel? Automating Loop Parallelization for TornadoVM ECOOP and ISSTA Posters Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi | ||
17:00 - 18:00 | Keynote - Dahl-Nygaard Senior Prize (time band 1)ECOOP Keynotes at Keynote Chair(s): Davide Ancona DIBRIS, University of Genova, Italy | ||
17:00 60mKeynote | Dahl-Nygaard Senior Prize: Theory to UnderstandingKeynote ECOOP Keynotes Media Attached | ||
19:00 - 20:00 | Program Analysis (time band 1)ECOOP Technical Papers at ECOOP 1 Chair(s): Uday P. Khedker Indian Institute of Technology (IIT) Bombay | ||
19:00 20mTalk | Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow AnalysisDistinguished Paper ECOOP Technical Papers Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann Technical University Dortmund, Eric Bodden University of Paderborn; Fraunhofer IEM Link to publication DOI Pre-print Media Attached | ||
19:20 20mTalk | Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP Technical Papers DOI | ||
19:40 20mTalk | Gradual Program Analysis for Null Pointers ECOOP Technical Papers Sam Estep Carnegie Mellon University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Johannes Bader Jane Street, Joshua Sunshine Carnegie Mellon University DOI Pre-print Media Attached File Attached | ||
19:00 - 20:00 | Multiparty Programming and Session Types (time band 1)ECOOP Technical Papers at ECOOP 2 Chair(s): Mira Mezini TU Darmstadt, Germany | ||
19:00 20mTalk | Multiparty Languages: the Choreographic and Multitier CasesDistinguished PaperPearl ECOOP Technical Papers Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark, David Richter Technical University of Darmstadt, Guido Salvaneschi University of St. Gallen, Pascal Weisenburger TU Darmstadt Link to publication DOI | ||
19:20 20mTalk | Multiparty Session Types for Safe Runtime Adaptation in an Actor Language ECOOP Technical Papers Paul Harvey Rakuten Mobile Innovation Studio, Simon Fowler University of Glasgow, Ornela Dardha University of Glasgow, Simon J. Gay University of Glasgow, UK DOI Pre-print Media Attached | ||
19:40 20mTalk | On the Monitorability of Session Types, in Theory and Practice ECOOP Technical Papers Christian Bartolo Burlò Gran Sasso Science Institute, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark DOI | ||
20:20 - 21:00 | Advances in TestingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1) Chair(s): Sebastian Elbaum University of Virginia, Annibale Panichella Delft University of Technology; University of Luxembourg | ||
20:20 40mPanel | Advances in Testing ECOOP and ISSTA Discussions with Experts Annibale Panichella Delft University of Technology; University of Luxembourg, Sebastian Elbaum University of Virginia | ||
20:20 - 21:00 | Specification and Implementation of Type SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2) Chair(s): Sebastian Erdweg JGU Mainz, Eelco Visser Delft University of Technology | ||
20:20 40mPanel | Specification and Implementation of Type Systems ECOOP and ISSTA Discussions with Experts | ||
20:20 - 21:00 | Practical Static Analysis and Bug FindingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3) Chair(s): Murali Krishna Ramanathan Uber Technologies Inc., Michael Pradel University of Stuttgart | ||
20:20 40mPanel | Practical Static Analysis and Bug Finding ECOOP and ISSTA Discussions with Experts | ||
Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:00 - 01:00 | Keynote - Dahl-Nygaard Senior Prize (time band 2)ECOOP Keynotes at Keynote Chair(s): James Noble Victoria University of Wellington | ||
00:00 60mKeynote | Dahl-Nygaard Senior Prize: Theory to UnderstandingKeynote ECOOP Keynotes Media Attached | ||
02:00 - 03:20 | Program Analysis / Runtimes (time band 2)ECOOP Technical Papers at ECOOP 1 Chair(s): Werner Dietl University of Waterloo | ||
02:00 20mTalk | Gradual Program Analysis for Null Pointers ECOOP Technical Papers Sam Estep Carnegie Mellon University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Johannes Bader Jane Street, Joshua Sunshine Carnegie Mellon University DOI Pre-print Media Attached File Attached | ||
02:20 20mTalk | Best-Effort Lazy Evaluation for Python Software Built On APIs ECOOP Technical Papers DOI | ||
02:40 20mTalk | Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP Technical Papers DOI | ||
03:00 20mTalk | Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability ECOOP Technical Papers Dongjie He University of New South Wales, Jingbo Lu UNSW Sydney, Yaoqing Gao Huawei Canada, Jingling Xue UNSW DOI Pre-print | ||
03:20 - 04:00 | Testing/Analysis and ML/DL 1 ECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1) Chair(s): Satish Chandra Facebook, Yang Liu Nanyang Technological University We will be discussing:
… | ||
03:20 40mPanel | Testing/Analysis and ML/DL 1 ECOOP and ISSTA Discussions with Experts | ||
03:20 - 04:00 | Symbolic ExecutionECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2) Chair(s): Jun Sun Singapore Management University, Willem Visser Stellenbosch University, South Africa Need research ideas? Join us to discuss the following questions.
| ||
03:20 40mPanel | Symbolic Execution ECOOP and ISSTA Discussions with Experts | ||
03:20 - 04:00 | Advances in Type SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3) Chair(s): Michael Greenberg Stevens Institute of Technology, Bruno C. d. S. Oliveira University of Hong Kong What advances in type systems have had a recent effect… and what’s next? Join us to discuss where types are going, in both theory and practice. | ||
03:20 40mPanel | Advances in Type Systems ECOOP and ISSTA Discussions with Experts | ||
08:00 - 09:00 | Empirical Studies / Parallelism (time band 3)ECOOP Technical Papers at ECOOP 1 Chair(s): Hakjoo Oh Korea University | ||
08:00 20mTalk | CodeDJ: Reproducible Queries over Large-Scale Software Repositories ECOOP Technical Papers Petr Maj Czech Technical University, Konrad Siek Czech Technical University in Prague, Jan Vitek Northeastern University / Czech Technical University, Alexander Kovalenko Czech Technical University in Prague DOI | ||
08:20 20mTalk | Enabling Additional Parallelism in Asynchronous JavaScript Applications ECOOP Technical Papers DOI | ||
08:40 20mTalk | Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs ECOOP Technical Papers Xiaodong Gu Shanghai Jiao Tong University, China, Sunghun Kim Hong Kong University of Science and Technology, Yo-Sub Han Yonsei University, Hongyu Zhang University of Newcastle DOI | ||
11:20 - 12:00 | PL/SE for Concurrent / Distributed SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1) Chair(s): Simon Fowler University of Glasgow, Burcu Kulahcioglu Ozkan Delft University of Technology, Mira Mezini TU Darmstadt, Germany | ||
11:20 40mPanel | PL/SE for Concurrent / Distributed Systems ECOOP and ISSTA Discussions with Experts Burcu Kulahcioglu Ozkan Delft University of Technology, Simon Fowler University of Glasgow, Mira Mezini TU Darmstadt, Germany | ||
11:20 - 12:00 | Testing/Analysis and ML/DL 2 ECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2) Chair(s): Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Tao Xie Peking University | ||
11:20 40mPanel | Testing/Analysis and ML/DL 2 ECOOP and ISSTA Discussions with Experts | ||
11:20 - 12:00 | FuzzingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3) Chair(s): Marcel Böhme Monash University, Mathias Payer EPFL Fuzzing has become the major technique to find vulnerabilities in software and has seen a recent explosion in research activity. We will discuss the origins of fuzzing and the major events that lead to this proliferation: from the “DARPA Cyber Grand Challenge” and “American Fuzzy Lop” seed events to the explosion of fuzzers that target hundreds of open source projects. Then, we’ll gradually ease into highlighting key research areas in software engineering and security such as coverage metrics, intelligent mutation operators, scheduling, seed selection, or different forms of feedback. In addition, we welcome interactivity and questions from the audience throughout. | ||
11:20 40mPanel | Fuzzing ECOOP and ISSTA Discussions with Experts | ||
17:55 - 18:00 | |||
17:55 5mTalk | ISSTA 2022 Preview ECOOP and ISSTA 2022 Previews | ||
18:20 - 19:00 | ECOOP Test of Time Award (time band 1)ECOOP Keynotes at Keynote 2 Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel An Overview of AspectJ. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold. ECOOP 2001. | ||
18:20 40mTalk | ECOOP Test of Time AwardKeynote ECOOP Keynotes Media Attached | ||
19:00 - 20:00 | |||
19:00 20mTalk | CodeDJ: Reproducible Queries over Large-Scale Software Repositories ECOOP Technical Papers Petr Maj Czech Technical University, Konrad Siek Czech Technical University in Prague, Jan Vitek Northeastern University / Czech Technical University, Alexander Kovalenko Czech Technical University in Prague DOI | ||
19:20 20mTalk | Differential Privacy for Coverage Analysis of Software Traces ECOOP Technical Papers Yu Hao Ohio State University, Sufian Latif Ohio State University, Hailong Zhang Fordham University, Raef Bassily Ohio State University, Atanas Rountev Ohio State University DOI | ||
19:40 20mTalk | Dealing with Variability in API Misuse Specification ECOOP Technical Papers Rodrigo Bonifácio Computer Science Department - University of Brasília, Stefan Krüger Independent Researcher, Krishna Narasimhan TU Darmstadt, Eric Bodden University of Paderborn; Fraunhofer IEM, Mira Mezini TU Darmstadt, Germany DOI | ||
19:00 - 20:00 | Parallelism / Runtimes (time band 1)ECOOP Technical Papers at ECOOP 2 Chair(s): Colin Gordon Drexel University | ||
19:00 20mTalk | Best-Effort Lazy Evaluation for Python Software Built On APIs ECOOP Technical Papers DOI | ||
19:20 20mTalk | Linear Promises: Towards Safer Concurrent Programming ECOOP Technical Papers Ohad Rau Georgia Institute of Technology, Caleb Voss Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology DOI | ||
19:40 20mTalk | Enabling Additional Parallelism in Asynchronous JavaScript Applications ECOOP Technical Papers DOI | ||
20:00 - 20:55 | Keynote - Dahl-Nygaard Junior Prize (time band 1)ECOOP Keynotes at Keynote Chair(s): Davide Ancona DIBRIS, University of Genova, Italy | ||
20:00 55mKeynote | Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!Keynote ECOOP Keynotes Media Attached | ||
20:55 - 21:00 | |||
20:55 5m | ECOOP 2022 Preview ECOOP and ISSTA 2022 Previews | ||
Sat 17 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:55 - 01:00 | |||
00:55 5mTalk | ISSTA 2022 Preview ECOOP and ISSTA 2022 Previews | ||
01:10 - 02:30 | Potpourri (time band 2)ECOOP Technical Papers at ECOOP 1 Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign | ||
01:10 20mTalk | Differential Privacy for Coverage Analysis of Software Traces ECOOP Technical Papers Yu Hao Ohio State University, Sufian Latif Ohio State University, Hailong Zhang Fordham University, Raef Bassily Ohio State University, Atanas Rountev Ohio State University DOI | ||
01:30 20mTalk | Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs ECOOP Technical Papers Xiaodong Gu Shanghai Jiao Tong University, China, Sunghun Kim Hong Kong University of Science and Technology, Yo-Sub Han Yonsei University, Hongyu Zhang University of Newcastle DOI | ||
01:50 20mTalk | Linear Promises: Towards Safer Concurrent Programming ECOOP Technical Papers Ohad Rau Georgia Institute of Technology, Caleb Voss Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology DOI | ||
02:10 20mTalk | Dealing with Variability in API Misuse Specification ECOOP Technical Papers Rodrigo Bonifácio Computer Science Department - University of Brasília, Stefan Krüger Independent Researcher, Krishna Narasimhan TU Darmstadt, Eric Bodden University of Paderborn; Fraunhofer IEM, Mira Mezini TU Darmstadt, Germany DOI | ||
02:20 - 03:00 | Dragon TestingECOOP and ISSTA Sponsors at Sponsors Research funding and job opportunities with Dragon Testing. Details to be revealed in the session. See also this video about Dragon Testing | ||
02:20 40m | Dragon Testing ECOOP and ISSTA Sponsors | ||
03:00 - 04:00 | Microsoft ResearchECOOP and ISSTA Sponsors at Sponsors Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR. See also this video about MSR | ||
03:00 60m | Microsoft Research ECOOP and ISSTA Sponsors | ||
08:00 - 08:40 | ECOOP Test of Time Award (time band 3)ECOOP Keynotes at Keynote 2 Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel An Overview of AspectJ. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold. ECOOP 2001. | ||
08:00 40mTalk | ECOOP Test of Time AwardKeynote ECOOP Keynotes Media Attached | ||
09:00 - 09:40 | Dragon TestingECOOP and ISSTA Sponsors at Sponsors Research funding and job opportunities with Dragon Testing. Details to be revealed in the session. See also this video about Dragon Testing | ||
09:00 40m | Dragon Testing ECOOP and ISSTA Sponsors | ||
09:30 - 10:50 | Multiparty Programming and Session Types (time band 3)ECOOP Technical Papers at ECOOP 1 Chair(s): Lu Zhang Peking University | ||
09:30 20mTalk | On the Monitorability of Session Types, in Theory and Practice ECOOP Technical Papers Christian Bartolo Burlò Gran Sasso Science Institute, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark DOI | ||
09:50 20mTalk | Multiparty Session Types for Safe Runtime Adaptation in an Actor Language ECOOP Technical Papers Paul Harvey Rakuten Mobile Innovation Studio, Simon Fowler University of Glasgow, Ornela Dardha University of Glasgow, Simon J. Gay University of Glasgow, UK DOI Pre-print Media Attached | ||
10:10 20mTalk | Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks ECOOP Technical Papers Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology DOI | ||
10:30 20mTalk | Multiparty Languages: the Choreographic and Multitier CasesDistinguished PaperPearl ECOOP Technical Papers Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark, David Richter Technical University of Darmstadt, Guido Salvaneschi University of St. Gallen, Pascal Weisenburger TU Darmstadt Link to publication DOI | ||
10:00 - 11:00 | Microsoft ResearchECOOP and ISSTA Sponsors at Sponsors Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR. See also this video about MSR | ||
10:00 60m | Microsoft Research ECOOP and ISSTA Sponsors | ||
11:10 - 12:05 | Keynote - Dahl-Nygaard Junior Prize (time band 3)ECOOP Keynotes at Keynote Chair(s): Tobias Wrigstad Uppsala University, Sweden | ||
11:10 55mKeynote | Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!Keynote ECOOP Keynotes Media Attached | ||
12:05 - 12:10 | |||
12:05 5m | ECOOP 2022 Preview ECOOP and ISSTA 2022 Previews | ||