Search results for "memory safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Emery D. Berger, Benjamin G. Zorn	DieHard: probabilistic memory safety for unsafe languages.	PLDI	2006	DBLP DOI BibTeX RDF	DieHard, probabilistic memory safety, replication, randomization, dynamic memory allocation
2	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
2	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
2	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
2	Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta	Runtime Verification of C Memory Safety.	RV	2009	DBLP DOI BibTeX RDF
2	Yutaka Oiwa	Implementation of the memory-safe full ANSI-C compiler.	PLDI	2009	DBLP DOI BibTeX RDF	c language, memory safety
2	Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv	A combination framework for tracking partition sizes.	POPL	2009	DBLP DOI BibTeX RDF	combining analyses, set analysis, termination, shape analysis, numerical analysis, memory safety, space bounds
2	Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic	Hardbound: architectural support for spatial safety of the C programming language.	ASPLOS	2008	DBLP DOI BibTeX RDF	spatial memory safety, C programming language
2		TinyOS 2.1 adding threads and memory protection to TinyOS.	SenSys	2008	DBLP DOI BibTeX RDF	tinyos, memory safety, threading models
2	Raimondas Sasnauskas, Jó Ágila Bitsch Link, Muhammad Hamad Alizai, Klaus Wehrle	KleeNet: automatic bug hunting in sensor network applications.	SenSys	2008	DBLP DOI BibTeX RDF	tinyos, type safety, memory safety, bug finding
2	Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr	Efficient memory safety for TinyOS.	SenSys	2007	DBLP DOI BibTeX RDF	cXprop, deputy, safe TinyOS, wireless sensor networks, TinyOS, type safety, memory safety, nesC
2	John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve	Secure virtual architecture: a safe execution environment for commodity operating systems.	SOSP	2007	DBLP DOI BibTeX RDF	security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
2	Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa	Compiling C Programs into a Strongly Typed Assembly Language.	ASIAN	2007	DBLP DOI BibTeX RDF	C, memory safety, typed assembly language
2	Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The software model checker Blast.	STTT	2007	DBLP DOI BibTeX RDF	Model checking, Software verification, Test-case generation, Software specification, Memory safety
2	John Regehr, Nathan Cooprider, Will Archer, Eric Eide	Efficient type and memory safety for tiny embedded systems.	PLOS	2006	DBLP DOI BibTeX RDF
2	Divya Arora, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha	Architectural support for safe software execution on embedded processors.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	type safety, memory safety, extensible processors
2	Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Checking Memory Safety with Blast.	FASE	2005	DBLP DOI BibTeX RDF
2	George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy software.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	pointer qualifier, libraries, subtyping, Memory safety
2	Wei Xu, Daniel C. DuVarney, R. Sekar	An efficient and backwards-compatible transformation to ensure memory safety of C programs.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	program transformation, C, memory safety
2	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without runtime checks or garbage collection.	LCTES	2003	DBLP DOI BibTeX RDF	automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management
2	Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer	CCured in the real world.	PLDI	2003	DBLP DOI BibTeX RDF	compatibility with library code, run-time type information, C, type safety, memory safety
1	Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou	Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities.	FedCSIS	2011	DBLP BibTeX RDF
1	Marc Brunink, Martin Süßkraut, Christof Fetzer	Boundless memory allocations for memory safety and high availability.	DSN	2011	DBLP DOI BibTeX RDF
1	Josh Berdine, Byron Cook, Samin Ishtiaq	SLAyer: Memory Safety for Systems-Level Code.	CAV	2011	DBLP DOI BibTeX RDF
1	Cristiano Calcagno, Dino Distefano	Infer: An Automatic Program Verifier for Memory Safety of C Programs.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Mohamed A. El-Zawawy	Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs.	ICCSA	2011	DBLP DOI BibTeX RDF
1	Matthew S. Simpson, Rajeev Barua	MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime.	SCAM	2010	DBLP DOI BibTeX RDF
1	Daniel Tang, Ales Plsek, Jan Vitek	Static checking of safety critical Java annotations.	JTRES	2010	DBLP DOI BibTeX RDF	verification, annotations, safety critical systems, memory safety
1	Shuo Chen, Hong Chen, Manuel Caballero	Residue objects: a challenge to web browser security.	EuroSys	2010	DBLP DOI BibTeX RDF	component object model (com), residue object, browser security
1	Cristian Zamfir, George Candea	Execution synthesis: a technique for automated software debugging.	EuroSys	2010	DBLP DOI BibTeX RDF	symbolic execution, automated debugging
1	Jean Yang, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	PLDI	2010	DBLP DOI BibTeX RDF	verification, operating system, type safety, run-time system
1	Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas	Race-free and memory-safe multithreading: design and implementation in cyclone.	TLDI	2010	DBLP DOI BibTeX RDF	safe multithreading, type and effect systems, region-based memory management, cyclone
1	Tomsy Paul, G. Santhosh Kumar	Safe Contiki OS: Type and Memory Safety for Contiki OS.	ARTCom	2009	DBLP DOI BibTeX RDF
1	John Criswell, Nicolas Geoffray, Vikram S. Adve	Memory Safety for Low-Level Software/Hardware Interactions.	USENIX Security Symposium	2009	DBLP BibTeX RDF
1	Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah	Backward-compatible constant-time exception-protected memory.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility
1	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
1	Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Levis, John Regehr	Surviving sensor network software faults.	SOSP	2009	DBLP DOI BibTeX RDF	deputy, reboot, wireless sensor networks, reliability, kernel, tinyos, nesc
1	Eijiro Sumii	A Theory of Non-monotone Memory (Or: Contexts for free).	ESOP	2009	DBLP DOI BibTeX RDF
1	Theo Kluter, Philip Brisk, Edoardo Charbon, Paolo Ienne	MPSoC Design Using Application-Specific Architecturally Visible Communication.	HiPEAC	2009	DBLP DOI BibTeX RDF
1	Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Benjamin G. Zorn	Archipelago: trading address space for reliability and security.	ASPLOS	2008	DBLP DOI BibTeX RDF	Archipelago, probabilistic memory safety, randomized algorithms, virtual memory, buffer overflow, dynamic memory allocation, memory errors
1	Karthik Pattabiraman, Vinod Grover, Benjamin G. Zorn	Samurai: protecting critical data in unsafe languages.	EuroSys	2008	DBLP DOI BibTeX RDF	critical memory, error recovery, memory safety
1	Aytekin Vargun, David R. Musser	Code-carrying theory.	SAC	2008	DBLP DOI BibTeX RDF	secure code delivery, correctness, proof-carrying code, memory safety
1	Syrine Tlili, Mourad Debbabi	Type and Effect Annotations for Safe Memory Access in C.	ARES	2008	DBLP DOI BibTeX RDF	Type and Effect Analysis, Type Annotations, Memory Safety, C Programming
1	Mark P. Jones	Polymorphism and page tables: systems programming from a functional programmer's perspective.	ICFP	2008	DBLP DOI BibTeX RDF	memory manipulation, functional programming, type systems, data representation, systems programming
1	Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar	Testing for buffer overflows with length abstraction.	ISSTA	2008	DBLP DOI BibTeX RDF	length abstractions, underapproximation, buffer overflows, testing c programs, directed testing
1	Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich	Safer unsafe code for .NET.	OOPSLA	2008	DBLP DOI BibTeX RDF	bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains
1	Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang	Conditional correlation analysis for safe region-based memory management.	PLDI	2008	DBLP DOI BibTeX RDF	conditional correlation, program analysis, memory management, error detection, region
1	Syrine Tlili, Mourad Debbabi	A novel flow-sensitive type and effect analysis for securing C code.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Stefan Maus, Michal Moskal, Wolfram Schulte	Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.	AMAST	2008	DBLP DOI BibTeX RDF
1	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Computing Stack Maps with Interfaces.	ECOOP	2008	DBLP DOI BibTeX RDF
1	Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett	Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.	SAS	2008	DBLP DOI BibTeX RDF
1	Yannick Moy	Sufficient Preconditions for Modular Assertion Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
1	David Greenfieldboyce, Jeffrey S. Foster	Type qualifier inference for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability
1	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF
1	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs
1	Cheng Wang, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai	Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language.	CGO	2007	DBLP DOI BibTeX RDF
1	Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang	Shape Analysis for Composite Data Structures.	CAV	2007	DBLP DOI BibTeX RDF
1	Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger	Model-Driven Construction of Certified Binaries.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook	Arithmetic Strengthening for Shape Analysis.	SAS	2007	DBLP DOI BibTeX RDF
1	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao	Scoped types and aspects for real-time Java memory management.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Real-time systems, Memory management, Java virtual machine, Ownership types
1	Adam Chlipala	Modular development of certified program verifiers with a proof assistant.	ICFP	2006	DBLP DOI BibTeX RDF	programming with dependent types, proof-carrying code, interactive proof assistants
1	John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa	Type-safe distributed programming for OCaml.	ML	2006	DBLP DOI BibTeX RDF	HashCaml, type-safe marshalling, objective Caml
1	Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen	A verifiable SSA program representation for aggressive compiler optimization.	POPL	2006	DBLP DOI BibTeX RDF	SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages
1	George C. Necula	Using Dependent Types to Port Type Systems to Low-Level Languages.	CC	2006	DBLP DOI BibTeX RDF
1	Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao	Scoped Types and Aspects for Real-Time Java.	ECOOP	2006	DBLP DOI BibTeX RDF
1	Jan Tobias Mühlberg, Gerald Lüttgen	Blasting Linux Code.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty	On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.	LOPSTR	2006	DBLP DOI BibTeX RDF
1	Gang Tan, Andrew W. Appel	A Compositional Logic for Control Flow.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without garbage collection for embedded applications.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	automatic pool allocation, security, Embedded systems, compilers, static analysis, programming languages, region management
1	Matthew S. Simpson, Bhuvan Middha, Rajeev Barua	Segment protection for embedded systems using run-time checks.	CASES	2005	DBLP DOI BibTeX RDF	MMU, MPU, ewmbedded systems, safe languages, segment protection, segmentation violations, reliability, compilers, virtual memory, memory safety, run-time checks
1	Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach	A principled approach to operating system construction in Haskell.	ICFP	2005	DBLP DOI BibTeX RDF	hardware interface, verification, operating systems, Haskell, monads, programming logic
1	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	PLDI	2005	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
1	Limin Jia, Frances Spalding, David Walker, Neal Glew	Certifying Compilation for a Language with Stack Allocation.	LICS	2005	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
1	Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim	Experience with safe manual memory-management in cyclone.	ISMM	2004	DBLP DOI BibTeX RDF	unique pointers, memory management, regions, memory safety, cyclone
1	Andrzej Wasowski	Flattening statecharts without explosions.	LCTES	2004	DBLP DOI BibTeX RDF	semantics, embedded, statecharts, program synthesis, automatic code generation
1	Hongwei Xi	Facilitating Program Verification with Dependent Types.	SEFM	2003	DBLP DOI BibTeX RDF
1	Peter Lee	What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.	TACAS	2003	DBLP DOI BibTeX RDF
1	Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve	Ensuring code safety without runtime checks for real-time control systems.	CASES	2002	DBLP DOI BibTeX RDF	security, real-time, compiler, static analysis, control, programming language
1	Sanjeev Kumar, Kai Li	Dynamic memory management for programmable devices.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	programmable devices, model checking, reference counting, dynamic memory management
1	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description.	CADE	2002	DBLP DOI BibTeX RDF
1	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	Synthesizing Certified Code.	FME	2002	DBLP DOI BibTeX RDF	automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
1	Fan Guo, Yiyun Chen, RongGui Hu	Machine Code Type Safety.	ICFEM	2002	DBLP DOI BibTeX RDF
1	George C. Necula, Robert R. Schneck	Proof-Carrying Code with Untrusted Proof Rules.	ISSS	2002	DBLP DOI BibTeX RDF
1	David Walker, Kevin Watkins	On Regions and Linear Types.	ICFP	2001	DBLP DOI BibTeX RDF
1	Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi	Secure Self-Certified COTS. (PDF / PS)	WETICE	2000	DBLP DOI BibTeX RDF
1	George C. Necula, Peter Lee	The design and implementation of a certifying compiler (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF
1	George C. Necula, Peter Lee	The Design and Implementation of a Certifying Compiler.	PLDI	1998	DBLP DOI BibTeX RDF	C
1	George C. Necula, Peter Lee	Safe, Untrusted Agents Using Proof-Carrying Code.	Mobile Agents and Security	1998	DBLP BibTeX RDF