SagivMooly

发表

Install-Time Vaccination of Windows Executables to Defend against Stack Smashing Attacks

NebenzahlDanny, SagivMooly, WoolAvishai, 2006 .

Online detection of effectively callback free objects with applications to smart contracts

SagivMooly, GrossmanShelly, AbrahamIttai, 2017 .

Principles of POPL

JagannathanSuresh, SagivMooly, HicksMichael, 2013 .

Solving shape-analysis problems in languages with destructive updating

RepsThomas, WilhelmReinhard, SagivMooly, 1998 .

Parametric shape analysis via 3-valued logic

RepsThomas, WilhelmReinhard, SagivMooly, 2002 .

Demand interprocedural dataflow analysis

RepsThomas, SagivMooly, HorwitzSusan, 1995 .

Establishing local temporal heap safety properties with applications to compile-time memory management

YahavEran, SagivMooly, K KolodnerElliot, 2005 .

Precise and compact modular procedure summaries for heap manipulating programs

SagivMooly, AikenAlex, DilligIsil, 2011 .

Logical characterizations of heap abstractions

RepsThomas, WilhelmReinhard, SagivMooly, 2007 .

Modularity for decidability of deductive verification with applications to distributed systems

SagivMooly, R WilcoxJames, TaubeMarcelo, 2018 .

Ivy: safety verification by interactive generalization

SagivMooly, PandaAurojit, L McMillanKenneth, 2016 .

Estimating the impact of heap liveness information on space consumption in Java

SagivMooly, K KolodnerElliot, ShahamRan, 2002 .

Testing atomicity of composed concurrent operations

YahavEran, SagivMooly, AikenAlex, 2011 .

A framework for numeric analysis of array operations

RepsThomas, SagivMooly, GopanDenis, 2005 .

On effectiveness of GC in Java

SagivMooly, K KolodnerElliot, ShahamRan, 2000 .

Complexity and information in invariant inference

SagivMooly, ShohamSharon, M Y FeldmanYotam, 2019 .

Reducing liveness to safety in first-order logic

SagivMooly, PodelskiAndreas, LosaGiuliano, 2017 .

A simple inductive synthesis methodology and its applications

SagivMooly, GulwaniSumit, ItzhakyShachar, 2010 .

Introduction to special ESOP'05 issue

SagivMooly, 2007 .

Finding circular attributes in attribute grammars

SagivMooly, RodehMichael, 1999 .

A semantics for procedure local heaps and its abstractions

RepsThomas, WilhelmReinhard, SagivMooly, 2005 .

Secure serverless computing using dynamic information flow control

SagivMooly, FlanaganCormac, WinsteinKeith, 2018 .

Detecting memory errors via static pointer analysis (preliminary experience)

SagivMooly, RodehMichael, DorNurit, 1998 .

Speeding up slicing

RepsThomas, SagivMooly, HorwitzSusan, 1994 .

Paxos made EPR: decidable reasoning about distributed protocols

SagivMooly, LosaGiuliano, PadonOded, 2017 .

Concurrent data representation synthesis

SagivMooly, AikenAlex, RinardMartin, 2012 .

A combination framework for tracking partition sizes

SagivMooly, GulwaniSumit, Lev-AmiTal, 2009 .

Decentralizing SDN Policies

SagivMooly, LahavOri, PadonOded, 2015 .

Turning nondeterminism into parallelism

SagivMooly, TrippOmer, KoskinenEric, 2013 .