diff --git a/infer/src/deadcode/Makefile b/infer/src/deadcode/Makefile
index 3b1b396ce..44fd6cd14 100644
--- a/infer/src/deadcode/Makefile
+++ b/infer/src/deadcode/Makefile
@@ -46,7 +46,7 @@ depend:
 	ocamldep -native \
 	  -I IR -I absint -I atd -I backend -I base -I biabduction -I bufferoverrun -I checkers \
 	  -I clang -I concurrency -I facebook -I integration -I istd -I java \
-	  -I labs -I nullsafe -I quandary -I topl -I unit -I unit/clang -I deadcode \
+	  -I labs -I nullsafe -I pulse -I quandary -I topl -I unit -I unit/clang -I deadcode \
 	   $(ml_src_files) > deadcode/.depend
 
 # circular dependency... not sure how to fix properly
diff --git a/infer/src/dune.in b/infer/src/dune.in
index b903281b9..7b661abce 100644
--- a/infer/src/dune.in
+++ b/infer/src/dune.in
@@ -22,6 +22,7 @@ let source_dirs =
        ; "integration"
        ; "labs"
        ; "nullsafe"
+       ; "pulse"
        ; "quandary"
        ; "topl"
        ; "unit" ] )
diff --git a/infer/src/checkers/Pulse.ml b/infer/src/pulse/Pulse.ml
similarity index 100%
rename from infer/src/checkers/Pulse.ml
rename to infer/src/pulse/Pulse.ml
diff --git a/infer/src/checkers/Pulse.mli b/infer/src/pulse/Pulse.mli
similarity index 100%
rename from infer/src/checkers/Pulse.mli
rename to infer/src/pulse/Pulse.mli
diff --git a/infer/src/checkers/PulseDiagnostic.ml b/infer/src/pulse/PulseDiagnostic.ml
similarity index 100%
rename from infer/src/checkers/PulseDiagnostic.ml
rename to infer/src/pulse/PulseDiagnostic.ml
diff --git a/infer/src/checkers/PulseDiagnostic.mli b/infer/src/pulse/PulseDiagnostic.mli
similarity index 100%
rename from infer/src/checkers/PulseDiagnostic.mli
rename to infer/src/pulse/PulseDiagnostic.mli
diff --git a/infer/src/checkers/PulseDomain.ml b/infer/src/pulse/PulseDomain.ml
similarity index 100%
rename from infer/src/checkers/PulseDomain.ml
rename to infer/src/pulse/PulseDomain.ml
diff --git a/infer/src/checkers/PulseDomain.mli b/infer/src/pulse/PulseDomain.mli
similarity index 100%
rename from infer/src/checkers/PulseDomain.mli
rename to infer/src/pulse/PulseDomain.mli
diff --git a/infer/src/checkers/PulseInvalidation.ml b/infer/src/pulse/PulseInvalidation.ml
similarity index 100%
rename from infer/src/checkers/PulseInvalidation.ml
rename to infer/src/pulse/PulseInvalidation.ml
diff --git a/infer/src/checkers/PulseInvalidation.mli b/infer/src/pulse/PulseInvalidation.mli
similarity index 100%
rename from infer/src/checkers/PulseInvalidation.mli
rename to infer/src/pulse/PulseInvalidation.mli
diff --git a/infer/src/checkers/PulseModels.ml b/infer/src/pulse/PulseModels.ml
similarity index 100%
rename from infer/src/checkers/PulseModels.ml
rename to infer/src/pulse/PulseModels.ml
diff --git a/infer/src/checkers/PulseModels.mli b/infer/src/pulse/PulseModels.mli
similarity index 100%
rename from infer/src/checkers/PulseModels.mli
rename to infer/src/pulse/PulseModels.mli
diff --git a/infer/src/checkers/PulseOperations.ml b/infer/src/pulse/PulseOperations.ml
similarity index 100%
rename from infer/src/checkers/PulseOperations.ml
rename to infer/src/pulse/PulseOperations.ml
diff --git a/infer/src/checkers/PulseOperations.mli b/infer/src/pulse/PulseOperations.mli
similarity index 100%
rename from infer/src/checkers/PulseOperations.mli
rename to infer/src/pulse/PulseOperations.mli
diff --git a/infer/src/checkers/PulseTrace.ml b/infer/src/pulse/PulseTrace.ml
similarity index 100%
rename from infer/src/checkers/PulseTrace.ml
rename to infer/src/pulse/PulseTrace.ml
diff --git a/infer/src/checkers/PulseTrace.mli b/infer/src/pulse/PulseTrace.mli
similarity index 100%
rename from infer/src/checkers/PulseTrace.mli
rename to infer/src/pulse/PulseTrace.mli