BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (5)
execut (2)
system (2)
java (2)
refactor (2)

Stem safer$ (all stems)

14 papers:

PLDIPLDI-2015-LuciaR #execution #programming
A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
Mind the duality gap: safer rules for the Lasso (OF, AG, JS), pp. 333–342.
GPCEGPCE-2015-LopezCRC #programming
Safer SDN programming through Arbiter (ML, CJC, GDR, CC), pp. 65–74.
DATEDATE-2012-BeaumontHN #architecture #execution #hardware #replication #security #using
SAFER PATH: Security architecture using fragmented execution and replication for protection against trojaned hardware (MRB, BDH, TN), pp. 1000–1005.
ISSTAISSTA-2012-ThiesB #java #named #refactoring #source code
RefaFlex: safer refactorings for reflective Java programs (AT, EB), pp. 1–11.
ICSEICSE-2010-Soares #refactoring
Making program refactoring safer (GLS), pp. 521–522.
SEFMSEFM-2009-ColomboPS #java #monitoring #realtime #source code
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) (CC, GJP, GS), pp. 33–37.
ECOOPECOOP-2009-GilS #question
Are We Ready for a Safer Construction Environment? (JYG, TS), pp. 495–519.
DATEDATE-2008-Micheli #design
Designing Micro/Nano Systems for a Safer and Healthier Tomorrow (GDM), p. 1.
OOPSLAOOPSLA-2008-FerraraLF #dot-net
Safer unsafe code for .NET (PF, FL, MF), pp. 329–346.
PPoPPPPoPP-2008-AgrawalLS #transaction
Safer open-nested transactions through ownership (KA, ITAL, JS), pp. 291–292.
HCIHIMI-IIE-2007-KochHLP #agile #mobile #precise
Rapid and Precise Mobile Data Processing for Fire Brigades and Rescue Services (SAFeR/GÜTER/SHARE) (RK, RH, BSL, JP), pp. 1050–1059.
FMFME-2003-Chalin #effectiveness #ml
Improving JML: For a Safer and More Effective Language (PC), pp. 440–461.
HTHT-1997-Marshall #hypermedia
Looking Forward: Five Practices for Safer Hypertext (Keynote) (CCM), p. 241.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.