SHARE Virtual Discovery Environment

English

Storico ricerche

Pubblicazioni (Istanze)

Vai a Persone/Opere

Home / (Tutto) >> Logics and Meanings of Programs

Info

Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

Info

Utilizzare questo link per rimuovere la selezione effettuata.

Export / Download (0)

Esporta in PDF
Esporta in Excel
Esporta in HTML
Esporta in Marc21 (binary)
Esporta in MARC XML
Export in Marc21 (text)
Invia tramite E-Mail

Biblioteca

Tutto
+

MARC Lista (tabellare) Raggruppa

Seleziona tutti

Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings / Franziska Klügl, Sascha Ossowski (eds.).

[MATES (Conference) (9th : 2011 : Berlin, Germany)]

Materiale a stampa

Lo trovi qui: New York University

Conceptual modeling--ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings / Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (eds.).

[International Conference on Conceptual Modeling (30th : 2011 : Brussels, Belgium)]

Materiale a stampa

Lo trovi qui: New York University

Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / Sarfraz Khurshid, Koushik Sen (eds.).

[RV (Conference) (2nd : 2011 : San Francisco, Calif.)]

Materiale a stampa

Lo trovi qui: New York University

Reliable software technologies-- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / Mats Brorsson, Luís Miguel Pinho (eds.).

[Ada-Europe International Conference on Reliable Software Technologies (17th : 2012 : Stockholm, Sweden)]

Materiale a stampa

Lo trovi qui: New York University

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / John Derrick [and others] (eds.).

[International Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy)]

Materiale a stampa

Lo trovi qui: New York University

Reliable Software Technologies-- Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk (eds.).

[Ada-Europe International Conference on Reliable Software Technologies (18th : 2013 : Berlin, Germany)]

Materiale a stampa

Lo trovi qui: New York University

Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.).

[International Andrei Ershov Memorial Conference (8th : 2011 : Novosibirsk, Russia)]

Materiale a stampa

Lo trovi qui: New York University

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Achim D. Brucker, Jacques Julliand

[TAP (Conference) (6th : 2012 : Prague, Czech Republic)]

Materiale a stampa

Lo trovi qui: New York University

Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Matthias Felleisen, Philippa Gardner (eds.).

[European Symposium on Programming (22nd : 2013 : Rome, Italy)]

Materiale a stampa

Lo trovi qui: New York University

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).

[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]

Materiale a stampa

Lo trovi qui: New York University

1 2 3 4 5 6 7 8 9 10 11 12 13 ...

Formato

Livello bibliografico

Monografie (1225)

Data

Ultimi 10 anni (745)
Ultimi 50 anni (1225)

Data di pubblicazione

2012 (389)
2013 (240)
2011 (114)
2004 (74)
2003 (49)
1996 (33)
1995 (31)
1994 (30)
1997 (28)
1993 (27)
1991 (26)

Soggetto-Autore

Abramsky, Samson, 1953- (5)
Ganzinger, H. (Harald), 1950- (5)

Creatore	[MATES (Conference) (9th : 2011 : Berlin, Germany)]
Estensione	1 online resource (x, 196 pages) : illustrations (some color).
Disciplina	006.3
Accesso persona	Klügl, Franziska Ossowski, Sascha, 1968-
Genere/Forma	Electronic books Conference papers and proceedings
Soggetto non controllato	Computer science Computer Communication Networks Software engineering Logic design Artificial intelligence Artificial Intelligence (incl. Robotics) Information Systems Applications (incl. Internet) Programming Techniques Logics and Meanings of Programs
ISBN	9783642246036 3642246036 9783642246029 (print)
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	NYU-006178489

Creatore	[International Conference on Conceptual Modeling (30th : 2011 : Brussels, Belgium)]
Estensione	1 online resource (xix, 530 pages) : illustrations (some color).
Disciplina	003/.3
Accesso persona	Jeusfeld, Manfred Delcambre, Lois M. L. Ling, Tok Wang
Genere/Forma	Electronic books Conference papers and proceedings
Soggetto non controllato	Computer science Software engineering Logic design Artificial intelligence Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Artificial Intelligence (incl. Robotics) User Interfaces and Human Computer Interaction
ISBN	9783642246067 3642246060 9783642246050
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	NYU-005711150

Creatore	[RV (Conference) (2nd : 2011 : San Francisco, Calif.)]
Estensione	1 online resource (xii, 458 pages).
Disciplina	005.1/4
Accesso persona	Khurshid, Sarfraz Sen, Koushik
Genere/Forma	Electronic books Conference papers and proceedings
Soggetto non controllato	Computer science Software engineering Computer software Logic design Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages
ISBN	9783642298608 3642298605 3642298591 9783642298592
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Internal versus External DSLs for Trace Analysis / (Extended Abstract) / Howard Barringer and Klaus Havelund -- Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables / Chao Wang and Malay Ganai -- Runtime Monitoring of Time-Sensitive Systems / [Tutorial Supplement] / Borzoo Bonakdarpour and Sebastian Fischmeister -- Teaching Runtime Verification / Martin Leucker -- Runtime Verification: A Computer Architecture Perspective / Sharad Malik -- Isolating Determinism in Multi-threaded Programs / Lukasz Ziarek, Siddharth Tiwary and Suresh Jagannathan -- Efficiency Optimizations for Implementations of Deadlock Immunity / Horatiu Jula, Silviu Andrica and George Candea -- Permission Regions for Race-Free Parallelism / Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar -- Dynamic Race Detection with LLVM Compiler / Compile-Time Instrumentation for ThreadSanitizer / Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov and Dmitriy Vyukov -- NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows / Narcisa Andreea Milea, Siau Cheng Khoo, David Lo and Cristian Pop -- Runtime Verification of LTL-Based Declarative Process Models / Fabrizio Maria Maggi, Michael Westergaard, Marco Montali and Wil M.P. van der Aalst -- Parametric Identification of Temporal Properties / Eugene Asarin, Alexandre Donzé, Oded Maler and Dejan Nickovic. Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs / William N. Sumner, Christian Hammer and Julian Dolby -- Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software / Bohuslav Křena, Zdeněk Letko and Tomáš Vojnar -- Runtime Verification with State Estimation / Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu and Klaus Havelund, et al. -- Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification / Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour and Sebastian Fischmeister -- CoMA: Conformance Monitoring of Java Programs by Abstract State Machines / Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene -- Automated Test-Trace Inspection for Microcontroller Binary Code / Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski -- What Is My Program Doing? Program Dynamics in Programmer's Terms / Steven P. Reiss and Alexander Tarvo -- Algorithms for Monitoring Real-Time Properties / David Basin, Felix Klaedtke and Eugen Zălinescu -- Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State / A. Prasad Sistla, Miloš Žefran and Yao Feng -- Combining Time and Frequency Domain Specifications for Periodic Signals / Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos -- Runtime Verification for Ultra-Critical Systems / Lee Pike, Sebastian Niller and Nis Wegmann. Runtime Verification of Data-Centric Properties in Service Based Systems / Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao and Hua Zhong, et al. -- Cooperative Concurrency for a Multicore World / (Extended Abstract) / Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund and Cormac Flanagan -- Monitoring Data Structures Using Hardware Transactional Memory / Shakeel Butt, Vinod Ganapathy, Arati Baliga and Mihai Christodorescu -- MONPOLY: Monitoring Usage-Control Policies / David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zălinescu -- MOPBox: A Library Approach to Runtime Verification (Tool Demonstration) / Eric Bodden -- Elarva: A Monitoring Tool for Erlang / Christian Colombo, Adrian Francalanza and Rudolph Gatt -- DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking / Jan Fiedor, Vendula Hrubá, Bohuslav Křena and Tomáš Vojnar -- Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths / Rahul Purandare, Matthew B. Dwyer and Sebastian Elbaum -- Unbounded Symbolic Execution for Program Verification / Joxan Jaffar, Jorge A. Navas and Andrew E. Santosa -- Execution Trace Exploration and Analysis Using Ontologies / Newres Al Haider, Benoit Gaudin and John Murphy -- Monitoring Realizability / Rüdiger Ehlers and Bernd Finkbeiner -- Runtime Verification of Traces under Recording Uncertainty / Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky and Insup Lee.₉
Record Nr.	NYU-004375279

Creatore	[Ada-Europe International Conference on Reliable Software Technologies (17th : 2012 : Stockholm, Sweden)]
Estensione	1 online resource.
Disciplina	005
Accesso persona	Brorsson, Mats Pinho, Luís Miguel
Genere/Forma	Electronic books Conference papers and proceedings
Soggetto non controllato	Computer science Computer Communication Networks Software engineering Logic design Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Programming Techniques Mathematical Logic and Formal Languages
ISBN	9783642305986 3642305989 3642305970 9783642305979
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Ada Ravenscar Code Archetypes for Component-Based Development / Marco Panunzio and Tullio Vardanega -- An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications / Sergio Sáez, Jorge Real and Alfons Crespo -- Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA / Marisol García-Valls and Felipe Ibáñez-Vázquez -- Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 / José F. Ruiz, Cyrille Comar and Yannick Moy -- Teaching 'Concepts of Programming Languages' with Ada / Theodor Tempelmeier -- Designing the API for a Cryptographic Library / A Misuse-Resistant Application Programming Interface / Christian Forler, Stefan Lucks and Jakob Wenzel -- Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development / Patricia López Martínez and Tullio Vardanega -- An Approach to Model Checking Ada Programs / José Miguel Faria, João Martins and Jorge Sousa Pinto -- Formal Modelling for Ada Implementations: Tasking Event-B / Andrew Edmunds, Abdolbaghi Rezazadeh and Michael Butler -- Augmenting Formal Development with Use Case Reasoning / Alexei Iliasov -- Formal Goal-Oriented Development of Resilient MAS in Event-B / Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis -- Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology / Pak-Lok Poon, Tsong Yueh Chen and T.H. Tse -- Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit / Kristoffer Nyborg Gregertsen and Amund Skavhaug -- Implementing and Verifying EDF Preemption-Level Resource Control / Mark Louis Fairbairn and Alan Burns -- Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems / Florian Pölzlbauer, Iain Bate and Eugen Brenner.
Record Nr.	NYU-004375596

Creatore	[International Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy)]
Estensione	1 online resource (xii, 360 pages) : illustrations.
Disciplina	004.01/51
Accesso persona	Derrick, John, 1963-
Genere/Forma	Electronic books Conference papers and proceedings
Soggetto non controllato	Computer science Software engineering Computer software Logic design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Algorithm Analysis and Problem Complexity
ISBN	9783642307294 3642307299 9783642307287
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management / Muffy Calder and Michele Sevegnani -- Translating TLA+ to B for Validation with ProB / Dominik Hansen and Michael Leuschel -- Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands / Brijesh Dongol and Ian J. Hayes -- Safety and Line Capacity in Railways -- An Approach in Timed CSP / Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen and Markus Roggenbach -- Refinement-Based Development of Timed Systems / Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos and Jüri Vain -- Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports / Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder and Naresh Ramaram -- Model Checking as Static Analysis: Revisited / Fuyuan Zhang, Flemming Nielson and Hanne Riis Nielson -- Formal Verification of Compiler Transformations on Polychronous Equations / Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic and Loïc Besnard -- Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples / Herbert Rocha, Raimundo Barreto, Lucas Cordeiro and Arilo Dias Neto -- MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis / Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe and Ilangko Balasingham -- Mechanized Extraction of Topology Anti-patterns in Wireless Networks / Matthias Woehrle, Rena Bakhshi and Mohammad Reza Mousavi -- A Proof Framework for Concurrent Programs / Leonard Lensink, Sjaak Smetsers and Marko van Eekelen -- A UTP Semantics of pGCL as a Homogeneous Relation / Riccardo Bresciani and Andrew Butterfield -- Behaviour-Based Cheat Detection in Multiplayer Games with Event-B / HaiYun Tian, Phillip J. Brooke and Anne-Gwenn Bosser -- Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems / Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere and Gheorghe Stefanescu -- Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis -- Partially-Supervised Plants: Embedding Control Requirements in Plant Components / Jasen Markovski, Dirk A. van Beek and Jos Baeten -- Early Fault Detection in Industry Using Models at Various Abstraction Levels / Jozef Hooman, Arjan J. Mooij and Hans van Wezep -- PE-KeY: A Partial Evaluator for Java Programs / Ran Ji and Richard Bubel -- Specification-Driven Unit Test Generation for Java Generic Classes / Francisco Rebello de Andrade, João P. Faria, Antónia Lopes and Ana C.R. Paiva -- Specifying UML Protocol State Machines in Alloy / Ana Garis, Ana C.R. Paiva, Alcino Cunha and Daniel Riesco -- Patterns for a Log-Based Strengthening of Declarative Compliance Models / Dennis M.M. Schunselaar, Fabrizio M. Maggi and Natalia Sidorova -- A Formal Interactive Verification Environment for the Plan Execution Interchange Language / Camilo Rocha, Héctor Cadavid, César Muñoz and Radu Siminiceanu.
Record Nr.	NYU-004375876

Creatore	[International Andrei Ershov Memorial Conference (8th : 2011 : Novosibirsk, Russia)]
Estensione	1 online resource (xiii, 410 pages).
Disciplina	004
Accesso persona	Clarke, E. M., 1945- Virbitskaite, Irina Voronkov, A. (Andreĭ), 1959-
Genere/Forma	Electronic books Conference papers and proceedings
Soggetto non controllato	Computer science Software engineering Computer software Logic design Computer vision Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Algorithm Analysis and Problem Complexity Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN	9783642297090 3642297099 3642297080 9783642297083
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Petri Net Distributability / Eike Best and Philippe Darondeau -- Connector Algebras, Petri Nets, and BIP / Roberto Bruni, Hernán Melgratti and Ugo Montanari -- Models of Provenance / (Abstract) / Peter Buneman -- End-to-End Guarantees in Embedded Control Systems / (Abstract) / Rupak Majumdar -- Mining Precise Specifications / (Abstract) / Andreas Zeller -- Detecting Entry Points in Java Libraries / Thomas Baar and Philipp Kumar -- Static Analysis of Run-Time Modes in Synchronous Process Network / Michael Beyer and Sabine Glesner -- Compositional Methods in Characterization of Timed Event Structures / Elena Bozhenkova -- Algorithmic Debugging of SQL Views / Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez -- Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction / Roman Dubtsov -- An Extensible System for Enhancing Social Conference Experience / Michael A.H. Fried, Anna Fensel, Federico Michele Facca and Dieter Fensel -- Exponential Acceleration of Model Checking for Perfect Recall Systems / Natalia O. Garanina -- Bootstrapping Compiler Generators from Partial Evaluators / Robert Glück -- A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences / Natalya S. Gribovskaya -- Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation / Geoff W. Hamilton and Neil D. Jones -- Secure Multi-execution in Haskell / Mauro Jaskelioff and Alejandro Russo -- Towards an Open Framework for C Verification Tools Benchmarking / Alexey Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved and Alexander Strakh. Solving Coverability Problem for Monotonic Counter Systems by Supercompilation / Andrei V. Klimov -- Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions / Ilya Klyuchnikov and Sergei A. Romanenko -- Symbolic Loop Bound Computation for WCET Analysis / Jens Knoop, Laura Kovács and Jakob Zwirchmayr -- GoRRiLA and Hard Reality / Konstantin Korovin and Andrei Voronkov -- Reachability in One-Dimensional Controlled Polynomial Dynamical Systems / Margarita Korovina and Nicolai Vorobjov -- Insertion Modeling System / Alexander A. Letichevsky, Olexandr A. Letychevskyi and Vladimir S. Peschanenko -- Decidability of Modular Logics for Concurrency / Radu Mardare -- Partial Evaluation of Janus Part 2: Assertions and Procedures / Torben Ægidius Mogensen -- Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems / Evgueni Petrov -- A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems / Andrey Ponomarenko and Vladimir Rubanov -- Weighted Lumpability on Markov Chains / Arpit Sharma and Joost-Pieter Katoen -- Development of the Computer Language Classification Knowledge Portal / Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov and Renat I. Idrisov -- Justified Terminological Reasoning / Thomas Studer -- Implementing Conflict Resolution / Konstantin Korovin, Nestan Tsiskaridze and Andrei Voronkov -- Symbolic Tree Transducers / Margus Veanes and Nikolaj Bjørner -- Probabilistic Concepts in Formal Contexts / Alexander Demin, Denis Ponomaryov and Evgeny Vityaev.
Record Nr.	NYU-004622888

Creatore	[European Symposium on Programming (22nd : 2013 : Rome, Italy)]
Estensione	1 online resource.
Disciplina	005.1
Accesso persona	Felleisen, Matthias Gardner, Philippa
Accesso convegno	ETAPS (Conference) (16th : 2013 : Rome, Italy)
Genere/Forma	Electronic books Conference papers and proceedings Congresses
Soggetto non controllato	Computer science Software engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs
ISBN	9783642370366 3642370365 3642370357 9783642370359
Classificazione	54.50
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Talk. Distributed Electronic Rights in JavaScript / Mark S. Miller, Tom Van Cutsem, Bill Tulloh -- Session I: Programming Techniques. The Compiler Forest / Mihai Budiu, Joel Galenson, Gordon D. Plotkin -- Pretty-Big-Step Semantics / Arthur Charguéraud -- Language Constructs for Non-Well-Founded Computation / Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva -- Session II: Programming Tools. Laziness by Need / Stephen Chang -- FliPpr: A Prettier Invertible Printing System / Kazutaka Matsuda, Meng Wang -- Slicing-Based Trace Analysis of Rewriting Logic Specifications with i Julienne / María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña -- Why3 -- Where Programs Meet Provers / Jean-Christophe Filliâtre, Andrei Paskevich. Session III: Separation Logic. Compositional Invariant Checking for Overlaid and Nested Linked Lists / Constantin Enea, Vlad Saveluc, Mihaela Sighireanu -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness / Ioannis T. Kassios, Eleftherios Kritikos -- Modular Reasoning about Separation of Concurrent Data Structures / Kasper Svendsen, Lars Birkedal, Matthew Parkinson -- Ribbon Proofs for Separation Logic / John Wickerson, Mike Dodds, Matthew Parkinson -- Session IV: Gradual Typing. Abstract Refinement Types / Niki Vazou, Patrick M. Rondon, Ranjit Jhala -- Constraining Delimited Control with Contracts / Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt -- Session V: Shared-Memory Concurrency and Verification. Verifying Concurrent Memory Reclamation Algorithms with Grace / Alexey Gotsman, Noam Rinetzky, Hongseok Yang -- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels / Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer -- Verifying Concurrent Programs against Sequential Specifications / Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza. Session VI: Process Calculi. On Distributability in Process Calculi / Kirstin Peters, Uwe Nestmann, Ursula Goltz -- Behavioral Polymorphism and Parametricity in Session-Based Communication / Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration / Bernardo Toninho, Luis Caires, Frank Pfenning -- Concurrent Flexible Reversibility / Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt -- Session VII: Taming Concurrency. Structural Lock Correlation with Ownership Types / Yi Lu, John Potter, Jingling Xue -- Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems / Joost-Peter Katoen, Doron Peled -- Session VIII: Model Checking and Verification. Model-Checking Higher-Order Programs with Recursive Types / Naoki Kobayashi, Atsushi Igarashi -- Counterexample-Guided Precondition Inference / Mohamed Nassim Seghir, Daniel Kroening -- Information Reuse for Multi-goal Reachability Analyses / Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith. Session IX: Weak-Memory Concurrency and Verification. Quarantining Weakness / Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely -- Software Verification for Weak Memory via Program Transformation / Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig -- Checking and Enforcing Robustness against TSO / Ahmed Bouajjani, Egor Derevenetc, Roland Meyer -- Session X: Types, Inference, and Analysis. GADTs Meet Subtyping / Gabriel Scherer, Didier Rémy -- A Data Driven Approach for Algebraic Loop Invariants / Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori -- Automatic Type Inference for Amortised Heap-Space Analysis / Martin Hofmann, Dulma Rodriguez.
Record Nr.	NYU-004627763